Open AccessA Superposition Strategy for Abductive Reasoning in Ground Equational Logic
Author(s) -
Mnacho Echenim,
Nicolas Peltier,
Sophie Tourret
Publication year - 2012
Publication title -
hal (le centre pour la communication scientifique directe)
Language(s) - English
Resource type - Conference proceedings
Subject(s) - modulo , axiom , equational logic , predicate (mathematical logic) , first order logic , transitive relation , equivalence (formal languages) , computer science , mathematics , automated theorem proving , horn clause , algorithm , theoretical computer science , algebra over a field , programming language , prolog , discrete mathematics , pure mathematics , combinatorics , rewriting , geometry