Updating action domain descriptions

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2005, Pages 418-423

  Eiter, Thomas ^a   Erdem, Esra ^a   Fink, Michael ^a   Senko, Ján ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATE SOLUTION; DIVIDE-AND-CONQUER APPROACH; DOMAIN DESCRIPTION; FORMAL FRAMEWORK; KNOWLEDGE BASE; QUALITY OF SOLUTION; REASONING ABOUT ACTIONS;

ARTIFICIAL INTELLIGENCE; KNOWLEDGE BASED SYSTEMS;

INFERENCE ENGINES;

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

References (11)

1. J. J. Alferes, J. A. Leite, L. M. Pereira, H. Przymusinska, and T. C. Przymusinski. Dynamic Updates of Non-Monotonic Knowledge Bases. Journal of Logic Programming, 45(1-3):43-70, 2000.
2. T. Eiter, M. Fink, G. Sabbatini, and H. Tompits. On properties of update sequences based on causal rejection. TPLP, 2(6):721-777, 2002.
3. M. Gelfond and V. Lifschitz. Action languages. ETAI, 3:195-210, 1998.
4. E. Giunchiglia and V. Lifschitz. An action language based on causal explanation: Preliminary report. In Proc. AAAI, pp. 623-630, 1998.
5. H. Katsuno and A. O. Mendelzon. On the difference between updating a knowledge base and revising it. In Proc. KR, pp. 387-394, 1991.
6. R. Li and L. M. Pereira. What is believed is what is explained. In Proc. AAAI, pp. 550-555.
7. P. Liberatore. A framework for belief update. In Proc. JELIA, pp. 361-375, 2000.
8. L. M. Pereira, J. J. Alferes, and J. N. Aparicio. Contradiction removal within well-founded semantics. In Proc. LPNMR, pp. 105-119, 1991.
9. C. Sakama and K. Inoue. An abductive framework for computing knowledge base updates. TPLP, 3(6):671-713, 2003.
10. M. Winslett. Updating Logical Databases. Cambridge University Press, 1990.
11. D. Zhang, S. Chopra, and N. Foo. Consistency of action descriptions. In Proc. PRICAI, 2002.