A formal framework for reasoning about opportunistic propensity in multi-agent systems
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1573-7454
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
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
- Urheber
-
Luo, Jieting
Meyer, John-Jules
Knobbout, Max
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s10458-019-09413-1
- URN
-
urn:nbn:de:101:1-2019111920270378122774
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:51 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Luo, Jieting
- Meyer, John-Jules
- Knobbout, Max
- SpringerLink (Online service)
Ähnliche Objekte (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