3244 search results - page 282 / 649 » Extensions to Description Logics |
170
click to vote
AI
2006
Springer
15 years 10 months ago
2006
Springer
This paper studies the problem of classification by using a concept lattice as a search space of classification rules. The left hand side of a classification rule is composed by a ...
198
click to vote
FLAIRS
2007
15 years 9 months ago
2007
This work addresses the issue of prioritized reasoning in the context of logic programming. The case of preference conditions involving atoms is considered and a refinement of th...
188
click to vote
CLA
2007
15 years 8 months ago
2007
Abstract. This paper presents a mathematization of the philosophical doctrine of judgments as an extension of the mathematization of the philosophical doctrine of concepts develope...
158
click to vote
CLIMA
2007
15 years 8 months ago
2007
We propose a new version of ATLP (“ATL with plausibility”), a logic for reasoning about the outcome of rational play in game-like scenarios. Unlike in [8], where two different ...
190
click to vote
OWLED
2008
15 years 8 months ago
2008
Abstract. In this paper, we show how the web ontology language OWL can be accommodated within the larger framework of the heterogeneous common algebraic specification language HETC...