Sciweavers

ATAL
1995
Springer
15 years 7 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...
173
Voted
ER
1997
Springer
112views Database» more  ER 1997»
15 years 7 months ago
Perspectives in Modeling: Simulation, Database, and Workflow
Development of today's advanced applications is increasingly being accomplished using multi-faceted modeling. For example, the areas of simulation and workflow modeling genera...
John A. Miller, Amit P. Sheth, Krys Kochut
108
Voted
ATAL
1995
Springer
15 years 7 months ago
Experiences with an Architecture for Intelligent, Reactive Agents
This paper describes an implementation of the 3T robot architecture which has been under development for the last eight years. The architecs three levels of abstraction and descri...
R. Peter Bonasso, David Kortenkamp, David P. Mille...
152
Voted
ATAL
1995
Springer
15 years 7 months ago
The Architecture of an Agent Building Shell
The agent view provides maybe the right level of abstraction for dealing with complex, distribblem-solving systems. It abstracts from aspects like the hardware or software platfor...
Mihai Barbuceanu, Mark S. Fox
62
Voted
ASYNC
1995
IEEE
77views Hardware» more  ASYNC 1995»
15 years 7 months ago
Hierarchical gate-level verification of speed-independent circuits
Oriol Roig, Jordi Cortadella, Enric Pastor