Sciweavers

AAAI
1997
13 years 5 months ago
Beyond Contention: Extending Texture-Based Scheduling Heuristics
In order to apply texture measurement based heuristic commitment techniques beyond the unary capacity resource constraints of job shop scheduling, we extend the contention texture...
J. Christopher Beck, Andrew J. Davenport, Edward M...
AAAI
1997
13 years 5 months ago
Using CSP Look-Back Techniques to Solve Real-World SAT Instances
We report on the performance of an enhanced version of the “Davis-Putnam” (DP) proof procedure for propositional satisfiability (SAT) on large instances derived from realworld...
Roberto J. Bayardo Jr., Robert Schrag
AAAI
1997
13 years 5 months ago
Structured Solution Methods for Non-Markovian Decision Processes
Markov Decision Processes (MDPs), currently a popular method for modeling and solving decision theoretic planning problems, are limited by the Markovian assumption: rewards and dy...
Fahiem Bacchus, Craig Boutilier, Adam J. Grove
AAAI
1997
13 years 5 months ago
Detecting and Reacting to Unplanned-for World States
The degree to which a planner succeeds and meets response deadlines depends on the correctness and completenessof its modelswhichdescribe events and actions that change the world ...
Ella M. Atkins, Edmund H. Durfee, Kang G. Shin
AAAI
1997
13 years 5 months ago
Navigation and Planning in a Mixed-Initiative User Interface
Mixed-initiative planning is one approach to building an intelligent decision-making environment. A mixedinitiative system shares decision-making responsibility with the user such...
Robert St. Amant
AAAI
1997
13 years 5 months ago
Dynamic Prioritization of Complex Agents in Distributed Constraint Satisfaction Problems
Cooperative distributed problem solving (CDPS) loosely-coupledagentscan be effectively modeledas a distributed constraint satisfaction problem(DCSP) whereeach agent has multiple l...
Aaron A. Armstrong, Edmund H. Durfee