Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 4 of 4 on B. Freitag, H. Decker, M. Kifer, and A. Voronkov, editors, Transactions and Change....  
" B. Freitag, H. Decker, M. Kifer, and A. Voronkov, editors, Transactions and Change in Logic Databases, volume 1472 of Lecture Notes in Computer Science, pages 356-387. "
Knowledge in Action: Logical Foundations for Specifying and Implementing ... - Page 418
by Reiter
Limited preview - About this book

Transactions and Change in Logic Databases: International Seminar on Logic ...

Burkhard Freitag - Computers - 1998 - 396 pages
...'96), Bonn, Germany, pages 142-156, 1996. 7. AJ Bonner and M. Kifer. The state of change: A survey. In B. Freitag, H. Decker, M. Kifer, and A. Voronkov,...editors, Transactions and Change in Logic Databases, volume 1472 of LNCS, pages 1-36. Springer-Verlag, Berlin, Germany, 1998. 8. W. Chen. Declarative updates...
Limited preview - About this book

Transactions and Database Dynamics: 8th International Workshop on ...

Gunter Saake, Kerstin Schwarz, Can Türker - Computers - 2000 - 245 pages
...MIT Press, 1997. 19. CA Wichert, B. Freitag, and A. Fent. Logical Transactions and Serializability. In B. Freitag, H. Decker, M. Kifer, and A. Voronkov,...editors, Transactions and Change in Logic Databases, pages 134-165, Lecture Notes in Computer Science, Vol. 1472, Springer-Verlag, 1998. Full version also...
Limited preview - About this book

On the Move to Meaningful Internet Systems 2003: CoopIS, DOA, and ..., Volume 1

R. Meersman - Computers - 2003 - 1546 pages
...Semantic Issues in Multimedia Systems, pages 351-369. Kluwer Academic Publisher, Boston, 1999. 13. B. Freitag, H. Decker, M. Kifer, and A. Voronkov,...editors. Transactions and Change in Logic Databases, volume 1472 of LNCS. Springer- Verlag, Berlin, 1998. 14. J. Frohn, R. Himmeroder, G. Lausen, W. May,...
Limited preview - About this book

Logic Programming and Nonmonotonic Reasoning: 8th International Conference ...

Chitta Baral - Computers - 2005 - 454 pages
...the llth Banff Knowledge Acquisition for KnowledgeBased Systems Workshop, Banff, Canada, 1998. 15. B. Freitag, H. Decker, M. Kifer, and A. Voronkov,...editors. Transactions and Change in Logic Databases, volume 1472 of LNCS. Springer-Verlag, Berlin, 1998. 16. M. Gelfond and V. Lifschitz. The stable model...
Limited preview - About this book




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