Instruct: Given the title of a scientific paper, retrieve paper titles that are cited by the given paper.
Query: Actario : A Framework for Reasoning About Actor Systems
Verdi: a framework for implementing and formally verifying distributed systems
A meta-model for the analysis and design of organizations in multi-agent systems
Shield Synthesis: Runtime Enforcement for Reactive Systems
Program analysis for event-based distributed systems
Delegation and satisfiability in workflow systems
The DIAMOND System for Computing with Abstract Dialectical Frameworks.
DESIGN OF A MULTI-AGENT SYSTEM ARCHITECTURE FOR THE SCRUM METHODOLOGY
An Action Language Based on Causal Explanation: Preliminary Report
Taurus: A Holistic Language Runtime System for Coordinating Distributed Managed-Language Applications
A Probabilistic Doxastic Temporal Logic for Reasoning about Beliefs in Multi-agent Systems
Colored Petri Net-based Modeling and Formal Analysis of Component-based Applications
Multi-Agent Programming: Languages, Platforms and Applications
Verifying Properties of Parallel Programs : An Axiomatic Approach
Virtual Actors for Programmability and Scalability
A General Multi-agent Epistemic Planner Based on Higher-order Belief Change
A Formal Semantic for UML 2.0 Activity Diagram based on Institution Theory
Automating commonsense reasoning using the event calculus
ConcurTaskTrees: A Diagrammatic Notation for Specifying Task Models
Intelligent Systems: Architectures and Perspectives
Developing Multi-Agent Systems with JADE
Automating formal proofs for reactive systems
Regenerative endodontics.
Cardinality Estimation: An Experimental Survey
Real-Time Seamless Single Shot 6D Object Pose Prediction
Hardware implementation of Montgomery's modular multiplication algorithm