Sciweavers

ICTAI
2003
IEEE
14 years 1 months ago
Search Control Techniques for Planning
Minh Tang, Amol Dattatraya Mali
ICTAI
2003
IEEE
14 years 1 months ago
S-MEP: A Planner for Numeric Goals
Planning for numeric goals is an important problem. Only one of the many participants from the 2002 international planning competition (Metric-FF) can effectively handle problems ...
Javier Sanchez, Amol Dattatraya Mali
ICTAI
2003
IEEE
14 years 1 months ago
Q-Concept-Learning: Generalization with Concept Lattice Representation in Reinforcement Learning
One of the very interesting properties of Reinforcement Learning algorithms is that they allow learning without prior knowledge of the environment. However, when the agents use al...
Marc Ricordeau
ICTAI
2003
IEEE
14 years 1 months ago
Eliminating Redundancies in SAT Search Trees
Conflict analysis is a powerful paradigm of backtrack search algorithms, in particular for solving satisfiability problems arising from practical applications. Accordingly, most...
Richard Ostrowski, Bertrand Mazure, Lakhdar Sais, ...
ICTAI
2003
IEEE
14 years 1 months ago
Engineering Optimization Using a Simple Evolutionary Algorithm
This paper presents a simple ¢¤£¦¥¨§© Evolution Strategy and three simple selection criteria to solve engineering optimization problems. This approach avoids the use of a...
Efrén Mezura-Montes, Carlos A. Coello Coell...
ICTAI
2003
IEEE
14 years 1 months ago
Equuleus: Presentation from Legacy Documents
We are investigating computational models for humancomputer interaction based on a uniform, declarative, knowledge representation. We describe a new implementation of our work cal...
Susan Weber McRoy, Syed S. Ali, Nipat Nalamlieng
ICTAI
2003
IEEE
14 years 1 months ago
MFSAT: A SAT Solver Using Multi-Flip Local Search
Local search-based methods of SAT solving have received a significant attention in the last decade. All local search-based methods choose the next truth assignment by flipping t...
Amol Dattatraya Mali, Yevgeny Lipen
ICTAI
2003
IEEE
14 years 1 months ago
Genetic Algorithm Calibration of Probabilistic Cellular Automata for Modeling Mining Permit Activity
We use a genetic algorithm to calibrate a spatially and temporally resolved cellular automata to model mining activity on public land in Idaho and western Montana. The genetic alg...
Sushil J. Louis, Gary L. Raines
ICTAI
2003
IEEE
14 years 1 months ago
Task Allocation via Multi-Agent Coalition Formation: Taxonomy, Algorithms and Complexity
Coalition formation has become a key topic in multiagent research. In this paper, we propose a preliminary classification for the coalition formation problem based on three drivin...
Hoong Chuin Lau, Lei Zhang
ICTAI
2003
IEEE
14 years 1 months ago
Inference via Fuzzy Belief Petri Nets
The fuzzy belief Petri net we propose in this paper propagates fuzzy beliefs from observations at nodes that represent measured parameters to fuzzy beliefs of the truths of parame...
Carl G. Looney, Lily R. Liang