Distributed diagnosis by vivid agents
AGENTS '97 Proceedings of the first international conference on Autonomous agents
An architecture for mobile BDI agents
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
Prototyping of complex plan based behavior for 3D actors
AGENTS '00 Proceedings of the fourth international conference on Autonomous agents
Agent-oriented software engineering: the state of the art
First international workshop, AOSE 2000 on Agent-oriented software engineering
ViP: a visual programming language for plan execution systems
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Model checking multi-agent systems with MABLE
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
AgentSpeak(XL): efficient intention selection in BDI agents via decision-theoretic task scheduling
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Applying conflict management strategies in BDI agents for resource management in computational grids
ACSC '02 Proceedings of the twenty-fifth Australasian conference on Computer science - Volume 4
Logical foundations of agent-based computing
Mutli-agents systems and applications
Introspective and elaborative processes in rational agents
Annals of Mathematics and Artificial Intelligence
IMPACTing SHOP: Putting an AI Planner Into a Multi-Agent Environment
Annals of Mathematics and Artificial Intelligence
Autonomous Agents and Multi-Agent Systems
A Verification Framework for Agent Communication
Autonomous Agents and Multi-Agent Systems
SPLAW: a computable language for agent-oriented programming
ACM SIGPLAN Notices
CASA - Structured Design of a Specification Language for Intelligent Agents
ASIAN '99 Proceedings of the 5th Asian Computing Science Conference on Advances in Computing Science
An Operational Semantics for a PRS-Like Agent Architecture
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Logical Foundations of Agent-Based Computing
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 Programming Logic for Part of the Agent Language 3APL
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
Formal Agent Development: Framework to System
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
A Logic Programming Language for Multi-agent Systems
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
A Proof-System for the Safe Execution of Tasks in Multi-agent Systems
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Reliable Agent Computation: An Algebraic Approach
PRIMA 2001 Proceedings of the 4th Pacific Rim International Workshop on Multi-Agents, Intelligent Agents: Specification, Modeling, and Applications
A Truly Concurrent Model for Interacting Agents
PRIMA 2001 Proceedings of the 4th Pacific Rim International Workshop on Multi-Agents, Intelligent Agents: Specification, Modeling, and Applications
Semantics of Agent Communication: An Introduction
Selected papers from the UKMAS Workshop on Foundations and Applications of Multi-Agent Systems
Spatial Agents Implemented in a Logical Expressible Language
RoboCup-99: Robot Soccer World Cup III
RoboCup-99: Robot Soccer World Cup III
A Formal Specification of M-Agent Architecture
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
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
A Formal Architecture for the 3APL Agent Programming Language
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
BDI Models and Systems: Bridging the Gap
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
Control Structures of Rule-Based Agent Languages
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
Information-Passing and Belief Revision in Multi-Agent Systems
ATAL '98 Proceedings of the 5th International Workshop on Intelligent Agents V, Agent Theories, Architectures, and Languages
Agent Programming with Declarative Goals
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
Running AgentSpeak(L) Agents on SIM_AGENT
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
The Psi Calculus: An Algebraic Agent Language
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
An Abstract Machine for Classes of Communicating Agents Based on Deduction
ATAL '01 Revised Papers from the 8th International Workshop on Intelligent Agents VIII
Development and Application of a Formal Agent Framework
ICFEM '97 Proceedings of the 1st International Conference on Formal Engineering Methods
Agent programming in dribble: from beliefs to goals using plans
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Rational action in agent programs with prioritized goals
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
Towards practical reasoning agents for the semantic web
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
The dMARS Architecture: A Specification of the Distributed Multi-Agent Reasoning System
Autonomous Agents and Multi-Agent Systems
Agent orientation in software engineering
The Knowledge Engineering Review
From definition to deployment: What next for agent-based systems?
The Knowledge Engineering Review
Agent Systems and Applications
The Knowledge Engineering Review
Logic-based specification languages for intelligent software agents
Theory and Practice of Logic Programming
Go!—A Multi-Paradigm Programming Language for Implementing Multi-Threaded Agents
Annals of Mathematics and Artificial Intelligence
On the Semantics of Deliberation in Indigolog—from Theory to Implementation
Annals of Mathematics and Artificial Intelligence
Proving BDI Properties of Agent-Oriented Programming Languages
Annals of Mathematics and Artificial Intelligence
Computational Logic in Multi-Agent Systems: Recent Advances and Future Directions
Annals of Mathematics and Artificial Intelligence
Coo-AgentSpeak: Cooperation in AgentSpeak through Plan Exchange
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
State-Space Reduction Techniques in Agent Verification
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Improving the Learning Rate by Inducing a Transition Model
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 3
Model Checking Rational Agents
IEEE Intelligent Systems
Temporal Development Methods for Agent-Based
Autonomous Agents and Multi-Agent Systems
MALLET-A Multi-Agent Logic Language for Encoding Teamwork
IEEE Transactions on Knowledge and Data Engineering
Caste-Centric Agent-Oriented Programming
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Verifying Multi-agent Programs by Model Checking
Autonomous Agents and Multi-Agent Systems
Semantics of plan revision in intelligent agents
Theoretical Computer Science - Algebraic methodology and software technology
CASO: a framework for dealing with objectives in a constraint-based extension to AgentSpeak(L)
ACSC '06 Proceedings of the 29th Australasian Computer Science Conference - Volume 48
The interpreted system model of knowledge, belief, desire and intention
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
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
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
On proactivity and maintenance goals
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
User defined monitoring strategies for BDI agent programs
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Goal-oriented modularity in agent programming
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Belief revision for AgentSpeak agents
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Plan patterns for declarative goals in AgentSpeak
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Co-evolution of Agent-Oriented Conceptual Models and CASO Agent Programs
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Goal-Oriented Development of BDI Agents: The PRACTIONIST Approach
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
A General Framework for Parallel BDI Agents
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
A Formal Model for Situated Multi-Agent Systems
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
Delivering adaptivity through context-awareness
Journal of Network and Computer Applications
Ontology schema for an agent belief store
International Journal of Human-Computer Studies
Planning with time limits in BDI agent programming languages
CATS '07 Proceedings of the thirteenth Australasian symposium on Theory of computing - Volume 65
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Goals in the context of BDI plan failure and planning
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
A grounded specification language for agent programs
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
2APL: a practical agent programming language
Autonomous Agents and Multi-Agent Systems
An Intelligent Tutoring System (ITS) view on AOSE
International Journal of Agent-Oriented Software Engineering
International Journal of Agent-Oriented Software Engineering
Programming mobile intelligent agents: An operational semantics
Web Intelligence and Agent Systems
Goals in agent systems: a unifying framework
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
MADeM: a multi-modal decision making for social MAS
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 1
Cost-based BDI plan selection for change propagation
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 1
Suspending and resuming tasks in BDI agents
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 1
A model of contingent planning for agent programming languages
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 1
An agent-oriented approach to support change propagation in software evolution
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: doctoral mentoring program
Extending agent languages for autonomy
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: doctoral mentoring program
Electronic contracting in aircraft aftercare: a case study
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: industrial track
A flexible framework for verifying agent programs
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3
Spatially Distributed Normative Objects
Coordination, Organizations, Institutions, and Norms in Agent Systems II
Our Quest for the Holy Grail of Agent Verification
TABLEAUX '07 Proceedings of the 16th international conference on Automated Reasoning with Analytic Tableaux and Related Methods
SmartResource Platform and Semantic Agent Programming Language (S-APL)
MATES '07 Proceedings of the 5th German conference on Multiagent System Technologies
A general framework for parallel BDI agents in dynamic environments
Web Intelligence and Agent Systems
Formal specification and validation of multi-agent behaviour using TLA+ and TLC model checker
International Journal of Artificial Intelligence and Soft Computing
`What I Fail to Do Today, I Have to Do Tomorrow': A Logical Study of the Propagation of Obligations
Computational Logic in Multi-Agent Systems
Language Constructs for Multi-agent Programming
Computational Logic in Multi-Agent Systems
Toward an AgentSpeak(L) Theory of Commitment and Intentional Learning
MICAI '08 Proceedings of the 7th Mexican International Conference on Artificial Intelligence: Advances in Artificial Intelligence
Levels of Modalities for BDI Logic
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
Intentional learning agent architecture
Autonomous Agents and Multi-Agent Systems
Goals in conflict: semantic foundations of goals in agent programming
Autonomous Agents and Multi-Agent Systems
Abstraction of Agent Cooperation in Agent Oriented Programming Language
PRIMA '08 Proceedings of the 11th Pacific Rim International Conference on Multi-Agents: Intelligent Agents and Multi-Agent Systems
A Distributed Normative Infrastructure for Situated Multi-agent Organisations
Declarative Agent Languages and Technologies VI
JASDL: A Practical Programming Approach Combining Agent and Semantic Web Technologies
Declarative Agent Languages and Technologies VI
Leveraging New Plans in AgentSpeak(PL)
Declarative Agent Languages and Technologies VI
Abstracting and Verifying Strategy-Proofness for Auction Mechanisms
Declarative Agent Languages and Technologies VI
Toward a programming theory for rational agents
Autonomous Agents and Multi-Agent Systems
Motivation for a new formal framework for agent-oriented software engineering
International Journal of Agent-Oriented Software Engineering
Formal verification of human-robot teamwork
Proceedings of the 4th ACM/IEEE international conference on Human robot interaction
Logic programming with social features1
Theory and Practice of Logic Programming
Simulating socially intelligent agents in semantic virtual environments
The Knowledge Engineering Review
Organizations and Autonomous Agents: Bottom-Up Dynamics of Coordination Mechanisms
Coordination, Organizations, Institutions and Norms in Agent Systems IV
Evaluating an Agent-Oriented Approach for Change Propagation
Agent-Oriented Software Engineering IX
Deliberation Process in a BDI Model with Bayesian Networks
Agent Computing and Multi-Agent Systems
Reasoning with Levels of Modalities in BDI Logic
Agent Computing and Multi-Agent Systems
CTL AgentSpeak(L): A specification language for agent programs
Journal of Algorithms
Modelling intelligent agents for autonomic computing in the PNagent framework
International Journal of Autonomic Computing
Framework for model-based design of multi-agent systems
International Journal of Autonomic Computing
A User Interface to Support Dialogue and Negotiation in Participatory Simulations
Multi-Agent-Based Simulation IX
A framework for monitoring agent-based normative systems
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Norm-based behaviour modification in BDI agents
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Modelling Agent Behaviours in Simulating Transport Corridors Using Prometheus and Jason
Proceedings of the 2008 conference on New Trends in Multimedia and Network Information Systems
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
A Model for Criminal Decision Making Based on Hypothetical Reasoning about the Future
IEA/AIE '09 Proceedings of the 22nd International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems: Next-Generation Applied Intelligence
User Behavior Patterns: Gathering, Analysis, Simulation and Prediction
HCD 09 Proceedings of the 1st International Conference on Human Centered Design: Held as Part of HCI International 2009
Integrating Answer Set Modules into Agent Programs
LPNMR '09 Proceedings of the 10th International Conference on Logic Programming and Nonmonotonic Reasoning
Anonymous Agent Coordination in Smart Spaces: State-of-the-Art
NEW2AN '09 and ruSMART '09 Proceedings of the 9th International Conference on Smart Spaces and Next Generation Wired/Wireless Networking and Second Conference on Smart Spaces
Observation-based model for BDI-agents
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
On the formal semantics of speech-act based communication in an agent-oriented programming language
Journal of Artificial Intelligence Research
Computational logic foundations of KGP agents
Journal of Artificial Intelligence Research
Implementing BDI-like systems by direct execution
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
NoA: a normative agent architecture
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Simulating BDI-Based Wireless Sensor Networks
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
Computationally grounded model of BDI-agents
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Automated Verification of Multi-Agent Programs
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
J-MADeM, an open-source library for social decision-making
Proceedings of the 2009 conference on Artificial Intelligence Research and Development: Proceedings of the 12th International Conference of the Catalan Association for Artificial Intelligence
Verification of autonomous robotic systems: a perspective
RA '07 Proceedings of the 13th IASTED International Conference on Robotics and Applications
J-MADeM, an open-source library for social decision-making
Proceedings of the 2009 conference on Artificial Intelligence Research and Development: Proceedings of the 12th International Conference of the Catalan Association for Artificial Intelligence
Simulating Communication in a Service-Oriented Architecture for V2V Networks
EPIA '09 Proceedings of the 14th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
Flexible Communication of Agents based on FIPA-ACL
Electronic Notes in Theoretical Computer Science (ENTCS)
From Theoretical e-barter Models to an Implementation Based on Web Services
Electronic Notes in Theoretical Computer Science (ENTCS)
From SMART to agent systems development
Engineering Applications of Artificial Intelligence
Agent logics as program logics: grounding KARO
KI'06 Proceedings of the 29th annual German conference on Artificial intelligence
The second contest on multi-agent systems based on computational logic
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Using Jason to implement a team of gold miners
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
ProMAS'06 Proceedings of the 4th international conference on Programming multi-agent systems
Spatially distributed normative infrastructure
E4MAS'06 Proceedings of the 3rd international conference on Environments for multi-agent systems III
Context-based commonsense reasoning in the DALI logic programming language
CONTEXT'03 Proceedings of the 4th international and interdisciplinary conference on Modeling and using context
Towards motivation-based decisions for worth goals
CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems
Using goals for flexible service orchestration: a first step
AAMAS'07/SOCASE'07 Proceedings of the 2007 AAMAS international workshop and SOCASE 2007 conference on Service-oriented computing: agents, semantics, and engineering
Towards a mapping from BPMN to agents
AAMAS'07/SOCASE'07 Proceedings of the 2007 AAMAS international workshop and SOCASE 2007 conference on Service-oriented computing: agents, semantics, and engineering
Implementing reactive BDI agents with user-given constraints and objectives
International Journal of Agent-Oriented Software Engineering
Formal specification of multi-agent systems by using EUSMs
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
The construction of multi-agent systems as an engineering discipline
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
Current issues in multi-agent systems development
ESAW'06 Proceedings of the 7th international conference on Engineering societies in the agents world VII
Agent based executable conceptual models using i* and CASO
ER'07 Proceedings of the 2007 conference on Advances in conceptual modeling: foundations and applications
Composing high-level plans for declarative agent programming
DALT'07 Proceedings of the 5th international conference on Declarative agent languages and technologies V
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
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
Generation of repair plans for change propagation
AOSE'07 Proceedings of the 8th international conference on Agent-oriented software engineering VIII
A common semantic basis for BDI languages
ProMAS'07 Proceedings of the 5th international conference on Programming multi-agent systems
Adding structure to agent programming languages
ProMAS'07 Proceedings of the 5th international conference on Programming multi-agent systems
Modules as policy-based intentions: modular agent programming in GOAL
ProMAS'07 Proceedings of the 5th international conference on Programming multi-agent systems
Specifying and verifying a MAS: the robots on mars case study
ProMAS'07 Proceedings of the 5th international conference on Programming multi-agent systems
Agent contest competition: 3rd edition
ProMAS'07 Proceedings of the 5th international conference on Programming multi-agent systems
Developing a team of gold miners using Jason
ProMAS'07 Proceedings of the 5th international conference on Programming multi-agent systems
Distributed traffic signal control approach based on multi-agent
FSKD'09 Proceedings of the 6th international conference on Fuzzy systems and knowledge discovery - Volume 5
Background sensing control for planning agents working in the real world
International Journal of Intelligent Information and Database Systems
Autonomous Agents and Multi-Agent Systems
Agent programming via planning programs
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Goals description and application in migrating workflow system
Expert Systems with Applications: An International Journal
Executable specifications of resource-bounded agents
Autonomous Agents and Multi-Agent Systems
Semantics for the Jason Variant of AgentSpeak (Plan Failure and some Internal Actions)
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Agents, multi-agent systems and declarative programming: what, when, where, why, who, how?
A 25-year perspective on logic programming
Discovering Semantic Web services using SPARQL and intelligent agents
Web Semantics: Science, Services and Agents on the World Wide Web
A dialogue games framework for the operational semantics of logic agent-oriented languages
CLIMA'10 Proceedings of the 11th international conference on Computational logic in multi-agent systems
Agent-based simulations with beliefs and SPARQL-based ask-reply communication
MABS'09 Proceedings of the 10th international conference on Multi-agent-based simulation
Organizational structures supported by agent-oriented methodologies
Journal of Systems and Software
Activity scheduling for a robotic caretaker agent for the elderly
International Journal of Intelligent Information and Database Systems
Jason induction of logical decision trees: a learning library and its application to commitment
MICAI'10 Proceedings of the 9th Mexican international conference on Advances in artificial intelligence: Part I
Reasoning about multi-agent domains using action language C: a preliminary study
CLIMA'09 Proceedings of the 10th international conference on Computational logic in multi-agent systems
ProMAS'09 Proceedings of the 7th international conference on Programming multi-agent systems
Representing long-term and interest BDI goals
ProMAS'09 Proceedings of the 7th international conference on Programming multi-agent systems
Modularity and compositionality in Jason
ProMAS'09 Proceedings of the 7th international conference on Programming multi-agent systems
Using Jason to develop normative agents
SBIA'10 Proceedings of the 20th Brazilian conference on Advances in artificial intelligence
Combining rational and biological factors in virtual agent decision making
Applied Intelligence
Incorporating trust into the BDI architecture
International Journal of Artificial Intelligence and Soft Computing
Modeling and verifying agent-based communities of web services
IEA/AIE'10 Proceedings of the 23rd international conference on Industrial engineering and other applications of applied intelligent systems - Volume Part II
Formal methods in agent-oriented software engineering
AOSE'10 Proceedings of the 10th international conference on Agent-oriented software engineering
A BDI agent programming language with failure handling, declarative goals, and planning
Autonomous Agents and Multi-Agent Systems
A periphery of Pogamut: from bots to agents and back again
Agents for games and simulations II
Annals of Mathematics and Artificial Intelligence
BDI agents with objectives and preferences
DALT'10 Proceedings of the 8th international conference on Declarative agent languages and technologies VIII
Executing specifications of social reasoning agents
DALT'10 Proceedings of the 8th international conference on Declarative agent languages and technologies VIII
Specifying recursive agents with GDTs
Autonomous Agents and Multi-Agent Systems
Declarative programming for agent applications
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
Future Generation Computer Systems
An adherence support framework for service delivery in customer life cycle management
COIN@AAMAS'10 Proceedings of the 6th international conference on Coordination, organizations, institutions, and norms in agent systems
CARE@AI'09/CARE@IAT'10 Proceedings of the CARE@AI 2009 and CARE@IAT 2010 international conference on Collaborative agents - research and development
Using cognitive agents in social simulations
Engineering Applications of Artificial Intelligence
Agent programming with priorities and deadlines
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
LADS'10 Proceedings of the Third international conference on Languages, methodologies, and development tools for multi-agent systems
JaCa-Android: an agent-based platform for building smart mobile applications
LADS'10 Proceedings of the Third international conference on Languages, methodologies, and development tools for multi-agent systems
Rule-based distributed and agent systems
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
An agent-oriented approach to change propagation in software maintenance
Autonomous Agents and Multi-Agent Systems
Annals of Mathematics and Artificial Intelligence
Reasoning about plan revision in BDI agent programs
Theoretical Computer Science
Acting on norm constrained plans
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Agent factory: a framework for prototyping logic-based AOP languages
MATES'11 Proceedings of the 9th German conference on Multiagent system technologies
Agentification of objects in heterogeneous dynamic environments
MATES'11 Proceedings of the 9th German conference on Multiagent system technologies
Modeling context-awareness in agents for ambient intelligence: an aspect-oriented approach
EPIA'11 Proceedings of the 15th Portugese conference on Progress in artificial intelligence
Reasoning about Groups: A Cognitive Model for the Social Behavior Spectrum
WI-IAT '11 Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 02
Social-Compliance in Trust Management within Virtual Communities
WI-IAT '11 Proceedings of the 2011 IEEE/WIC/ACM International Conferences on Web Intelligence and Intelligent Agent Technology - Volume 03
Planning experiments in the DALI logic programming language
CLIMA IV'04 Proceedings of the 4th international conference on Computational Logic in Multi-Agent Systems
Argonauts: a working system for motivated cooperative agents
Annals of Mathematics and Artificial Intelligence
From bogtrotting to herding: a UCD perspective
Annals of Mathematics and Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
Abductive logic programming agents with destructive databases
Annals of Mathematics and Artificial Intelligence
A formal analysis of KGP agents
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
A feature model of actor, agent, and object programming languages
Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11
Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11
Integrating jason in a multi-agent platform with support for interaction protocols.
Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11
About declarative semantics of logic-based agent languages
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
Goal decomposition tree: an agent model to generate a validated agent behaviour
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
Resource-Bounded belief revision and contraction
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
Agent-Oriented programming with underlying ontological reasoning
DALT'05 Proceedings of the Third international conference on Declarative Agent Languages and Technologies
A multi-agent framework based on communication and concurrency
IWDC'04 Proceedings of the 6th international conference on Distributed Computing
A software architecture for multi-agent systems
CIS'05 Proceedings of the 2005 international conference on Computational Intelligence and Security - Volume Part I
Model checking for PRS-like agents
AI'05 Proceedings of the 18th Australian Joint conference on Advances in Artificial Intelligence
Subgoal semantics in agent programming
EPIA'05 Proceedings of the 12th Portuguese conference on Progress in Artificial Intelligence
Protocol synthesis with dialogue structure theory
ArgMAS'05 Proceedings of the Second international conference on Argumentation in Multi-Agent Systems
Agent-Oriented probabilistic logic programming with fuzzy constraints
PRIMA'06 Proceedings of the 9th Pacific Rim international conference on Agent Computing and Multi-Agent Systems
Observation-Based logic of knowledge, belief, desire and intention
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
Model checking agent programming languages
Automated Software Engineering
The adversarial activity model for bounded rational agents
Autonomous Agents and Multi-Agent Systems
ELMS: an environment description language for multi-agent simulation
E4MAS'04 Proceedings of the First international conference on Environments for Multi-Agent Systems
About the role of the environment in multi-agent simulations
E4MAS'04 Proceedings of the First international conference on Environments for Multi-Agent Systems
Goal representation for BDI agent systems
ProMAS'04 Proceedings of the Second international conference on Programming Multi-Agent Systems
AF-APL – bridging principles and practice in agent oriented languages
ProMAS'04 Proceedings of the Second international conference on Programming Multi-Agent Systems
Dynamics of declarative goals in agent programming
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Theories of intentions in the framework of situation calculus
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
The semantics of MALLET–An agent teamwork encoding language
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Modeling and verification of distributed autonomous agents using logic programming
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Evaluation and monitoring of the air-sea interaction using a CBR-Agents approach
ICCBR'05 Proceedings of the 6th international conference on Case-Based Reasoning Research and Development
Towards symbolic model checking for multi-agent systems via OBDD's
FAABS'04 Proceedings of the Third international conference on Formal Approaches to Agent-Based Systems
Engineering stable multi-agent systems
ESAW'04 Proceedings of the 5th international conference on Engineering Societies in the Agents World
Dynamic logic for plan revision in intelligent agents
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
Agents as catalysts for mobile computing
AOIS'04 Proceedings of the 6th international conference on Agent-Oriented Information Systems II
MATES'05 Proceedings of the Third German conference on Multiagent System Technologies
Modeling minority games with BDI agents – a case study
MATES'05 Proceedings of the Third German conference on Multiagent System Technologies
A goal deliberation strategy for BDI agent systems
MATES'05 Proceedings of the Third German conference on Multiagent System Technologies
Multi-agent system specification using TCOZ
MATES'05 Proceedings of the Third German conference on Multiagent System Technologies
A framework of cooperative agents with implicit support for ontologies
CIA'06 Proceedings of the 10th international conference on Cooperative Information Agents
Ambient intelligence through agile agents
Ambient Intelligence for Scientific Discovery
A compositional semantics of plan revision in intelligent agents
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
Automating belief revision for agentspeak
DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
Programming declarative goals using plan patterns
DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
JADL – an agent description language for smart agents
DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
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
Programming deliberative agents for mobile services: the 3APL-M platform
ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems
Declarative agent programming support for a FIPA-Compliant agent platform
ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems
Reasoning about epistemic states of agents by modal logic programming
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
BDI agent programming in agentspeak using Jason
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
CLIMA'05 Proceedings of the 6th international conference on Computational Logic in Multi-Agent Systems
Mesoscopic modeling of emergent behavior – a self-organizing deliberative minority game
ESOA'05 Proceedings of the Third international conference on Engineering Self-Organising Systems
Multiagent based scheduling of elective surgery
PRIMA'10 Proceedings of the 13th international conference on Principles and Practice of Multi-Agent Systems
An intelligent approach to surgery scheduling
PRIMA'10 Proceedings of the 13th international conference on Principles and Practice of Multi-Agent Systems
Answer set modules for logical agents
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Agent simulation of peer review: the PR-1 model
MABS'11 Proceedings of the 12th international conference on Multi-Agent-Based Simulation
ProMAS'10 Proceedings of the 8th international conference on Programming Multi-Agent Systems
Heuristic resource search in a self-organised distributed multi agent system
IWSOS'12 Proceedings of the 6th IFIP TC 6 international conference on Self-Organizing Systems
An integrated formal framework for reasoning about goal interactions
DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies
DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies
DALT'11 Proceedings of the 9th international conference on Declarative Agent Languages and Technologies
Reasoning about the intentions of agents
Logic Programs, Norms and Action
GOAL agents instantiate intention logic
Logic Programs, Norms and Action
Measuring plan coverage and overlap for agent reasoning
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Revising conflicting intention sets in BDI agents
Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Logical foundations for a rational BDI agent programming language
ProMAS'11 Proceedings of the 9th international conference on Programming Multi-Agent Systems
Developing a knowledge management multi-agent system using JaCaMo
ProMAS'11 Proceedings of the 9th international conference on Programming Multi-Agent Systems
Notes on pragmatic agent-programming with Jason
ProMAS'11 Proceedings of the 9th international conference on Programming Multi-Agent Systems
Integrating expectation monitoring into BDI agents
ProMAS'11 Proceedings of the 9th international conference on Programming Multi-Agent Systems
ProMAS'11 Proceedings of the 9th international conference on Programming Multi-Agent Systems
Erlang as an implementation platform for BDI languages
Proceedings of the eleventh ACM SIGPLAN workshop on Erlang workshop
A Formal Model for Situated Multi-Agent Systems
Fundamenta Informaticae - Multiagent Systems (FAMAS'03)
Applying electronic contracting to the aerospace aftercare domain
Engineering Applications of Artificial Intelligence
Modeling social causality and responsibility judgment in multi-agent interactions
Journal of Artificial Intelligence Research
20 years of agent-oriented programming in distributed AI: history and outlook
Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions
Proceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions
Proceedings of the Winter Simulation Conference
Automatic behavior composition synthesis
Artificial Intelligence
Generating corpora of activities of daily living and towards measuring the corpora's complexity
CAVE'12 Proceedings of the First international conference on Cognitive Agents for Virtual Environments
A Runtime Goal Conflict Resolution Model for Agent Systems
WI-IAT '12 Proceedings of the The 2012 IEEE/WIC/ACM International Joint Conferences on Web Intelligence and Intelligent Agent Technology - Volume 02
Multi-agent oriented programming with JaCaMo
Science of Computer Programming
A defeasible logic of intention
MICAI'12 Proceedings of the 11th Mexican international conference on Advances in Artificial Intelligence - Volume Part I
Situational preferences for BDI plans
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
An Analysis of Language-Level Support for Self-Adaptive Software
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Communications of the ACM
Declarative planning in procedural agent architectures
Expert Systems with Applications: An International Journal
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Towards benchmarking actor- and agent-based programming languages
Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control
Characterization of the Jason multiagent platform on multicore processors
Scientific Programming
FRIENDs: Brain-monitoring agents for adaptive socio-technical systems
Multiagent and Grid Systems
HANA: A Human-Aware Negotiation Architecture
Decision Support Systems
Hi-index | 0.02 |