Sciweavers

5243 search results - page 14 / 1049
» Reasoning About Strategies
Sort
View
ECAI
2000
Springer
14 years 1 days ago
Qualitative Spatial Reasoning about Line Segments
Abstract. Representing and reasoning about orientation information is an important aspect of qualitative spatial reasoning. We present a novel approach for dealing with intrinsic o...
Reinhard Moratz, Jochen Renz, Diedrich Wolter
APLAS
2010
ACM
13 years 8 months ago
Reasoning about Computations Using Two-Levels of Logic
We describe an approach to using one logic to reason about specifications written in a second logic. One level of logic, called the "reasoning logic", is used to state th...
Dale Miller
CCIA
2007
Springer
14 years 2 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...
CI
1998
82views more  CI 1998»
13 years 8 months ago
Perceiving and Reasoning about a Changing World
A rational agent (artificial or otherwise) residing in a complex changing environment must gather information perceptually, update that information as the world changes, and combi...
John L. Pollock
IEAAIE
2009
Springer
14 years 3 months ago
A Model for Criminal Decision Making Based on Hypothetical Reasoning about the Future
This paper presents an agent-based model for decision making, which integrates personal biological and psychological aspects with rational utility-based reasoning. The model takes ...
Tibor Bosse, Charlotte Gerritsen