Sciweavers

319 search results - page 44 / 64
» Parallel Belief Revision
Sort
View
JOLLI
2008
145views more  JOLLI 2008»
13 years 8 months ago
Temporal Languages for Epistemic Programs
This paper adds temporal logic to public announcement logic (PAL) and dynamic epistemic logic (DEL). By adding a previous-time operator to PAL, we express in the language statemen...
Joshua Sack
KI
2006
Springer
13 years 8 months ago
Agent Logics as Program Logics: Grounding KARO
Abstract. Several options are available to relate agent logics to computational agent systems. Among others, one can try to find useful executable fragments of an agent logic or us...
Koen V. Hindriks, John-Jules Ch. Meyer
AI
2011
Springer
13 years 3 months ago
Contracting preference relations for database applications
The binary relation framework has been shown to be applicable to many real-life preference handling scenarios. Here we study preference contraction: the problem of discarding sele...
Denis Mindolin, Jan Chomicki
ATAL
2009
Springer
14 years 3 months ago
Self-deceptive decision making: normative and descriptive insights
Computational modeling of human belief maintenance and decision-making processes has become increasingly important for a wide range of applications. We present a framework for mod...
Jonathan Y. Ito, David V. Pynadath, Stacy C. Marse...
CW
2003
IEEE
14 years 1 months ago
Virtual Spaces as Artifacts: Implications for the Design of Educational CVEs
Space is important for learning and socializing. Cyberworlds provide a new space for socialization and communication with a great degree of flexibility, allowing users to create a...
Ekaterina Prasolova-Førland