Sciweavers

2138 search results - page 23 / 428
» Logics for the Relational Syllogistic
Sort
View
DLOG
1997
14 years 11 months ago
Conjunctive Query Containment in Description Logics with n-ary Relations
Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...
IJCAI
1989
14 years 11 months ago
On the Relation Between Truth Maintenance and Autoepistemic Logic
Michael Reinfrank, Oskar Dressler, Gerhard Brewka