A proof procedure for adaptive logics.

Published in: Log. J. IGPL (2013)

Keyphrases

proof procedure
proof procedures
theorem proving
first order logic
propositional logic
expressive power
inference rules
decision procedures
predicate calculus
machine learning
co occurrence
constraint satisfaction