Exploring Automated Reasoning in First-Order Logic: Tools, Techniques and Application Areas.
Vladimir PavlovAlexander SchukinTanzilia CherkasovaPublished in: KESW (2013)
Keyphrases
- first order logic
- automated reasoning
- theorem proving
- probabilistic reasoning
- theorem prover
- knowledge representation
- expressive power
- reasoning systems
- propositional logic
- decision procedures
- inference rules
- valued logic
- probabilistic graphical models
- inductive logic programming
- artificial intelligence
- representation language
- bayesian networks
- transitive closure
- horn clauses
- reasoning tasks
- knowledge base
- constraint satisfaction
- machine learning
- markov networks
- probabilistic logic
- expert systems
- knowledge representation and reasoning
- markov logic networks
- constraint databases