Automated Reasoning in Quantified Non-Classical Logics, ARQNL@IJCAR 2014, Vienna, Austria, July 23, 2014
Published in: ARQNL@IJCAR (2015)
Keyphrases
- automated reasoning
- theorem proving
- reasoning systems
- decision procedures
- theorem prover
- knowledge representation
- automated verification
- probabilistic reasoning
- reasoning tasks
- hong kong
- classical logic
- inference rules
- first order logic
- definition language
- propositional satisfiability
- lecture notes
- high level
- data mining
- programming language
- valued logic
- bayesian networks
- search algorithm
- relational databases
- general purpose