162 search results - page 14 / 33 » Preferential theory revision |
86
Voted
SLOGICA
2002
15 years 11 hour ago
2002
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...
100
Voted
AUSAI
1999
Springer
15 years 4 months ago
1999
Springer
This paper analyzes the notion of a minimal belief change that incorporates new information. I apply the fundamental decisiontheoretic principle of Pareto-optimality to derive a no...
IJCAI
1997
15 years 1 months ago
1997
Explicit preferences on assumptions as used in prioritized circumscription [McCarthy, 1986; Lifschitz, 1985; Grosof, 1991] and preferred subtheories [Brewka, 1989] provide a clear...
120
Voted
LOGCOM
2002
15 years 1 days ago
2002
We present a logical approach to plan recognition that builds on Kautz's theory of keyhole plan recognition, defined as the problem of inferring descriptions of high-level pl...
107
Voted
NORDSEC
2009
Springer
15 years 7 months ago
2009
Springer
Runtime enforcement is a common mechanism for ensuring that program executions adhere to constraints specified by a security policy. It is based on two simple ideas: the enforceme...