A sequent calculus for skeptical default logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1227, Issue , 1997, Pages 107-121

  Bonatti, P A ^a   Olivetti, N ^a  

^a UNIVERSITY OF TURIN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CALCULATIONS; COMPUTER CIRCUITS; DIFFERENTIATION (CALCULUS); RECONFIGURABLE HARDWARE;

DEFAULT LOGIC; DEFAULT THEORY; PROOF THEORY; SEQUENT CALCULUS;

FORMAL LOGIC;

EID: 84958744600     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0027408     Document Type: Conference Paper

References (41)

1. G. Amati, L. Carlucci Aiello, D. Gabbay, F. Pirri. A proof theoretical approach to default reasoning I: tableaux for default logic. Journal of Logic and Computation, 6(2):205-231, 1996.
2. F. Baader, B. Hollunder. Embedding defaults into terminological knowledge representation formalisms. Journal of Automated Reasoning, 14(1):149-180, 1995.
3. C. Bell, A. Nerode, R. Ng and V.S. Subrahmanian. Implementing deductive databases by linear programming. In Proc. of ACM-PODS, 1992.
4. C. Bell, A. Nerode, R. Ng and V.S. Subrahmanian. Implementing stable semantics by linear programming. In [33].
5. A. Bochman. On the relation between default and modal consequence relations. in Proc. of KR’94, 63-74, Morgan Kaufman, 1994
6. P.A Bonatti. Sequent calculi for default and autoepistemic logics. In Proc. of TABLEAUX’96, LNAI 1071, pp. 127-142, Springer-Verlag, Berlin, 1996.
7. P.A. Bonatti. Autoepistemic logic programming. Journal of Automated Reasoning, 13:35-67, 1994.
8. P.A. Bonatti. A Gentzen system for non-theorems. Technical Report CD-TR 93/52, Christian Doppler Labor fiir Expertensysteme, Technische Universitat, Wien, September 1993.
9. G. Brewka. Cumulative default logic: In defense of nonmonotonic inference rules. Artificial Intelligence 50:183-205, 1991.
10. X. Caicedo. A formal system for the non-theorems of the propositional calculus. Notre Dame Journal of Formal Logic, 19:147-151, (1978).
11. R. Dutkiewicz. The method of axiomatic rejection for the intuitionistic propositional calculus. Studia Logica, 48:449-459, (1989).
12. U. Egly, H. Tompits. Non-elementary speed-ups in default logic. Submitted.
13. D. Gabbay et al. (eds). Handbook of Logic in Artificial Intelligence and Logic Programming, Vol.3, Clarendon Press, Oxford, 1994.
14. D. Gabbay. Theoretical foundations for non-monotonic reasoning in expert systems. In K.R. Apt (ed.) Logics and Models of Concurrent Systems. Springer-Verlag, Berlin, 1985.
15. M.L. Ginsberg. A circumscriptive theorem prover. Artificial Intelligence, 39(2):209-230, (1989).
16. Y.J. Jiang. A first step towards autoepistemic logic programming. Computers and Artificial Intelligence, 10(5):419-441, (1992).
17. K. Konolige. On the Relationship between Default and Autoepistemic Logic. Artificial Intelligence, 35:343-382, 1988. + Errata, same journal, 41:115, 1989/90.
18. K. Konolige. On the Relation Between Autoepistemic Logic and Circumscription. In Proceedings IJCAI-89, 1989
19. S. Kraus, D. Lehmann and M. Magidor. Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence, 44(l):167-207, (1990).
20. H.J. Levesque. All I know: a study in autoepistemic logic. Artificial Intelligence, 42:263-309, (1990).
21. J. Lukasiewicz. Aristotle's syllogistic from the standpoint of modern formal logic. Clarendon Press, Oxford, 1951.
22. W. Lukasziewicz. Non-Monotonic Reasoning. Ellis Horwood Limited, Chichester, England, 1990.
23. J. McCarthy. Circumscription: a form of non-monotonic reasoning. Artificial Intelligence, 13:27-39, (1980).
24. D. Makinson. General theory of cumulative inference. In M. Reinfrank, J. De Kleer, M.L. Ginsberg and E. Sandewall (eds.) Non-monotonic Reasoning, LNAI 346, Springer-Verlag, Berlin, 1989, 1-18.
25. W. Marek, A. Nerode, M. Trusczyński (eds). Logic Programming and Nonmonotonic Reasoning: Proc. of the Third Int. Conference. LNAI 928, Springer- Verlag, Berlin, 1995.
26. W. Marek, M. Truszczyński. Nonmonotonic Logics - Context-Dependent Reasoning. Springer, 1993.
27. W. Marek, M. Trusczyński. Computing intersections of autoepistemic expansions. In [29].
28. M.A. Nait Abdallah. An extended framework for default reasoning. In Proc. of FCT’89, LNCS 380, 339-348, Springer-Verlag, 1989.
29. A. Noiodo, W. Mdick, V.S. Subrahmanian (eds.). Loyic Programming and Non-monotonic Reasoning: Proc. of the First Int. Workshop, MIT Press, Cambridge, Massachusetts, 1991.
30. I. Niemela. Decision procedures for autoepistemic logic. Proc. CADE-88, LNCS 310, Springer-Verlag, 1988.
31. I. Niemela. Toward efficient default reasoning. Proc. IJCAI’95, 312-318, Morgan Kaufmann, 1995.
32. N. Olivetti. Tableaux and sequent calculus for minimal entailment. Journal of Automated Reasoning, 9:99-139, (1992).
33. L. M. Pereira, A. Nerode (eds.). Logic Programming and Non-monotonic Reasoning: Proc. of the Second Int. Workshop, MIT Press, Cambridge, Massachusetts, 1993.
34. R. Reiter. A logic for default reasoning. Artificial Intelligence, 13:81-132, (1980).
35. V. Risch, C.B. Schwind. Tableau-based characterization and theorem proving for default logic. Journal of Automated Reasoning, 13:223-242, 1994.
36. T. Schaub. A new methodology for query answering in default logics via structure- oriented theorem proving. Journal of Automated Reasoning, 15(1):95-165, 1995.
37. D. Scott. Completeness proofs for the intuitionistic sentential calculus. Summaries of Talks Presented at the Summer Institute for Symbolic Logic (Itaha, Cornell University, July 1957), Princeton: Institute for Defense Analyses, Communications Research Division, 1957, 231-242.
38. J. Slupecki, G. Bryll, U. Wybraniec-Skardowska. Theory of rejected propositions. Studia Logica, 29:75-115, (1971).
39. M. Tiomkin. Proving unprovability. In Proc. of LICS’88, 1988.
40. A. Varzi. Complementary sentential logics. Bulletin of the Section of Logic, 19:112-116, (1990).
41. A. Varzi. Complementary logics for classical propositional languages. Kriterion. Zeitschrift fur Philosophie, 4:20-24 (1992).