1269 search results - page 109 / 254 » Pi-Calculus in Logical Form |
64
Voted
AAAI
1994
15 years 2 months ago
1994
Sometimes inferences made at some specific time are valid at other times, too. In model-based diagnosis and monitoring as well as qualitative simulation inferences are often re-do...
92
Voted
CADE
2010
Springer
15 years 1 months ago
2010
Springer
iProver-Eq is an implementation of an instantiation-based calculus Inst-Gen-Eq which is complete for first-order logic with equality. iProver-Eq extends the iProver system with sup...
105
Voted
JANCL
2006
15 years 20 days ago
2006
This paper describes an experimental platform for approximate knowledge databases called the Approximate Knowledge Database (AKDB), based on a semantics inspired by rough sets. The...
89
Voted
SYNTHESE
2008
15 years 18 days ago
2008
The Interpolation Theorem, first formulated and proved by W. Craig fifty years ago for predicate logic, has been extended to many other logical frameworks and is being applied in s...
118
click to vote
IJPRAI
2000
15 years 15 days ago
2000
We present an approach to knowledge compilation that transforms a function-free first-order Horn knowledge base to propositional logic. This form of compilation is important since...