1802 search results - page 79 / 361 » Model-based Theory Combination |
122
click to vote
CADE
2004
Springer
15 years 8 months ago
2004
Springer
The paper presents a modular superposition calculus for the combination of first-order theories involving both total and partial functions. Modularity means that inferences are pu...
129
Voted
JMIV
1998
15 years 2 months ago
1998
In the past decades linear scale-space theory was derived on the basis of various axiomatics. In this paper we revisit these axioms and show that they merely coincide with the foll...
123
Voted
RTA
2005
Springer
15 years 8 months ago
2005
Springer
We present constructive arithmetic in Deduction modulo with rewrite rules only. In natural deduction and in sequent calculus, the cut elimination theorem and the analysis of the st...
131
Voted
CCS
2008
ACM
15 years 4 months ago
2008
ACM
In the Horn theory based approach for cryptographic protocol analysis, cryptographic protocols and (Dolev-Yao) intruders are modeled by Horn theories and security analysis boils d...
144
click to vote
CSCLP
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Over the last decade, first-order constraints have been efficiently used in the artificial intelligence world to model many kinds of complex problems such as: scheduling,...