Incremental execution of guarded theories
ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Simulation, verification and automated composition of web services
Proceedings of the 11th international conference on World Wide Web
The cognitive agents specification language and verification environment for multiagent systems
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
A formal framework for business process modelling and design
Information Systems
IEEE Intelligent Systems
Local Conditional High-Level Robot Programs
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
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
SNet: A Modeling and Simulation Environment for Agent Networks Based on i* and ConGolog
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
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 Logic Programming Language for 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
Modelling PRS-Like Agents' Mental States
PRICAI '02 Proceedings of the 7th Pacific Rim International Conference on Artificial Intelligence: Trends in Artificial Intelligence
Reasoning about Robot Actions: A Model Checking Approach
Revised Papers from the International Seminar on Advances in Plan-Based Control of Robotic Agents,
Belief Update in the pGOLOG Framework
KI '01 Proceedings of the Joint German/Austrian Conference on AI: Advances in Artificial Intelligence
Compiling Dynamic Agent Conversations
KI '02 Proceedings of the 25th Annual German Conference on AI: Advances in Artificial Intelligence
Specification of Heterogeneous Agent Architectures
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. Agent Theories Architectures and Languages
Modeling Multiagent Systems with CASL - A Feature Interaction Resolution Application
ATAL '00 Proceedings of the 7th International Workshop on Intelligent Agents VII. 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
On the Epistemic Feasibility of Plans in Multiagent Systems Specifications
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
Reasoning about Actions in a Multiagent Domain
AI*IA 01 Proceedings of the 7th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
A model checker for verifying ConGolog programs
Eighteenth national conference on Artificial intelligence
Programming agent deliberation: an approach illustrated using the 3APL language
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
Analysis and simulation of Web services
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: The Semantic Web: an evolution for a revolution
Agent orientation in software engineering
The Knowledge Engineering Review
Probabilistic complex actions in GOLOG
Fundamenta Informaticae
Intelligent execution monitoring in dynamic environments
Fundamenta Informaticae
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
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
ECASL: a model of rational agency for communicating agents
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Information Systems - Special issue: The 15th international conference on advanced information systems engineering (CAiSE 2003)
MALLET-A Multi-Agent Logic Language for Encoding Teamwork
IEEE Transactions on Knowledge and Data Engineering
OMWSC- An Ontology-Based Model for Web Services Composition
QSIC '05 Proceedings of the Fifth International Conference on Quality Software
Programming multi-agent systems
The Knowledge Engineering Review
Semantics of plan revision in intelligent agents
Theoretical Computer Science - Algebraic methodology and software technology
Modeling mental states in the analysis of multiagent systems requirements
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
On the semantics of conditional commitment
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Domain-dependent knowledge in answer set planning
ACM Transactions on Computational Logic (TOCL)
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
Cooperation Model of Multi-agent System Based on the Situation Calculus
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Towards High-Level Programming for Distributed Problem Solving
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
PCAR '06 Proceedings of the 2006 international symposium on Practical cognitive agents and robots
Deductive planning with temporal constraints using TAL
PCAR '06 Proceedings of the 2006 international symposium on Practical cognitive agents and robots
Practical extensions in agent programming languages
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Sensor Resource Management driven by threat projection and priorities
Information Sciences: an International Journal
2APL: a practical agent programming language
Autonomous Agents and Multi-Agent Systems
Petri net plans: a formal model for representation and execution of multi-robot plans
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
On the Semantics of Conditional Commitment
Agent Communication II
Options in Readylog Reloaded --- Generating Decision-Theoretic Plan Libraries in Golog
KI '07 Proceedings of the 30th annual German conference on Advances in Artificial Intelligence
Logic-based robot control in highly dynamic domains
Robotics and Autonomous Systems
EVOLP: Tranformation-Based Semantics
Computational Logic in Multi-Agent Systems
DL Reasoning and AI Planning for Web Service Composition
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 01
Evolving Logic Programming Based Agents with Temporal Operators
WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
Representing and Validating Digital Business Processes
Advances in Web Semantics I
Building more robust multi-agent systems using a log-based approach
Web Intelligence and Agent Systems
Specifying active databases as non-Markovian theories of actions
Journal of Intelligent Information Systems
On-line adaptation of sequential mobile processes running concurrently
Proceedings of the 2009 ACM symposium on Applied Computing
Modelling and simulating work practices in agriculture
International Journal of Metadata, Semantics and Ontologies
Synthesis and Composition of Web Services
Formal Methods for Web Services
Modelling Actor Evolution in Agent-Based Simulations
Organized Adaption in Multi-Agent Systems
Web Service Composition via the Customization of Golog Programs with User Preferences
Conceptual Modeling: Foundations and Applications
Conceptual Modeling: Foundations and Applications
Adding time and intervals to procedural and hierarchical control specifications
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Scaling up reasoning about actions using relational database technology
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Reconciling situation calculus and fluent calculus
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Programming Multi-agent Systems
Computational Logic in Multi-Agent Systems
Dynamic interactions between goals and beliefs
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
On-line execution of cc-Golog plans
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Representing flexible temporal behaviors in the situation calculus
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Specification and design of advanced authentication and authorization services
Computer Standards & Interfaces
Requirements elicitation and analysis of multiagent systems using activity theory
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
An argumentation-based interpreter for Golog programs
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Composition of ConGolog programs
IJCAI'09 Proceedings of the 21st international jont conference on Artifical intelligence
Reasoning About Interaction Protocols for Web Service Composition
Electronic Notes in Theoretical Computer Science (ENTCS)
Flexible Communication of Agents based on FIPA-ACL
Electronic Notes in Theoretical Computer Science (ENTCS)
Information Systems - Special issue: The 15th international conference on advanced information systems engineering (CAiSE 2003)
Embedding fuzzy controllers in Golog
FUZZ-IEEE'09 Proceedings of the 18th international conference on Fuzzy Systems
HTN planning for Web Service composition using SHOP2
Web Semantics: Science, Services and Agents on the World Wide Web
A stochastic model for intrusions
RAID'02 Proceedings of the 5th international conference on Recent advances in intrusion detection
Agent logics as program logics: grounding KARO
KI'06 Proceedings of the 29th annual German conference on Artificial intelligence
Deliberation in a modeling and simulation environment for inter-organizational networks
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
Modeling mental states in the analysis of multiagent systems requirements
AOSE'06 Proceedings of the 7th international conference on Agent-oriented software engineering VII
Adding evolving abilities to a multi-agent system
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
Agent based executable conceptual models using i* and CASO
ER'07 Proceedings of the 2007 conference on Advances in conceptual modeling: foundations and applications
Comparing three formal analysis approaches of the tropos family
AOIS'06 Proceedings of the 8th international Bi conference on Agent-oriented information systems IV
Highly dynamic adaptation in process management systems through execution monitoring
BPM'07 Proceedings of the 5th international conference on Business process management
Specifying and verifying a MAS: the robots on mars case study
ProMAS'07 Proceedings of the 5th international conference on Programming multi-agent systems
Comparing goal-oriented and procedural service orchestration
Multiagent and Grid Systems
A logical framework for prioritized goal change
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Executable specifications of resource-bounded agents
Autonomous Agents and Multi-Agent Systems
The Situation Calculus: A Case for Modal Logic
Journal of Logic, Language and Information
On the Verification of Very Expressive Temporal Properties of Non-terminating Golog Programs
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
Analyzing agent-based simulations of inter-organizational networks
ADMI'10 Proceedings of the 6th international conference on Agents and data mining interaction
Artificial Intelligence
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
Relaxing Regression for a Heuristic GOLOG
Proceedings of the 2010 conference on STAIRS 2010: Proceedings of the Fifth Starting AI Researchers' Symposium
A formal framework for combining natural instruction and demonstration for end-user programming
Proceedings of the 16th international conference on Intelligent user interfaces
On the way to high-level programming for resource-limited embedded systems with Golog
SIMPAR'10 Proceedings of the Second international conference on Simulation, modeling, and programming for autonomous robots
Formal methods in agent-oriented software engineering
AOSE'10 Proceedings of the 10th international conference on Agent-oriented software engineering
Specifying and computing preferred plans
Artificial Intelligence
s slGolog: When conditional compositions of web services meet semantic links and causal laws
Web Intelligence and Agent Systems
Proceedings of the 2011 conference on Information Modelling and Knowledge Bases XXII
Procedural security analysis: A methodological approach
Journal of Systems and Software
Specifying recursive agents with GDTs
Autonomous Agents and Multi-Agent Systems
SR-APL: a model for a programming language for rational BDI agents with prioritized goals
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 3
Autonomous Agents and Multi-Agent Systems
A dynamic framework for multi-view task modeling
Proceedings of the 9th ACM SIGCHI Italian Chapter International Conference on Computer-Human Interaction: Facing Complexity
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Web service composition via generic procedures and customizing user preferences
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
A model of rational agency for communicating agents
AC'04 Proceedings of the 2004 international conference on Agent Communication
Designing security requirements models through planning
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
Modeling mental states in agent-oriented requirements engineering
CAiSE'06 Proceedings of the 18th international conference on Advanced Information Systems Engineering
The semantics of MALLET–An agent teamwork encoding language
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Construction of an agent-based framework for evolutionary biology: a progress report
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Reasoning about agents' interaction protocols inside DCaseLP
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Dynamic logic for plan revision in intelligent agents
CLIMA'04 Proceedings of the 5th international conference on Computational Logic in Multi-Agent Systems
SNet reloaded: roles, monitoring and agent evolution
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
Reasoning with Qualitative Positional Information for Domestic Domains in the Situation Calculus
Journal of Intelligent and Robotic Systems
A compositional semantics of plan revision in intelligent agents
AMAST'06 Proceedings of the 11th international conference on Algebraic Methodology and Software Technology
Plan generation and plan execution in agent programming
DALT'06 Proceedings of the 4th international conference on Declarative Agent Languages and Technologies
Prioritized goals and subgoals in a logical account of goal change – a preliminary report
DALT'09 Proceedings of the 7th international conference on Declarative Agent Languages and Technologies
Exploiting qualitative spatial neighborhoods in the situation calculus
SC'04 Proceedings of the 4th international conference on Spatial Cognition: reasoning, Action, Interaction
Fuzzy representations and control for domestic service robots in golog
ICIRA'11 Proceedings of the 4th international conference on Intelligent Robotics and Applications - Volume Part II
A model-based approach to ongoing product evaluation
Proceedings of the International Working Conference on Advanced Visual Interfaces
On supervising agents in situation-determined ConGolog
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
Probabilistic Complex Actions in GOLOG
Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)
Intelligent Execution Monitoring in Dynamic Environments
Fundamenta Informaticae - The 1st International Workshop on Knowledge Representation and Approximate Reasoning (KR&AR)
Caesar: an intelligent domestic service robot
Intelligent Service Robotics
Plan recognition by program execution in continuous temporal domains
KI'12 Proceedings of the 35th Annual German conference on Advances in Artificial Intelligence
Description logic knowledge and action bases
Journal of Artificial Intelligence Research
High-level program execution in multi-agent settings
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
Automated runtime repair of business processes
Information Systems
A cross organisation compatible workflows generation and execution framework
Knowledge-Based Systems
Hi-index | 0.01 |