3776 search results - page 207 / 756 » Partition-Based Logical Reasoning |
139
click to vote
KI
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Modal logics see a wide variety of applications in artificial intelligence, e.g. in reasoning about knowledge, belief, uncertainty, agency, defaults, and relevance. From ...
135
click to vote
DLOG
2004
15 years 5 months ago
2004
Reasoning capability is of crucial importance to many applications developed for the Semantic Web. Description Logics provide sound and complete reasoning algorithms that can effe...
133
click to vote
DLOG
2008
15 years 6 months ago
2008
The paper addresses the problem of explaining some reasoning tasks associated with the DL-Lite Description Logic. Because of the simplicity of the language, standard concept level ...
129
click to vote
KR
2004
Springer
15 years 9 months ago
2004
Springer
Simple Conceptual Graphs (SGs) are used to represent entities and relations between these entities: they can be translated into positive, conjunctive, existential first-order log...
172
click to vote
LICS
2012
IEEE
13 years 6 months ago
2012
IEEE
—Data trees are trees in which each node, besides carrying a label from a finite alphabet, also carries a data value infinite domain. They have been used as an abstraction mode...