237 search results - page 39 / 48 » Permissive Belief Revision |
APPINF
2003
13 years 8 months ago
2003
We present an application prototype of dynamic knowledge representation programmed in LUPS (a language for updating logic programs). This is a case study to model intelligent agen...
AI
2008
Springer
13 years 7 months ago
2008
Springer
: Ranking theory delivers an account of iterated contraction; each ranking function induces a specific iterated contraction behavior. The paper shows how to reconstruct a ranking f...
AMAI
2007
Springer
13 years 7 months ago
2007
Springer
Abstract In many scenarios, a database instance violates a given set of integrity constraints. In such cases, it is often required to repair the database, that is, to restore its c...
ACL
2011
12 years 11 months ago
2011
A system making optimal use of available information in incremental language comprehension might be expected to use linguistic knowledge together with current input to revise beli...
JOLLI
2008
13 years 7 months ago
2008
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...