Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008455812/catalog> ?p ?o. }
Showing items 1 to 29 of
29
with 100 items per page.
- catalog abstract "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 computer systems. While logic and formal methods are indeed gaining ground in many areas of computer science and artificial intelligence the expected revolution has not yet happened. In this book the author offers a convincing solution to the ramification problem and qualification problem associated with the frame problem and thus contributes to a satisfactory solution of the core problem and related challenges. Thielscher bases his approach on the fluent calculus, a first-order Prolog-like formalism allowing for the description of actions and change.".
- catalog contributor b11784236.
- catalog created "2000.".
- catalog date "2000".
- catalog date "2000.".
- catalog dateCopyrighted "2000.".
- catalog description "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 computer systems. While logic and formal methods are indeed gaining ground in many areas of computer science and artificial intelligence the expected revolution has not yet happened. In this book the author offers a convincing solution to the ramification problem and qualification problem associated with the frame problem and thus contributes to a satisfactory solution of the core problem and related challenges. Thielscher bases his approach on the fluent calculus, a first-order Prolog-like formalism allowing for the description of actions and change.".
- catalog description "Foundations of Action Theories -- The Ramification Problem -- The Qualification Problem -- Qualified Ramifications.".
- catalog description "Includes bibliographical references (p. [127]-134) and index.".
- catalog extent "xiv, 138 p. :".
- catalog identifier "3540674551 (pbk. : alk. paper)".
- catalog isPartOf "Lecture notes in computer science ; 1775. Lecture notes in artificial intelligence".
- catalog isPartOf "Lecture notes in computer science ; 1775.".
- catalog isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- catalog issued "2000".
- catalog issued "2000.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer,".
- catalog subject "004.2/1 21".
- catalog subject "Artificial intelligence.".
- catalog subject "Computer logic.".
- catalog subject "Computer science.".
- catalog subject "Formal methods (Computer science)".
- catalog subject "Logic, Symbolic and mathematical.".
- catalog subject "QA76.9.L63 T48 2000".
- catalog subject "System design.".
- catalog tableOfContents "Foundations of Action Theories -- The Ramification Problem -- The Qualification Problem -- Qualified Ramifications.".
- catalog title "Challenges for action theories / Michael Thielscher.".
- catalog type "text".