Sciweavers

2308 search results - page 81 / 462
» Representing Symbolic Reasoning
Sort
View
WCE
2007
15 years 6 months ago
An Agent's Action Selection Strategy by Using Case-based Reasoning and Simulated Vision
— This paper presents an approach to agent’s action selection strategy called stepwise case-based reasoning (SCBR). In this paper an agent that roams in 3D synthetic world is c...
Haris Supic
AI
2002
Springer
15 years 5 months ago
Explanations, belief revision and defeasible reasoning
We present different constructions for non-prioritized belief revision, that is, belief changes in which the input sentences are not always accepted. First, we present the concept...
Marcelo A. Falappa, Gabriele Kern-Isberner, Guille...
132
Voted
CP
2006
Springer
15 years 9 months ago
Towards an Efficient SAT Encoding for Temporal Reasoning
Abstract. In this paper, we investigate how an IA network can be effectively encoded into the SAT domain. We propose two basic approaches to modelling an IA network as a CSP: one r...
Duc Nghia Pham, John Thornton, Abdul Sattar
IJCAI
1989
15 years 6 months ago
The Reason for the Benefits of Minimax Search
based on an abstract concept of quiescence. In the following we sketch this and a related model, describe the design of our experiments, and present the results of our simulation s...
Anton Scheucher, Hermann Kaindl
KI
2002
Springer
15 years 5 months ago
Formal Properties of Constraint Calculi for Qualitative Spatial Reasoning
In the previous two decades, a number of qualitative constraint calculi have been developed, which are used to represent and reason about spatial configurations. A common property...
Bernhard Nebel, Alexander Scivos