First-order logical filtering

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2005, Pages 589-595

  Shirazi, Afsaneh ^a   Amir, Eyal ^a  

^a UNIVERSITY OF ILLINOIS AT URBANA CHAMPAIGN   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

BELIEF REVISION; DYNAMIC DOMAINS; FIRST ORDER LOGIC; FIRST-ORDER; MODELING LANGUAGES; NATURAL REPRESENTATION; POLYNOMIAL-TIME ALGORITHMS; POSSIBLE WORLDS;

ARTIFICIAL INTELLIGENCE; AUTONOMOUS AGENTS;

ALGORITHMS;

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

References (9)

1. Eyal Amir and Stuart Russell. Logical filtering. In IJCAI '03, pages 75-82. MK, 2003.
2. A. Blass and Y. Gurevich. Background, Reserve, and Gandy Machines. In P. Clote and H. Schwichtenberg, editors, Computer Science Logic (Proceedings of CSL 2000), volume 1862 of LNCS, pages 1-17. Springer, 2000.
3. Xavier Boyen and Daphne Koller. Tractable inference for complex stochastic processes. In Proc. UAI '98, pages 33-42. MK, 1998.
4. Maria R. Cravo, João P. Cachopo, Ana C. Cachopo, and João P. Martins. Permissive belief revision. In EPIA, pages 335-348, 2001.
5. Simon Dixon and Wayne Wobcke. The implementation of a first-order logic agm belief revision system. In ICTAI, pages 40-47, 1993.
6. T. Eiter and G. Gottlob. On the complexity of propositional knowledge base revision, updates, and counterfactuals. AIJ, 57(2-3):227-270, 1992. (Pubitemid 23586698)
7. Fangzhen Lin and Ray Reiter. How to Progress a Database. AIJ, 92(1-2):131-167, 1997.
8. Raymod Reiter. Knowledge In Action: Logical Foundations for Describing and Implementing Dynamical Systems. MIT Press, 2001.
9. Mary-Anne Winslett. Updating Logical Databases. Cambridge U. Press, 1990.