162 search results - page 21 / 33 » Preferential theory revision |
ATAL
2010
Springer
13 years 11 months ago
2010
Springer
We propose an integrated theoretical framework, grounded in possibility theory, to account for all the aspects involved in representing and changing beliefs, representing and gene...
WIKIS
2009
ACM
14 years 4 months ago
2009
ACM
Information Systems (IS) innovations are often characterized by buzzwords, reflecting organizing visions that structure and express the images and ideas formed by a wide community...
ATAL
2009
Springer
14 years 1 months ago
2009
Springer
Normative systems in a multiagent system must be able to evolve over time, for example due to actions creating or removing norms in the system. The only formal framework to evalua...
SP
2008
IEEE
13 years 8 months ago
2008
IEEE
e an abstraction of zero-knowledge protocols that is le to a fully mechanized analysis. The abstraction is formalized within the applied pi-calculus using a novel equational theor...
LPKR
1997
Springer
14 years 1 months ago
1997
Springer
Abstract. Recently the field of theory update has seen some improvement, in what concerns model updating, by allowing updates to be specified by so-called revision programs. The ...