1545 search results - page 27 / 309 » Defeasible Description Logics |
DLOG
2004
13 years 9 months ago
2004
We present an application
TABLEAUX
1999
Springer
13 years 12 months ago
1999
Springer
In this paper we present the results of applying HAM-ALC, a description logic system for ALCNR, to modal logic SAT problems.
FUZZIEEE
2007
IEEE
14 years 2 months ago
2007
IEEE
— The Semantic Web can be viewed as largely about “Knowledge meets the Web”. Thus its vision includes ontologies and rules. A key requirement for the architecture of the Sema...
FOIKS
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. In this paper we recast the formalism of argumentation formalism known as DeLP (Defeasible Logic Programming) in game-theoretic terms. By considering a game between a Pro...
IJCAI
2003
13 years 9 months ago
2003
The evolution of Description Logics (DLs) and Propositional Dynamic Logics produced a hierar chy of decidable logics with multiple maximal el ements. It would be desirable to ...