My work with Victor Marek: a mathematician looks at answer set programming (Q1028636): Difference between revisions

@@ Property / describes a project that uses @@
+Smodels
@@ Property / describes a project that uses: Smodels / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ASSAT
@@ Property / describes a project that uses: ASSAT / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s10472-009-9107-z
+Normal rank
@@ Property / OpenAlex ID @@
+W2017464127
@@ Property / OpenAlex ID: W2017464127 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385536
@@ Property / cites work: Q4385536 / rank @@
+Normal rank
@@ Property / cites work @@
+Set based logic programming
@@ Property / cites work: Set based logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4955327
@@ Property / cites work: Q4955327 / rank @@
+Normal rank
@@ Property / cites work @@
+Locally determined logic programs and recursive stable models
+Normal rank
@@ Property / cites work @@
+Logic programming with infinite sets
@@ Property / cites work: Logic programming with infinite sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249355
@@ Property / cites work: Q4249355 / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of recursive mathematics. Vol. 2: Recursive algebra, analysis and combinatorics
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+Epistemology Without Knowledge and Without Belief
@@ Property / cites work: Epistemology Without Knowledge and Without Belief / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of nonmonotonic rule systems I
@@ Property / cites work: A theory of nonmonotonic rule systems I / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of nonmonotonic rule systems. II
@@ Property / cites work: A theory of nonmonotonic rule systems. II / rank @@
+Normal rank
@@ Property / cites work @@
+How complicated is the set of stable models of a recursive logic program?
+Normal rank
@@ Property / cites work @@
+A context for belief revision: forward chaining-normal nonmonotonic rule systems
+Normal rank
@@ Property / cites work @@
+The Stable Models of a Predicate Logic Program
@@ Property / cites work: The Stable Models of a Predicate Logic Program / rank @@
+Normal rank
@@ Property / cites work @@
+Nonmonotonic rule systems with recursive sets of restraints
+Normal rank
@@ Property / cites work @@
+Q4379673
@@ Property / cites work: Q4379673 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programs, well-orderings, and forward chaining
+Normal rank
@@ Property / cites work @@
+On the expressibility of stable logic programming
@@ Property / cites work: On the expressibility of stable logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming and Nonmonotonic Reasoning
@@ Property / cites work: Logic Programming and Nonmonotonic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Compactness Properties for Stable Semantics of Logic Programs
+Normal rank
@@ Property / cites work @@
+Q5445168
@@ Property / cites work: Q5445168 / rank @@
+Normal rank
@@ Property / cites work @@
+On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP
+Normal rank
@@ Property / cites work @@
+Automata and Answer Set Programming
@@ Property / cites work: Automata and Answer Set Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q3486549
@@ Property / cites work: Q3486549 / rank @@
+Normal rank
@@ Property / cites work @@
+Circumscription - a form of non-monotonic reasoning
+Normal rank
@@ Property / cites work @@
+Semantical considerations on nonmonotonic logic
@@ Property / cites work: Semantical considerations on nonmonotonic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programs with stable model semantics as a constraint programming paradigm
+Normal rank
@@ Property / cites work @@
+Q2734950
@@ Property / cites work: Q2734950 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4955344
@@ Property / cites work: Q4955344 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for default reasoning
@@ Property / cites work: A logic for default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Extending and implementing the stable model semantics
+Normal rank