Challenges for Action Theories

• Κύριος συγγραφέας: Thielscher, Michael (Συγγραφέας, http://id.loc.gov/vocabulary/relators/aut)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2000.
• Έκδοση: 1st ed. 2000.
• Σειρά: Lecture Notes in Artificial Intelligence ; 1775
• Θέματα: Artificial intelligence.; Mathematical logic.; Artificial Intelligence.; Mathematical Logic and Formal Languages.; Mathematical Logic and Foundations.

A logic-based approach to the design of computing systems would, undoubtedly, offer many advantages over the imperative paradigm most commonly applied so far for programming and hardware design and, consequently, logic, again and again, has been heralded as the basis for the next generation of compu...

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

• Foundations of Action Theories
• The Ramification Problem
• The Qualification Problem
• Qualified Ramifications.