2585 search results - page 452 / 517 » Automating Coherent Logic |
140
click to vote
NMR
2004
Springer
15 years 6 months ago
2004
Springer
A logic is defined which in addition to propositional calculus contains several types of probabilistic operators which are applied only to propositional formulas. For every s ∈...
129
click to vote
AISC
1998
Springer
15 years 5 months ago
1998
Springer
The use of computer algebra is usually considered beneficial for mechanised reasoning in mathematical domains. We present a case study, in the application domain of coding theory, ...
116
click to vote
FMCAD
2006
Springer
15 years 4 months ago
2006
Springer
We describe a link between the ACL2 and HOL mechanical proof assistants that enables the strengths of each system to be deployed smoothly within a single formal development. Severa...
100
click to vote
ICAI
2004
15 years 2 months ago
2004
This paper shows how to generate an English step-by-step explanation that describes how an automated reasoning system solves a complex logic program. We limit our attention to pro...
133
Voted
AI
2010
Springer
15 years 28 days ago
2010
Springer
We develop a formal framework for comparing different versions of ontologies, and apply it to ontologies formulated in terms of DL-Lite, a family of `lightweight' description...