19 search results - page 1 / 4 » Detecting the Logical Content: Burley's 'Purity of Logic' |
BIRTHDAY
2005
Springer
13 years 10 months ago
2005
Springer
ESWS
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. We propose a general method and novel algorithmic techniques to facilitate the integration of independently developed ontologies using mappings. Our method and techniques...
KR
2000
Springer
13 years 8 months ago
2000
Springer
We investigate the problem of reasoning with partitions of related logical axioms. Our motivation is two-fold. First, we are concerned with how to reason effectively with multiple...
JAIR
2002
13 years 4 months ago
2002
We propose a structured approach to the problem of retrieval of images by content and present a description logic that has been devised for the semantic indexing and retrieval of ...
SAC
2009
ACM
13 years 11 months ago
2009
ACM
A wide range of web service choreography constraints on the content and sequentiality of messages can be translated into Linear Temporal Logic (LTL). Although they can be statical...