Sciweavers

2178 search results - page 39 / 436
» Inferring complex plans
Sort
View
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...
ICSOC
2003
Springer
14 years 2 months ago
Planning and Monitoring the Execution of Web Service Requests
Abstract Interaction with web services enabled marketplaces would be greatly facilitated if users were given a high level service request language to express their goals in complex...
Alexander Lazovik, Marco Aiello, Mike P. Papazoglo...
AAAI
2007
13 years 11 months ago
Asymptotically Optimal Encodings of Conformant Planning in QBF
The world is unpredictable, and acting intelligently requires anticipating possible consequences of actions that are taken. Assuming that the actions and the world are determinist...
Jussi Rintanen
SAS
2004
Springer
105views Formal Methods» more  SAS 2004»
14 years 2 months ago
Type Inference Against Races
Abstract. The race condition checker rccjava uses a formal type system to statically identify potential race conditions in concurrent Java programs, but it requires programmer-supp...
Cormac Flanagan, Stephen N. Freund
ICGI
2004
Springer
14 years 2 months ago
The Omphalos Context-Free Grammar Learning Competition
This paper describes the Omphalos Context-Free Grammar Learning Competition held as part of the International Colloquium on Grammatical Inference 2004. The competition was created ...
Bradford Starkie, François Coste, Menno van...