Defaults in domain theory

Theoretical Computer Science

Volumn 177, Issue 1, 1997, Pages 155-182

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

^a University of Georgia ^*  (United States)

^b UNIVERSITY OF MICHIGAN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATION THEORY; COMPUTER SCIENCE; FORMAL LOGIC; INFORMATION THEORY; TOPOLOGY;

CAUTIOUS CUT; CAUTIOUS MONOTONY; DEFAULT NONMONOTONIC ENTAILMENT; DOMAIN THEORY;

ARTIFICIAL INTELLIGENCE;

EID: 0031123617     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(96)00238-1     Document Type: Article

References (20)

1. S. Abramsky, Domain theory in logical form, Ann. Pure Appl. Logic 51 (1991) 1-77.
2. F. Baader and B. Hollunder, Embedding defaults into terminological knowledge representation formalisms, in: Proc. 3rd Annual Conf. on Knowledge Representation (Morgan Kaufmann, Los Altos, CA, 1992).
3. J. Barwise, Information links in domain theory, in: Mathematical Foundations of Programming Semantics, Pittsburgh, PA, 1991, Lecture Notes in Computer Science, Vol. 598 (Springer, Berlin, 1992) 168-192.
4. D. Gabbay, Theoretical foundations for nonmonotonic reasoning in expert systems, in: Proc. NATO Advanced Study Institute on Logics and Models of Concurrent Systems (Springer, Berlin, 1985) 439-457.
5. P. Gärdenfors and D. Makinson, Nonmonotonic inference based on expectations, Artificial Intelligence 65 (1994) 197-245.
6. J. Halpern and M. Vardi, Model checking vs. theorem proving - a manifesto, in: Proc. 2nd Annual Conf. on Knowledge Representation (Morgan Kaufmann, Los Altos, CA, 1991) 118-127.
7. S. Kraus, D. Lehmann and M. Magidor, Nonmonotonic reasoning, preferential models, and cumulative logics, Artificial Intelligence 44 (1990) 167-207.
8. V. Lifschitz, On open defaults, in: Proc. Symp. on Computational Logics, Brussels (1990).
9. J. McCarthy, Circumscription - a form of nonmonotonic reasoning, Artificial Intelligence 13 (1980) 27-39.
10. D. McDermott and J. Doyle, Non-monotonic logic I, Artificial Intelligence 13 (1980) 41-72.
11. J. Pearl, From Adams' conditionals to default expressions, causal conditionals, and counterfactuals, in: Festschrift for Ernest Adams (Cambridge University Press, Cambridge, to appear).
12. R. Reiter, A logic for default reasoning, Artificial Intelligence 13 (1980) 81-132.
13. W. Rounds and G.-Q. Zhang, Modal logics for default domains, manuscript, 1992.
14. W. Rounds and G.-Q. Zhang, Domain theory meets default logic, J. Logic Comput. 5 (1995) 1-25.
15. W. Rounds and G.-Q. Zhang, Attunement to constraints in nonmonotonic reasoning, in: J. Seligman and D. Westerstahl, eds., Logic, Language and Computation, Vol 1, Lecture Notes, Vol. 58 (CSLI Publications, Stanford University, 1996) 479-494.
16. W. Rounds and G.-Q. Zhang, Logical considerations on default semantics, Ann. Math. Artificial Intelligence, to appear.
17. D.S. Scott, Domains for denotational semantics, in: Lecture Notes in Computer Science, Vol. 140 (1982).
18. W. van der Hoek, J.-J. Ch. Meyer, Y.H. Tan and C. Witteveen, eds., Non-Monotonic Reasoning and Partial Semantics (Ellis Horwood, Chichester, UK, 1992).
19. G.-Q. Zhang and W. Rounds, Nonmonotonic consequences in default domain theory, Ann. Math. Artificial Intelligence, to appear.
20. G.-Q. Zhang, Logic of Domains (Birkhauser, Boston, 1991).