Login / Signup
Logtk: A Logic ToolKit for Automated Reasoning and its Implementation.
Simon Cruanes
Published in:
PAAR@IJCAR (2014)
Keyphrases
</>
automated reasoning
reasoning systems
theorem prover
decision procedures
theorem proving
knowledge representation
probabilistic reasoning
reasoning tasks
proof theory
automated verification
knowledge representation and reasoning
logical implication
general purpose