Sciweavers

590 search results - page 87 / 118
» Knowledge And The Action Description Language A
Sort
View
COSIT
2005
Springer
131views GIS» more  COSIT 2005»
14 years 2 months ago
Structural Salience of Landmarks for Route Directions
Abstract. This paper complements landmark research with an approach to formalize the structural salience of objects along routes. The aim is to automatically integrate salient obje...
Alexander Klippel, Stephan Winter
EPIA
2001
Springer
14 years 1 months ago
Situation Calculus as Hybrid Logic: First Steps
Abstract. The situation calculus, originally conceived by John McCarthy, is one of the main representation languages in artificial intelligence. The original papers introducing th...
Patrick Blackburn, Jaap Kamps, Maarten Marx
CRW
1998
Springer
332views Robotics» more  CRW 1998»
14 years 1 months ago
Communication in Domains with Unreliable, Single-Channel, Low-Bandwidth Communication
In most multiagent systems with communicating agents, the agents have the luxury of using reliable, multi-step negotiation protocols. They can do so primarily when communication i...
Peter Stone, Manuela M. Veloso
EHCI
2004
13 years 10 months ago
Finding Iteration Patterns in Dynamic Web Page Authoring
Most of the current WWW is made up of dynamic pages. The development of dynamic pages is a difficult and costly endeavour, out-of-reach for most users, experts, and content produce...
José A. Macías, Pablo Castells
CORR
2011
Springer
142views Education» more  CORR 2011»
13 years 17 days ago
Taming Numbers and Durations in the Model Checking Integrated Planning System
The Model Checking Integrated Planning System (MIPS) has shown distinguished performance in the second and third international planning competitions. With its object-oriented fram...
Stefan Edelkamp