The synthesis of digital machines with provable epistemic properties
Proceedings of the 1986 Conference on Theoretical aspects of reasoning about knowledge
Real-time knowledge-based systems
AI Magazine
Real-time reasoning: the monitoring and control of spacecraft systems
Proceedings of the sixth conference on Artificial intelligence applications
Deliberation and its role in the formation of intentions
Proceedings of the seventh conference (1991) on Uncertainty in artificial intelligence
Multiple roles, multiple teams, dynamic environment: autonomous Netrek agents
AGENTS '97 Proceedings of the first international conference on Autonomous agents
Integrated premission planning and execution for unmanned ground vehicles
AGENTS '97 Proceedings of the first international conference on Autonomous agents
JAM: a BDI-theoretic mobile agent architecture
Proceedings of the third annual conference on Autonomous Agents
Requirements for an architecture for believable social agents
AGENTS '00 Proceedings of the fourth international conference on Autonomous agents
An agent architecture to fulfill real-time requirements
AGENTS '00 Proceedings of the fourth international conference on Autonomous agents
Imposing real-time constraints on self-adaptive controller synthesis
IWSAS' 2000 Proceedings of the first international workshop on Self-adaptive software
Agents' advanced features for negotiation and coordination
Mutli-agents systems and applications
Functional reactive robotics: an exercise in principled integration of domain-specific languages
Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming
Integrated Premission Planning and Execution for Unmanned Ground Vehicles
Autonomous Robots - Special issue on autonomous agents
The ZEUS Agent Building Tool-kit
BT Technology Journal
A Roadmap of Agent Research and Development
Autonomous Agents and Multi-Agent Systems
Applying the ARTIS Agent Architecture to Mobile Robot Control
IBERAMIA-SBIA '00 Proceedings of the International Joint Conference, 7th Ibero-American Conference on AI: Advances in Artificial Intelligence
Agents' Advanced Features for Negotiation and Coordination
EASSS '01 Selected Tutorial Papers from the 9th ECCAI Advanced Course ACAI 2001 and Agent Link's 3rd European Agent Systems Summer School on Multi-Agent Systems and Applications
A Real Time Object-Oriented Rational Agent Development System
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
Agent Specification Using Multi-context Systems
Selected papers from the UKMAS Workshop on Foundations and Applications of Multi-Agent Systems
RescueModel: A Multi-Agent Simulation of Bushfire Disaster Management
RoboCup 2000: Robot Soccer World Cup IV
Computing Environment-Aware Agent Behaviours with Logic Program Updates
LOPSTR '01 Selected papers from the 11th International Workshop on Logic Based Program Synthesis and Transformation
Modelling Agents in Hard Real-Time Environments
MAAMAW '99 Proceedings of the 9th European Workshop on Modelling Autonomous Agents in a Multi-Agent World: MultiAgent System Engineering
Programming Agent with Purposes: Application to Autonomous Shooting in Virtual Environment
ICVS '01 Proceedings of the International Conference on Virtual Storytelling: Using Virtual Reality Technologies for Storytelling
The Foundations to Build a Virtual Human Society
IVA '01 Proceedings of the Third International Workshop on Intelligent Virtual Agents
Automata-Based Multi-agent Model as a Tool for Constructing Real-Time Intelligent Control Systems
CEEMAS '01 Revised Papers from the Second International Workshop of Central and Eastern Europe on Multi-Agent Systems: From Theory to Practice in Multi-Agent Systems
Detecting & exploiting positive goal interaction in intelligent agents
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Propositional planning in BDI agents
Proceedings of the 2004 ACM symposium on Applied computing
The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System
Autonomous Agents and Multi-Agent Systems
Evolution of the GPGP/TÆMS Domain-Independent Coordination Framework
Autonomous Agents and Multi-Agent Systems
An open meteorological alerting system: issues and solutions
ACSC '04 Proceedings of the 27th Australasian conference on Computer science - Volume 26
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
The space and sound of intelligent information environments
OZCHI '05 Proceedings of the 17th Australia conference on Computer-Human Interaction: Citizens Online: Considerations for Today and the Future
The Soft Real-Time Agent Control Architecture
Autonomous Agents and Multi-Agent Systems
Programming multi-agent systems
The Knowledge Engineering Review
Robot introspection through learned hidden Markov models
Artificial Intelligence
Hierarchical planning in BDI agent programming languages: a formal approach
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
A General Framework for Parallel BDI Agents
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
An HLA-based multiagent system for optimized resource allocation after strong earthquakes
Proceedings of the 38th conference on Winter simulation
Crowd simulation for emergency response using BDI agent based on virtual reality
Proceedings of the 38th conference on Winter simulation
Planning with time limits in BDI agent programming languages
CATS '07 Proceedings of the thirteenth Australasian symposium on Theory of computing - Volume 65
Goals in the context of BDI plan failure and planning
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Belief operations for motivated BDI agents
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 1
Electronic contracting in aircraft aftercare: a case study
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: industrial track
Measuring Complexity of Multi-agent Simulations --- An Attempt Using Metrics
Languages, Methodologies and Development Tools for Multi-Agent Systems
Monitoring the execution of robot plans using semantic knowledge
Robotics and Autonomous Systems
A general framework for parallel BDI agents in dynamic environments
Web Intelligence and Agent Systems
Planning with iFALCON: Towards A Neural-Network-Based BDI Agent Architecture
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
Intentional learning agent architecture
Autonomous Agents and Multi-Agent Systems
Modelling and simulating work practices in agriculture
International Journal of Metadata, Semantics and Ontologies
A self-organizing neural network architecture for intentional planning agents
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Are Parallel BDI Agents Really Better?
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Dynamic Control of Intention Priorities of Human-like Agents
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Behavior bounding: an efficient method for high-level behavior comparison
Journal of Artificial Intelligence Research
Detecting & avoiding interference between goals in intelligent agents
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Robot introspection through learned hidden Markov models
Artificial Intelligence
Learning as abductive deliberations
PRICAI'06 Proceedings of the 9th Pacific Rim international conference on Artificial intelligence
Deliberative server for real-time agents
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
Part-whole reasoning in an object-centered framework
Part-whole reasoning in an object-centered framework
Plan-based control of robotic agents: improving the capabilities of autonomous robots
Plan-based control of robotic agents: improving the capabilities of autonomous robots
Current issues in multi-agent systems development
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
Composing high-level plans for declarative agent programming
DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
An agent's activities are controlled by his priorities
KES-AMSTA'08 Proceedings of the 2nd KES International conference on Agent and multi-agent systems: technologies and applications
Evaluation of virtual agents utilizing theory of mind in a real time action game
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Predicting Responsiveness of BDI Agent
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
ICAISC'10 Proceedings of the 10th international conference on Artifical intelligence and soft computing: Part II
Agents, multi-agent systems and declarative programming: what, when, where, why, who, how?
A 25-year perspective on logic programming
Activity scheduling for a robotic caretaker agent for the elderly
International Journal of Intelligent Information and Database Systems
Practical development of hybrid intelligent agent systems with SoSAA
AICS'09 Proceedings of the 20th Irish conference on Artificial intelligence and cognitive science
A BDI agent programming language with failure handling, declarative goals, and planning
Autonomous Agents and Multi-Agent Systems
Declarative abstractions for agent based hybrid control systems
DALT'10 Proceedings of the 8th international conference on Declarative agent languages and technologies VIII
A Multi-agent Architecture Based on the BDI Model for Data Fusion in Visual Sensor Networks
Journal of Intelligent and Robotic Systems
Computationally Effective Reasoning About Goal Interactions
Journal of Automated Reasoning
Delegation to automation: performance and implications in non-optimal situations
EPCE'11 Proceedings of the 9th international conference on Engineering psychology and cognitive ergonomics
Dynamic Behavior Sequencing for Hybrid Robot Architectures
Journal of Intelligent and Robotic Systems
Accounting for context in plan recognition, with application to traffic monitoring
UAI'95 Proceedings of the Eleventh conference on Uncertainty in artificial intelligence
The automated mapping of plans for plan recognition
UAI'94 Proceedings of the Tenth international conference on Uncertainty in artificial intelligence
Subgoal semantics in agent programming
EPIA'05 Proceedings of the 12th Portuguese conference on Progress in Artificial Intelligence
Learning plans with patterns of actions in bounded-rational agents
KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part III
A logical architecture of a normative system
DEON'06 Proceedings of the 8th international conference on Deontic Logic and Artificial Normative Systems
Plan generation and plan execution in agent programming
DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
An agentspeak meta-interpreter and its applications
ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems
iFALCON: A neural architecture for hierarchical planning
Neurocomputing
Cognitive architectures: Research issues and challenges
Cognitive Systems Research
Logical foundations for a rational BDI agent programming language
ProMAS'11 Proceedings of the 9th international conference on Programming Multi-Agent Systems
Formal modelling of agents acting under artificial emotions
Proceedings of the Fifth Balkan Conference in Informatics
Applying electronic contracting to the aerospace aftercare domain
Engineering Applications of Artificial Intelligence
A DEVS-based M&S method for large-scale multi-agent systems
Proceedings of the 2013 Summer Computer Simulation Conference
Society of Mind cognitive agent architecture applied to drivers adapting in a traffic context
Adaptive Behavior - Animals, Animats, Software Agents, Robots, Adaptive Systems
| Hi-index | 0.00 |
The Procedural Reasoning System, a generic reasoning system based on the rational-agent architecture, is described. The system has been applied to several real-time applications, including mobile robot control, system control for a surveillance aircraft, and air traffic management. Two applications that are relevant to process industries handling malfunctions for the reaction control system of NASA's Space Shuttle and diagnosing and controlling failures and overloads in a telecommunications network are discussed. Specifically, the representation and management of malfunction-handling procedures and tasks.