Sciweavers

1153 search results - page 4 / 231
» The Complexity of Revision, Revised
Sort
View
LPNMR
1999
Springer
13 years 11 months ago
Annotated Revision Programs
Abstract. Revision programming was introduced as a formalism to describe and enforce updates of belief sets and databases. Revision programming was extended by Fitting who assigned...
V. Wiktor Marek, Inna Pivkina, Miroslaw Truszczyns...
ICRA
2006
IEEE
72views Robotics» more  ICRA 2006»
14 years 1 months ago
Multi-robot Boundary Coverage with Plan Revision
Abstract— This paper revisits the multi-robot boundary coverage problem in which a group of k robots must inspect every point on the boundary of a 2-dimensional environment. We f...
Kjerstin Williams, Joel Burdick
JAIR
2006
117views more  JAIR 2006»
13 years 7 months ago
Admissible and Restrained Revision
As partial justification of their framework for iterated belief revision Darwiche and Pearl convincingly argued against Boutilier's natural revision and provided a prototypic...
Richard Booth, Thomas Andreas Meyer
ECAI
2008
Springer
13 years 9 months ago
Belief Revision through Forgetting Conditionals in Conditional Probabilistic Logic Programs
Abstract. In this paper, we present a revision strategy of revising a conditional probabilistic logic program (PLP) when new information is received (which is in the form of probab...
Anbu Yue, Weiru Liu
FLAIRS
2003
13 years 8 months ago
Norm Adaptation and Revision in a Multi-Agent System
In this paper we address the question of assigning social norms to agents: should we attempt to ascribe social norms to agents that will act in complex dynamic environments, or is...
Nicholas Lacey, Henry Hexmoor