MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Updates in Logical Databases." – sorted by Relevance.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 14 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Updating logical databases  
  • by Ronald Fagin, Gabriel M. Kuper, Jeffrey D. Ullman, Moshe Y. Vardi — 1986 — Advances in Computing Research
  • UPDATING LOGICAL DATABASES Ronald Fagin, Gabriel M. Kuper, Jeffrey D. Ullman, and Moshe Y. Vardi…
  • Cited by 60 (0 self)Add To MetaCart
  • The Implementation of a First-Order Logic AGM Belief Revision System  
  • by Simon Dixon And, Simon Dixon, Wayne Wobcke — 1993 — In Proceedings of the Fifth IEEE International Conference on Tools in Artificial Intelligence
  • … naturally suited to modelling updates of logical databases. Current approaches to formalizing belief…
  • Add To MetaCart
  • Logic Databases and the Meaning of Change  
  • by Jorge Bocca, Hendrik Decker, Michael Kifer, Andrei Voronkov — 1996
  • …UPMAIL Technical Report No. 129 September 19, 1996 ISSN 1100-0686 Logic Databases and the Meaning…
  • Add To MetaCart
  • Changing Conditional Beliefs Unconditionally  
  • by Abhaya C. Nayak, Norman Y. Foo, Maurice Pagnucco, Abdul Sattar — 1996 — In Proceedings of the Sixth Conference of Theoretical Aspects of Rationality and Knowledge (TARK'96
  • … interest from the area of Artificial Intelligence and have important implications for updating (logical
  • Cited by 23 (2 self)Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB