Proceedings of the First Workshop on Coalgebra, Horn Clause Logic Programming and Types, CoALP-Ty 2016, Edinburgh, UK, 28-29 November 2016.
Published in: CoALP-Ty (2017)
Keyphrases
- logic programming
- logic programs
- lecture notes
- horn clauses
- international workshop
- computer science
- inductive logic programming
- logic programming language
- answer set programming
- nonmonotonic reasoning
- deductive databases
- inference rules
- computational logic
- answer sets
- fixpoint
- stable models
- programming language
- knowledge representation
- reasoning about actions
- constraint logic programming
- knowledge base
- default logic
- knowledge representation and reasoning
- classical first order logic
- pseudo boolean constraints
- normal logic programs
- background knowledge
- machine learning
- cooperative multi agent
- expert database systems
- learning algorithm