Joint Proceedings of the 1st International Workshop on HYbrid Models for Coupling Deductive and Inductive ReAsoning (HYDRA 2022) and the 29th RCRA Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion (RCRA 2022) co-located with the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), Genova Nervi, Italy, September 5, 2022.
Published in: HYDRA/RCRA@LPNMR (2022)
Keyphrases
- logic programming
- solving problems
- international conference
- logic programs
- inductive reasoning
- hybrid models
- answer set programming
- programming language
- deductive databases
- lecture notes in artificial intelligence
- logic programming language
- object oriented
- knowledge representation and reasoning
- answer sets
- constraint logic programming
- nonmonotonic reasoning
- databases
- knowledge base
- hybrid model
- classical logic
- lecture notes
- high level
- international symposium
- learning algorithm
- machine learning