On commitment and cumulativity in default logics

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

Volumn 548 LNCS, Issue , 1991, Pages 305-309

  Schaub, Torsten ^a  

^a DARMSTADT UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

DEFAULT LOGIC;

COMPUTER CIRCUITS;

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

References (11)

1. G. Brewka. Cumulative default logic: In defense of nonmonotonic inference rules. To appear in AIJ, 1991.
2. J. P. Delgrande and W. K. Jackson. Default logic revisited. In KR'91, 118-127, 1991.
3. D. W. Etherington. Reasoning with Incomplete Information. Pitman, 1988.
4. W. Lukaszewicz. Considerations on default logic-an alternative approach. CI, 4:1-16, 1988.
5. D. Makinson. General theory of cumulative inference. In 2nd Workshop on NMR, 1-18, 1988.
6. D. Makinson and G. Brewka. A cumulative inference relation for JTMS and lp. In NIL'90, LNAI, 1991.
7. D. L. Poole. A logical framework for default reasoning. AIJ, 36:27-47, 1988.
8. D. L. Poole. What the lottery paradox tells us about default reasoning. In KR'89, 333-340, 1989.
9. R. Reiter. A logic for default reasoning. AIJ, 13:81-132, 1980.
10. T. Schaub. Assertional default theories: A semantical view. In KR'91, 496-506, 1991.
11. T. Schaub. On constrained default theories. Technical report, THD, 1991. In preparation.