multi-agent
33 pages in this folder
A Core Model for Choreographic Programming
31 out · 1 in
Agent-Oriented Programming
23 out · 66 in
AgentSpeak
44 out · 9 in
An Interaction-oriented Agent Framework for Open Environments
24 out · 26 in
Are Multiagent Systems Resilient to Communication Failures
18 out · 22 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 · 7 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
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
Knowledge of Choice
27 out · 21 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 · 4 in
Modeling Rational Agents within a BDI-Architecture
21 out · 20 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 · 40 in
Multiparty Compatibility in Communicating Automata
20 out · 7 in
On Agent-Based Software Engineering
13 out · 2 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 · 8 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