Concepedia

Michael Thielscher

MT

Statistics

Publications

44

Citations

1.7K

H-Index

22

Active since

1992

Affiliations

UNSW Sydney(Current)

Technische Universität Dresden

Intel (Germany)

Hochschule für Technik und Wirtschaft Dresden – University of Applied Sciences

Technische Universität Darmstadt

Michael Thielscher is an author at UNSW Sydney specializing in computing, computer science, and knowledge representation.

ORCID

Publications per year

1992–2021

44

Publications

44

Ramification and causality

Michael Thielscher · Artificial Intelligence · 1997 · 182 citations

FLUX: A logic programming method for reasoning agents

Michael Thielscher · Theory and Practice of Logic Programming · 2005 · 147 citations

, , +17

From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem

Michael Thielscher · Artificial Intelligence · 1999 · 140 citations

, , +16

Introduction to the Fluent Calculus.

Michael Thielscher · 1998 · 124 citations · Full text

, , +7

A General Game Description Language for Incomplete Information Games

Michael Thielscher · Proceedings of the AAAI Conference on Artificial Intelligence · 2010 · 120 citations · Full text

, , +10

1–5 of 44