A Dynamic Logic of Knowledge, Graded Beliefs and Graded Goals and Its Application to Emotion Modelling (Q3094005): Difference between revisions

@@ Property / cites work @@
+A logical formalization of the OCC theory of emotions
+Normal rank
@@ Property / cites work @@
+On the logic of theory change: Partial meet contraction and revision functions
+Normal rank
@@ Property / cites work @@
+Intelligent Agents and Multi-Agent Systems
@@ Property / cites work: Intelligent Agents and Multi-Agent Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4648827
@@ Property / cites work: Q4648827 / rank @@
+Normal rank
@@ Property / cites work @@
+Merging frameworks for interaction
@@ Property / cites work: Merging frameworks for interaction / rank @@
+Normal rank
@@ Property / cites work @@
+Prolegomena to dynamic logic for belief revision
@@ Property / cites work: Prolegomena to dynamic logic for belief revision / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic epistemic logic
@@ Property / cites work: Dynamic epistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Two modellings for theory change
@@ Property / cites work: Two modellings for theory change / rank @@
+Normal rank
@@ Property / cites work @@
+From knowledge-based programs to graded belief-based programs. I: On-line reasoning
+Normal rank
@@ Property / cites work @@
+The cognitive structure of surprise: looking for basic principles
+Normal rank
@@ Property / cites work @@
+A logic for reasoning about counterfactual emotions
+Normal rank
@@ Property / cites work @@
+Reasoning about emotional agents
@@ Property / cites work: Reasoning about emotional agents / rank @@
+Normal rank
@@ Property / cites work @@
+Stability, strength and sensitivity: converting belief into knowledge
+Normal rank