Exploring the future with resource-bounded agents (Q1006514): Difference between revisions

@@ Property / Wikidata QID @@
+Q57302189
@@ Property / Wikidata QID: Q57302189 / 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/s10849-008-9074-5
+Normal rank
@@ Property / OpenAlex ID @@
+W2036783912
@@ Property / OpenAlex ID: W2036783912 / rank @@
+Normal rank
@@ Property / cites work @@
+Multi-Agent Programming
@@ Property / cites work: Multi-Agent Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4385542
@@ Property / cites work: Q4385542 / rank @@
+Normal rank
@@ Property / cites work @@
+A Normal Form for Temporal Logics and its Applications in Theorem-Proving and Execution
+Normal rank
@@ Property / cites work @@
+Q4813557
@@ Property / cites work: Q4813557 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4941942
@@ Property / cites work: Q4941942 / rank @@
+Normal rank
@@ Property / cites work @@
+Local Models Semantics, or contextual reasoning = locality + compatibility
+Normal rank
@@ Property / cites work @@
+A guide to completeness and complexity for modal logics of knowledge and belief
+Normal rank
@@ Property / cites work @@
+Decision procedures for BDI logics
@@ Property / cites work: Decision procedures for BDI logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q2756785
@@ Property / cites work: Q2756785 / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of rational agency
@@ Property / cites work: Foundations of rational agency / rank @@
+Normal rank