3776 search results - page 185 / 756 » Partition-Based Logical Reasoning |
105
click to vote
COOPIS
2002
IEEE
15 years 8 months ago
2002
IEEE
The Semantic Web is a vision of the next generation Web, in which semantic markup will make Web resources more accessible to automatic processes. Description Logics (DLs) are of cr...
136
Voted
ICDCS
2002
IEEE
15 years 8 months ago
2002
IEEE
We argue that joint administration of access policies for a dynamic coalition formed by autonomous domains requires that these domains set up a coalition authority that distribute...
122
Voted
CADE
2007
Springer
16 years 3 months ago
2007
Springer
We present results of our work on using first order theorem proving to reason over a large ontology (the Suggested Upper Merged Ontology ? SUMO), and methods for making SUMO suita...
137
Voted
TIME
1994
IEEE
15 years 7 months ago
1994
IEEE
Pinto and Reiter have argued that the Situation Calculus, improved with time handling axioms, subsumes the features of linear time temporal formalisms such as Event Calculus and I...
121
Voted
DLOG
2003
15 years 5 months ago
2003
We present lower bounds on the computational complexity of satisfiability and subsumption in several description logics. We interpret these lower bounds as coming from different...