244 search results - page 18 / 49 » Iterated belief revision, revised |
SBIA
2004
Springer
14 years 1 months ago
2004
Springer
During the development of system requirements, software system specifications are often inconsistent. Inconsistencies may arise for different reasons, for example, when multiple...
AAAI
2008
13 years 10 months ago
2008
Probabilistic logic programming is a powerful technique to represent and reason with imprecise probabilistic knowledge. A probabilistic logic program (PLP) is a knowledge base whi...
ECAI
1994
Springer
14 years 15 days ago
1994
Springer
The ability to respond sensibly to changing and conflicting beliefs is an integral part of intelligent agency. To this end, we outline the design and implementation of a Distribute...
ECIS
2004
13 years 9 months ago
2004
Face-to-face meetings between auditors and their clients are increasingly difficult to arrange, due to business globalization and the growing need for rapid audit decision-making....
AIML
1998
13 years 9 months ago
1998
In this paper I will propose a new approach to certain semantic puzzles due to Frege, Kripke and others, and the question of propositional attitudes, via the notion of belief revi...