Refining autonomous agents with declarative beliefs and desires (Q520236): Difference between revisions

@@ Property / describes a project that uses @@
+Rodin
@@ Property / describes a project that uses: Rodin / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/s00165-016-0391-1
+Normal rank
@@ Property / OpenAlex ID @@
+W2525417711
@@ Property / OpenAlex ID: W2525417711 / rank @@
+Normal rank
@@ Property / cites work @@
+Practical reasoning as presumptive argumentation using action based alternating transition systems
+Normal rank
@@ Property / cites work @@
+Q3569584
@@ Property / cites work: Q3569584 / rank @@
+Normal rank
@@ Property / cites work @@
+The Refinement of Multi-Agent Systems
@@ Property / cites work: The Refinement of Multi-Agent Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5692280
@@ Property / cites work: Q5692280 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2724177
@@ Property / cites work: Q2724177 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+Agent deliberation in an executable temporal framework
+Normal rank
@@ Property / cites work @@
+Q4738125
@@ Property / cites work: Q4738125 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4473080
@@ Property / cites work: Q4473080 / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Rational Agents in GOAL
@@ Property / cites work: Programming Rational Agents in GOAL / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming
+Normal rank
@@ Property / cites work @@
+A Refinement Framework for Autonomous Agents
@@ Property / cites work: A Refinement Framework for Autonomous Agents / rank @@
+Normal rank
@@ Property / cites work @@
+Q4619829
@@ Property / cites work: Q4619829 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams
+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
+Normal rank
@@ Property / cites work @@
+Q4940107
@@ Property / cites work: Q4940107 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536768
@@ Property / cites work: Q4536768 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:520236