Specifying and verifying interaction protocols in a temporal action logic (Q2372184): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jal.2005.12.011
+Normal rank
@@ Property / OpenAlex ID @@
+W2092139396
@@ Property / OpenAlex ID: W2092139396 / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q58207621
@@ Property / Wikidata QID: Q58207621 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2844044
@@ Property / cites work: Q2844044 / 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 @@
+Q4209291
@@ Property / cites work: Q4209291 / rank @@
+Normal rank
@@ Property / cites work @@
+Ramification and causality in a modal action logic
+Normal rank
@@ Property / cites work @@
+AI*IA 2003: Advances in Artificial Intelligence
@@ Property / cites work: AI*IA 2003: Advances in Artificial Intelligence / rank @@
+Normal rank
@@ Property / cites work @@
+Logics in Artificial Intelligence
@@ Property / cites work: Logics in Artificial Intelligence / rank @@
+Normal rank
@@ Property / cites work @@
+Q2852084
@@ Property / cites work: Q2852084 / rank @@
+Normal rank
@@ Property / cites work @@
+Communication in multiagent systems. Agent communication languages and conversation policies
+Normal rank
@@ Property / cites work @@
+A product version of dynamic linear time temporal logic
+Normal rank
@@ Property / cites work @@
+Dynamic linear time temporal logic
@@ Property / cites work: Dynamic linear time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Frames in the space of situations
@@ Property / cites work: Frames in the space of situations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4461756
@@ Property / cites work: Q4461756 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4016561
@@ Property / cites work: Q4016561 / rank @@
+Normal rank