Searching for authors named "Martin Mundhenk" – sorted by Relevance.
18 documents found, showing 1 through 10.
Next 10 →
-
Propositional Proofs and Their Complexity - Analytic Tableau, Resolution, Cutting-Plane
- …, Cutting-Plane Martin Mundhenk y November 11, 2003 Contents 1 Propositional Logic 2 1.1 Propositions…
- Add To MetaCart
-
The Complexity of Planning with Partially-Observable Markov Decision Processes
- …The Complexity of Planning with Partially-Observable Markov Decision Processes Martin Mundhenk…
- Cited by 3 (2 self) – Add To MetaCart
-
On Hard Instances
- …On Hard Instances Martin Mundhenk 1 Universitat Trier, FB IV { Informatik, D-54286 Trier, Germany…
- Cited by 2 (1 self) – Add To MetaCart
-
Complexity Issues in Markov Decision Processes
- …Complexity Issues in Markov Decision Processes Judy Goldsmith Martin Mundhenk Dept. of Computer…
- Cited by 12 (2 self) – Add To MetaCart
-
Random Languages for Non-Uniform Complexity Classes
- …Random languages for non-uniform complexity classes Martin Mundhenk Rainer Schuler Universitat…
- Cited by 2 (0 self) – Add To MetaCart
-
Undecidability of multi-modal hybrid logics
- …Undecidability of Multi-modal Hybrid Logics Martin Mundhenk 1 Thomas Schneider 2 Institut für…
- Cited by 1 (1 self) – Add To MetaCart
-
Encyclopaedia of Complexity Results for Finite-Horizon Markov Decision Process Problems
- …Encyclopaedia of Complexity Results for Finite-Horizon Markov Decision Process Problems Martin…
- Add To MetaCart
-
The Complexity of Deterministically Observable Finite-Horizon Markov Decision Processes
- … Goldsmith Chris Lusena Martin Mundhenk y University of Kentucky z December 13, 1996 Abstract We…
- Cited by 5 (2 self) – Add To MetaCart
-
Complexity of hybrid logics over transitive frames
- …Complexity of Hybrid Logics over Transitive Frames Martin Mundhenk 1 , Thomas Schneider 1 , Thomas…
- Cited by 6 (5 self) – Add To MetaCart
-
The complexity of policy evaluation for finite-horizon partially-observable Markov decision processes
- … processes Martin Mundhenk Judy Goldsmith y Eric Allender z February 23, 1997 Abstract A partially…
- Cited by 7 (3 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
