Sciweavers

AAAI
2006
13 years 11 months ago
Constraints: The Ties that Bind
Constraints can serve as a unifying force in artificial intelligence.
Eugene C. Freuder
AAAI
2004
13 years 11 months ago
Complexity of Contextual Reasoning
Floris Roelofsen, Luciano Serafini
AAAI
2006
13 years 11 months ago
Exploration of the Robustness of Plans
Maria Fox, Richard Howey, Derek Long
AAAI
2004
13 years 11 months ago
Distance Estimates for Planning in the Discrete Belief Space
We present a general framework for studying heuristics for planning in the belief space. Earlier work has focused on giving implementations of heuristics that work well on benchma...
Jussi Rintanen
AAAI
2006
13 years 11 months ago
Techniques for Generating Optimal, Robust Plans when Temporal Uncertainty is Present
Planning under uncertainty has been well studied, but usually the uncertainty is in action outcomes. This work instead investigates uncertainty in the amount of time that actions ...
Janae N. Foss
AAAI
2006
13 years 11 months ago
Inconsistencies, Negations and Changes in Ontologies
Ontology management and maintenance are considered cornerstone issues in current Semantic Web applications in which semantic integration and ontological reasoning play a fundament...
Giorgos Flouris, Zhisheng Huang, Jeff Z. Pan, Dimi...
AAAI
2004
13 years 11 months ago
Online Parallel Boosting
This paper presents a new boosting (arcing) algorithm called POCA, Parallel Online Continuous Arcing. Unlike traditional boosting algorithms (such as Arc-x4 and Adaboost), that co...
Jesse A. Reichler, Harlan D. Harris, Michael A. Sa...
AAAI
2004
13 years 11 months ago
Model Checking Temporal Logics of Knowledge in Distributed Systems
Model checking is a promising approach to automatic verification, which has concentrated on specification expressed in temporal logic. Comparatively little attention has been give...
Kaile Su