Sciweavers

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