<--- Back to Details
First PageDocument Content
Probability / Amyloidosis / Logic / Formal epistemology / Non-classical logic / Probabilistic logic / Automated planning and scheduling / PRNP / Markov decision process / Planning Domain Definition Language / PP
Date: 2015-05-09 01:33:31
Probability
Amyloidosis
Logic
Formal epistemology
Non-classical logic
Probabilistic logic
Automated planning and scheduling
PRNP
Markov decision process
Planning Domain Definition Language
PP

From FOND to Probabilistic Planning: Guiding search for quality policies Alberto Camacho† , Christian Muise∗ , Akshay Ganeshen† , Sheila A. McIlraith† † Department of Computer Science, University of Toronto Dep

Add to Reading List

Source URL: www.haz.ca

Download Document from Source Website

File Size: 218,02 KB

Share Document on Facebook

Similar Documents

Jan-Willem Romeijn  Conditioning and Interpretation Shifts  Abstract. This paper develops a probabilistic model of belief change under interpretation shifts, in the context of a problem case from dynamic epistemic logic.

Jan-Willem Romeijn Conditioning and Interpretation Shifts Abstract. This paper develops a probabilistic model of belief change under interpretation shifts, in the context of a problem case from dynamic epistemic logic.

DocID: 1v4jU - View Document

Optimal Temporal Logic Planning in Probabilistic Semantic Maps Jie Fu, Nikolay Atanasov, Ufuk Topcu, and George J. Pappas Abstract—This paper considers robot motion planning under temporal logic constraints in probabil

Optimal Temporal Logic Planning in Probabilistic Semantic Maps Jie Fu, Nikolay Atanasov, Ufuk Topcu, and George J. Pappas Abstract—This paper considers robot motion planning under temporal logic constraints in probabil

DocID: 1uHfw - View Document

Integrating Logical Representations with Probabilistic Information using Markov Logic Dan Garrette Katrin Erk

Integrating Logical Representations with Probabilistic Information using Markov Logic Dan Garrette Katrin Erk

DocID: 1uoxn - View Document

A Probabilistic Logic for Sequences of Decisions∗ Magdalena Ivanovska and Martin Giese Department of Informatics University of Oslo, Norway  Abstract

A Probabilistic Logic for Sequences of Decisions∗ Magdalena Ivanovska and Martin Giese Department of Informatics University of Oslo, Norway Abstract

DocID: 1uowI - View Document

Epistemic Logic Implicit probabilistic structures Explicit probabilistic structures Dutch Books for (logical) dummies  Impossible States at Work

Epistemic Logic Implicit probabilistic structures Explicit probabilistic structures Dutch Books for (logical) dummies Impossible States at Work

DocID: 1ujsP - View Document