4617 search results - page 391 / 924 » Automation of Diagrammatic Reasoning |
159
click to vote
CADE
2001
Springer
16 years 7 months ago
2001
Springer
Abstract. Nontrivial meta-complexity theorems, proved once for a programming language as a whole, facilitate the presentation and analysis of particular algorithms. This paper give...
148
click to vote
CADE
2001
Springer
16 years 7 months ago
2001
Springer
The STRIP system is a theorem prover for intuitionistic propositional logic with two main characteristics: it deals with the duplication of formulae during proof-search from a fine...
218
click to vote
CADE
2001
Springer
16 years 7 months ago
2001
Springer
Abstract. JProver is a first-order intuitionistic theorem prover that creates sequent-style proof objects and can serve as a proof engine in interactive proof assistants with expre...
181
click to vote
TIME
2009
IEEE
16 years 1 months ago
2009
IEEE
We investigate fragments of Halpern-Shoham’s interval logic HS involving the modal operators for the relations of left or right overlap of intervals. We prove that most of these...
152
click to vote
ICCBR
2009
Springer
16 years 1 months ago
2009
Springer
Integrity constraint belief merging aims at producing from several knowledge bases, that may be mutually inconsistent, a synthetic knowledge base satisfying a given integrity const...