A Semantics for Default Logic

IJCAI International Joint Conference on Artificial Intelligence

Volumn 1, Issue , 1987, Pages 495-498

  Etherington, David W ^a  

^a LUCENT TECHNOLOGIES   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER CIRCUITS; FORMAL LOGIC; KNOWLEDGE REPRESENTATION;

DEFAULT LOGIC; GENERAL MODEL; KNOWLEDGE-REPRESENTATION; MODEL THEORY; MODEL-THEORETIC SEMANTICS;

SEMANTICS;

EID: 85167866605     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (14)

1. Etherington, D.W. [1982], Finite Default Theories, M.Sc. thesis. Department of Computer Science. University of British Columbia.
2. Etherington, D.W. [1983]. Formalizing Non-Monotonic Reasoning Systems, Technical Report 83-1. Department of Computer Science. University of British Columbia. (Also in Artificial Intelligence 31. 1987. 41-85).
3. Etherington, D.W. [1986]. Reasoning from Incomplete Information, Pitman Research Notes in Artificial Intelligence, Pitman Publishing Limited, London. 1987.
4. Etherington. D.W. [1987]. "Relating default logic and circumscription*. Proc. IJCAI-JO. Milan. Italy.
5. Konolige. K. [1987]. "On the relation between default theories and autoepistemic logic". Proc. IJCAI-JO, Milan. Italy.
6. Lifschitz, V. [1984]. Some Results on Circumscription. Technical Report STAN-CS-84-1019, Stanford Universitv. Stanford. CA.
7. Lifschitz. V [1986], "Pointwise circumscription". Proc. AAAI-86. Philadelphia. PA. 406-410.
8. Lukaszewicz. W. [1985]. "Two results on default logic*. Proc. IJCAI-9. Los Angeles. CA. 459-461.
9. McCarthy, J. [1980]. "Circumscription — a form of nonmonotonic reasoning". Artificial Intelligence 13. 27-39.
10. McCarthy. J. [1986]. "Applications of circumscription to formalizing commonsense knowledge". Artificial Intelligence28.89-116.
11. Moore, R.C. [1985]. "Semantical considerations on nonmonotonic logic'". Artificial Intelligence 25, 75-94.
12. McDermott. D [1982]. "Non-monotonic logic II". J ACM 29.35-57.
13. Reiter. R. [1980]. "A logic for default reasoning". Artificial Intelligence13.81-132.
14. Touretzky. D.S. [1984]. The Mathematics of Inheritance Systems. Ph.D. dissertation. Department of Computer Science, Carnegie-Mellon University.