Logic Programming and Nonmonotonic Reasoning
16th International Conference, LPNMR 2022, Genova, Italy, September 5–9, 2022, Proceedings
كتاب من تأليف: Inclezan, Daniela ; Maratea, Marco ; Gottlob, Georg ; نشر في: 2022
طبعة:
Cham:
Springer
لغة:
إنجليزية
الوصف المادي:
Données textuelles
ISBN: 9783031157073
الموضوع
الإعلام الآلي
الكلمات الدالة:
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