Polarities & Focussing: a journey from Realisability to Automated Reasoning.
Stéphane Graham-LengrandPublished in: CoRR (2014)
Keyphrases
- automated reasoning
- reasoning systems
- theorem proving
- knowledge representation
- probabilistic reasoning
- theorem prover
- reasoning tasks
- decision procedures
- automated verification
- sentiment classification
- knowledge representation and reasoning
- propositional satisfiability
- sentence level
- constraint satisfaction
- first order logic
- logic programming
- neural network
- prime implicants