A Proof Procedure for Hybrid Logic with Binders, Transitivity and Relation Hierarchies.
Marta Cialdea MayerPublished in: CADE (2013)
Keyphrases
- proof procedure
- theorem proving
- proof procedures
- propositional logic
- predicate calculus
- first order logic
- abductive logic programming
- inference rules
- propositional satisfiability
- model theoretic
- proof search
- automated reasoning
- predicate logic
- preference relations
- active rules
- search algorithm
- theorem prover
- deductive databases
- formal model
- integrity constraints
- expert systems