Sciweavers

2145 search results - page 24 / 429
» Lax Logical Relations
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 8 months ago
On the Relation Between Truth Maintenance and Autoepistemic Logic
Michael Reinfrank, Oskar Dressler, Gerhard Brewka
ARTMED
2007
59views more  ARTMED 2007»
13 years 7 months ago
Logical properties of foundational relations in bio-ontologies
Thomas Bittner, Maureen Donnelly
JANCL
2008
42views more  JANCL 2008»
13 years 7 months ago
Second-order logic on equivalence relations
G. Georgiev, Tinko Tinchev