Sciweavers

5243 search results - page 14 / 1049
» Reasoning About Strategies
Sort
View
ECAI
2000
Springer
15 years 10 months 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
15 years 6 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
16 years 24 days 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»
15 years 6 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
16 years 1 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