5378 search results - page 276 / 1076 » Base Logics in Argumentation |
182
click to vote
DLOG
2007
15 years 9 months ago
2007
We present cq-programs, which enhance nonmonotonic description logics (dl-) programs by conjunctive queries (CQ) and union of conjunctive queries (UCQ) over Description Logics kno...
169
click to vote
ASPDAC
2008
ACM
15 years 8 months ago
2008
ACM
Abstract--Resonant tunneling diodes (RTDs) have demonstrated promising circuit characteristics of high speed switching property and versatile functionality with negative differenti...
177
click to vote
AIML
2008
15 years 8 months ago
2008
We present a complete axiomatization of a logic denoted by MTML (Mereo-Topological Modal Logic) based on the following set of mereotopological relations: part-of, overlap, underlap...
162
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
Representing an epistemic situation involving several agents depends very much on the modeling point of view one takes. In fact, the interpretation of a formalism relies quite a lo...
162
click to vote
IJCAI
2007
15 years 8 months ago
2007
We combine the modal logic S5 with the description logic (DL) ALCQI. In this way, we obtain a multi-dimensional DL, S5ALCQI, whose purpose is reasoning about change. S5ALCQI is ca...