Permissive belief revision

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

Volumn 2258 LNAI, Issue , 2001, Pages 335-348

  Cravo, Maria R ^a   Cachopo, João P ^a   Cachopo, Ana C ^a   Martins, João P ^a  

^a INSTITUTO SUPERIOR TÉCNICO   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; INTELLIGENT AGENTS; LOGIC PROGRAMMING; ARTIFICIAL INTELLIGENCE;

BELIEF REVISION;

MULTI AGENT SYSTEMS;

EID: 84867767748     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45329-6_33     Document Type: Conference Paper

References (10)

1. Carlos E. Alchourron, Peter Grdenfors, and David Makinson. On the logic of theory change: partial meet functions for contraction and revision. The Journal of Symbolic Logic, 50(2):510-530, 1985.
2. Salem Benferhat, Souhila Kaci, Daniel Le Berre, and Mary-Anne Williams. Weakening conflicting information for iterated revision and knowledge integration. In Proceedings of IJCAI-2001, Seattle, Washington, USA, 2001. Morgan Kaufmann Publishers, Inc.
3. Maria R. Cravo, Joo P. Cachopo, Ana C. Cachopo, and Joo P. Martins. Permissive belief revision (preliminary report). "Third Workshop on Nonmonotonic Reasoning, Action, and Change" (NRAC99), "Sixteenth International Joint Conference on Artificial Intelligence" (IJCAI99), August 1999.
4. Maria R. Cravo and Joo P. Martins. SNePSwD, a newcomer to the SNePS family. Journal of Experimental and Theoretical Artificial Intelligence, 5:135-148, 1993.
5. Maria R. Cravo. SWMC: A logic for default reasoning and belief revision (a new version). Technical Report GIA 93/02, Instituto Superior T cnico, Universidade T cnica de Lisboa, Lisbon, Portugal, November 1993.
6. Andr Fuhrmann. Theory contraction through base contraction. Journal of Philosophical Logic, 20(2):175-203, 1991.
7. Daniel Lehmann. Belief revision revised. In Proceedings of IJCAI-95, pages 1534-1540, Montreal, Canada, 1995. Morgan Kaufmann Publishers, Inc.
8. Bernhard Nebel. A knowledge level analysis of belief revision. In Proceedings of KR-89, pages 301-311. Morgan Kaufmann Publishers, Inc., Toronto, Canada, 1989.
9. Bernhard Nebel. Reasoning and revision in hybrid representation systems, volume 422 of Lecture Notes in Artificial Intelligence. Springer-Verlag, Heidelberg, Germany, 1990.
10. C.F. Pimentel and M. R. Cravo. Permissive belief revision using default logic. Technical Report GIA 01/01, Instituto Superior T cnico, Universidade T cnica de Lisboa, Lisbon, Portugal, 2001.