Sciweavers

237 search results - page 25 / 48
» Permissive Belief Revision
Sort
View
CORR
2000
Springer
88views Education» more  CORR 2000»
13 years 7 months ago
The lexicographic closure as a revision process
The connections between nonmonotonic reasoning and belief revision are well-known. A central problem in the area of nonmonotonic reasoning is the problem of default entailment, i.e...
Richard Booth
ACE
2004
183views Education» more  ACE 2004»
13 years 8 months ago
The Influence of Web-supported Independent Activities and Small Group Work on Students' Epistemological Beliefs
Epistemological beliefs are those concerning the nature of knowledge and learning: beliefs about how individuals come to know, and how knowledge is constructed. There is growing e...
Denise Tolhurst
LOGCOM
2007
141views more  LOGCOM 2007»
13 years 7 months ago
Conciliation through Iterated Belief Merging
Two families of conciliation processes for intelligent agents based on an iterated merge-then-revise change function for belief profiles are introduced and studied. The processes ...
Olivier Gauwin, Sébastien Konieczny, Pierre...
DEON
2008
Springer
13 years 9 months ago
Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories
Abstract. In this paper we investigate how to model legal abrogation and annulment in Defeasible Logic. We examine some options that embed in this setting, and similar rule-based s...
Guido Governatori, Antonino Rotolo
SLOGICA
2002
74views more  SLOGICA 2002»
13 years 7 months ago
Transfers between Logics and their Applications
In this paper, logics are conceived as two-sorted first-order structures, and we argue that this broad definition encompasses a wide class of logics with theoretical interest as w...
Marcelo E. Coniglio, Walter Alexandre Carnielli