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

@@ Property / Mathematics Subject Classification ID @@
+T27
@@ Property / Mathematics Subject Classification ID: 68T27 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B44
@@ Property / Mathematics Subject Classification ID: 03B44 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6699553
@@ 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 @@
+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
@@ links / mardi / name / links / mardi / name @@
+Publication:520236