BibSonomy :: concept ::

The blue social bookmark and publication sharing system.

bookmarks

bookmarks per page: 5 10 20 50 100

< >

Regular path queries in expressive description logics with nominals
D. Calvanese, T. Eiter, and M. Ortiz Proceedings of the 21st International Joint Conference on Artificial Intelligence. AAAI Press/IJCAI, 2009. (July 2009)
to description logics ontologies ontorule reasoning regular by ontorule and 1 other user on Mar 29, 2010, 4:38 PM
URL | BibTeX (0)
Finite model reasoning in DL-Lite
Riccardo Rosati Proceedings of the 5th European Semantic Web Conference, Berlin, Heidelberg, Springer Verlag, (June 2008)
to ontologies reasoning description computational logics complexity formal-languages-2 by eswc2008 and 1 other user on May 28, 2008, 2:50 PM
URL | BibTeX (0)
Mapping Validation by Probabilistic Reasoning
Silvana Castano, Alfio Ferrara, Davide Lorusso, Tobias Henrik Näth, and Ralf Moeller Proceedings of the 5th European Semantic Web Conference, Berlin, Heidelberg, Springer Verlag, (June 2008)
to matching mapping probabilistic logics description ontology reasoning formal-languages-1 by eswc2008 on May 28, 2008, 2:49 PM
URL | BibTeX (0)
The Perceptual Nature of Mental Models
Gottfried Vosgerau Mental Models in Cognitive Psychology, Neuroscience, and Philosophy of Mind, Elsevier, (2006)
to models mental-model psychology logics reasoning by ydu and 4 other users on Jan 25, 2007, 8:52 PM
BibTeX (0)

< > publications per page: 5 10 20 50 100