img

تفاصيل البطاقة الفهرسية

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

Logic Programming and Nonmonotonic Reasoning

الفهرس