Technical Communications of the 34th International Conference on Logic Programming, ICLP 2018, July 14-17, 2018, Oxford, United Kingdom
Published in: ICLP (Technical Communications) (2018)
Keyphrases
- logic programming
- united kingdom
- lecture notes
- united states
- logic programs
- computer science
- computer science education
- deductive databases
- nonmonotonic reasoning
- keynote address
- answer set programming
- north america
- knowledge representation
- knowledge base
- logic programming language
- programming language
- computational logic
- default logic
- answer sets
- reasoning about actions
- disjunctive logic programming
- stable models
- constraint logic programming
- inductive logic programming
- hong kong
- machine learning
- general purpose
- propositional variables