Proceedings of the 4th International Workshop on the Resurgence of Datalog in Academia and Industry (Datalog-2.0 2022) co-located with the 16th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2022), Genova-Nervi, Italy, September 5, 2022.
Published in: Datalog (2022)
Keyphrases
- logic programming
- nonmonotonic reasoning
- deductive databases
- academia and industry
- logic programs
- default reasoning
- default logic
- knowledge representation
- answer set programming
- knowledge representation and reasoning
- knowledge base
- programming language
- technological advances
- nonmonotonic logics
- fixpoint
- autoepistemic logic
- defeasible reasoning
- extended logic programs
- answer sets
- researchers and practitioners
- abductive reasoning
- conditional logic
- reasoning tasks
- inductive logic programming
- classical logic
- argumentation systems
- cutting edge
- database
- constraint logic programming
- query language
- stable models
- query answering
- defeasible logic
- software engineering
- expert systems
- computational intelligence
- recent advances
- high level