|
|
(5 intermediate revisions by 5 users not shown) |
| Property / Mathematics Subject Classification ID |
| | |
| Property / Mathematics Subject Classification ID: 68T27 / rank |
| | Normal rank |
| Property / Mathematics Subject Classification ID |
| | |
| Property / Mathematics Subject Classification ID: 03B44 / rank |
| | Normal rank |
| Property / zbMATH DE Number |
| | |
| Property / zbMATH DE Number: 6699553 / rank |
| | Normal rank |
| Property / zbMATH Keywords |
| | refinement |
| Property / zbMATH Keywords: refinement / rank |
| | Normal rank |
| Property / zbMATH Keywords |
| | autonomous agents |
| Property / zbMATH Keywords: autonomous agents / rank |
| | Normal rank |
| Property / zbMATH Keywords |
| | belief and desire |
| Property / zbMATH Keywords: belief and desire / rank |
| | Normal rank |
| Property / zbMATH Keywords |
| | object-Z |
| Property / zbMATH Keywords: object-Z / rank |
| | Normal rank |
| Property / zbMATH Keywords |
| | temporal logic |
| Property / zbMATH Keywords: temporal logic / rank |
| | Normal rank |
| Property / describes a project that uses |
| | |
| Property / describes a project that uses: Rodin / rank |
| | Normal rank |
| Property / MaRDI profile type |
| | |
| Property / MaRDI profile type: MaRDI publication profile / rank |
| | Normal rank |
| Property / full work available at URL |
| | |
| Property / full work available at URL: https://doi.org/10.1007/s00165-016-0391-1 / rank |
| | Normal rank |
| Property / OpenAlex ID |
| | |
| Property / OpenAlex ID: W2525417711 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Practical reasoning as presumptive argumentation using action based alternating transition systems / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q3569584 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: The Refinement of Multi-Agent Systems / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q5692280 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q2724177 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4385542 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Agent deliberation in an executable temporal framework / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4738125 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4473080 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Programming Rational Agents in GOAL / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q3777424 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: A Refinement Framework for Autonomous Agents / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4619829 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams / rank |
| | Normal rank |
| Property / cites work |
| | Abstract state machines, Alloy, B, TLA, VDM, and Z. 4th international conference, ABZ 2014, Toulouse, France, June 2--6, 2014. Proceedings |
| Property / cites work: Abstract state machines, Alloy, B, TLA, VDM, and Z. 4th international conference, ABZ 2014, Toulouse, France, June 2--6, 2014. Proceedings / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4940107 / rank |
| | Normal rank |
| Property / cites work |
| | |
| Property / cites work: Q4536768 / rank |
| | Normal rank |
links / mardi / name | links / mardi / name |
| | |