1737 search results - page 231 / 348 » On Interpolation in Existence Logics |
159
click to vote
LISP
2002
15 years 6 months ago
2002
Abstract. Specification diagrams (SD's) are a novel form of graphical notation for specifying open distributed object systems. The design goal is to define notation for specif...
138
click to vote
LOGCOM
2010
15 years 4 months ago
2010
The notion of warrant or justification is one of the central concepts in formal models of argumentation. The dialectical definition of warrant is expressed in terms of recursive...
160
click to vote
SYNTHESE
2010
15 years 4 months ago
2010
There exists a considerable body of work on epistemic logics for resource-bounded reasoners. In this paper, we concentrate on a less studied aspect of resource-bounded reasoning, n...
209
click to vote
WOTE
2010
15 years 4 months ago
2010
According to international law, anonymity of the voter is a fundamental precondition for democratic elections. In electronic voting, several aspects of voter anonymity have been id...
185
click to vote
DLOG
2009
15 years 4 months ago
2009
We present a novel reasoning procedure for Horn SHIQ ontologies--SHIQ ontologies that can be translated to the Horn fragment of first-order logic. In contrast to traditional reaso...