Proceedings of the 10th Workshop on Answer Set Programming and Other Computing Paradigms co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, ASPOCP@LPNMR 2017, Espoo, Finland, July 3, 2017.
Published in: ASPOCP@LPNMR (2017)
Keyphrases
- logic programming
- nonmonotonic reasoning
- lecture notes
- answer set programming
- computer science
- logic programs
- answer sets
- default reasoning
- reasoning tasks
- default logic
- knowledge representation
- constraint logic programming
- autoepistemic logic
- abductive reasoning
- knowledge base
- deductive databases
- classical logic
- answer set programs
- possibility theory
- stable model semantics
- stable models
- disjunctive logic programs
- answer set solvers
- nonmonotonic logics
- answer set semantics
- fixpoint
- extended logic programs
- declarative programming
- defeasible logic
- knowledge representation and reasoning
- default theories
- inductive logic programming
- programming language
- disjunctive logic programming
- artificial intelligence
- machine learning