A cumulative-model semantics for dynamic preferences on assumptions

IJCAI International Joint Conference on Artificial Intelligence

Volumn 1, Issue , 1997, Pages 162-167

  Junker, Ulrich ^a  

^a IBM   (United States)

Author keywords

Common sense reasoning; Nonmonotonic reasoning

Indexed keywords

COMMONSENSE REASONING; DEFAULT REASONING; LOGICAL THEORIES; NON-MONOTONIC REASONING; PREFERENTIAL SEMANTICS; PRIORITIZED CIRCUMSCRIPTION;

ARTIFICIAL INTELLIGENCE;

SEMANTICS;

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

References (14)

1. G. Brewka. Preferred subtheories: An extended logical framework for default reasoning. In IJCAI-89, pages 1043-1048, Detroit, MI, 1989. Morgan Kaufmann.
2. G. Brewka. Reasoning about priorities in default logic. In AAAI-94, 1994.
3. G. Brewka. Well-founded semantics for extended logic programs with dynamic preferences. Journal of Artificial Intelligence Research, 4, 1996.
4. H. Geffner and J. Pearl. Conditional entailment: Bridging two approaches to default reasoning. Artificial Intelligence, 53:209-244, 1992.
5. B. Grosof. Generalizing prioritization. In KR'91, pages 289-300, Cambridge, MA, 1991. Morgan Kaufmann.
6. U. Junker and G. Brewka. Handling partially ordered defaults in TMS. In R. Kruse and P. Siegel, editors, Symbolic and Quantitative Aspects for Uncertainty. Proceedings of the European Conference ECSQAU, pages 211-218. Springer, LNCS 548, Berlin, 1991.
7. U. Junker. Relationships between Assumptions. Doctoral thesis, University of Kaiserslautern, Kaiserslautern, 1992.
8. U. Junker. Buroeinrichtung mit EXCEPT II. In F. di Primio, editor, Methoden der Kunsthchen Intelligenz fur Graphikanwendungen. Addison-Wesley, 1995.
9. S. Kraus, D. Lehmann, and M. Magidor. Nonmonotonic reasoning, preferential models and cumulative logics. Artificial Intelligence, 44:167-208, 1990.
10. V. Lifschitz. Computing circumscription. In IJCAI-85, pages 121-127, Los Angelos, CA, 1985. Morgan Kaufmann.
11. J. McCarthy. Applications of circumscription to formalizing common-sense knowledge. Artificial Intelligence, 28:89-116, 1986.
12. D. Poole. A logical framework for default reasoning. Artificial Intelligence, 36:27-47, 1988.
13. N. Roos. A logic for reasoning with inconsistent knowledge. Artificial Intelligence, 1992.
14. Y. Shoham. A semantical approach to nonmonotonic logics. In Logics in Computer Science, 1987.