GOAL Agents Instantiate Intention Logic (Q5900403): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2925077555
@@ Property / OpenAlex ID: W2925077555 / rank @@
+Normal rank
@@ Property / cites work @@
+Planning for temporally extended goals.
@@ Property / cites work: Planning for temporally extended goals. / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Intention is choice with commitment
@@ Property / cites work: Intention is choice with commitment / rank @@
+Normal rank
@@ Property / cites work @@
+A verification framework for agent programming with declarative goals
+Normal rank
@@ Property / cites work @@
+Q4525781
@@ Property / cites work: Q4525781 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4473080
@@ Property / cites work: Q4473080 / rank @@
+Normal rank
@@ Property / cites work @@
+Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming
+Normal rank
@@ Property / cites work @@
+Our Quest for the Holy Grail of Agent Verification
+Normal rank
@@ Property / cites work @@
+Towards a Logic of Rational Agency
@@ Property / cites work: Towards a Logic of Rational Agency / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5900403