Sciweavers

1143 search results - page 46 / 229
» Prospective Logic Agents
Sort
View
AGENTS
2001
Springer
15 years 10 months ago
PHOSPHORUS: a task-based agent matchmaker
PHOSPHORUS is an agent matchmaking service that exploits domain ontologies, description logic, and a highly declarative language to reason about task-related agent capabilities. P...
Yolanda Gil, Surya Ramachandran
ROBOCUP
1999
Springer
95views Robotics» more  ROBOCUP 1999»
15 years 10 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...
ROBOCUP
2000
Springer
120views Robotics» more  ROBOCUP 2000»
15 years 9 months ago
Towards a Logical Approach for Soccer Agents Engineering
Building agents for a scenario such as the RoboCup simulation league requires not only methodologies for implementing high-level complex behavior, but also the careful and efficien...
Jan Murray, Oliver Obst, Frieder Stolzenburg
ATAL
1995
Springer
15 years 9 months ago
Foundations of a Logical Approach to Agent Programming
This paper describes a novel approach to high-level agent programming based on a highly developed logical theory of action. The user provides a specification of the agents’ bas...
Yves Lespérance, Hector J. Levesque, Fangzh...
DAGSTUHL
2007
15 years 7 months ago
Interaction between Normative Systems and Cognitive agents in Temporal Modal Defeasible Logic
Abstract. While some recent frameworks on cognitive agents addressed the combination of mental attitudes with deontic concepts, they commonly ignore the representation of time. An ...
Régis Riveret, Antonino Rotolo, Guido Gover...