From Approximate Clausal Reasoning to Problem Hardness.
David RajaratnamMaurice PagnuccoPublished in: Australasian Conference on Artificial Intelligence (2011)
Keyphrases
- reasoning systems
- knowledge base
- phase transition
- exact solution
- np hard
- knowledge representation
- np complete
- defeasible logic
- inductive logic programming
- artificial intelligence
- spatial reasoning
- model based reasoning
- knowledge representation and reasoning
- computational complexity
- legal reasoning
- reasoning tasks
- automated reasoning
- special case
- theorem proving
- model checking
- worst case