Michael Thielscher - Publications, H-index & Citations

Michael Thielscher

机构信息待补充

24H指数

177论文数

2.4K被引数

收录论文 10

发表时间

Game description language and dynamic epistemic logic compared

artificial intelligence review

IF4.6

2021-03-01

PREAI

Engesser, Thorsten; Mattmueller, Robert; Nebel, Bernhard; Thielscher, Michael

Automated verification of state sequence invariants in general game playing 一般游戏中状态序列不变量的自动验证

artificial intelligence review

IF4.6

2012-08-01

OAAI

Haufe, Sebastian; Schiffel, Stephan; Thielscher, Michael

A unifying action calculus

artificial intelligence review

IF4.6

2011-01-01

PREAI

Thielscher, Michael

Iterated belief revision, revised 迭代的信念修订，修订

artificial intelligence review

IF4.6

2007-01-01

PREAI

Jin, Yi; Thielscher, Michael

Human-inspired robots

IEEE INTELLIGENT SYSTEMS

IF6.1

2006-07-01

PREAI

Coradeschi, Silvia; Ishiguro, Hiroshi; Asada, Minoru; Shapiro, Stuart C.; Thielscher, Michael; Breazeal, Cynthia; Mataric, Maja J.; Ishida, Hiroshi

The Qualification Problem: A solution to the problem of anomalous models

artificial intelligence review

IF4.6

2001-09-01

OAAI

Thielscher, M

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

artificial intelligence review

IF4.6

1999-07-01

PREAI

Thielscher, M

Reasoning about actions: steady versus stabilizing state constraints

artificial intelligence review

IF4.6

1998-09-01

OAAI

Thielscher, M

Ramification and causality

artificial intelligence review

IF4.6

1997-01-01

105

PREAI

Thielscher, M

ON PREDICTION IN THEORIST

artificial intelligence review

IF4.6

1993-04-01

PREAI

THIELSCHER, M

研究方向