1071 search results - page 139 / 215 » Modal Logics, Description Logics and Arithmetic Reasoning |
171
click to vote
FORMATS
2006
Springer
15 years 10 months ago
2006
Springer
We consider interval measurement logic IML, a sublogic of Zhou and Hansen's interval logic, with measurement functions which provide real-valued measurement of some aspect of ...
199
click to vote
JELIA
2010
Springer
15 years 5 months ago
2010
Springer
Stable belief sets were introduced by R. Stalnaker in the early ’80s, as a formal representation of the epistemic state for an ideal introspective agent. This notion motivated M...
221
click to vote
EDBT
2002
ACM
16 years 7 months ago
2002
ACM
Ontologies are set to play a key role in the "Semantic Web", extending syntactic interoperability to semantic interoperability by providing a source of shared and precise...
163
click to vote
DLOG
2007
15 years 9 months ago
2007
An important reasoning task, in addition to the standard DL reasoning services, is conjunctive query answering. In this paper, we present a decision procedure for conjunctive query...
204
click to vote
SEMWEB
2004
Springer
16 years 4 days ago
2004
Springer
The standardization of the second generation Web Ontology Language, OWL, leaves a crucial issue for Web-based ontologies unsatisfactorily resolved: how to represent and reason with...