Proceedings of the 14th International Workshop on Satisfiability Modulo Theories affiliated with the International Joint Conference on Automated Reasoning, SMT@IJCAR 2016, Coimbra, Portugal, July 1-2, 2016.
Published in: SMT@IJCAR (2016)
Keyphrases
- automated reasoning
- modulo theories
- satisfiability modulo theories
- answer set programming
- lecture notes
- knowledge representation
- computer science
- theorem proving
- probabilistic reasoning
- theorem prover
- stable model semantics
- logic programs
- logic programming
- answer sets
- invited talk
- machine learning
- special case
- natural language
- learning algorithm