A sequent calculus for skeptical Default Logic (Q4610318): Difference between revisions

@@ Property / author @@
-Piero A. Bonatti
@@ Property / author: Piero A. Bonatti / rank @@
-Normal rank
@@ Property / author @@
+Piero A. Bonatti
@@ Property / author: Piero A. Bonatti / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+A proof theoretical approach to default reasoning I: tableaux for default logic
+Normal rank
@@ Property / cites work @@
+Mixed integer programming methods for computing nonmonotonic deductive databases
+Normal rank
@@ Property / cites work @@
+Sequent calculi for default and autoepistemic logics
+Normal rank
@@ Property / cites work @@
+Autoepistemic logic programming
@@ Property / cites work: Autoepistemic logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Cumulative default logic: In defense of nonmonotonic inference rules
+Normal rank
@@ Property / cites work @@
+A formal system for the non-theorems of the propositional calculus
+Normal rank
@@ Property / cites work @@
+The method of axiomatic rejection for the intuitionistic propositional logic
+Normal rank
@@ Property / cites work @@
+Q4296748
@@ Property / cites work: Q4296748 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3703316
@@ Property / cites work: Q3703316 / rank @@
+Normal rank
@@ Property / cites work @@
+A circumscriptive theorem prover
@@ Property / cites work: A circumscriptive theorem prover / rank @@
+Normal rank
@@ Property / cites work @@
+Q3988856
@@ Property / cites work: Q3988856 / rank @@
+Normal rank
@@ Property / cites work @@
+On the relation between default and autoepistemic logic
+Normal rank
@@ Property / cites work @@
+Q5750425
@@ Property / cites work: Q5750425 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonmonotonic reasoning, preferential models and cumulative logics
+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 @@
+Q5805951
@@ Property / cites work: Q5805951 / rank @@
+Normal rank
@@ Property / cites work @@
+Circumscription - a form of non-monotonic reasoning
+Normal rank
@@ Property / cites work @@
+Q3829532
@@ Property / cites work: Q3829532 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programming and nonmonotonic reasoning. Third international conference, LPNMR '95, Lexington, KY, USA, June 26--28, 1995. Proceedings
+Normal rank
@@ Property / cites work @@
+Q4273952
@@ Property / cites work: Q4273952 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3348894
@@ Property / cites work: Q3348894 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3807179
@@ Property / cites work: Q3807179 / rank @@
+Normal rank
@@ Property / cites work @@
+Tableaux and sequent calculus for minimal entailment
+Normal rank
@@ Property / cites work @@
+Q4844165
@@ Property / cites work: Q4844165 / 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 @@
+Tableau-based characterization and theorem proving for default logic
+Normal rank
@@ Property / cites work @@
+A new methodology for query answering in default logics via structure-oriented theorem proving
+Normal rank
@@ Property / cites work @@
+Theory of rejected propositions. I
@@ Property / cites work: Theory of rejected propositions. I / rank @@
+Normal rank
@@ Property / cites work @@
+Q3358704
@@ Property / cites work: Q3358704 / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/bfb0027408
+Normal rank
@@ Property / OpenAlex ID @@
+W1506700997
@@ Property / OpenAlex ID: W1506700997 / rank @@
+Normal rank