Combining Interactive and Automatic Reasoning in First Order Theories of Functional Programs.

Ana Bove Peter Dybjer Andrés Sicard-Ramírez

Published in: FoSSaCS (2012)

Keyphrases

functional programs
theory revision
term rewriting systems
knowledge base
logic programs
lazy evaluation
logical formulas
stochastic grammar
knowledge representation
first order logic
probabilistic logic
functional language
logic programming
concept learning