On the Correctness of PRS Agent Programs
- 1 January 2000
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Intention is choice with commitmentArtificial Intelligence, 1990
- Bringing it aboutJournal of Philosophical Logic, 1989
- Seeing to it that: a canonical form for agentivesTheoria, 1988
- Semantical consideration on floyo-hoare logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1976