An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty

, &
Artificial Intelligence 224 (C):1-27 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.artint.2015.03.002

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,897

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

Strong temporal planning with uncontrollable durations.Alessandro Cimatti, Minh Do, Andrea Micheli, Marco Roveri & David E. Smith - 2018 - Artificial Intelligence 256 (C):1-34.
Complexity bounds for the controllability of temporal networks with conditions, disjunctions, and uncertainty.Nikhil Bhargava & Brian C. Williams - 2019 - Artificial Intelligence 271 (C):1-17.
Quantifying controllability in temporal networks with uncertainty.Shyan Akmal, Savana Ammons, Hemeng Li, Michael Gao, Lindsay Popowski & James C. Boerkoel - 2020 - Artificial Intelligence 289 (C):103384.
Uncertainty, production, choice, and agency: the state-contingent approach.Robert G. Chambers & John Quiggin - 2000 - Cambridge University Press.
Controllability and Optimization of Complex Networks Based on Bridges.Lifu Wang, Guotao Zhao, Zhi Kong & Yunkang Zhao - 2020 - Complexity 2020:1-10.
On the Epistemic Foundation for Iterated Weak Dominance: An Analysis in a Logic of Individual and Collective attitudes.Emiliano Lorini - 2013 - Journal of Philosophical Logic 42 (6):863-904.
Efficient solution techniques for disjunctive temporal reasoning problems.Ioannis Tsamardinos & Martha E. Pollack - 2003 - Artificial Intelligence 151 (1-2):43-89.
Latency operating characteristic: III. Temporal uncertainty effects.Joseph S. Lappin & Kenneth Disch - 1973 - Journal of Experimental Psychology 98 (2):279.
Moral uncertainty and permissibility: Evaluating Option Sets.Christian Barry & Patrick Tomlin - 2016 - Canadian Journal of Philosophy 46 (6):1-26.
Desire Satisfactionism and Time.Alexander Sarch - 2013 - Utilitas 25 (2):221-245.
Production under Uncertainty and Choice under Uncertainty in the Emergence of Generalized Expected Utility Theory.John Quiggin - 2001 - Theory and Decision 51 (2/4):125-144.
Extending models of “How Foraging Works”: Uncertainty, controllability, and survivability.Oliver J. Hulme & Duda Kvitsiani - 2019 - Behavioral and Brain Sciences 42.
Disjunctive duties and supererogatory sets of actions.Matthias Brinkmann - 2015 - Royal Institute of Philosophy Supplement 77:67-86.
Synchronizing Diachronic Uncertainty.Alistair Isaac & Tomohiro Hoshi - 2011 - Journal of Logic, Language and Information 20 (2):137-159.
Stenius' approach to disjunctive permission.David Makinson - 1984 - Theoria 50 (2-3):138-147.

Analytics

Added to PP
2020-12-22

Downloads
9 (#1,254,142)

6 months
7 (#430,360)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Temporal constraint networks.Rina Dechter, Itay Meiri & Judea Pearl - 1991 - Artificial Intelligence 49 (1-3):61-95.

Add more references