On the public citation graph
Declarative Agent Languages and Technologies IV : 4th International Workshop, DALT 2006, Hakodate, Japan, May 8, 2006 : selected, revised and invited papers
0 signed · 559 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1002/j.1099-1174.1993.tb00044.xopenalex-snapshot
Quantitative Modeling of Complex Environments
inferredcites →https://doi.org/10.1007/0-306-46985-5_2openalex-snapshot
Conflicts within and for Collaboration
inferredcites →https://doi.org/10.1007/0-387-26350-0_1openalex-snapshot
Jason and the Golden Fleece of Agent-Oriented Programming
inferredcites →https://doi.org/10.1007/0-387-26350-0_4openalex-snapshot
Claim and Sympa: A Programming Environment for Intelligent and Mobile Agents
inferredcites →https://doi.org/10.1007/0-387-26350-0_6openalex-snapshot
Jadex: A BDI Reasoning Engine
inferredcites →https://doi.org/10.1007/10719619_27openalex-snapshot
Deliberative Normative Agents: Principles and Architecture
inferredcites →https://doi.org/10.1007/10722777_3openalex-snapshot
A Social Semantics for Agent Communication Languages
inferredcites →https://doi.org/10.1007/11493402_11openalex-snapshot
A Lightweight Coordination Calculus for Agent Systems
inferredcites →https://doi.org/10.1007/11504894_51openalex-snapshot
LEADSTO: A Language and Environment for Analysis of Dynamics by SimulaTiOn
inferredcites →https://doi.org/10.1007/11550648_8openalex-snapshot
A Goal Deliberation Strategy for BDI Agent Systems
inferredcites →https://doi.org/10.1007/11558590_14openalex-snapshot
The SCIFF Abductive Proof-Procedure
inferredcites →https://doi.org/10.1007/11563952_30openalex-snapshot
Intrusion Detection of DoS/DDoS and Probing Attacks for Web Services
inferredcites →https://doi.org/10.1007/11564751_106openalex-snapshot
Encoding HTN Planning as a Dynamic CSP
inferredcites →https://doi.org/10.1007/11691372_31openalex-snapshot
mcmas: A Model Checker for Multi-agent Systems
inferredcites →https://doi.org/10.1007/11691792_6openalex-snapshot
A Distributed Architecture for Norm-Aware Agent Societies
inferredcites →https://doi.org/10.1007/11752660_5openalex-snapshot
Formalisation and Analysis of the Temporal Dynamics of Conditioning
inferredcites →https://doi.org/10.1007/11779568_12openalex-snapshot
Running Contracts with Defeasible Commitment
inferredcites →https://doi.org/10.1007/11948148_28openalex-snapshot
A Priori Conformance Verification for Guaranteeing Interoperability in Open Environments
inferredcites →https://doi.org/10.1007/11961536_11openalex-snapshot
Agreeing on Defeasible Commitments
inferredcites →https://doi.org/10.1007/11961536_9openalex-snapshot
Programming Declarative Goals Using Plan Patterns
inferredcites →https://doi.org/10.1007/3-540-36277-0_20openalex-snapshot
A Domain-Specific Formal Ontology for Archaeological Knowledge Sharing and Reusing
inferredcites →https://doi.org/10.1007/3-540-44525-0_11openalex-snapshot
A Formal Architecture for the 3APL Agent Programming Language
inferredcites →https://doi.org/10.1007/3-540-44564-1_8openalex-snapshot
Representing Agent Interaction Protocols in UML
inferredcites →https://doi.org/10.1007/3-540-44631-1_16openalex-snapshot
Agent Programming with Declarative Goals
inferredcites →https://doi.org/10.1007/3-540-44682-6_8openalex-snapshot
On the Formal Specification of Electronic Institutions
inferredcites →https://doi.org/10.1007/3-540-45402-0_27openalex-snapshot
Multi-dimensional Dynamic Knowledge Representation
inferredcites →https://doi.org/10.1007/3-540-45448-9_26openalex-snapshot
Formalizing a Language for Institutions and Norms
inferredcites →https://doi.org/10.1007/3-540-45757-7_1openalex-snapshot
A Logic Programming Language for Multi-agent Systems
inferredcites →https://doi.org/10.1007/3-540-45757-7_35openalex-snapshot
An Abductive Logic Programming Architecture for Negotiating Agents
inferredcites →https://doi.org/10.1007/3-540-48005-6_27openalex-snapshot
DAML-S: Web Service Description for the Semantic Web
inferredcites →https://doi.org/10.1007/3-540-48317-9_17openalex-snapshot
The Event Calculus Explained
inferredcites →https://doi.org/10.1007/3-540-70657-7_1openalex-snapshot
Representing Social Structures in UML
inferredcites →https://doi.org/10.1007/978-1-4612-2360-3openalex-snapshot
First-Order Logic and Automated Theorem Proving
inferredcites →https://doi.org/10.1007/978-1-4612-4222-2openalex-snapshot
Temporal Verification of Reactive Systems
inferredcites →https://doi.org/10.1007/978-1-4615-4459-3openalex-snapshot
Multicriterion Decision in Management
inferredcites →https://doi.org/10.1007/978-3-540-24608-4_10openalex-snapshot
Resolving Commitments among Autonomous Agents
inferredcites →https://doi.org/10.1007/978-3-540-24608-4_11openalex-snapshot
Nonmonotonic Commitment Machines
inferredcites →https://doi.org/10.1007/978-3-540-25932-9_12openalex-snapshot
Logic-Based Electronic Institutions
inferredcites →https://doi.org/10.1007/978-3-540-25932-9_14openalex-snapshot
Linear Logic, Partial Deduction and Cooperative Problem Solving
inferredcites →https://doi.org/10.1007/978-3-540-25932-9_5openalex-snapshot
An Agent-Based Domain Specific Framework for Rapid Prototyping of Applications in Evolutionary Biology
inferredcites →https://doi.org/10.1007/978-3-540-25932-9_8openalex-snapshot
Extending the Operational Semantics of a BDI Agent-Oriented Programming Language for Introducing Speech-Act Based Communication
inferredcites →https://doi.org/10.1007/978-3-540-25936-7_6openalex-snapshot
A Programming Language for Cognitive Agents Goal Directed 3APL
inferredcites →https://doi.org/10.1007/978-3-540-27775-0_29openalex-snapshot
Multi-agent Coordination as Distributed Logic Programming
inferredcites →https://doi.org/10.1007/978-3-540-30200-1_5openalex-snapshot
Symbolic Negotiation with Linear Logic
inferredcites →https://doi.org/10.1007/978-3-540-30578-1_13openalex-snapshot
Enacting and Deacting Roles in Agent Programming
inferredcites →https://doi.org/10.1007/978-3-540-31794-4_18openalex-snapshot
The KGP Model of Agency for Global Computing: Computational Model and Prototype Implementation
inferredcites →https://doi.org/10.1007/978-3-540-32260-3_3openalex-snapshot
Goal Representation for BDI Agent Systems
inferredcites →https://doi.org/10.1007/978-3-540-44972-0_14openalex-snapshot
When Are Two Protocols the Same?
inferredcites →https://doi.org/10.1007/978-3-540-45146-4_27openalex-snapshot
Private Circuits: Securing Hardware against Probing Attacks
inferredcites →https://doi.org/10.1007/978-3-540-68234-9_4openalex-snapshot
Semantic Web Technology for Agent Communication Protocols
inferredcites →https://doi.org/10.1007/978-3-540-68234-9_6openalex-snapshot
An Ontology for Software Models and Its Practical Implications for Semantic Web Reasoning
inferredcites →https://doi.org/10.1007/978-3-540-69850-0_12openalex-snapshot
DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC
inferredcites →https://doi.org/10.1007/978-3-540-71956-4_7openalex-snapshot
Augmenting BDI Agents with Deliberative Planning Techniques
inferredcites →https://doi.org/10.1007/978-3-540-74782-6_14openalex-snapshot
Verifying Agent Conformance with Protocols Specified in a Temporal Action Logic
inferredcites →https://doi.org/10.1007/978-3-540-75524-1_11openalex-snapshot
An Algorithm for Conflict Resolution in Regulated Compound Activities
inferredcites →https://doi.org/10.1007/978-3-540-76298-0_29openalex-snapshot
Alternating-Offers Protocol for Multi-issue Bilateral Negotiation in Semantic-Enabled Marketplaces
inferredcites →https://doi.org/10.1007/978-3-540-76848-7_25openalex-snapshot
The OpenKnowledge System: An Interaction-Centered Approach to Knowledge Sharing
inferredcites →https://doi.org/10.1007/978-3-540-76848-7_7openalex-snapshot
Constraint-Based Workflow Models: Change Made Easy
inferredcites →https://doi.org/10.1007/978-3-540-77564-5_6openalex-snapshot
Satisfying Maintenance Goals
inferredcites →https://doi.org/10.1007/978-3-540-77564-5_7openalex-snapshot
Towards Alternative Approaches to Reasoning About Goals
inferredcites →https://doi.org/10.1007/978-3-540-79043-3_10openalex-snapshot
Modules as Policy-Based Intentions: Modular Agent Programming in GOAL
inferredcites →https://doi.org/10.1007/978-3-540-79043-3_8openalex-snapshot
A Common Semantic Basis for BDI Languages
inferredcites →https://doi.org/10.1007/978-3-540-87698-4_16openalex-snapshot
Secure Interaction Models for the HealthAgents System
inferredcites →https://doi.org/10.1007/978-3-540-88873-4_17openalex-snapshot
Artifact-Centric Business Process Models: Brief Survey of Research Results and Challenges
inferredcites →https://doi.org/10.1007/978-3-540-93920-7_11openalex-snapshot
Mental State Abduction of BDI-Based Agents
inferredcites →https://doi.org/10.1007/978-3-642-02184-8_19openalex-snapshot
Facilitating Knowledge Management in Pervasive Health Care Systems
inferredcites →https://doi.org/10.1007/978-3-642-03278-3_3openalex-snapshot
Programming Verifiable Heterogeneous Agent Systems
inferredcites →https://doi.org/10.1007/978-3-642-11355-0_12openalex-snapshot
Correctness Properties for Multiagent Systems
inferredcites →https://doi.org/10.1007/978-3-642-11355-0_14openalex-snapshot
Social Commitments in Time: Satisfied or Compensated
inferredcites →https://doi.org/10.1007/978-3-642-11355-0_7openalex-snapshot
Ontology and Time Evolution of Obligations and Prohibitions Using Semantic Web Technology
inferredcites →https://doi.org/10.1007/978-3-642-13338-1_1openalex-snapshot
The ARTS Real-Time Agent Architecture
inferredcites →https://doi.org/10.1007/978-3-642-14843-9_3openalex-snapshot
A Computational Semantics for Communicating Rational Agents Based on Mental Models
inferredcites →https://doi.org/10.1007/b116049openalex-snapshot
Methodologies and Software Engineering for Agent Systems
inferredcites →https://doi.org/10.1007/bf00881958openalex-snapshot
A generalization of analytic deduction via labelled deductive systems. Part I: Basic substructural logics
inferredcites →https://doi.org/10.1007/bfb0026760openalex-snapshot
Semantics for an agent communication language
inferredcites →https://doi.org/10.1007/bfb0028774openalex-snapshot
MOCHA: Modularity in model checking
inferredcites →https://doi.org/10.1007/bfb0031739openalex-snapshot
Towards a unified agent architecture that combines rationality with reactivity
inferredcites →https://doi.org/10.1007/bfb0031845openalex-snapshot
AgentSpeak(L): BDI agents speak out in a logical computable language
inferredcites →https://doi.org/10.1007/s100090050039openalex-snapshot
SPIN model checking: an introduction
inferredcites →https://doi.org/10.1007/s10207-008-0058-xopenalex-snapshot
Opacity generalised to transition systems
inferredcites →https://doi.org/10.1007/s10458-005-6825-4openalex-snapshot
An integrated trust and reputation model for open multi-agent systems
inferredcites →https://doi.org/10.1007/s10458-006-0017-8openalex-snapshot
Agent communication and artificial institutions
inferredcites →https://doi.org/10.1007/s10458-006-5952-xopenalex-snapshot
TRAVOS: Trust and Reputation in the Context of Inaccurate Information Sources
inferredcites →https://doi.org/10.1007/s10458-006-5961-9openalex-snapshot
DIAGAL: An Agent Communication Language Based on Dialogue Games and Sustained by Social Commitments
inferredcites →https://doi.org/10.1007/s10458-006-7232-1openalex-snapshot
An algebra for commitment protocols
inferredcites →https://doi.org/10.1007/s10458-008-9036-yopenalex-snapshot
2APL: a practical agent programming language
inferredcites →https://doi.org/10.1007/s10458-008-9059-4openalex-snapshot
Constraint rule-based programming of norms for electronic institutions
inferredcites →https://doi.org/10.1007/s10458-010-9129-2openalex-snapshot
Reasoning about agent deliberation
inferredcites →https://doi.org/10.1007/s10506-006-9011-3openalex-snapshot
The appropriate role of dispute resolution in building trust online
inferredcites →https://doi.org/10.1007/s10506-006-9014-0openalex-snapshot
Persuasion Dialogue in Online Dispute Resolution
inferredcites →https://doi.org/10.1007/s10506-007-9055-zopenalex-snapshot
Artificial institutions: a model of institutional reality for open multiagent systems
inferredcites →https://doi.org/10.1007/s10588-006-9544-8openalex-snapshot
Mapping deontic operators to abductive expectations
inferredcites →https://doi.org/10.1016/0004-3702(71)90010-5openalex-snapshot
Strips: A new approach to the application of theorem proving to problem solving
inferredcites →https://doi.org/10.1016/0004-3702(82)90020-0openalex-snapshot
Rete: A fast algorithm for the many pattern/many object pattern match problem
inferredcites →https://doi.org/10.1016/0004-3702(87)90050-6openalex-snapshot
SOAR: An architecture for general intelligence
inferredcites →https://doi.org/10.1016/0004-3702(90)90055-5openalex-snapshot
Intention is choice with commitment
inferredcites →https://doi.org/10.1016/0004-3702(92)90103-5openalex-snapshot
How to reason defeasibly
inferredcites →https://doi.org/10.1016/0004-3702(94)90081-7openalex-snapshot
The computational complexity of propositional STRIPS planning
inferredcites →https://doi.org/10.1016/0022-0000(85)90001-7openalex-snapshot
Decision procedures and expressiveness in the temporal logic of branching time
inferredcites →https://doi.org/10.1016/0165-4896(94)90005-1openalex-snapshot
Reasoning about knowledge
inferredcites →https://doi.org/10.1016/0378-4754(82)90066-0openalex-snapshot
Petri Net theory and the modeling of systems
inferredcites →https://doi.org/10.1016/0743-1066(94)90033-7openalex-snapshot
Constraint logic programming: a survey
inferredcites →https://doi.org/10.1016/b978-0-444-88074-1.50021-4openalex-snapshot
Temporal and Modal Logic
inferredcites →https://doi.org/10.1016/b978-0-934613-03-3.50033-7openalex-snapshot
Some Philosophical Problems from the Standpoint of Artificial Intelligence
inferredcites →https://doi.org/10.1016/b978-0-934613-30-9.50004-4openalex-snapshot
ON THE SEMANTICS OF STRIPS
inferredcites →https://doi.org/10.1016/c2009-0-22107-6openalex-snapshot
A Mathematical Introduction to Logic
inferredcites →https://doi.org/10.1016/c2013-0-10669-1openalex-snapshot
Calculus with Analytic Geometry
inferredcites →https://doi.org/10.1016/j.artint.2005.01.006openalex-snapshot
The complexity of contract negotiation
inferredcites →https://doi.org/10.1016/j.datak.2005.07.006openalex-snapshot
Representing, analysing and managing Web service protocols
inferredcites →https://doi.org/10.1016/j.entcs.2009.03.015openalex-snapshot
Towards Information Flow Properties for Distributed Systems
inferredcites →https://doi.org/10.1016/j.jal.2005.12.011openalex-snapshot
Specifying and verifying interaction protocols in a temporal action logic
inferredcites →https://doi.org/10.1016/j.jal.2005.12.014openalex-snapshot
A verification framework for agent programming with declarative goals
inferredcites →https://doi.org/10.1016/j.websem.2007.03.004openalex-snapshot
Pellet: A practical OWL-DL reasoner
inferredcites →https://doi.org/10.1016/s0004-3702(00)00031-xopenalex-snapshot
ConGolog, a concurrent programming language based on the situation calculus
inferredcites →https://doi.org/10.1016/s0004-3702(01)00060-1openalex-snapshot
Evaluating new options in the context of existing plans
inferredcites →https://doi.org/10.1016/s0004-3702(01)00145-xopenalex-snapshot
Defeasible reasoning with variable degrees of justification
inferredcites →https://doi.org/10.1016/s0004-3702(02)00365-xopenalex-snapshot
Knowledge, action, and the frame problem
inferredcites →https://doi.org/10.1016/s0004-3702(98)00009-5openalex-snapshot
An epistemic operator for description logics
inferredcites →https://doi.org/10.1016/s0004-3702(98)00023-xopenalex-snapshot
Planning and acting in partially observable stochastic domains
inferredcites →https://doi.org/10.1016/s0049-237x(03)x8001-5openalex-snapshot
Many-Dimensional Modal Logics - Theory and Applications
inferredcites →https://doi.org/10.1016/s0065-3454(08)60092-3openalex-snapshot
Learning, Change, and Evolution: An Enquiry into the Teleonomy of Learning
inferredcites →https://doi.org/10.1016/s0301-4622(01)00229-0openalex-snapshot
Full-scale model of glycolysis in Saccharomyces cerevisiae
inferredcites →https://doi.org/10.1016/s0743-1066(96)00141-0openalex-snapshot
Representing actions: Laws, observations and hypotheses
inferredcites →https://doi.org/10.1016/s0743-1066(98)10002-xopenalex-snapshot
The semantics of constraint logic programs1Note that reviewing of this paper was handled by the Editor-in-Chief.1
inferredcites →https://doi.org/10.1016/s0743-1066(99)00077-1openalex-snapshot
An abductive event calculus planner
inferredcites →https://doi.org/10.1016/s0888-613x(98)10006-3openalex-snapshot
Criteria-directed task scheduling
inferredcites →https://doi.org/10.1017/cbo9780511624940.004openalex-snapshot
The adaptive advantage of learning and a priori prejudice
inferredcites →https://doi.org/10.1017/cbo9781139172714openalex-snapshot
Complexity and the Function of Mind in Nature
inferredcites →https://doi.org/10.1017/s0269888906001020openalex-snapshot
Crossing the agent technology chasm: Lessons, experiences and challenges in commercial applications of agents
inferredcites →https://doi.org/10.1017/s1471068401001168openalex-snapshot
Propositional defeasible logic has linear complexity
inferredcites →https://doi.org/10.1017/s1471068403001807openalex-snapshot
Diagnostic reasoning with A-Prolog
inferredcites →https://doi.org/10.1023/a:1008238218679openalex-snapshot
Bayesian Models for Keyhole Plan Recognition in an Adventure Game
inferredcites →https://doi.org/10.1023/a:1008319631231openalex-snapshot
An ontology for commitments in multiagent systems:
inferredcites →https://doi.org/10.1023/a:1008746126376openalex-snapshot
Automated Negotiation: Prospects, Methods and Challenges
inferredcites →https://doi.org/10.1023/a:1018900105153openalex-snapshot
Temporal representation and reasoning in artificial intelligence: Issues and approaches
inferredcites →https://doi.org/10.1023/a:1021884118023openalex-snapshot
A Role Based Model for the Normative Specification of Organized Collective Agency and Agents Interaction
inferredcites →https://doi.org/10.1023/a:1022232410606openalex-snapshot
A Classification Scheme for Negotiation in Electronic Commerce
inferredcites →https://doi.org/10.1023/b:agnt.0000018806.20944.efopenalex-snapshot
Tropos: An Agent-Oriented Software Development Methodology
inferredcites →https://doi.org/10.1023/b:amai.0000031194.57352.e7openalex-snapshot
Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming
inferredcites →https://doi.org/10.1023/b:amai.0000034527.45635.e5openalex-snapshot
Proving BDI Properties of Agent-Oriented Programming Languages: The asymmetry thesis principles in AgentSpeak(L)
inferredcites →https://doi.org/10.1023/b:amai.0000034528.55456.d9openalex-snapshot
Reasoning about Commitments in the Event Calculus: An Approach for Specifying and Executing Protocols
inferredcites →https://doi.org/10.1023/b:arti.0000046011.13621.08openalex-snapshot
Law and Defeasibility
inferredcites →https://doi.org/10.1037//0033-295x.104.2.241openalex-snapshot
Learning the temporal dynamics of behavior.
inferredcites →https://doi.org/10.1037/h0072368openalex-snapshot
The multiple delayed reaction with chimpanzees and monkeys.
inferredcites →https://doi.org/10.1056/nejmsa066082openalex-snapshot
The Spread of Obesity in a Large Social Network over 32 Years
inferredcites →https://doi.org/10.1080/00401706.1968.10490578openalex-snapshot
Introduction to Operations Research
inferredcites →https://doi.org/10.1080/713670491openalex-snapshot
On the Formal Analysis of Normative Conflicts
inferredcites →https://doi.org/10.1086/285369openalex-snapshot
The Evolutionary Maintenance of Alternative Phenotypes
inferredcites →https://doi.org/10.1093/acprof:oso/9780198245537.001.0001openalex-snapshot
How To Do Things With Words
inferredcites →https://doi.org/10.1093/jigpal/4.3.427openalex-snapshot
A Formal Characterisation of Institutionalised Power
inferredcites →https://doi.org/10.1093/jigpal/7.1.27openalex-snapshot
Hybrid languages and temporal logic
inferredcites →https://doi.org/10.1093/jigpal/8.3.339openalex-snapshot
Representation, reasoning, and relational structures: a hybrid logic manifesto
inferredcites →https://doi.org/10.1093/logcom/10.1.137openalex-snapshot
Internalizing labelled deduction
inferredcites →https://doi.org/10.1093/logcom/13.3.347openalex-snapshot
Properties and Complexity of Some Formal Inter-agent Dialogues
inferredcites →https://doi.org/10.1093/logcom/8.3.233openalex-snapshot
Engineering AgentSpeak(L): a formal computational model
inferredcites →https://doi.org/10.1093/logcom/exm050openalex-snapshot
Goal Change in the Situation Calculus
inferredcites →https://doi.org/10.1093/oso/9780198537922.003.0007openalex-snapshot
The Role of Abduction in Logic Programming
inferredcites →https://doi.org/10.1109/2.596624openalex-snapshot
Executable object modeling with statecharts
inferredcites →https://doi.org/10.1109/2.735849openalex-snapshot
Agent communication languages: rethinking the principles
inferredcites →https://doi.org/10.1109/37.793443openalex-snapshot
Basic problems in stability and design of switched systems
inferredcites →https://doi.org/10.1109/5254.757631openalex-snapshot
Agent communication languages: the current landscape
inferredcites →https://doi.org/10.1109/aamas.2004.252openalex-snapshot
State-Space Reduction Techniques in Agent Verification
inferredcites →https://doi.org/10.1109/aict-iciw.2006.131openalex-snapshot
Model-Based Analysis of Obligations in Web Service Choreography
inferredcites →https://doi.org/10.1109/ase.2002.1114987openalex-snapshot
An approach to rapid prototyping of large multi-agent systems
inferredcites →https://doi.org/10.1109/ase.2008.17openalex-snapshot
Automated Verification of Multi-Agent Programs
inferredcites →https://doi.org/10.1109/cdc.1997.650717openalex-snapshot
Symbolic analysis of hybrid systems
inferredcites →https://doi.org/10.1109/csf.2008.8openalex-snapshot
DKAL: Distributed-Knowledge Authorization Language
inferredcites →https://doi.org/10.1109/iat.2006.112openalex-snapshot
Specification and Verification of Dynamics in Cognitive Agent Models
inferredcites →https://doi.org/10.1109/icde.2007.367876openalex-snapshot
Categorization and Optimization of Synchronization Dependencies in Business Processes
inferredcites →https://doi.org/10.1109/icetet.2008.89openalex-snapshot
Protection of Mobile Agent Platform through Attack Identification Scanner (AIS) by Malicious Identification Police (MIP)
inferredcites →https://doi.org/10.1109/icmas.2000.858426openalex-snapshot
Computationally grounded theories of agency
inferredcites →https://doi.org/10.1109/icmas.2000.858481openalex-snapshot
Performance of coordinating concurrent hierarchical planning agents using summary information
inferredcites →https://doi.org/10.1109/icmas.2000.858492openalex-snapshot
A semantic framework for specifying agent communication languages
inferredcites →https://doi.org/10.1109/ictai.2004.75openalex-snapshot
Integrating artificial intelligence, argumentation and game theory to develop an online dispute resolution environment
inferredcites →https://doi.org/10.1109/isi.2009.5137332openalex-snapshot
A Characterization of the problem of secure provenance management
inferredcites →https://doi.org/10.1109/isiea.2009.5356382openalex-snapshot
Application of artificial neural network in detection of probing attacks
inferredcites →https://doi.org/10.1109/itng.2008.113openalex-snapshot
Using Trustworthy and Referee Agents to Secure Multi-Agent Systems
inferredcites →https://doi.org/10.1109/scc.2007.58openalex-snapshot
Engineering Foreign Exchange Processes via Commitment Protocols
inferredcites →https://doi.org/10.1109/tkde.2004.1318566openalex-snapshot
PeerTrust: Supporting Reputation-Based Trust for Peer-to-Peer Electronic Communities
inferredcites →https://doi.org/10.1109/tse.2005.140openalex-snapshot
Interaction protocols as design abstractions for business processes
showing the first 200 of 317 · page through all 317
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/11493402_13openalex-snapshot
A Protocol for Resource Sharing in Norm-Governed Ad Hoc Networks
inferred← citeshttps://doi.org/10.1007/11493402_14openalex-snapshot
Intensional Programming for Agent Communication
inferred← citeshttps://doi.org/10.1007/11493402_2openalex-snapshot
Theories of Intentions in the Framework of Situation Calculus
inferred← citeshttps://doi.org/10.1007/11493402_4openalex-snapshot
On Modelling Multi-agent Systems Declaratively
inferred← citeshttps://doi.org/10.1007/11493402_5openalex-snapshot
The Semantics of MALLET–An Agent Teamwork Encoding Language
inferred← citeshttps://doi.org/10.1007/11493402_7openalex-snapshot
Reasoning About Agents’ Interaction Protocols Inside DCaseLP
inferred← citeshttps://doi.org/10.1007/11493402_9openalex-snapshot
Modeling and Verification of Distributed Autonomous Agents Using Logic Programming
inferred← citeshttps://doi.org/10.1007/11595014_54openalex-snapshot
Subgoal Semantics in Agent Programming
inferred← citeshttps://doi.org/10.1007/11691792_6openalex-snapshot
A Distributed Architecture for Norm-Aware Agent Societies
inferred← citeshttps://doi.org/10.1007/11750734_15openalex-snapshot
Verification of Protocol Conformance and Agent Interoperability
inferred← citeshttps://doi.org/10.1007/11775331_10openalex-snapshot
An Event Driven Approach to Norms in Artificial Institutions
inferred← citeshttps://doi.org/10.1007/11779568_12openalex-snapshot
Running Contracts with Defeasible Commitment
inferred← citeshttps://doi.org/10.1007/11811220_5openalex-snapshot
Modelling the Interaction Between Objects: Roles as Affordances
inferred← citeshttps://doi.org/10.1007/11874850_49openalex-snapshot
Rule Schemata for Game Artificial Intelligence
inferred← citeshttps://doi.org/10.1007/11948148_28openalex-snapshot
A Priori Conformance Verification for Guaranteeing Interoperability in Open Environments
inferred← citeshttps://doi.org/10.1007/978-1-4020-5587-4_6openalex-snapshot
Topology and Epistemic Logic
inferred← citeshttps://doi.org/10.1007/978-3-319-00551-5_58openalex-snapshot
Two Approaches to Bounded Model Checking for a Soft Real-Time Epistemic Computation Tree Logic
inferred← citeshttps://doi.org/10.1007/978-3-319-01787-7_4openalex-snapshot
Emergence of Norms in Multi-agent Societies: An Ultimatum Game Case Study
inferred← citeshttps://doi.org/10.1007/978-3-319-03524-6_26openalex-snapshot
On the Expressiveness of Attribute Global Types: The Formalization of a Real Multiagent System Protocol
inferred← citeshttps://doi.org/10.1007/978-3-319-06483-3_24openalex-snapshot
Complete Axiomatization and Complexity of Coalition Logic of Temporal Knowledge for Multi-agent Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-07314-9_14openalex-snapshot
An Algorithm to Identify Conflicts Between Norms and Values
inferred← citeshttps://doi.org/10.1007/978-3-319-07314-9_17openalex-snapshot
Normative Conflicts that Depend on the Domain
inferred← citeshttps://doi.org/10.1007/978-3-319-07314-9_19openalex-snapshot
Towards the Norm-Aware Agent: Bridging the Gap Between Deontic Specifications and Practical Mechanisms for Norm Monitoring and Norm-Aware Planning
inferred← citeshttps://doi.org/10.1007/978-3-319-08852-5_18openalex-snapshot
A Logical Version of the Belief Function Theory
inferred← citeshttps://doi.org/10.1007/978-3-319-13191-7_8openalex-snapshot
Multi-agency Is Coordination and (Limited) Communication
inferred← citeshttps://doi.org/10.1007/978-3-319-14484-9_1openalex-snapshot
The Shaping of the Agent-Oriented Mindset
inferred← citeshttps://doi.org/10.1007/978-3-319-14484-9_13openalex-snapshot
Efficient Verification of MASs with Projections
inferred← citeshttps://doi.org/10.1007/978-3-319-14484-9_18openalex-snapshot
Semantic Representations of Agent Plans and Planning Problem Domains
inferred← citeshttps://doi.org/10.1007/978-3-319-14484-9_2openalex-snapshot
Keeping a Clear Separation between Goals and Plans
inferred← citeshttps://doi.org/10.1007/978-3-319-14484-9_21openalex-snapshot
Robust Collaboration: Enriching Decisions with Abstract Preferences
inferred← citeshttps://doi.org/10.1007/978-3-319-14484-9_22openalex-snapshot
The Interaction as an Integration Component for the JaCaMo Platform
inferred← citeshttps://doi.org/10.1007/978-3-540-27775-0_29openalex-snapshot
Multi-agent Coordination as Distributed Logic Programming
inferred← citeshttps://doi.org/10.1007/978-3-540-28645-5_50openalex-snapshot
Norm Consistency in Electronic Institutions
inferred← citeshttps://doi.org/10.1007/978-3-540-30210-0_6openalex-snapshot
Abstraction Within Partial Deduction for Linear Logic
inferred← citeshttps://doi.org/10.1007/978-3-540-30227-8_5openalex-snapshot
Knowledge-Theoretic Properties of Strategic Voting
inferred← citeshttps://doi.org/10.1007/978-3-540-68234-9_4openalex-snapshot
Semantic Web Technology for Agent Communication Protocols
inferred← citeshttps://doi.org/10.1007/978-3-540-69619-3_14openalex-snapshot
Adding Evolving Abilities to a Multi-Agent System
inferred← citeshttps://doi.org/10.1007/978-3-540-69619-3_9openalex-snapshot
A New Logical Semantics for Agent Communication
inferred← citeshttps://doi.org/10.1007/978-3-540-71103-2_11openalex-snapshot
E4MAS Through Electronic Institutions
inferred← citeshttps://doi.org/10.1007/978-3-540-72619-7_3openalex-snapshot
Using Goals for Flexible Service Orchestration
inferred← citeshttps://doi.org/10.1007/978-3-540-72794-1_4openalex-snapshot
A Prolog-Based Language for Workflow Programming
inferred← citeshttps://doi.org/10.1007/978-3-540-72830-6_20openalex-snapshot
Stratified Multi-agent HTN Planning in Dynamic Environments
inferred← citeshttps://doi.org/10.1007/978-3-540-74128-2_9openalex-snapshot
A Framework for Model Checking Institutions
inferred← citeshttps://doi.org/10.1007/978-3-540-74459-7_10openalex-snapshot
Informing Regulatory Dynamics in Open MASs
inferred← citeshttps://doi.org/10.1007/978-3-540-74459-7_11openalex-snapshot
Operationalisation of Norms for Electronic Institutions
inferred← citeshttps://doi.org/10.1007/978-3-540-74459-7_14openalex-snapshot
Ballroom etiquette: A Case Study for Norm-Governed Multi-Agent Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-74459-7_20openalex-snapshot
Modelling and Monitoring Social Expectations in Multi-agent Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-74459-7_8openalex-snapshot
Specification and Verification of Institutions Through Status Functions
inferred← citeshttps://doi.org/10.1007/978-3-540-74782-6_14openalex-snapshot
Verifying Agent Conformance with Protocols Specified in a Temporal Action Logic
inferred← citeshttps://doi.org/10.1007/978-3-540-75524-1_15openalex-snapshot
Dynamic Specifications in Norm-Governed Open Computational Societies
inferred← citeshttps://doi.org/10.1007/978-3-540-75524-1_8openalex-snapshot
A Norm-Governed Systems Perspective of Ad Hoc Networks
inferred← citeshttps://doi.org/10.1007/978-3-540-76848-7_25openalex-snapshot
The OpenKnowledge System: An Interaction-Centered Approach to Knowledge Sharing
inferred← citeshttps://doi.org/10.1007/978-3-540-77092-3_24openalex-snapshot
Modelling Protocols for Multiagent Interaction by F-logic
inferred← citeshttps://doi.org/10.1007/978-3-540-77564-5_10openalex-snapshot
Conflict Resolution in Norm-Regulated Environments Via Unification and Constraints
inferred← citeshttps://doi.org/10.1007/978-3-540-77564-5_3openalex-snapshot
Interoperation in Protocol Enactment
inferred← citeshttps://doi.org/10.1007/978-3-540-77564-5_5openalex-snapshot
Composing High-Level Plans for Declarative Agent Programming
inferred← citeshttps://doi.org/10.1007/978-3-540-79003-7_2openalex-snapshot
Ignoring, Forcing and Expecting Simultaneous Events in Electronic Institutions
inferred← citeshttps://doi.org/10.1007/978-3-540-79003-7_20openalex-snapshot
A Distributed Architecture for Norm Management in Multi-Agent Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-79003-7_23openalex-snapshot
Model Checking Norms and Sanctions in Institutions
inferred← citeshttps://doi.org/10.1007/978-3-540-79043-3_11openalex-snapshot
Specifying and Verifying a MAS:The Robots on Mars Case Study
inferred← citeshttps://doi.org/10.1007/978-3-540-79043-3_18openalex-snapshot
JIAC IV in Multi-Agent Programming Contest 2007
inferred← citeshttps://doi.org/10.1007/978-3-540-79043-3_3openalex-snapshot
Agents Do It for Money - Accounting Features in Agents
inferred← citeshttps://doi.org/10.1007/978-3-540-79043-3_9openalex-snapshot
Adding Structure to Agent Programming Languages
inferred← citeshttps://doi.org/10.1007/978-3-540-79488-2_9openalex-snapshot
Reasoning About Risk in Agent’s Deliberation Process: A Jadex Implementation
inferred← citeshttps://doi.org/10.1007/978-3-540-85029-8_6openalex-snapshot
Engineering Autonomic Electronic Institutions
inferred← citeshttps://doi.org/10.1007/978-3-540-85058-8_2openalex-snapshot
Probabilistic and Logical Beliefs
inferred← citeshttps://doi.org/10.1007/978-3-540-85483-8_37openalex-snapshot
BDI Model-Based Crowd Simulation
inferred← citeshttps://doi.org/10.1007/978-3-540-87698-4_16openalex-snapshot
Secure Interaction Models for the HealthAgents System
inferred← citeshttps://doi.org/10.1007/978-3-540-88049-3_2openalex-snapshot
Towards Real-World HTN Planning Agents
inferred← citeshttps://doi.org/10.1007/978-3-540-88071-4_9openalex-snapshot
BDI Agents: Flexibility, Personalization, and Adaptation for Web-Based Support Systems
inferred← citeshttps://doi.org/10.1007/978-3-540-88309-8_1openalex-snapshot
Topology and Knowledge of Multiple Agents
inferred← citeshttps://doi.org/10.1007/978-3-540-88833-8_10openalex-snapshot
A Heuristic Approach to P2P Negotiation
inferred← citeshttps://doi.org/10.1007/978-3-540-89784-2_4openalex-snapshot
Models of Interaction as a Grounding for Peer to Peer Knowledge Sharing
inferred← citeshttps://doi.org/10.1007/978-3-540-92188-2_10openalex-snapshot
Coordination: Reo, Nets, and Logic
inferred← citeshttps://doi.org/10.1007/978-3-540-93920-7_14openalex-snapshot
Using Temporal Logic to Integrate Goals and Qualitative Preferences into Agent Programming
inferred← citeshttps://doi.org/10.1007/978-3-540-93920-7_15openalex-snapshot
Strategic Agent Communication: An Argumentation-Driven Approach
inferred← citeshttps://doi.org/10.1007/978-3-540-93920-7_6openalex-snapshot
Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions
inferred← citeshttps://doi.org/10.1007/978-3-540-93920-7_7openalex-snapshot
JASDL: A Practical Programming Approach Combining Agent and Semantic Web Technologies
inferred← citeshttps://doi.org/10.1007/978-3-540-93920-7_8openalex-snapshot
Leveraging New Plans in AgentSpeak(PL)
inferred← citeshttps://doi.org/10.1007/978-3-540-93920-7_9openalex-snapshot
Increasing Bid Expressiveness for Effective and Balanced E-Barter Trading
inferred← citeshttps://doi.org/10.1007/978-3-642-00207-6_5openalex-snapshot
Contextual Extension with Concept Maps in the Argument Interchange Format
inferred← citeshttps://doi.org/10.1007/978-3-642-00328-8_2openalex-snapshot
Detecting Regulatory Compliance for Business Process Models through Semantic Annotations
inferred← citeshttps://doi.org/10.1007/978-3-642-01247-1_23openalex-snapshot
A Context-Aware Trust Model for Service-Oriented Multi-Agent Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-01338-6_15openalex-snapshot
Testing and Debugging of MAS Interactions with INGENIAS
inferred← citeshttps://doi.org/10.1007/978-3-642-01639-4_18openalex-snapshot
Deliberation Process in a BDI Model with Bayesian Networks
inferred← citeshttps://doi.org/10.1007/978-3-642-01665-3_13openalex-snapshot
Belief Revision in a Fact-Rule Agent’s Belief Base
inferred← citeshttps://doi.org/10.1007/978-3-642-01665-3_71openalex-snapshot
Knowledge Management in Digital Economy
inferred← citeshttps://doi.org/10.1007/978-3-642-02184-8_19openalex-snapshot
Facilitating Knowledge Management in Pervasive Health Care Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-02377-4_3openalex-snapshot
Adaptation of Voting Rules in Agent Societies
inferred← citeshttps://doi.org/10.1007/978-3-642-02562-4_9openalex-snapshot
Coping with Exceptions in Agent-Based Workflow Enactments
inferred← citeshttps://doi.org/10.1007/978-3-642-02734-5_3openalex-snapshot
Verifying Agents’ Conformance with Multiparty Protocols
inferred← citeshttps://doi.org/10.1007/978-3-642-02734-5_8openalex-snapshot
Revisiting Satisfiability and Model-Checking for CTLK with Synchrony and Perfect Recall
inferred← citeshttps://doi.org/10.1007/978-3-642-03278-3_12openalex-snapshot
Toolipse: An IDE for Development of JIAC Applications
inferred← citeshttps://doi.org/10.1007/978-3-642-03278-3_20openalex-snapshot
SHABaN Multi-agent Team To Herd Cows
inferred← citeshttps://doi.org/10.1007/978-3-642-03278-3_9openalex-snapshot
How Situated Is Your Agent? A Cognitive Perspective
inferred← citeshttps://doi.org/10.1007/978-3-642-04143-3_29openalex-snapshot
Applying JIAC V to Real World Problems: The MAMS Case
inferred← citeshttps://doi.org/10.1007/978-3-642-04380-2_7openalex-snapshot
BDI-Based Development of Virtual Characters with a Theory of Mind
inferred← citeshttps://doi.org/10.1007/978-3-642-04893-7_6openalex-snapshot
Attributing Distributed Responsibility in Stit Logic
inferred← citeshttps://doi.org/10.1007/978-3-642-04962-0_38openalex-snapshot
A Hybrid E-Institution Model for VOs
inferred← citeshttps://doi.org/10.1007/978-3-642-05301-6_9openalex-snapshot
Information-Based Argumentation
inferred← citeshttps://doi.org/10.1007/978-3-642-10203-5_7openalex-snapshot
Agent Architectures for Compliance
inferred← citeshttps://doi.org/10.1007/978-3-642-10203-5_8openalex-snapshot
Incorporating BDI Agents into Human-Agent Decision Making Research
inferred← citeshttps://doi.org/10.1007/978-3-642-10203-5_9openalex-snapshot
Programming Organization-Aware Agents
inferred← citeshttps://doi.org/10.1007/978-3-642-11161-7_14openalex-snapshot
An Empirical Study of Agent Programs
inferred← citeshttps://doi.org/10.1007/978-3-642-11355-0_11openalex-snapshot
Explaining and Predicting the Behavior of BDI-Based Agents in Role-Playing Games
inferred← citeshttps://doi.org/10.1007/978-3-642-11355-0_12openalex-snapshot
Correctness Properties for Multiagent Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-11355-0_7openalex-snapshot
Ontology and Time Evolution of Obligations and Prohibitions Using Semantic Web Technology
inferred← citeshttps://doi.org/10.1007/978-3-642-11355-0_8openalex-snapshot
Prioritized Goals and Subgoals in a Logical Account of Goal Change – A Preliminary Report
inferred← citeshttps://doi.org/10.1007/978-3-642-12116-6_28openalex-snapshot
Modelling Illocutionary Structure: Combining Empirical Studies with Formal Model Analysis
inferred← citeshttps://doi.org/10.1007/978-3-642-12837-0_7openalex-snapshot
Ontology Based Law Discovery
inferred← citeshttps://doi.org/10.1007/978-3-642-13541-5_2openalex-snapshot
Modeling and Verifying Business Interactions via Commitments and Dialogue Actions
inferred← citeshttps://doi.org/10.1007/978-3-642-13553-8_8openalex-snapshot
Agent-Based Simulations with Beliefs and SPARQL-Based Ask-Reply Communication
inferred← citeshttps://doi.org/10.1007/978-3-642-14309-0_10openalex-snapshot
Agents, Multi-Agent Systems and Declarative Programming: What, When, Where, Why, Who, How?
inferred← citeshttps://doi.org/10.1007/978-3-642-14843-9_15openalex-snapshot
Modularity and Compositionality in Jason
inferred← citeshttps://doi.org/10.1007/978-3-642-14843-9_2openalex-snapshot
Elements of a Business-Level Architecture for Multiagent Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-14843-9_7openalex-snapshot
A Middleware for Modeling Organizations and Roles in Jade
inferred← citeshttps://doi.org/10.1007/978-3-642-14962-7_2openalex-snapshot
A Norm-Based Organization Management System
inferred← citeshttps://doi.org/10.1007/978-3-642-14962-7_21openalex-snapshot
Towards an Architecture for Self-regulating Agents: A Case Study in International Trade
inferred← citeshttps://doi.org/10.1007/978-3-642-14977-1_10openalex-snapshot
Verifying Business Process Compliance by Reasoning about Actions
inferred← citeshttps://doi.org/10.1007/978-3-642-14977-1_16openalex-snapshot
An Agent Language with Destructive Assignment and Model-Theoretic Semantics
inferred← citeshttps://doi.org/10.1007/978-3-642-14977-1_18openalex-snapshot
A Dialogue Games Framework for the Operational Semantics of Logic Agent-Oriented Languages
inferred← citeshttps://doi.org/10.1007/978-3-642-14977-1_9openalex-snapshot
What Happened to My Commitment? Exception Diagnosis among Misalignment and Misbehavior
inferred← citeshttps://doi.org/10.1007/978-3-642-15208-5_22openalex-snapshot
Electronic Markets, a Look Behind the Curtains: How Can Semantic Matchmaking and Negotiation Boost E-Commerce?
inferred← citeshttps://doi.org/10.1007/978-3-642-15723-3_4openalex-snapshot
Agent-Based Simulation for Evaluating Flexible and Agile Business Processes: Separating Knowledge Rules, Process Rules and Information Resources
inferred← citeshttps://doi.org/10.1007/978-3-642-16138-4_3openalex-snapshot
Ontology Reasoning in Agent-Oriented Programming
inferred← citeshttps://doi.org/10.1007/978-3-642-16867-3_1openalex-snapshot
Planning for Multiagent Using ASP-Prolog
inferred← citeshttps://doi.org/10.1007/978-3-642-16867-3_3openalex-snapshot
Reasoning about Multi-agent Domains Using Action Language $\mathcal{C}$ : A Preliminary Study
inferred← citeshttps://doi.org/10.1007/978-3-642-16952-6_27openalex-snapshot
Making Electronic Contracting Operational and Trustworthy
inferred← citeshttps://doi.org/10.1007/978-3-642-17358-5_29openalex-snapshot
Abstracting and Applying Business Modeling Patterns from RosettaNet
inferred← citeshttps://doi.org/10.1007/978-3-642-18129-0_60openalex-snapshot
Secure Biometric E-Voting Scheme
inferred← citeshttps://doi.org/10.1007/978-3-642-18308-9_2openalex-snapshot
Specifying and Monitoring Obligations in Open Multiagent Systems Using Semantic Web Technology
inferred← citeshttps://doi.org/10.1007/978-3-642-18308-9_6openalex-snapshot
Measuring Complexity for MAS Design in the Presence of Ontology Heterogeneity
inferred← citeshttps://doi.org/10.1007/978-3-642-19208-1_15openalex-snapshot
Formal Methods in Agent-Oriented Software Engineering
inferred← citeshttps://doi.org/10.1007/978-3-642-20715-0_1openalex-snapshot
Operational Behaviour for Executing, Suspending, and Aborting Goals in BDI Agent Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-20715-0_11openalex-snapshot
Symbolic Model Checking Commitment Protocols Using Reduction
inferred← citeshttps://doi.org/10.1007/978-3-642-20715-0_2openalex-snapshot
BDI Agents with Objectives and Preferences
inferred← citeshttps://doi.org/10.1007/978-3-642-20715-0_3openalex-snapshot
Query-Driven Coordination of Multiple Answer Sets
inferred← citeshttps://doi.org/10.1007/978-3-642-20715-0_4openalex-snapshot
Commitment-Based Protocols with Behavioral Rules and Correctness Properties of MAS
inferred← citeshttps://doi.org/10.1007/978-3-642-20832-4_14openalex-snapshot
Evolving Logic Programs with Temporal Operators
inferred← citeshttps://doi.org/10.1007/978-3-642-20832-4_28openalex-snapshot
Combining Answer Set Programming and Prolog: The $\mathbb{ASP{-}PROLOG}$ System
inferred← citeshttps://doi.org/10.1007/978-3-642-20895-9_8openalex-snapshot
Communicating ASP and the Polynomial Hierarchy
inferred← citeshttps://doi.org/10.1007/978-3-642-21268-0_16openalex-snapshot
Identifying Conditional Norms in Multi-agent Societies
inferred← citeshttps://doi.org/10.1007/978-3-642-21940-5_8openalex-snapshot
On a Computational Argumentation Framework for Agent Societies
inferred← citeshttps://doi.org/10.1007/978-3-642-22000-5_19openalex-snapshot
Scenario Description Language in Multi-agent Simulation System
inferred← citeshttps://doi.org/10.1007/978-3-642-22359-4_13openalex-snapshot
Social Commitment Delegation and Monitoring
inferred← citeshttps://doi.org/10.1007/978-3-642-22359-4_16openalex-snapshot
Reasoning about Exceptions to Contracts
inferred← citeshttps://doi.org/10.1007/978-3-642-22359-4_19openalex-snapshot
Making Golog Norm Compliant
inferred← citeshttps://doi.org/10.1007/978-3-642-22359-4_9openalex-snapshot
Alternating-Time Temporal Announcement Logic
inferred← citeshttps://doi.org/10.1007/978-3-642-22546-8_20openalex-snapshot
Conditional Learning of Rules and Plans by Knowledge Exchange in Logical Agents
inferred← citeshttps://doi.org/10.1007/978-3-642-22723-3_5openalex-snapshot
Exploiting Agent-Oriented Programming for Developing Future Internet Applications Based on the Web: The JaCa-Web Framework
inferred← citeshttps://doi.org/10.1007/978-3-642-23091-2_7openalex-snapshot
Semantic Translation for Rule-Based Knowledge in Data Mining
inferred← citeshttps://doi.org/10.1007/978-3-642-23605-1_13openalex-snapshot
Generating Decision Makers’ Preferences, from their Goals, Constraints, Priorities and Emotions
inferred← citeshttps://doi.org/10.1007/978-3-642-23605-1_14openalex-snapshot
Modeling and Analyzing Agents’ Collective Options in Collaborative Decision Making
inferred← citeshttps://doi.org/10.1007/978-3-642-23954-0_10openalex-snapshot
Fuzzy Conformance Checking of Observed Behaviour with Expectations
inferred← citeshttps://doi.org/10.1007/978-3-642-23954-0_11openalex-snapshot
Dealing with Crowd Crystals in MAS-Based Crowd Simulation: A Proposal
inferred← citeshttps://doi.org/10.1007/978-3-642-24206-9_3openalex-snapshot
Answer Set Modules for Logical Agents
inferred← citeshttps://doi.org/10.1007/978-3-642-24396-7_12openalex-snapshot
Business Rules for Creating Process Flexibility: Mapping RIF Rules and BDI Rules
inferred← citeshttps://doi.org/10.1007/978-3-642-24908-2_28openalex-snapshot
Event Condition Expectation (ECE-) Rules for Monitoring Observable Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-25725-4_6openalex-snapshot
Fibred BDI Logics: Completeness Preservation in the Presence of Interaction Axioms
inferred← citeshttps://doi.org/10.1007/978-3-642-25832-9_52openalex-snapshot
A Logic for Knowledge Flow in Social Networks
inferred← citeshttps://doi.org/10.1007/978-3-642-25920-3_21openalex-snapshot
Affordance-Based Intention Recognition in Virtual Spatial Environments
inferred← citeshttps://doi.org/10.1007/978-3-642-27216-5_6openalex-snapshot
Modelling Culture in Multi-agent Organizations
inferred← citeshttps://doi.org/10.1007/978-3-642-27272-1_5openalex-snapshot
Flexible Robot Strategy Design Using Belief-Desire-Intention Model
inferred← citeshttps://doi.org/10.1007/978-3-642-28563-9_4openalex-snapshot
Inter-organizational Interoperability through Integration of Multiagent, Web Service, and Semantic Web Technologies
inferred← citeshttps://doi.org/10.1007/978-3-642-28786-2_5openalex-snapshot
A Multi-Agent System for Industrial Fault Detection and Repair
inferred← citeshttps://doi.org/10.1007/978-3-642-29113-5_10openalex-snapshot
A Distributed Architecture for Norm-Aware Agent Societies: A Retrospective
inferred← citeshttps://doi.org/10.1007/978-3-642-29113-5_11openalex-snapshot
Speech-Act Based Communication: Progress in the Formal Semantics and in the Implementation of Multi-agent Oriented Programming Languages
inferred← citeshttps://doi.org/10.1007/978-3-642-29113-5_12openalex-snapshot
Specifying and Enforcing Norms in Artificial Institutions: A Retrospective Review
inferred← citeshttps://doi.org/10.1007/978-3-642-29113-5_13openalex-snapshot
A Retrospective on the Reactive Event Calculus and Commitment Modeling Language
inferred← citeshttps://doi.org/10.1007/978-3-642-29113-5_3openalex-snapshot
An Integrated Formal Framework for Reasoning about Goal Interactions
inferred← citeshttps://doi.org/10.1007/978-3-642-29113-5_4openalex-snapshot
Probing Attacks on Multi-Agent Systems Using Electronic Institutions
inferred← citeshttps://doi.org/10.1007/978-3-642-29113-5_5openalex-snapshot
Detecting Conflicts in Commitments
inferred← citeshttps://doi.org/10.1007/978-3-642-29113-5_6openalex-snapshot
Formalizing Commitments Using Action Languages
inferred← citeshttps://doi.org/10.1007/978-3-642-29113-5_7openalex-snapshot
Lightweight Coordination Calculus for Agent Systems: Retrospective and Prospective
inferred← citeshttps://doi.org/10.1007/978-3-642-29414-3_8openalex-snapshot
Reactive Event Calculus for Monitoring Global Computing Applications
inferred← citeshttps://doi.org/10.1007/978-3-642-29414-3_9openalex-snapshot
Reasoning about the Intentions of Agents
inferred← citeshttps://doi.org/10.1007/978-3-642-31915-0_1openalex-snapshot
Logical Foundations for a Rational BDI Agent Programming Language (Extended Version)
inferred← citeshttps://doi.org/10.1007/978-3-642-31915-0_2openalex-snapshot
Relating Goal and Commitment Semantics
inferred← citeshttps://doi.org/10.1007/978-3-642-31915-0_5openalex-snapshot
Integrating Expectation Monitoring into BDI Agents
inferred← citeshttps://doi.org/10.1007/978-3-642-32355-3_3openalex-snapshot
Declarative Modelling and Safe Distribution of Healthcare Workflows
inferred← citeshttps://doi.org/10.1007/978-3-642-32897-8_12openalex-snapshot
Implementing Reversible Processes in Multi-agent Action Languages Using Answer Set Planning
inferred← citeshttps://doi.org/10.1007/978-3-642-32897-8_7openalex-snapshot
Epistemic ATL with Perfect Recall, Past and Strategy Contexts
inferred← citeshttps://doi.org/10.1007/978-3-642-33203-6_2openalex-snapshot
Semantic Matchmaking and Ranking: Beyond Deduction in Retrieval Scenarios
inferred← citeshttps://doi.org/10.1007/978-3-642-35208-9_3openalex-snapshot
Formalisation and Verification of Knowledge Management in Digital Economy and Organisations
inferred← citeshttps://doi.org/10.1007/978-3-642-35545-5_1openalex-snapshot
Multi-agent Coordination through Mutualistic Interactions
inferred← citeshttps://doi.org/10.1007/978-3-642-35545-5_11openalex-snapshot
Overcoming Omniscience for Norm Emergence in Axelrod’s Metanorm Model
inferred← citeshttps://doi.org/10.1007/978-3-642-35545-5_12openalex-snapshot
Establishing Norms for Network Topologies
inferred← citeshttps://doi.org/10.1007/978-3-642-35545-5_6openalex-snapshot
Towards Practical Normative Agents: A Framework and an Implementation for Norm-Aware Planning
inferred← citeshttps://doi.org/10.1007/978-3-642-36546-1_45openalex-snapshot
Runtime Verification of Multi-agent Systems Interaction Quality
inferred← citeshttps://doi.org/10.1007/978-3-642-37756-3_7openalex-snapshot
Norms as Objectives: Revisiting Compliance Management in Multi-agent Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-37756-3_8openalex-snapshot
Norm Emergence through Dynamic Policy Adaptation in Scale Free Networks
inferred← citeshttps://doi.org/10.1007/978-3-642-37890-4_12openalex-snapshot
Semantic Web and Declarative Agent Languages and Technologies: Current and Future Trends
showing the first 200 of 242 · page through all 242
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.