On elementary loops of logic programs (Q2884258): Difference between revisions

@@ 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 / arXiv ID @@
+.5847
@@ Property / arXiv ID: 1012.5847 / rank @@
+Normal rank
@@ Property / cites work @@
+Tight logic programs
@@ Property / cites work: Tight logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+ASSAT: computing answer sets of a logic program by SAT solvers
+Normal rank
@@ Property / cites work @@
+On the computational cost of disjunctive logic programming: Propositional case
+Normal rank
@@ Property / cites work @@
+Why are there so many loop formulas?
@@ Property / cites work: Why are there so many loop formulas? / rank @@
+Normal rank
@@ Property / cites work @@
+Nested expressions in logic programs
@@ Property / cites work: Nested expressions in logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional semantics for disjunctive logic programs
+Normal rank
@@ Property / cites work @@
+Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation
+Normal rank
@@ Property / cites work @@
+Logic programming and knowledge representation
@@ Property / cites work: Logic programming and knowledge representation / rank @@
+Normal rank
@@ Property / cites work @@
+The DLV system for knowledge representation and reasoning
+Normal rank
@@ Property / cites work @@
+On Reductive Semantics of Aggregates in Answer Set Programming
+Normal rank
@@ Property / cites work @@
+Loop formulas for circumscription
@@ Property / cites work: Loop formulas for circumscription / rank @@
+Normal rank
@@ Property / cites work @@
+Enhancing disjunctive logic programming systems by SAT checkers
+Normal rank
@@ Property / cites work @@
+Unfolding partiality and disjunctions in stable model semantics
+Normal rank
@@ Property / cites work @@
+Some (in)translatability results for normal logic programs and propositional theories
+Normal rank
@@ Property / cites work @@
+Negation as failure in the head
@@ Property / cites work: Negation as failure in the head / rank @@
+Normal rank
@@ Property / cites work @@
+Alternative Characterizations for Program Equivalence under Answer-Set Semantics Based on Unfounded Sets
+Normal rank
@@ Property / cites work @@
+Head-Elementary-Set-Free Logic Programs
@@ Property / cites work: Head-Elementary-Set-Free Logic Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Stable models and circumscription
@@ Property / cites work: Stable models and circumscription / rank @@
+Normal rank
@@ Property / cites work @@
+On the complexity of identifying head-elementary-set-free programs
+Normal rank