Zobrazeno 1 - 8
of 8
pro vyhledávání: '"Andersen, Mikkel Birkegaard"'
Publikováno v:
Synthese 194(7): 2447-2487 (2017)
Plausibility models are Kripke models that agents use to reason about knowledge and belief, both of themselves and of each other. Such models are used to interpret the notions of conditional belief, degrees of belief, and safe belief. The logic of co
Externí odkaz:
http://arxiv.org/abs/1506.07990
Publikováno v:
Synthese, 2017 Jul 01. 194(7), 2447-2487.
Externí odkaz:
https://www.jstor.org/stable/48726133
Publikováno v:
Logique et Analyse, 2015 Jun 01. 58(230), 145-176.
Externí odkaz:
https://www.jstor.org/stable/44085320
Autor:
Andersen, Mikkel Birkegaard
Publikováno v:
Andersen, M B 2015, Towards Theory-of-Mind agents using Automated Planning and Dynamic Epistemic Logic . DTU Compute PHD-2014, no. 351, Technical University of Denmark, Kgs. Lyngby .
This thesis is part of a growing body of work in what we call epistemic planning. Epistemic planning is situated at the intersection of automated planning and what can broadly be called dynamic logics. Both are part of the much larger field of Artifi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1202::7c7f243466e1ed9cf242ad4d2371e26d
https://orbit.dtu.dk/en/publications/towards-theoryofmind-agents-using-automated-planning-and-dynamic-epistemic-logic(d676ba55-6834-4ccc-8ab7-8b9f39a895df).html
https://orbit.dtu.dk/en/publications/towards-theoryofmind-agents-using-automated-planning-and-dynamic-epistemic-logic(d676ba55-6834-4ccc-8ab7-8b9f39a895df).html
Publikováno v:
AI 2013: Advances in Artificial Intelligence; 2013, p277-288, 12p
Publikováno v:
Logics in Artificial Intelligence (9783642333521); 2012, p94-106, 13p
Publikováno v:
Journal of Applied Non-Classical Logics; January 2011, Vol. 21 Issue: 1 p9-34, 26p
This book constitutes the refereed proceedings of the 13th European Conference on Logics in Artificial Intelligence, held in Toulouse, France, in September 2012. The book includes 3 invited talks, 36 regular papers, and 5 system descriptions, selecte