Sciweavers

1181 search results - page 58 / 237
» constraints 2004
Sort
View
CORR
2004
Springer
111views Education» more  CORR 2004»
13 years 8 months ago
FLUX: A Logic Programming Method for Reasoning Agents
FLUX is a programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledge. The core of FLUX is...
Michael Thielscher
JFPLC
2004
13 years 10 months ago
Explications pour comprendre la trace d'un solveur de contraintes sur domaines finis
ABSTRACT. Some works in progress on finite domain constraint solvers concern the implementation of a XML trace of the computation according to the OADymPPaC DTD (for example in GNU...
Gérard Ferrand, Willy Lesaint, Alexandre Te...
FLAIRS
2004
13 years 10 months ago
Using Student Explanations as Models for Adapting Tutorial Dialogue
We describe a dialogue management approach that adapts dialogue strategies to a changing user model under the constraint that the approach be able to scale up rapidly for intellig...
Pamela W. Jordan
FLAIRS
2004
13 years 10 months ago
Intermediate Consistencies by Delaying Expensive Propagators
What makes a good consistency ? Depending on the constraint, it may be a good pruning power or a low computational cost. By "weakening" arc-consistency, we propose to de...
Andrei Legtchenko, Arnaud Lallouet, AbdelAli Ed-Db...
IJIT
2004
13 years 10 months ago
An Evolutionary Algorithm to Solve Cryptarithmetic Problem
Cryptarithmetic problem is an interesting constraint satisfaction problem for which different algorithms have been given. But none of them can solve the problem intelligently using...
Abu Sayef Md. Ishaque, Md. Bahlul Haider, Muhammad...