A dynamic epistemic framework for reasoning about conformant probabilistic plans

, &
Artificial Intelligence 268 (C):54-84 (2019)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2018.12.001

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,809

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Succinctness of Epistemic Languages.Barteld Kooi, Wiebe van der Hoek, Petar Iliev & Tim French - unknown
Probabilistic reasoning about epistemic action narratives.Fabio Aurelio D'Asaro, Antonis Bikakis, Luke Dickens & Rob Miller - 2020 - Artificial Intelligence 287 (C):103352.
Conformant plans and beyond: Principles and complexity.Blai Bonet - 2010 - Artificial Intelligence 174 (3-4):245-269.
Multi-agent Conformant Planning with Distributed Knowledge.Yanjun Li - 2021 - In Sujata Ghosh & Thomas Icard (eds.), Logic, Rationality, and Interaction: 8th International Workshop, Lori 2021, Xi’an, China, October 16–18, 2021, Proceedings. Springer Verlag. pp. 128-140.
A probabilistic framework for memory-based reasoning.Simon Kasif, Steven Salzberg, David Waltz, John Rachlin & David W. Aha - 1998 - Artificial Intelligence 104 (1-2):287-311.
CPCES: A planning framework to solve conformant planning problems through a counterexample guided refinement.Alban Grastien & Enrico Scala - 2020 - Artificial Intelligence 284 (C):103271.
More for free: A dynamic epistemic framework for conformant planning over transition systems.Yanjun Li, Quan Yu & Yanjing Wang - 2017 - Journal of Logic and Computation 27 (8):2383--2410.
Reasoning about local properties in modal logic.Wiebe van der Hoek, Hans van Ditmarsch & Barteld Kooi - unknown
Extending probabilistic dynamic epistemic logic.Joshua Sack - 2009 - Synthese 169 (2):241 - 257.

Analytics

Added to PP
2020-12-22

Downloads
20 (#1,036,437)

6 months
4 (#1,246,333)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Barteld Kooi
University of Groningen
Yanjing Wang
Peking University

Citations of this work

Planning-based knowing how: A unified approach.Yanjun Li & Yanjing Wang - 2021 - Artificial Intelligence 296 (C):103487.

Add more citations

References found in this work

Epistemic planning for single- and multi-agent systems.Thomas Bolander & Mikkel Birkegaard Andersen - 2011 - Journal of Applied Non-Classical Logics 21 (1):9-34.

View all 13 references / Add more references