Sciweavers

2145 search results - page 24 / 429
» Lax Logical Relations
Sort
View
DLOG
1997
15 years 12 days ago
Conjunctive Query Containment in Description Logics with n-ary Relations
Diego Calvanese, Giuseppe De Giacomo, Maurizio Len...
IJCAI
1989
15 years 6 days ago
On the Relation Between Truth Maintenance and Autoepistemic Logic
Michael Reinfrank, Oskar Dressler, Gerhard Brewka
ARTMED
2007
59views more  ARTMED 2007»
14 years 11 months ago
Logical properties of foundational relations in bio-ontologies
Thomas Bittner, Maureen Donnelly
JANCL
2008
42views more  JANCL 2008»
14 years 11 months ago
Second-order logic on equivalence relations
G. Georgiev, Tinko Tinchev