Challenges for action theories / Michael Thielscher.
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...
Saved in:
| Online Access: |
Full Text (via Springer) |
|---|---|
| Main Author: | |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
2000.
|
| Series: | Lecture notes in computer science ;
1775. Lecture notes in computer science. Lecture notes in artificial intelligence. |
| Subjects: |
Table of Contents:
- Foundations of Action Theories
- The Ramification Problem
- The Qualification Problem
- Qualified Ramifications.