Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 5 of 5 on D. Calvanese, M. Lenzerini. and D. Nardi. Description logics for conceptual data....
" D. Calvanese, M. Lenzerini. and D. Nardi. Description logics for conceptual data modeling. In J. Chomicki and G. Saake. editors. Logics for Databases and Information Systems, pages 229-263. "
Knowledge in Action: Logical Foundations for Specifying and Implementing ... - Page 409
by Raymond Reiter - 2001 - 448 pages
Limited preview - About this book

Formal Methods for Open Object-Based Distributed Systems IV

Scott F. Smith, Carolyn L. Talcott - Computers - 2000 - 417 pages
...Ehrich, C. Caleiro, A Sernadas, and G. Denker. Logics for Specifying Concurrent Information Systems. In J. Chomicki and G. Saake, editors, Logics for Databases and Information Systems, pages 167-198. Kluwer Academic Publishers, 1998. [33] Steven Eker. Fast matching in combination of...
Limited preview - About this book

Logics for Emerging Applications of Databases

Jan Chomicki, Ron van der Meyden, Gunter Saake - Computers - 2003 - 368 pages
...Engineering, 7(4):566-582, 1995. 13. J. Chomicki and D. Toman. Temporal Logic in Information Systems. In J. Chomicki and G. Saake, editors, Logics for Databases and Information Systems, pp. 31-70. Kluwer, Boston, 1998. 14. LS Colby, T. Griffin, L. Libkin, IS Mumick, and H. Trickey. Algorithms...
Limited preview - About this book

Many-Dimensional Modal Logics: Theory and Applications

A. Kurucz, F. Wolter, M. Zakharyaschev, Dov M. Gabbay - Computers - 2003 - 766 pages
...al. 1998. D. Calvanese, M. Lenzerini, and D. Nardi. Description logics for conceptual data modeling. In J. Chomicki and G. Saake, editors, Logics for Databases and Information Systems, pages 229-263. Kluwer Academic Publishers, 1998. Bibliography 691 Calvanese et al. 2001. D. Calvanese,...
Limited preview - About this book

Foundations of Information and Knowledge Systems: 4th International ...

Stephen J. Hegner - Computers - 2006 - 331 pages
...1998. 8. D. Calvanese, M. Lenzerini, and D. Nardi. Description logics for conceptual data modeling. In J. Chomicki and G. Saake, editors, Logics for Databases and Information Systems. Kluwer, 1998. 9. D. Calvanese, M. Lenzerini, and D. Nardi. Unifying class-based representation formalisms....
Limited preview - About this book

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

Chitta Baral, Gerhard Brewka, John Schlipf - Computers - 2007 - 326 pages
...Technical Report CSRI-323, Computer Systems Research Institute, University of Toronto, Canada, 1995. 4. AJ Bonner and M. Kifer. A logic for programming database transactions. In Logics for Databases and Information Systems, pages 117-166. Kluwer, 1998. 5. AJ Bonner and M. Kifer....
Limited preview - About this book




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