A tableau-based characterisation for default logic

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

Volumn 548 LNCS, Issue , 1991, Pages 310-317

  Schwind, Camilla B ^a   Risch, Vincent ^a  

^a AIX MARSEILLE UNIVERSITY   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; FORMAL LOGIC; SEMANTICS;

DECIDABLE SUBSETS; DEFAULT LOGIC; DEFAULT THEORY; FINITE SET; FIRST ORDER LOGIC; GENERAL LAWS; SEMANTIC TABLEAU; SUFFICIENT CRITERION;

COMPUTATION THEORY;

EID: 84935514457     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-54659-6_107     Document Type: Conference Paper

References (12)

1. Besnard P., Quiniou R., Quinton P. 1983. A Theorem-Prover for a decidable subset of default logic. Proceedings of the AAAI-83: 27-30.
2. Besnard P, Siegel P. 1988. Supposition-based logic for automated nonmonotonic reasoning. Prec. 9th Conf. on Automated Deduction, Argonne, I1.
3. Bossu G., Siegel P. 1985. Saturation, Nonmonotonic reasoning and the Closed-World Assumption. Artificial Intelligence 25, 1: 13-63.
4. Brown F. M. 1986. A commonsense theory of nonmonotonic reasoning. Prec. 8th Conf. on Automated Deduction, Oxford. I.r.eture Notes in Computer Science, Vol. 230, Springer Verlag." 209-228.
5. Etherington D. W. 1987. Formalizing Nonmonotonic Reasoning Systems. Artificial Intelligence, 31, 1: 81-132.
6. Gueirreiro R. A., Casanova M. A., Hermely A.S. 1990. Contributions to a Proof Theory for Generic Defaults. Proceedings of the 9th European Conference on Artificial Intelligence, ECAI-90: 213-218.
7. Lafon E., Schwind C. 1988. A Theorem Prover for Action Performance. Proceedings of the 8th European Conference on Artificial Intelligence, ECAI-88: 541-546.
8. Lukaszewiez W. 1988. Considerations on Default Logic-An Alternative Approach. Computational Intelligence 4: 1-16.
9. Schwind C. 1985. Un démonstrateur de thtéorèmes pour des logiques modales et temporelles en PROLOG. 5ème Congrès AFCET Reconnaissance des formes et Intelligence Artificielle, Grenoble, France: 897-913.
10. Sehwind C. 1990. A tableau-based theorem prover for a decidable subset of default logic. Preceedings of the 10th International Conference on Automated Deduction, CADE 10, Springer Verlag: 541-546.
11. Reiter R. 1980. A logic for default reasoning. Artificial Intelligence, 13, 1: 81-132.
12. Smullyan R. 1968. First-Order Logie. Springer Verlag.