Titel

Merkliste
1 Ergebnisse

Rational verification for probabilistic systems:

Gutierrez, Julian ; Hammond, Lewis ; W. Lin, Anthony..
Gutierrez , J , Hammond , L , W. Lin , A , Najib Azca , M & Wooldridge , M 2021 , Rational verification for probabilistic systems . in M Bienvenu , G Lakemeyer & E Erdem (eds) , Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning . Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning , Association for the Advancement of Artificial Intelligence (AAAI) , Marina del Rey CA USA , pp. 312-322 , International Conference on the Principles of Knowledge Representation and Reasoning 2021 , 3/11/21 . https://doi.org/10.24963/kr.2021/30. , 2021

Link: https://research.monash.edu/en/publications/5e7f38ee-7..

RT Journal
T1 <Title>Rational verification for probabilistic systems</Title>

UL https://suche.suub.uni-bremen.de/peid=base-ftmonashunicris:oai:monash.edu:publications_5e7f38ee-7c79-4675-9bac-31f8cfbe66cc&Exemplar=1&LAN=DE
				
A1 Gutierrez, Julian
A1 Hammond, Lewis
A1 W. Lin, Anthony
A1 Najib Azca, Muhammad
A1 Wooldridge, Michael
PB Association for the Advancement of Artificial Intelligence (AAAI)
YR 2021
K1 KR and autonomous agents and multi-agent systems
K1 KR and game theory
K1 Applications that combine KR with game theory
K1 Modeling and reasoning about preferences
JF Gutierrez , J , Hammond , L , W. Lin , A , Najib Azca , M & Wooldridge , M 2021 , Rational verification for probabilistic systems . in M Bienvenu , G Lakemeyer & E Erdem (eds) , Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning . Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning , Association for the Advancement of Artificial Intelligence (AAAI) , Marina del Rey CA USA , pp. 312-322 , International Conference on the Principles of Knowledge Representation and Reasoning 2021 , 3/11/21 . https://doi.org/10.24963/kr.2021/30
LK http://dx.doi.org/https://research.monash.edu/en/publications/5e7f38ee-7c79-4675-9bac-31f8cfbe66cc
DO https://research.monash.edu/en/publications/5e7f38ee-7c79-4675-9bac-31f8cfbe66cc
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)