Many-Sorted Inferences in Automated Theorem Proving.

Christoph Walther

Published in: Sorts and Types in Artificial Intelligence (1989)

Keyphrases

automated theorem proving
theorem proving
theorem prover
answer set programming
classical logic
state space
computer vision
expert systems
general purpose
programming language
logic programs
heuristic search
answer sets
numerical calculation