Reasoning with infinite stable models (Q814596): 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.1016/j.artint.2004.02.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2066734765
@@ Property / OpenAlex ID: W2066734765 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3983042
@@ Property / cites work: Q3983042 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4813407
@@ Property / cites work: Q4813407 / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge Representation, Reasoning and Declarative Problem Solving
+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 @@
+Analysis on the <i>p</i>-adic superspace. I. Generalized functions: Gaussian distribution
+Normal rank
@@ Property / cites work @@
+Resolution for skeptical stable model semantics
@@ Property / cites work: Resolution for skeptical stable model semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Q4812969
@@ Property / cites work: Q4812969 / rank @@
+Normal rank
@@ Property / cites work @@
+A sequent calculus for skeptical Default Logic
@@ Property / cites work: A sequent calculus for skeptical Default Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4800167
@@ Property / cites work: Q4800167 / rank @@
+Normal rank
@@ Property / cites work @@
+Is intractability of nonmonotonic reasoning a real drawback?
+Normal rank
@@ Property / cites work @@
+Verifying security protocols as planning in logic programming
+Normal rank
@@ Property / cites work @@
+Q4955327
@@ Property / cites work: Q4955327 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4327612
@@ Property / cites work: Q4327612 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programming and nonmonotonic reasoning. Proceedings of the 4th international conference, LPNMR '97, held in Dagstuhl, Germany, July 28--31, 1997
+Normal rank
@@ Property / cites work @@
+Computing circumscription revisited: A reduction algorithm
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736992
@@ Property / cites work: Q4736992 / rank @@
+Normal rank
@@ Property / cites work @@
+Complexity Results for Nonmonotonic Logics
@@ Property / cites work: Complexity Results for Nonmonotonic Logics / rank @@
+Normal rank
@@ Property / cites work @@
+The DLV system for knowledge representation and reasoning
+Normal rank
@@ Property / cites work @@
+All I know: A study in autoepistemic logic
@@ Property / cites work: All I know: A study in autoepistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3339245
@@ Property / cites work: Q3339245 / rank @@
+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 @@
+Q4702577
@@ Property / cites work: Q4702577 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5578545
@@ Property / cites work: Q5578545 / 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 @@
+Tableaux and sequent calculus for minimal entailment
+Normal rank
@@ Property / cites work @@
+A logic for default reasoning
@@ Property / cites work: A logic for default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Q4955345
@@ Property / cites work: Q4955345 / rank @@
+Normal rank
@@ Property / cites work @@
+Extending and implementing the stable model semantics
+Normal rank
@@ Property / cites work @@
+Q4844167
@@ Property / cites work: Q4844167 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4798015
@@ Property / cites work: Q4798015 / rank @@
+Normal rank