834 search results - page 9 / 167 » Anaphora and the Logic of Change |
LPNMR
2007
Springer
14 years 2 months ago
2007
Springer
We describe BE, an implemented system for solving belief change problems in the presence of actions. We illustrate how we can use BE to compute the result of belief progression, be...
ACL
1990
13 years 10 months ago
1990
Conversation between two people is usually of MIXED-INITIATIVE, with CONTROL over the conversation being transferred from one person to another. We apply a set of rules for the tr...
SIGSOFT
2010
ACM
13 years 3 months ago
2010
ACM
We argue that lightweight, language-based verification is poised to enter mainstream industrial use, where it will have a major impact on software quality and reliability. We expl...
CORR
2002
Springer
13 years 8 months ago
2002
Springer
We address a general representation problem for belief change, and describe two interrelated representations for iterative nonprioritized change: a logical representation in terms...
CORR
2007
Springer
13 years 8 months ago
2007
Springer
Common knowledge logic is meant to describe situations of the real world where a group of agents is involved. These agents share knowledge and make strong hypotheses on the knowled...