Papers presented at the 32nd International Conference on Logic Programming (ICLP 2016).
Manuel CarroAndy KingPublished in: CoRR (2016)
Keyphrases
- international conference
- logic programming
- carefully reviewed and selected from submissions
- logic programs
- invited talk
- ifip wg
- answer set programming
- deductive databases
- computational intelligence
- answer sets
- logic programming language
- nonmonotonic reasoning
- invited paper
- koli calling
- book constitutes the refereed proceedings
- papers cover
- acm sigmod
- international symposium
- computational molecular biology
- programming language
- computational logic
- stable models
- conference proceedings
- constraint logic programming
- special issue
- knowledge base
- review process
- data mining
- knowledge discovery and data mining
- default logic