Connecting First-Order ASP and the Logic FO(ID) through Reducts (Q2900547): Difference between revisions

@@ 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-642-30743-0_37
+Normal rank
@@ Property / OpenAlex ID @@
+W1881914301
@@ Property / OpenAlex ID: W1881914301 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4246955
@@ Property / cites work: Q4246955 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2767097
@@ Property / cites work: Q2767097 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5398066
@@ Property / cites work: Q5398066 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734934
@@ Property / cites work: Q2734934 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic of nonmonotone inductive definitions
@@ Property / cites work: A logic of nonmonotone inductive definitions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4318616
@@ Property / cites work: Q4318616 / 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 @@
+Stable models and circumscription
@@ Property / cites work: Stable models and circumscription / rank @@
+Normal rank
@@ Property / cites work @@
+Q3007261
@@ Property / cites work: Q3007261 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4707773
@@ Property / cites work: Q4707773 / rank @@
+Normal rank
@@ Property / cites work @@
+Transition systems for model generators—A unifying approach
+Normal rank
@@ Property / cites work @@
+Q4702577
@@ Property / cites work: Q4702577 / rank @@
+Normal rank
@@ Property / cites work @@
+SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions
+Normal rank
@@ Property / cites work @@
+Logic programs with stable model semantics as a constraint programming paradigm
+Normal rank
@@ Property / cites work @@
+Achieving compositionality of the stable model semantics for                         <scp>smodels</scp> programs
+Normal rank
@@ Property / cites work @@
+Quantified Equilibrium Logic and Foundations for Answer Set Programs
+Normal rank
@@ Property / cites work @@
+A logic for default reasoning
@@ Property / cites work: A logic for default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+The well-founded semantics for general logic programs
+Normal rank