4617 search results - page 215 / 924 » Automation of Diagrammatic Reasoning |
178
click to vote
DLOG
2010
15 years 4 months ago
2010
Abstract. This paper presents a discussion on the phenomena of masking in the context of justifications for entailments. Various types of masking are introduced and a definition fo...
149
click to vote
DLOG
2010
15 years 4 months ago
2010
es (Extended Abstract) Lina Lubyte and Sergio Tessaris KRDB Research Centre, Free University of Bozen-Bolzano
183
click to vote
LICS
2010
IEEE
15 years 4 months ago
2010
IEEE
One of the major interests of finite model theory is to separate the expressive power of different logics or fragments of logics. In this paper, we define a variant of EhrenfeuchtF...
169
click to vote
LPAR
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Recently, graded modalities have been added to the semantics of two of the logics most commonly used by the computer science community:
153
click to vote
DLOG
2009
15 years 4 months ago
2009
Least Common Subsumers (LCS) have been proposed in Description Logics (DL) to capture the commonalities between two or more concepts.