Computational interpretations of classical reasoning: From the epsilon calculus to stateful programs.

Published in: CoRR (2018)

Keyphrases

provably correct
knowledge representation
qualitative reasoning
valued logic
knowledge base
complexity analysis
reasoning process
computer programs
propositional logic
probabilistic reasoning
computational properties
reasoning systems
proof procedure
abstract argumentation