Logical considerations on default semantics

Annals of Mathematics and Artificial Intelligence

Volumn 20, Issue 1-4, 1997, Pages 195-226

  Rounds, William C ^a   Zhang, Guo Qiang ^b  

^a UNIVERSITY OF MICHIGAN   (United States)

^b University of Georgia ^*  (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0031522996     PISSN: 10122443     EISSN: None     Source Type: Journal    
DOI: 10.1023/a:1018932411629     Document Type: Article

References (31)

1. E. Adams, The Logic of Conditionals (D. Reidel, Netherlands, 1975).
2. F. Baader and B. Hollunder, Embedding defaults into terminological knowledge representation formalisms, in: Proceedings of Third Annual Conference on Knowledge Representation (MorganKaufmann, 1992).
3. F. Bacchus, A. Grove, J. Halpern and D. Koller, Statistical foundations for default reasoning, in: Proceedings of IJCAI (1993).
4. J. Barwise, The Situation in Logic, 17 (Center for Study of Language and Information, Stanford, California, 1989).
5. S. Blamey, Partial logic, in: Handbook of Philosophical Logic, Vol. III, eds. Gabbay and Guenthner (Reidel, Dordrecht, 1986).
6. G. Brewka, Cumulative default logic: In defense of nonmonotonic inference rules, Artificial Intelligence 50(1) (1991) 183-205.
7. J. Dix, Classifying semantics of logic programs, in: Proceedings of First International Workshop on Logic Programming and Non-Monotonic Reasoning, eds. A. Nerode, W. Marek and V. Subrahmanian (MIT Press, 1991) pp. 166-180.
8. P. Doherty and W. Lukaszewicz, Distinguishing between facts and default assumptions, in: Non-Monotonic Reasoning and Partial Semantics, chapter 3 (Ellis Horwood, 1992).
9. D.W. Etherington, Reasoning with Incomplete Information, Research Notes in Artificial Intelligence (Morgan-Kaufmann, 1988).
10. R. Guerreiro and M. Casanova, An alternative semantics for default logic (preprint) (1990).
11. J. Halpern and Y. Moses, A guide to modal logics of knowledge and belief, in: Proc. IJCAI-85 (1985) pp. 480-490.
12. M. Kaminski, A comparative study of open defaults. Presentation at 1994 Symposium on Logic and Artificial Intelligence, Fort Lauderdale (January 1994).
13. R. Kasper and W. Rounds, The logic of unification in grammar, in: Linguistic and Philosophy (1991).
14. S. Kraus, D. Lehmann and M. Magidor, Nonmonotonic reasoning, preferential models, and cumulative logics, Artificial Intelligence 44 (1990) 167-207.
15. J. Lawson, The duality of continuous posets, Houston Journal of Mathematics 5 (1979) 357-394.
16. H.J. Levesque, All I know: A study in autoepistemic logic, Artificial Intelligence 42 (1990) 263-309.
17. V. Lifschitz, On open defaults, in: Proceedings of the Symposium on Computational Logics (1990).
18. V. Lifschitz, Nonmonotonic databases and epistemic queries, in: Proc. IJCAI-91 (1991) pp. 381-386.
19. F. Lin and Y. Shoham, Epistemic semantics for fixed-point nonmonotonic logics, in: Proc. Third Conference on Theoretical Aspects of Reasoning about Knowledge (1990) pp. 184-198.
20. D. Makinson, General theory of cumulative inference, in: Proceedings of Second International Conference on Nonmonotonic Reasoning (LNAI 346) (Springer-Verlag, 1989) pp. 1-18.
21. J. Pearl, From Adams' conditional to default expressions, causal conditionals, and counterfactuals, in: Festschrift for Ernest Adams (Cambridge University Press, 1993). To appear.
22. R. Reiter, A logic for default reasoning, Artificial Intelligence 13 (1980) 81-132.
23. G.-Q. Zhang, W. Rounds and C. Huang, in: Proceedings of the 30th Hawaii International Conference on System Sciences, Maui, Hawaii (1997) Vol. V, pp. 383-391.
24. W. Rounds and G.-Q. Zhang, Attunement to constraints in nonmonotonic reasoning, in: Logic Language, and Computation, Vol. 1, CSLI Lecture Notes, Vol. 58 (CSLI Publication, Stanford, CA, 1996) pp. 479-494.
25. W. Rounds and G.-Q. Zhang, Domain theory meets default logic, Logic and Computation 5 (1995) 1-25.
26. G. Schwarz and M. Truszczynski, Modal logic s4f and the minimal knowledge paradigm, in: Proc. Fourth Conference on Theoretical Aspects of Reasoning about Knowledge, ed. Y. Moses (1992) pp. 184-198.
27. D.S. Scott, Domains for denotational semantics, in: Lecture Notes in Computer Science 140 (1982).
28. Y Shoham, A semantical approach to nonmonotonic logics, in: Readings in Nonmonotonic Reasoning, ed. M.L. Ginsberg (Morgan-Kaufmann, 1987).
29. S. Vickers, Topology via Logic (Cambridge University Press, 1988).
30. M. Young, Nonmonotonic sorts for feature structures, in: Proceedings of AAAI-92 (1992) pp. 596-601.
31. G.-Q. Zhang, Logic of Domains (Birkhauser, Boston, 1991).