Answer Set Programming

• Κύριος συγγραφέας: Lifschitz, Vladimir (Συγγραφέας, http://id.loc.gov/vocabulary/relators/aut)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2019.
• Έκδοση: 1st ed. 2019.
• Θέματα: Programming languages (Electronic computers).; Computer logic.; Artificial intelligence.; Programming Languages, Compilers, Interpreters.; Logics and Meanings of Programs.; Artificial Intelligence.

Answer set programming (ASP) is a programming methodology oriented towards combinatorial search problems. In such a problem, the goal is to find a solution among a large but finite number of possibilities. The idea of ASP came from research on artificial intelligence and computational logic. ASP is...

Πίνακας περιεχομένων:

• Introduction
• Input Language of CLINGO
• Combinatorial Search
• Propositional Programs and Minimal Models
• Programs with Negation
• Mathematics of Stable Models
• More about the Language of CLINGO
• Dynamic Systems
• Conclusion. .