Automata and Answer Set Programming (Q3605538): Difference between revisions

@@ Property / author @@
-Jeffery B. Remmel
@@ Property / author: Jeffery B. Remmel / rank @@
-Normal rank
@@ Property / author @@
+Jeffery B. Remmel
@@ Property / author: Jeffery B. Remmel / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ASSAT
@@ Property / describes a project that uses: ASSAT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+clasp
@@ Property / describes a project that uses: clasp / 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/978-3-540-92687-0_22
+Normal rank
@@ Property / OpenAlex ID @@
+W2879875
@@ Property / OpenAlex ID: W2879875 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3477998
@@ Property / cites work: Q3477998 / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge Representation, Reasoning and Declarative Problem Solving
+Normal rank
@@ Property / cites work @@
+Set based logic programming
@@ Property / cites work: Set based logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+The expressiveness of locally stratified programs
@@ Property / cites work: The expressiveness of locally stratified programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767097
@@ Property / cites work: Q2767097 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear-time algorithms for testing the satisfiability of propositional horn formulae
+Normal rank
@@ Property / cites work @@
+Logic programming and knowledge representation---The A-Prolog perspective
+Normal rank
@@ Property / cites work @@
+Answer set programming based on propositional satisfiability
+Normal rank
@@ Property / cites work @@
+Automatic Structures: Richness and Limitations
@@ Property / cites work: Automatic Structures: Richness and Limitations / rank @@
+Normal rank
@@ Property / cites work @@
+The DLV system for knowledge representation and reasoning
+Normal rank
@@ Property / cites work @@
+Minimal belief and negation as failure
@@ Property / cites work: Minimal belief and negation as failure / rank @@
+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 @@
+Q4273952
@@ Property / cites work: Q4273952 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4702577
@@ Property / cites work: Q4702577 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programs with stable model semantics as a constraint programming paradigm
+Normal rank
@@ Property / cites work @@
+Extending and implementing the stable model semantics
+Normal rank
@@ Property / cites work @@
+Q5560258
@@ Property / cites work: Q5560258 / rank @@
+Normal rank