N Friedman, JY Halpern - Journal of Artificial Intelligence Research, 1999 - jair.org
The study of belief change has been an active area in philosophy and AI. In recent years two special cases of belief change, belief revision and belief update, have been studied in detail …
JY Halpern - Annals of Mathematics and Artificial Intelligence, 1999 - Springer
The standard approach to logic in the literature in philosophy and mathematics, which has also been adopted in computer science, is to define a language (the syntax), an appropriate …
N Friedman, JY Halpern - … on Logic in Computer Science (Cat …, 1999 - ieeexplore.ieee.org
We introduce a new approach to modeling uncertainty based on plausibility measures. This approach is easily seen to generalize other approaches to modeling uncertainty, such as …
VU Research Portal Page 1 VU Research Portal The Dynamics of Reasoning Engelfriet, J. 1999 document version Publisher's PDF, also known as Version of record Link to publication …
If we suppose that reasonable belief is reasonable not because it has a foundation but because it is self-correcting, and that bodies of reasonable belief are self-correctable in …