3244 search results - page 127 / 649 » Extensions to Description Logics |
148
click to vote
JAR
2007
15 years 6 months ago
2007
ACL2(r) is a modified version of the theorem prover ACL2 that adds support for the irrational numbers using non-standard analysis. It has been used to prove basic theorems of anal...
183
click to vote
ACL
1989
15 years 7 months ago
1989
Feature structures are informational elements that have been used in several linguistic theories and in computational systems for natural-language processing. A logicaJ calculus h...
197
click to vote
ICIW
2008
IEEE
16 years 23 days ago
2008
IEEE
In this paper, we present an extension of PHIL, a declarative language for filtering information from XML data. The proposed approach allows us to extract relevant data as well a...
139
click to vote
IAT
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract—In semantic matchmaking processes it is often useful, when the obtained match is not full, to provide explanations for the mismatch, to leverage further interaction and/...
145
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Justification logics are epistemic logics that explicitly include justifications for the agents' knowledge. We develop a multi-agent justification logic with evidence terms fo...