Sciweavers

1426 search results - page 23 / 286
» Specification of nonmonotonic reasoning
Sort
View
IFIPTM
2010
140views Management» more  IFIPTM 2010»
14 years 8 months ago
Shinren: Non-monotonic Trust Management for Distributed Systems
Abstract. The open and dynamic nature of modern distributed systems and pervasive environments presents significant challenges to security management. One solution may be trust ma...
Changyu Dong, Naranker Dulay
CCIA
2007
Springer
15 years 3 months ago
Reasoning about actions under uncertainty: A possibilistic approach
In this paper, we present an action language which is called AP oss in order to perform reasoning about actions under uncertainty. This language is based on a possibilistc logic pr...
Juan Carlos Nieves, Mauricio Osorio, Ulises Cort&e...
IAT
2008
IEEE
15 years 4 months ago
Extending a Defeasible Reasoner with Modal and Deontic Logic Operators
Defeasible logic is a non-monotonic formalism that deals with incomplete and conflicting information. Modal logic deals with necessity and possibility, exhibiting defeasibility; t...
Efstratios Kontopoulos, Nick Bassiliades, Guido Go...
FLAIRS
2008
15 years 4 hour ago
Preference-Based Default Reasoning
It is well-known that default reasoning and preference-based decision making both make use of preferential relations between possible worlds resp. alternatives. In this paper, we ...
Manuela Ritterskamp, Gabriele Kern-Isberner
AAAI
1994
14 years 11 months ago
Spatial Reasoning in Indeterminate Worlds
A possible worlds semantics for model-based spatial reasoning is presented. In this semantics, worlds are characterized by the alternative states that result from indeterminacy or...
Janice I. Glasgow