Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), London, United Kingdom, July 9th and 10th, 2023.
Published in: ICLP Workshops (2023)
Keyphrases
- logic programming
- united kingdom
- logic programs
- programming language
- keynote address
- logic programming language
- answer set programming
- knowledge base
- deductive databases
- nonmonotonic reasoning
- united states
- lecture notes
- computational logic
- knowledge representation
- default logic
- stable models
- fixpoint
- reasoning about actions
- answer sets
- pseudo boolean constraints
- inductive logic programming
- high level