Challenges for action theories
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...
Tallennettuna:
| Päätekijä: | |
|---|---|
| Aineistotyyppi: | Livre numérique |
| Kieli: | Anglais |
| Julkaistu: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Sarja: | Lecture notes in computer science. Lecture notes in artificial intelligence
1775 |
| Aiheet: | |
| Linkit: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Huomautus: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Challenges for action theories, Michael Thielscher, 2000, New York, Springer, 1 vol. (XIV-138 p.), Lecture notes in computer science, 3-540-67455-1 • Challenges for Action Theories, Texte imprimé, 9783662209493 |
Sisällysluettelo:
- Foundations of Action Theories
- The Ramification Problem
- The Qualification Problem
- Qualified Ramifications.