Using Memory to Transform Search on the Planning Graph.
On the Practical use of Variable Elimination in Constraint Optimization Problems: 'Still-life' as a Case Study.
Combining Spatial and Temporal Logics: Expressiveness vs. Complexity.
Learning From Labeled And Unlabeled Data: An Empirical Study Across Techniques And Domains.
Reinforcement Learning for Agents with Many Sensors and Actuators Acting in Categorizable Environments.
An Improved Search Algorithm for Optimal Multiple-Sequence Alignment.
Graduality in Argumentation.
Combining Knowledge- and Corpus-based Word-Sense-Disambiguation Methods.
Finding Approximate POMDP solutions Through Belief Compression.
Keys, Nominals, and Concrete Domains.
Hybrid BDI-POMDP Framework for Multiagent Teaming.
Restricted Value Iteration: Theory and Algorithms.
Extremal Behaviour in Multiagent Contract Negotiation.
An Expressive Language and Efficient Execution System for Software Agents.
Generalizing Boolean Satisfiability III: Implementation.