Logic Programming and Nonmonotonic Reasoning
16th International Conference, LPNMR 2022, Genova, Italy, September 5–9, 2022, Proceedings
Livre Ecrit par: Inclezan, Daniela ; Maratea, Marco ; Gottlob, Georg ; Publié en: 2022
Edition:
Cham:
Springer
Langue:
Anglais
Collation:
Données textuelles
ISBN: 9783031157073
Thème
Informatique
Mots clés:
Answer Set Programming (informatique)
Artificial intelligence
boolean functions
computer programming
Computer systems
formal languages
formal logic
knowledge representation
knowledge-based system
logic programming
software design
