multi-agent
36 pages in this folder
A Core Model for Choreographic Programming
31 out · 1 in
Agent-Oriented Programming
23 out · 71 in
AgentSpeak
44 out · 16 in
An Interaction-oriented Agent Framework for Open Environments
24 out · 29 in
Are Multiagent Systems Resilient to Communication Failures
18 out · 22 in
Argus - Programming with Communication Protocols in a Belief-Desire-Intention Architecture
45 out · 3 in
Choral - Object-Oriented Choreographic Programming
23 out · 11 in
ChoRus - Library-Level Choreographic Programming in Rust
23 out · 9 in
Deadlock-freedom-by-design - Multiparty Asynchronous Global Programming
36 out · 7 in
Deals Among Rational Agents
17 out · 15 in
Deciding Choreography Realizability
21 out · 11 in
Denotational Reasoning for Asynchronous Multiparty Session Types
27 out · 3 in
Ensuring Trustworthy and Ethical Behaviour in Intelligent Logical Agents
22 out · 26 in
Give Agents their Artifacts - The A&A Approach for Engineering Working Environments in MAS
21 out · 1 in
HasChor - Functional Choreographic Programming
21 out · 10 in
Intelligent Agents Theory and Practice
22 out · 38 in
Intention Is Choice with Commitment
25 out · 39 in
Introduction to Choreographies
21 out · 22 in
Kiko - Programming Agents to Enact Interaction Protocols
30 out · 16 in
Knowledge of Choice
27 out · 30 in
Less is More - Multiparty Session Types Revisited
31 out · 3 in
Levels Of Social Orchestration
15 out · 16 in
Message Sequence Charts - A Survey
14 out · 6 in
Modeling Rational Agents within a BDI-Architecture
21 out · 21 in
Multi-Agent Collaboration in AI - Wasif Tunkel
15 out · 19 in
Multiagent Systems Sycara
27 out · 23 in
Multiparty Asynchronous Session Types
22 out · 46 in
Multiparty Compatibility in Communicating Automata
20 out · 9 in
On Agent-Based Software Engineering
13 out · 4 in
On the Monitorability of Session Types
24 out · 23 in
Pact - A Choreographic Language for Agentic Ecosystems
48 out · 47 in
Realizability and Verification of MSC Graphs
17 out · 14 in
Structured Communication-Centred Programming for Web Services
25 out · 36 in
The BOID Architecture
16 out · 6 in
The Synthesis of Digital Machines with Provable Epistemic Properties
16 out · 10 in
Two Faces of Intention
20 out · 16 in