Declarative Problem Solving Using Answer Set Semantics

Declarative Problem Solving Using Answer Set Semantics

My dissertation will make the case that answer set semantics can form the basis of powerful, logical NP problem solving tools. The argument is made in two steps. Firstly a logical programming language, AnsPrologCE is proposed and an efficient, parallel implementation is described. This language is t...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Brain, Martin
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Applied sciences
Computer science
control theory
systems
Exact sciences and technology
Logic Program
Logical, boolean and switching functions
Nonmonotonic Reasoning
Parallel Implementation
Space Shuttle
Stable Model Semantic
Theoretical computing
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:My dissertation will make the case that answer set semantics can form the basis of powerful, logical NP problem solving tools. The argument is made in two steps. Firstly a logical programming language, AnsPrologCE is proposed and an efficient, parallel implementation is described. This language is then used to solve a variety of diverse real world problems, demonstrating the power and flexibility of this approach.
ISSN:0302-9743
1611-3349
DOI:10.1007/11799573_48