Sciweavers

IJCAI
1997
14 years 1 months ago
Hidden Gold in Random Generation of SAT Satisfiable Instances
Evaluation of incomplete algorithms that solve SAT requires to generate hard satisfiable instances. For that purpose, the kSAT uniform random generation is not usable. The other g...
Thierry Castell, Michel Cayrol
IJCAI
1997
14 years 1 months ago
Exploration and Adaptation in Multiagent Systems: A Model-based Approach
Agents that operate in a multi-agent system can benefit significantly from adapting to other agents while interacting with them. This work presents a general architecture for a ...
David Carmel, Shaul Markovitch
IJCAI
1997
14 years 1 months ago
Active Mobile Robot Localization
Localization is the problem of determining the position of a mobile robot from sensor data. Most existing localization approaches are passive, i.e., they do not exploit the opport...
Wolfram Burgard, Dieter Fox, Sebastian Thrun
IJCAI
1997
14 years 1 months ago
Tractable Cover Compilations
Tractable covers are introduced as a new ap­ proach to equivalence-preserving compilation of propositional knowledge bases. First, a gen­ eral framework is presented. Then, two ...
Yacine Boufkhad, Éric Grégoire, Pier...
IJCAI
1997
14 years 1 months ago
Space-Efficient Inference in Dynamic Probabilistic Networks
John Binder, Kevin P. Murphy, Stuart J. Russell
IJCAI
1997
14 years 1 months ago
Let's Plan It Deductively!
The paper describes a transition logic, TL, and a deductive formalism for it. It shows how various important aspects (such as ramification, qualification, specificity, simultaneit...
Wolfgang Bibel
IJCAI
1997
14 years 1 months ago
Reifying Concepts in Description Logics
Practical applications of description logics (DLs) in knowledge-based systems have forced us to introduce the following features which are absent from existing DLs: • allowing a...
Liviu Badea