Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 5 of 5 on H. Katsuno and AO Mendelzon. On the difference between updating a knowledge database....  Take our survey New!
" H. Katsuno and AO Mendelzon. On the difference between updating a knowledge database and revising it. In Proceedings of the International Conference on Knowledge Representation and Reasoning (KR), pages 387-394, Boston, Mass., April 1991. "
Automated Planning: Theory and Practice - Page 575
by Malik Ghallab, Dana S. Nau, Paolo Traverso - 2004 - 635 pages
Limited preview - About this book

Logic Programming: Proceedings of the Tenth International Conference on ...

David S. Warren - Computers - 1993 - 854 pages
...Katsuno and AO Mendelzon. On the difference between updating a knowledge database and revising it. In Proceedings of the International Conference on Knowledge Representation and Reasoning (KR), pages 387-394, Boston, Mass., April 1991. [14] M. Kifer, G. Lausen, and J. Wu. Logical foundations...
Limited preview - About this book

Temporal Logic: First International Conference, ICTL '94, Bonn, Germany ...

Dov M. Gabbay, Hans J. Ohlbach - Computers - 1994 - 545 pages
...Katsuno and AO Mendelzon. On the difference between updating a knowledge database and revising it. In Proceedings of the International Conference on Knowledge Representation and Reasoning (KR), pages 387-394, Boston, Mass., April 1991. 15. M. Kifer, G. Lausen, and J. Wu. Logical foundations of...
Limited preview - About this book

Deductive and Object-Oriented Databases: Fourth International Conference ...

Tok W. Ling, Alberto O. Mendelzon, Laurent Vieille - Business & Economics - 1995 - 558 pages
...15. H. Katsuno and AO Mendelzon. On the difference between updating a knowledge base and revising it. In Proceedings of the International Conference on Knowledge Representation and Reasoning (KR), pages 387-394, Boston, Mass., April 1991. 16. M. Kifer and G. Lausen. F-logic: A higher-order language...
Limited preview - About this book

Learning in Graphical Models: [proceedings of the NATO Advanced Study ...

M.I. Jordan - Computers - 1998 - 630 pages
...algorithms for combinatorial problems on graphs with bounded decomposability - a survey. BIT, 25:2-23, 1985. F. Bacchus and P. van Run. Dynamic variable ordering in csps. In Principles and Practice of Constraints Programming (CP-95), Cassis, France, 1995. A. Becker and D....
Limited preview - About this book

Handbook of Constraint Programming

Francesca Rossi, Peter van Beek, Toby Walsh - Computers - 2006 - 978 pages
...A. Grove. Looking forward in constraint satisfaction algorithms. Unpublished manuscript, 1999. [5] F. Bacchus and P. van Run. Dynamic variable ordering in CSPs. In Proceedings of the First International Conference on Principles and Practice of Constraint Programming, pages 258-275,...
Limited preview - About this book




  1. My library
  2. Help
  3. Advanced Book Search