Searching for authors named "Michael Thielscher" – sorted by Relevance.
58 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
