Proof Search for the First-Order Connection Calculus in Maude.
Bjarne HolenEinar Broch JohnsenArild WaalerPublished in: WRLA (2008)
Keyphrases
- proof search
- first order logic
- theorem prover
- theorem proving
- inference rules
- proof procedure
- linear logic
- proof planning
- search procedure
- sequent calculus
- predicate calculus
- horn clauses
- propositional logic
- higher order
- cut elimination
- automated reasoning
- model theoretic
- formal specification
- probabilistic reasoning
- formal semantics
- knowledge representation
- fixed point
- evolutionary algorithm
- tabu search