1071 search results - page 7 / 215 » Modal Logics, Description Logics and Arithmetic Reasoning |
ICTL
1994
13 years 11 months ago
1994
This paper presents a temporal belief logic called
RULEML
2004
Springer
14 years 29 days ago
2004
Springer
We propose to extend description logic with defeasible rules, and to use the inferential mechanism of defeasible logic to reason with description logic constructors.
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.
DLOG
1998
13 years 9 months ago
1998
Effective systems for expressive description logics require a heavily-optimised subsumption checker incorporating a range of optimisation techniques. Because of the correspondence...
JAPLL
2006
13 years 7 months ago
2006
Hybrid logics are a principled generalization of both modal logics and description logics, a standard formalism for knowledge representation. In this paper we give the first const...