Proceedings 39th International Conference on Logic Programming.
Enrico PontelliStefania CostantiniCarmine DodaroSarah GagglRoberta CalegariArtur D'Avila GarcezFrancesco FabianoAlessandra MileoAlessandra RussoFrancesca ToniPublished in: CoRR (2023)
Keyphrases
- logic programming
- lecture notes in artificial intelligence
- lecture notes
- logic programs
- computer science
- international conference
- international workshop
- logic programming language
- nonmonotonic reasoning
- knowledge representation
- answer set programming
- deductive databases
- international symposium
- knowledge base
- answer sets
- stable models
- default logic
- classical logic
- artificial intelligence
- programming language
- knowledge discovery and data mining
- expert database systems
- inductive logic programming
- knowledge representation and reasoning
- computational logic
- probabilistic reasoning
- constraint logic programming
- computational intelligence
- machine learning
- declarative semantics
- propositional variables
- procedural semantics
- classical first order logic