Sciweavers

2981 search results - page 55 / 597
» Answer Set Planning
Sort
View
AIPS
2006
13 years 10 months ago
New Complexity Results for Classical Planning Benchmarks
The 3rd and 4th International Planning Competitions have enriched the set of benchmarks for classical propositional planning by a number of novel and interesting planning domains....
Malte Helmert
AAAI
1997
13 years 10 months ago
Abductive Completion of Plan Sketches
Most work on AI planning has focused on the development of fully automated methods for generating plans that satisfy user-speci ed goals. However, users in many domains want the a...
Karen L. Myers
RULEML
2005
Springer
14 years 2 months ago
Merging and Aligning Ontologies in dl-Programs
Abstract. The language of dl-programs is a latest effort in developing an expressive representation for Web-based ontologies. It allows to build answer set programming (ASP) on top...
Kewen Wang, Grigoris Antoniou, Rodney W. Topor, Ab...
SIGMOD
2004
ACM
107views Database» more  SIGMOD 2004»
14 years 9 months ago
Static Optimization of Conjunctive Queries with Sliding Windows Over Infinite Streams
We define a framework for static optimization of sliding window conjunctive queries over infinite streams. When computational resources are sufficient, we propose that the goal of...
Ahmed Ayad, Jeffrey F. Naughton
AI
2005
Springer
14 years 2 months ago
Planning for a Mobile Robot to Attend a Conference
The AAAI Mobile Robot Challenge requires robots to start from the entrance of the conference site, find their own way to the registration desk, socially interact with people and p...
Eric Beaudry, Froduald Kabanza, François Mi...