Sciweavers

160 search results - page 13 / 32
» Applying the Mu-Calculus in Planning and Reasoning about Act...
Sort
View
AIL
2005
134views more  AIL 2005»
13 years 8 months ago
Legal Case-based Reasoning as Practical Reasoning
In this paper we apply a general account of practical reasoning to arguing about legal cases. In particular, we provide a reconstruction of the reasoning of the majority and dissen...
Katie Atkinson, Trevor J. M. Bench-Capon
ECAI
2008
Springer
13 years 9 months ago
Regression for Classical and Nondeterministic Planning
Many forms of reasoning about actions and planning can be reduced to regression, the computation of the weakest precondition a state has to satisfy to guarantee the satisfaction of...
Jussi Rintanen
SETN
2010
Springer
13 years 7 months ago
A Reasoning Framework for Ambient Intelligence
Ambient Intelligence is an emerging discipline that requires the integration of expertise from a multitude of scientific fields. The role of Artificial Intelligence is crucial n...
Theodore Patkos, Ioannis Chrysakis, Antonis Bikaki...
AAAI
2012
11 years 11 months ago
POMDPs Make Better Hackers: Accounting for Uncertainty in Penetration Testing
Penetration Testing is a methodology for assessing network security, by generating and executing possible hacking attacks. Doing so automatically allows for regular and systematic...
Carlos Sarraute, Olivier Buffet, Jörg Hoffman...
AMAI
2000
Springer
14 years 28 days ago
Using topology for spatial reasoning
Several formalisms have been proposed for qualitative reasoning about regions and their topological relations in space. These formalisms, based on pairwise relations, do not allow...
Boi Faltings