Episodic Logic: Natural Logic + Reasoning.
Karl StratosLenhart K. SchubertJonathan GordonPublished in: KEOD (2011)
Keyphrases
- automated reasoning
- proof theory
- logical framework
- classical logic
- order of magnitude reasoning
- computational properties
- multi valued
- logical inference
- logic programming
- intuitionistic logic
- deductive reasoning
- sound and complete axiomatization
- reasoning engine
- human reasoning
- predicate logic
- probabilistic logic
- modal logic
- probabilistic knowledge
- abductive reasoning
- reasoning problems
- knowledge representation formalisms
- neural network