Power defaults (preliminary report)

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

Volumn 1265, Issue , 1997, Pages 152-169

  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

FORMAL LOGIC; LOGIC PROGRAMMING;

DEFAULT LOGIC; DICHOTOMY THEOREM; PROPOSITIONAL LOGIC; SCOTT DOMAINS;

COMPUTER CIRCUITS;

EID: 84946727341     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-63255-7_11     Document Type: Conference Paper

References (15)

1. H. Aït-Kaci. A Lattice-Theoretic Approach to Computation based on a Calculus of Partially Ordered Type Structures. PhD thesis, University of Pennsylvaznia, 1984.
2. K. R. Apt and R. N. Bol. Logic programming and negation: a survey. Technical Report CS-R9402, CWI, Amsterdam, 1994.
3. P. Buneman. Functional programming and databases. In D. Turner, editor, Research Topics in Functional Programming, pages 155-169. Addison-Wesley, 1990.
4. M. Gelfond, V. Lifschitz, H. Przymuzińska, and M. Truszczyński. Disjunctive defaults. In Proceedings of Second Annual Conference on Knowledge Representation, pages 230-237. Morgan Kaufmann, 1991.
5. G. Gottlob. Complexity results for non-monotonic logics. In Notes on Fourth Int. Workshop on Non-monotonic Reasoning, 1992.
6. S. Kraus, D. Lehmann, and M. Magidor. Nonmonotonic reasoning, preferential models, and cumulative logics. Artificial Intelligence, 44: 167-207, 1990.
7. L. Libkin. Aspects of Partial Information in Databases. PhD thesis, University of Pennsylvania, 1994.
8. W. Marek, A. Nerode, and J. Remmel. A theory of nonmonotonic rule systems. In Proceedings of 5th IEEE Symposium on Logic in Computer Science, pages 79-94, 1990.
9. F. Pereira and S. Shieber. The semantics of grammar formalisms seen as computer languages. In Proceedings of l Oth International Conference on Computational Linguistics: COLING 84, 1984.
10. C. Pollard and M. A. Moshier. Unifying partial descriptions of sets. In P. Hansen, editor, Vancouver Studies in Cognitive Science: vol. L University of British Columbia Press, 1990.
11. Raymond Reiter. A logic for default reasoning. Artificial Intelligence, 13: 81-132, 1980.
12. W. Rounds and G. Q. Zhang. Logical considerations on default semantics. To appear, Annals of Mathematics and Artificial Intelligence, 1997.
13. W. Rounds and G. Q. Zhang. Suggestions for a non-monotonic feature logic. Technical Report CS-R9551, CWI, Amsterdam, 1995.
14. W. Rounds and G. Q. Zhang. Complexity of power default reasoning. In Proceedings of LICS 97, July 1997.
15. M. B. Smyth. Powerdomalns. Journal of Computer and System Science, 16(1): 23-36, February 1978.