Sciweavers

1302 search results - page 79 / 261
» Deductive Plan Generation
Sort
View
ROBOCUP
1999
Springer
95views Robotics» more  ROBOCUP 1999»
14 years 1 months ago
Spatial Agents Implemented in a Logical Expressible Language
In this paper, we present a multi-layered architecture for spatial and temporal agents. The focus is laid on the declarativity of the approach, which makes agent scripts expressive...
Frieder Stolzenburg, Oliver Obst, Jan Murray, Bj&o...
AGI
2008
13 years 10 months ago
Temporal Action Logic for Question Answering in an Adventure Game
Inhabiting the complex and dynamic environments of modern computer games with autonomous agents capable of intelligent timely behaviour is a significant research challenge. We illu...
Martin Magnusson, Patrick Doherty
PPDP
2010
Springer
13 years 7 months ago
Deriving predicate statistics in datalog
Database query optimizers rely on data statistics in selecting query execution plans. Similar query optimization techniques are desirable for deductive databases and, to make this...
Senlin Liang, Michael Kifer
PPDP
2010
Springer
13 years 6 months ago
Tabling for transaction logic
Transaction Logic is a logic for representing declarative and procedural knowledge in logic programming, databases, and AI. It has been successful in areas as diverse as workflows...
Paul Fodor, Michael Kifer
COSIT
2009
Springer
211views GIS» more  COSIT 2009»
13 years 6 months ago
The Abduction of Geographic Information Science: Transporting Spatial Reasoning to the Realm of Purpose and Design
People intuitively understand that function and purpose are critical parts of what human-configured entities are about, but these notions have proved difficult to capture formally....
Helen Couclelis