Login / Signup
A special issue on structural proof theory, automated reasoning and computation in celebration of Dale Miller's 60th birthday.
David Baelde
Amy P. Felty
Gopalan Nadathur
Alexis Saurin
Published in:
Math. Struct. Comput. Sci. (2019)
Keyphrases
</>
automated reasoning
special issue
proof theory
knowledge representation
theorem proving
theorem prover
probabilistic reasoning
reasoning tasks
international journal
ecml pkdd
ai edam
decision procedures
applied intelligence
default reasoning
high level
inference rules
logic programs
natural language