1071 search results - page 50 / 215 » Modal Logics, Description Logics and Arithmetic Reasoning |
186
click to vote
IJCAI
2007
15 years 7 months ago
2007
Integrating description logics (DL) and logic programming (LP) would produce a very powerful and useful formalism. However, DLs and LP are based on quite different principles, so ...
188
click to vote
DLOG
2009
15 years 4 months ago
2009
In the current paper we study the reasoning problem for fuzzy SI (f-SI) under arbitrary continuous fuzzy operators. Our work can be seen as an extension of previous works that stud...
127
click to vote
DLOG
2006
15 years 7 months ago
2006
The goal of this paper is to present how the Prolog Technology Theorem Proving (PTTP) approach can be used for ABox-reasoning. This work presents an inference algorithm over the l...
