A Neutral Approach to Proof and Refutation in MALL.

Olivier Delande Dale Miller

Published in: LICS (2008)

Keyphrases

theorem prover
theorem proving
automated theorem proving
first order logic
inference rules
data sets
natural deduction
proof search
answer set programming
inductive inference
proof planning
shopping mall
database
e learning
search algorithm
multiresolution