共 50 条
- [1] A formal framework for reasoning about opportunistic propensity in multi-agent systems Autonomous Agents and Multi-Agent Systems, 2019, 33 : 457 - 479
- [3] Formal framework for adaptive multi-agent systems IEEE/WIC INTERNATIONAL CONFERENCE ON INTELLIGENT AGENT TECHNOLOGY, PROCEEDINGS, 2003, : 442 - 445
- [4] Reasoning about Adaptivity of Agents and Multi-Agent Systems 2012 17TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2012, : 341 - 350
- [8] Formal specification of holonic multi-agent systems framework COMPUTATIONAL SCIENCE - ICCS 2005, PT 3, 2005, 3516 : 719 - 726
- [9] Formal reasoning on knowledge and commitments in multi-agent systems using Theatre SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2020, 96 (02): : 233 - 250
- [10] Temporal Reasoning in Multi-agent Workflow Systems Based on Formal Models INTELLIGENT INFORMATION AND DATABASE SYSTEMS (ACIIDS 2012), PT I, 2012, 7196 : 33 - 42