Searching for authors named "Michael Thielscher" – sorted by Relevance.
-
Modeling Actions with Ramications in Nondeterministic, Concurrent, and Continuous Domains - And A Case Study
- of reference articles published in (Sandewall 1998). Michael Thielscher Dresden University of Technology 01062
- Add To MetaCart
-
Inferring Implicit State Knowledge and Plans with Sensing Actions
- Inferring Implicit State Knowledge and Plans with Sensing Actions Michael Thielscher Dresden
- Cited by 7 (1 self) – Add To MetaCart
-
The Fluent Calculus -- A Specification Language for Robots with Sensors in Nondeterministic, Concurrent, and Ramifying Environments
- , and Ramifying Environments MICHAEL THIELSCHER Department of Computer Science, Dresden University of Technology
- Cited by 5 (3 self) – Add To MetaCart
-
Modeling Actions with Ramifications in Nondeterministic, Concurrent, and Continuous Domains - And A Case Study
- --- And A Case Study Michael Thielscher Dresden University of Technology 01062 Dresden, Germany mit
- Cited by 7 (3 self) – Add To MetaCart
-
Pushing the Envelope: Programming Reasoning Agents
- Pushing the Envelope: Programming Reasoning Agents Michael Thielscher Department of Computer
- Cited by 3 (3 self) – Add To MetaCart
-
A Nonmonotonic Disputation-Based Semantics and Proof Procedure for Logic Programs
- A Nonmonotonic Disputation- Based Semantics and Proof Procedure for Logic Programs Michael
- Cited by 4 (1 self) – Add To MetaCart
-
What Is A Skeptical Proof?
- What Is A Skeptical Proof? Michael Thielscher FG Intellektik, FB Informatik, Technische
- Cited by 2 (2 self) – Add To MetaCart
-
Handling implicational and universal quantification constraints in flux
- Handling Implication and Universal Quantification Constraints in FLUX Michael Thielscher Dresden
- Cited by 1 (1 self) – Add To MetaCart
-
Controlling semi-automatic systems with FLUX. (Extended abstract
- Controlling Semi-Automatic Systems with FLUX Michael Thielscher Dresden University of Technology
- Cited by 1 (0 self) – Add To MetaCart
-
Programming of Reasoning and Planning Agents with FLUX
- Programming of Reasoning and Planning Agents with FLUX Michael Thielscher* Department of Computer
- Cited by 18 (4 self) – Add To MetaCart

