AgentSpeak(L): BDI agents speak out in a logical computable language
MAAMAW '96 Proceedings of the 7th European workshop on Modelling autonomous agents in a multi-agent world : agents breaking away: agents breaking away
JAM: a BDI-theoretic mobile agent architecture
Proceedings of the third annual conference on Autonomous Agents
ConGolog, a concurrent programming language based on the situation calculus
Artificial Intelligence
A library of generic concepts for composing knowledge bases
Proceedings of the 1st international conference on Knowledge capture
Proceedings of the 1st international conference on Knowledge capture
Autonomous Agents and Multi-Agent Systems
An architecture for Real-Time Reasoning and System Control
IEEE Expert: Intelligent Systems and Their Applications
Formal Semantics for an Abstract Agent Programming Language
ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
A Formal Specification of dMARS
ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
Adaptive execution in complex dynamic worlds
Adaptive execution in complex dynamic worlds
Active preference learning for personalized calendar scheduling assistance
Proceedings of the 10th international conference on Intelligent user interfaces
Task learning by instruction in tailor
Proceedings of the 10th international conference on Intelligent user interfaces
Continuous refinement of agent resource estimates
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Deploying a personalized time management agent
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
A Logging-Based Approach for Building More Robust Multi-agent Systems
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Demonstration of teamwork in uncertain domains using hybrid BDI-POMDP systems
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Intelligent agent framework for order entry and management
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Recovery model for free-roaming mobile agent against multiple attacks
Proceedings of the 3rd international conference on Mobile multimedia communications
Suspending and resuming tasks in BDI agents
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 1
A context-aware personal desktop assistant
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: demo papers
Proceedings of the 14th international conference on Intelligent user interfaces
From geek to sleek: integrating task learning tools to support end users in real-world applications
Proceedings of the 14th international conference on Intelligent user interfaces
Intentional learning agent architecture
Autonomous Agents and Multi-Agent Systems
JASDL: A Practical Programming Approach Combining Agent and Semantic Web Technologies
Declarative Agent Languages and Technologies VI
Motivation for a new formal framework for agent-oriented software engineering
International Journal of Agent-Oriented Software Engineering
Building more robust multi-agent systems using a log-based approach
Web Intelligence and Agent Systems
Modelling and simulating work practices in agriculture
International Journal of Metadata, Semantics and Ontologies
Like an intuitive and courteous butler: a proactive personal agent for task management
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
MABLE: a framework for learning from natural instruction
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Free-roaming mobile agent (FRoMA) protection against multiple attacks
International Journal of Communication Networks and Distributed Systems
An analysis of procedure learning by instruction
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Functional specification of probabilistic process models
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
An agent-based approach towards automatic service composition in ambient intelligence
Artificial Intelligence Review
On agents and grids: Creating the fabric for a new generation of distributed intelligent systems
Web Semantics: Science, Services and Agents on the World Wide Web
Current issues in multi-agent systems development
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
Background sensing control for planning agents working in the real world
KES-AMSTA'08 Proceedings of the 2nd KES International conference on Agent and multi-agent systems: technologies and applications
No Code Required: Giving Users Tools to Transform the Web
No Code Required: Giving Users Tools to Transform the Web
A declarative agent programming language based on action theories
FroCoS'09 Proceedings of the 7th international conference on Frontiers of combining systems
Background sensing control for planning agents working in the real world
International Journal of Intelligent Information and Database Systems
Learning context conditions for BDI plan selection
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
International Journal of Human-Computer Studies
Agents, multi-agent systems and declarative programming: what, when, where, why, who, how?
A 25-year perspective on logic programming
A BDI agent programming language with failure handling, declarative goals, and planning
Autonomous Agents and Multi-Agent Systems
Towards a deliberative agent system based on DEVS formalism for application in agriculture
Proceedings of the 2010 Summer Computer Simulation Conference
Agent programming with priorities and deadlines
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Reasoning about plan revision in BDI agent programs
Theoretical Computer Science
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
The ARTS real-time agent architecture
LADS'09 Proceedings of the Second international conference on Languages, Methodologies, and Development Tools for Multi-Agent Systems
ProMAS'10 Proceedings of the 8th international conference on Programming Multi-Agent Systems
| Hi-index | 0.00 |
There is a need for agent systems that can scale to real-world applications, yet retain the clean semantic underpinning of more formal agent frameworks. We describe the SRI Procedural Agent Realization Kit (SPARK), a new BDI agent framework that combines these two qualities. In contrast to most practical agent frameworks, SPARK has a clear, well-defined formal semantics that is intended to support reasoning techniques such as procedure validation, automated synthesis, and procedure repair. SPARK also provides a variety of capabilities such as introspection and meta-level reasoning to enable more sophisticated methods for agent control, and advisability techniques that support user directability. On the practical side, SPARK has several design constructs that support the development of large-scale agent applications. SPARK is currently being used as the agent infrastructure for a personal assistant system for a manager in an office environment.