Sciweavers

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