The Jobs Puzzle: A Challenge for Logical Expressibility and Automated Reasoning.
Stuart C. ShapiroPublished in: AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning (2011)
Keyphrases
- automated reasoning
- logical implication
- reasoning systems
- theorem proving
- theorem prover
- knowledge representation
- decision procedures
- probabilistic reasoning
- reasoning tasks
- probabilistic logic
- knowledge representation and reasoning
- automated verification
- propositional satisfiability
- scheduling problem
- flowshop
- processing times
- knowledge base