1916 search results - page 188 / 384 » Reasoning with class algebra |
137
click to vote
DLOG
2010
15 years 2 months ago
2010
Abstract. One of the most frequently used inference services of description logic reasoners classifies all named classes of OWL ontologies into a subsumption hierarchy. Due to emer...
206
Voted
LPKR
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. We study the relationship between argumentation (abduction) and disjunctive logic programming. Based on the paradigm of argumentation, an abductive semantic framework for...
153
click to vote
JAIR
2011
14 years 11 months ago
2011
In action domains where agents may have erroneous beliefs, reasoning about the effects of actions involves reasoning about belief change. In this paper, we use a transition system...
130
click to vote
STACS
2010
Springer
15 years 11 months ago
2010
Springer
Abstract. It is well-known that Abstract State Machines (ASMs) can simulate “stepby-step” any type of machines (Turing machines, RAMs, etc.). We aim to overcome two facts: 1) s...
125
click to vote
SAC
2010
ACM
15 years 11 months ago
2010
ACM
We consider the design of parametric curves from geometric constraints such as distance from lines or points and tangency to lines or circles. We solve the Hermite problem with su...