1153 search results - page 27 / 231 » The Complexity of Revision, Revised |
DALT
2005
Springer
14 years 27 days ago
2005
Springer
Agents need to be able to change their beliefs; in particular, they should be able to contract or remove a certain belief in order to restore consistency to their set of beliefs, a...
ECAI
2004
Springer
14 years 23 days ago
2004
Springer
The aim of this article is to revisit Dalal’s operator for belief revision. Dalal has proposed a technique for revising belief bases based on the minimization of a distance betw...
AAAI
2008
13 years 9 months ago
2008
Temporal logics are widely used in specifying goals of agents. We noticed that when directing agents, humans often revise their requirements for the agent, especially as they gath...
CORR
2010
Springer
13 years 6 months ago
2010
Springer
We study active integrity constraints and revision programming, two formalisms designed to describe integrity constraints on databases and to specify policies on preferred ways to...
CISIS
2010
IEEE
14 years 2 months ago
2010
IEEE
—This paper presents a qualitative logic-based method for the steady-state analysis and revision of metabolic networks with inhibition. The approach is able to automatically revi...