Automated theorem proving by resolution in non-classical logics.

Viorica Sofronie-Stokkermans

Published in: Ann. Math. Artif. Intell. (2007)

Keyphrases

automated theorem proving
theorem proving
theorem prover
consequence finding
answer set programming
classical logic
first order logic
low resolution
inference rules
high resolution
logic programming
real time
logic programs
general purpose
probabilistic model
higher resolution
multiresolution
high quality