Minimal and absent information in contexts

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2005, Pages 558-563

  Roelofsen, Floris ^a   Serafini, Luciano ^b  

^a UNIVERSITY OF AMSTERDAM   (Netherlands)

^b ITC IRST   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

AMOUNT OF INFORMATION; CONTEXTUAL INFORMATION; IN CONTEXTS; MULTI-CONTEXT SYSTEMS;

SEMANTICS;

ARTIFICIAL INTELLIGENCE;

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

References (15)

1. K. R. Apt, H. A. Blair, and A. Walker. Towards a theory of declarative knowledge. 1988.
2. M. Benerecetti, P. Bouquet, and C. Ghidini. Contextual reasoning distilled. Journal of Experimental and Theoretical Artificial Intelligence, 12(3):279-305, 2000.
3. N. Bidoit and C. Froidevaux. General logical databases and programs: Default logic semantics and stratification. Information and Computation, 91:15-54, 1991.
4. F. Fages. A new fixpoint semantics for general logic programs compared with the wellfounded and the stable model semantics. New Generation Computing, 9(4), 1991.
5. M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In International Conference on Logic Programming (ICLP 88), pages 1070-1080, 1988.
6. C. Ghidini and F. Giunchiglia. Local models semantics, or contextual reasoning = locality + compatibility. Artificial Intelligence, 127(2):221-259, 2001. (Pubitemid 32331230)
7. F. Giunchiglia and L. Serafini. Multilanguage hierarchical logics, or: how we can do without modal logics. Artificial Intelligence, 65(1):29-70, 1994.
8. F. Giunchiglia. Contextual reasoning. Epistemologia, XVI:345-364, 1993.
9. J. McCarthy and S. Buvač. Formalizing context (expanded notes). In Computing Natural Language, volume 81 of CSLI Lecture Notes, pages 13-50. 1998.
10. J. McCarthy. Generality in artificial intelligence. Communications of ACM, 30(12):1030-1035, 1987.
11. J. McCarthy. Notes on formalizing context. In International Joint Conference on Artificial Intelligence (IJCAI 93), pages 555-560, 1993.
12. F. Roelofsen, L. Serafini, and A. Cimatti. Many hands make light work: Localized satisfiability for multi-context systems. In European Conference on Artificial Intelligence (ECAI 04), pages 58-62, 2004.
13. L. Serafini and P. Bouquet. Comparing formal theories of context in AI. Artificial Intelligence, 155:41-67, 2004.
14. A. Tarski. A lattice-theoretical fixpoint theorem and its applications. Pacific Journal of Mathematics, 5:285-309, 1955.
15. A. van Gelder, K. Ross, and J. S. Schlipf. The well-founded semantics for general logic programs. Journal of the ACM, 38(3):620-650, 1991.