Michael Thielscher

Available identifiers

zbMath Open thielscher.michaelMaRDI QIDQ208502

List of research outcomes

Publication	Date of Publication	Type
Game description language and dynamic epistemic logic compared	2021-11-02	Paper
Perceptual context in cognitive hierarchies	2020-06-04	Paper
General Game Playing with Imperfect Information	2020-01-03	Paper
Skeptical query-answering in Constrained Default Logic	2019-04-29	Paper
https://portal.mardi4nfdi.de/entity/Q5282973	2017-07-18	Paper
https://portal.mardi4nfdi.de/entity/Q3455601	2015-12-11	Paper
Representing and reasoning about game strategies	2015-04-23	Paper
Simulation of Action Theories and an Application to General Game-Playing Robots	2015-02-04	Paper
Logical-epistemic foundations of general game descriptions	2014-06-19	Paper
General Game Playing	2014-05-15	Paper
A general first-order solution to the ramification problem with cycles	2014-04-17	Paper
Representing and Reasoning About the Rules of General Games With Imperfect Information	2014-03-24	Paper
Evaluating Answer Set Clause Learning for General Game Playing	2013-10-10	Paper
Implementing Belief Change in the Situation Calculus and an Application	2013-10-10	Paper
Automated verification of state sequence invariants in general game playing	2012-11-15	Paper
A Language for Default Reasoning about Actions	2012-07-23	Paper
ALPprolog – A new logic programming method for dynamic domains	2011-08-16	Paper
A unifying action calculus	2011-06-17	Paper
Translating General Game Descriptions into an Action Language	2011-05-19	Paper
A Multiagent Semantics for the Game Description Language	2010-10-06	Paper
Action Programming Languages	2010-07-28	Paper
KI 2003: Advances in Artificial Intelligence	2010-03-03	Paper
Putting ABox Updates into Action	2010-01-07	Paper
A Declarative Agent Programming Language Based on Action Theories	2010-01-07	Paper
Answer Set Programming for Single-Player Games in General Game Playing	2009-07-24	Paper
Iterated belief revision, revised	2009-07-09	Paper
Multi-Agent FLUX for the Gold Mining Domain (System Description)	2009-01-20	Paper
A Fluent Calculus Semantics for ADL with Plan Constraints	2008-10-27	Paper
Reinforcement Belief Revision	2008-10-09	Paper
Handling Implication and Universal Quantification Constraints in FLUX	2008-09-09	Paper
https://portal.mardi4nfdi.de/entity/Q3367333	2006-01-24	Paper
FLUX: A logic programming method for reasoning agents	2005-10-18	Paper
Reasoning robots. The art and science of programming robotic agents	2005-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4809156	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4475185	2004-08-09	Paper
https://portal.mardi4nfdi.de/entity/Q4470527	2004-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q4460684	2004-03-29	Paper
Ramification and causality	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4797434	2003-03-13	Paper
https://portal.mardi4nfdi.de/entity/Q4797441	2003-03-13	Paper
From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem	2002-07-24	Paper
The qualification problem: A solution to the problem of anomalous models	2002-07-24	Paper
https://portal.mardi4nfdi.de/entity/Q2767100	2002-01-28	Paper
The concurrent, continuous fluent calculus	2001-10-14	Paper
https://portal.mardi4nfdi.de/entity/Q4494328	2001-03-22	Paper
Challenges for action theories	2000-05-11	Paper
https://portal.mardi4nfdi.de/entity/Q4530473	2000-01-01	Paper
Agents in proactive environments	1999-06-28	Paper
Reasoning about actions: steady versus stabilizing state constraints	1999-01-12	Paper
Explicit and implicit indeterminism reasoning about uncertain and contradictory specifications of dynamic systems	1997-10-23	Paper
https://portal.mardi4nfdi.de/entity/Q4893671	1997-02-03	Paper
On the completeness of SLDENF-resolution	1997-01-27	Paper
Default reasoning by deductive planning	1996-07-14	Paper
On prediction in Theorist	1994-01-13	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Michael Thielscher