Login / Signup
Equational Logics.
Yong Sun
Published in:
JTASPEFT/WSA (1991)
Keyphrases
</>
theorem proving
expressive power
inference rules
decision procedures
equational theories
anti unification
theorem prover
modal logic
horn clauses
nonmonotonic logics
conditional logic
propositional calculus
first order logic
logic programs
decision making
machine learning
coalition logic
horn logic
data sets