Searching for "On the Foundations of Answer Set Programming." – sorted by Relevance.
11 documents found, showing 1 through 10.
Next 10 →
-
Mathematical foundations of answer set programming
- … Mathematical Foundations of Answer Set Programming Paolo Ferraris and Vladimir Lifschitz 1…
- Cited by 13 (2 self) – Add To MetaCart
-
The Prospect for Answer Sets Computation by a Genetic Model
- … function-- free logic program 1 encoding the problem itself. The theoretical foundation of Answer Set…
- Cited by 1 (1 self) – Add To MetaCart
-
A.: Reducing propositional theories in equilibrium logic to logic programs
- … for disjunctive logic programs [8]. As a logical foundation for answer set programming we use the nonclassical…
- Cited by 5 (5 self) – Add To MetaCart
-
A.: Minimal logic programs (extended report) (2007) Technical report available at http
- …, HT and equilibrium logic provide a useful foundation for Answer Set Programming (ASP) (see [3…
- Cited by 2 (2 self) – Add To MetaCart
-
Minimal logic programs (extended report)
- …, HT and equilibrium logic provide a useful foundation for Answer Set Programming (ASP) (see [3…
- Add To MetaCart
-
Logic programming revisited: logic programs as inductive definitions
- …] and was the foundation for Answer Set Programming [Niemelä 1999; Marek and Truszczyński 1999]. It is easy to see…
- Cited by 31 (20 self) – Add To MetaCart
-
Strong Negation in Well-Founded and Partial Stable Semantics for Logic Programs
- … foundations for answer set programs with strong negation have been extensively studied in the literature…
- Cited by 1 (1 self) – Add To MetaCart
-
Answer Set Programming on Expert Feedback to Populate and Extend Dynamic Ontologies
- … these fragments. Related Work The foundations of answer set programming (ASP) were laid out by Gelfond…
- Add To MetaCart
-
Using dynamic logic programming to obtain agents with declarative goals. submitted
- … provided by both strong and default negations, by dint of its foundation in answer-set programming…
- Cited by 3 (3 self) – Add To MetaCart
-
A dynamic logic programming based system for agents with declarative goals
- … foundation in answer-set programming, it seems a natural candidate to be used to represent and to reason…
- Cited by 2 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
