A formal framework for reasoning about opportunistic propensity in multi-agent systems
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1573-7454
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
A formal framework for reasoning about opportunistic propensity in multi-agent systems ; volume:33 ; number:4 ; day:27 ; month:5 ; year:2019 ; pages:457-479 ; date:7.2019
Autonomous agents and multi-agent systems ; 33, Heft 4 (27.5.2019), 457-479, 7.2019
- Creator
-
Luo, Jieting
Meyer, John-Jules
Knobbout, Max
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10458-019-09413-1
- URN
-
urn:nbn:de:101:1-2019111920270378122774
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:51 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Luo, Jieting
- Meyer, John-Jules
- Knobbout, Max
- SpringerLink (Online service)
Other Objects (12)
Logical Reasoning in Formal and Everyday Reasoning Tasks
Modeling, verification, and strategic reasoning in multi-agent systems
Cognitive reasoning : a formal approach
Socalled formal reasoning and the foundational ideal
Formal contracts mitigate social dilemmas in multi-agent reinforcement learning
Opportunistic Termination
Opportunistic Termination
Reasoning Continuously: A Formal Construction of Continuous Proofs
Formal verification of sequential circuits using reasoning techniques
Real-time multi-agent systems: rationality, formal model, and empirical results
PDT logic : a probabilistic doxastic temporal logic for reasoning about beliefs in multi-agent systems
Opportunistic CP violation
Logical Reasoning in Formal and Everyday Reasoning Tasks
Modeling, verification, and strategic reasoning in multi-agent systems
Cognitive reasoning : a formal approach
Socalled formal reasoning and the foundational ideal
Formal contracts mitigate social dilemmas in multi-agent reinforcement learning
Opportunistic Termination
Opportunistic Termination
Reasoning Continuously: A Formal Construction of Continuous Proofs
Formal verification of sequential circuits using reasoning techniques
Real-time multi-agent systems: rationality, formal model, and empirical results
PDT logic : a probabilistic doxastic temporal logic for reasoning about beliefs in multi-agent systems
Opportunistic CP violation
Logical Reasoning in Formal and Everyday Reasoning Tasks
Modeling, verification, and strategic reasoning in multi-agent systems
Cognitive reasoning : a formal approach
Socalled formal reasoning and the foundational ideal
Formal contracts mitigate social dilemmas in multi-agent reinforcement learning
Opportunistic Termination
Opportunistic Termination
Reasoning Continuously: A Formal Construction of Continuous Proofs
Formal verification of sequential circuits using reasoning techniques
Real-time multi-agent systems: rationality, formal model, and empirical results
PDT logic : a probabilistic doxastic temporal logic for reasoning about beliefs in multi-agent systems