Selected Publiations

  2012

• Sebastian Haufe, Stephan Schiffel, Michael Thielscher. Automated Verification of State Sequence Invariants in General Game Playing. Artificial Intelligence (reference)
• Michael Schofield, Tiomthy Cerexhe, Michael Thielscher. HyperPlay: A Solution to General Game Playing with Imperfect Information. In: Proceedings of AAAI (reference)
• Ji Ruan, Michael Thielscher. Strategic and Epistemic Reasoning for the Game Description Language GDL-II. In: Proceedings of ECAI (reference)
• Sebastian Haufe and Michael Thielscher. Automated Verification of Epistemic Properties for General Game Playing. In: Proceedings of KR (reference)
• Hannes Strass and Michael Thielscher. A Language for Default Reasoning about Actions. Correct Reasoning: Essays in Honor of Vladimir Lifschitz (reference)
• Gerhard Brewka, Hannes Strass, Michael Thielscher. Declarative Strategies for Agents with Incomplete Knowledge. In: Proceedings of NMR (reference)
• Ji Ruan and Michael Thielscher. Model Checking Games in GDL-II. In: Proceedings of ECAI Computer and Games Workshop (reference)

  2011

• Michael Thielscher. A Unifying Action Calculus. Artificial Intelligence (reference)
• Conrad Drescher, Michael Thielscher. ALPprolog--A New Logic Programming Method for Dynamic Domains. Theory and Practice of Logic Programming (ICLP special issue) (reference)
• Michael Thielscher. The General Game Playing Description Language is Universal. In: Proceedings of IJCAI (reference)
• Ji Ruan, Michael Thielscher. The Epistemic Logic Behind the Game Description Language. In: Proceedings of AAAI (reference)
• Stephan Schiffel, Michael Thielscher. Reasoning About General Games Described in GDL-II. In: Proceedings of AAAI (reference)
• Michael Thielscher. General Game Playing in AI Research and Education. In: Proceedings of KI (reference)
• Ji Ruan, Michael Thielscher. A Logic for Knowledge Flow in Social Networks. In: Proceedings of AI (reference)
• Michael Thielscher. Translating General Game Descriptions into an Action Language. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning: Essays in Honor of Michael Gelfond (reference)
• Sebastian Haufe, Daniel Michulke, Stephan Schiffel, Michael Thielscher. Knowledge-based general game playing. Künstliche Intelligenz (reference)
• Michael Thielscher. GDL-II. Künstliche Intelligenz (reference)

  2010

• Michael Thielscher. A General Game Description Language for Incomplete Information Games. In: Proceedings of AAAI (reference)
• Michael Thielscher, Sebastian Voigt. A Temporal Proof System for General Game Playing. In: Proceedings of AAAI (reference)
• Michael Thielscher. Integrating Action Calculi and AgentSpeak: Closing the Gap. In: Proceedings of KR (reference)
• Ringo Baumann, Gerhard Brewka, Hannes Strass, Michael Thielscher, Vadim Zaslawski. State Defaults and Ramifications in the Unifying Action Calculus. In: Proceedings of KR (reference)
• Sebastian Haufe, Michael Thielscher. Pushing the Envelope: General Game Players Prove Theorems. In: Proceedings of AI (reference)
• Stephan Schiffel, Michael Thielscher. A Multiagent Semantics for the Game Description Language. In: Agents and Artificial Intelligence (reference)
• Michael Thielscher, Dongmo Zhang. From General Game Descriptions to a Market Specification Language for General Trading Agents. In: Proceedings of TADA (reference)
• Yves Martin, Michael Thielscher. Integrating Reasoning About Actions and Bayesian Networks. In: Proceedings of ICAART (reference)
• Hannes Strass, Michael Thielscher. A General First-Order Solution to the Ramification Problem. In: Proceedings of NMR (reference)

  2009

• Stephan Schiffel, Michael Thielscher. Automated Theorem Proving for General Game Playing. In: Proceedings of IJCAI (reference)
• Michael Thielscher. Answer Set Programming for Single-Player Games in General Game Playing. In: Proceedings of ICLP (reference)
• Hannes Strass, Michael Thielscher. Simple Default Reasoning in Theories of Action. In: Proceedings of AI (reference)
• Dengji Zhao, Stephan Schiffel, Michael Thielscher. Decomposition of Multi-Player Games. In: Proceedings of AI (reference)
• Conrad Drescher, Stephan Schiffel, Michael Thielscher. A Declarative Agent Programming Language Based on Action Theories. In: Proceedings of FroCoS (reference)
• Conrad Drescher, Hongkai Liu, Franz Baader, Steffen Guhlemann, Uwe Petersohn, Peter Steinke, Michael Thielscher. Putting ABox Updates into Action. In: Proceedings of FroCoS (reference)
• Hannes Strass, Michael Thielscher. On Defaults in Action Theories. In: Proceedings of KI (reference)
• Hannes Strass, Michael Thielscher. Defaults in Action: Non-monotonic Reasoning About States in Action Calculi. In: Proceedings of CommonSense (reference)
• Daniel Michulke, Michael Thielscher. Neural Networks for State Evaluation in General Game Playing. In: Proceedings of ECML (reference)

  2008

• Yi Jin, Michael Thielscher. Reinforcement Belief Revision. Journal of Logic and Computation (reference)
• Conrad Drescher, Michael Thielscher. A Fluent Calculus Semantics for ADL with Plan Constraints. In: Proceedings of JELIA (reference)
• Michael Thielscher. Action Programming Languages. Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan & Claypool
• Stephan Schiffel, Michael Thielscher, Doan Thu Trang. An agent team based on FLUX for the ProMAS contest 2007. In: Proceedings of ProMaS (reference)

  2007

• Yi Jin, Michael Thielscher. Iterated Belief Revision, Revised. Artificial Intelligence (reference)
• Stephan Schiffel, Michael Thielscher. Fluxplayer: A Successful General Game Player. In: Proceedings of AAAI (reference)
• Yi Jin, Michael Thielscher, Dongmo Zhang. Mutual Belief Revision: Semantics and Computation. In: Proceedings of AAAI (reference)
• Conrad Drescher, Michael Thielscher. Integrating Action Calculi and Description Logics. In: Proceedings of KI (reference)
• Stephan Schiffel, Michael Thielscher. Multi-Agent FLUX for the Gold Mining Domain (System Description). In: Computational Logic in Multi-Agent Systems (CLIMA) (reference)

  2006

• Silvia Coradeschi etal.. Human-Inspired Robots IEEE Intelligent Systems (reference)
• Stephan Schiffel, Michael Thielscher. Reconciling Situation Calculus and Fluent Calculus. In: Proceedings of AAAI (reference)
• Michael Thielscher, Thomas Witkowski. The Features-and-Fluents Semantics for the Fluent Calculus. In: Proceedings of KR (reference)

  2005

• Michael Thielscher. FLUX: A Logic Programming Method for Reasoning Agents Theory and Practice of Logic Programming (reference)
• Yi Jin, Michael Thielscher. Iterated Belief Revision, Revised. In: Proceedings of IJCAI (reference)
• Michael Thielscher. Handling Implicational and Universal Quantification Constraints in FLUX. In: Proceedings of CP (reference)
• Hendrik Sukbuch, Michael Thielscher. Strategy Learning for Reasoning Agents. In: Proceedings of ECML (reference)
• Michael Thielscher. Reasoning Robots. Applied Logic Series 33, Springer

  2004

• Yi Jin, Michael Thielscher. Representing Beliefs in the Fluent Calculus. In: Proceedings of ECAI (reference)
• Yves Martin, Iman Narasamdya, Michael Thielscher. Knowledge of Other Agents and Communicative Actions in the Fluent Calculus. In: Proceedings of KR and ICAPS (reference)

  2003

• Matthias Fichtner, Axel Großmann, Michael Thielscher. Intelligent Execution Monitoring in Dynamic Environments. Fundamenta Informaticae (reference)
• Michael Thielscher. Controlling Semi-Automatic Systems with FLUX. In: Proceedings of ICLP (reference)
• Michael Thielscher. Logic-Based Agents and the Frame Problem: A Case for Progression. In: Proceedings of FOL (reference)
• Ozan Kahramanogullari, Michael Thielscher. A Formal Assessment Result for Fluent Calculus Using the Action Description Language A_k. In: Proceedings of KI (reference)

  2002

• Michael Thielscher. Reasoning about actions with CHRs and Finite Domain Constraints. In: Proceedings of ICLP (reference)
• Michael Thielscher. Programming of Reasoning and Planning Agents with FLUX. In: Proceedings of KR (reference)

  2001

• Michael Thielscher. The Qualification Problem: A Solution to the Problem of Anomalous Models. Artificial Intelligence (reference)
• Michael Thielscher. Planning with Noisy Actions (Preliminary Report). In: Proceedings of AI (reference)
• Michael Thielscher. Inferring Implicit State Knowledge and Plans with Sensing Actions. In: Proceedings of KI (reference)
• Yves Martin, Michael Thielscher. Addressing the Qualification Problem in FLUX. In: Proceedings of KI (reference)

  2000

• Michael Thielscher. The Concurrent, Continuous Fluent Calculus. Studia Logica (reference)
• Hans-Peter Störr, Michael Thielscher. A New Equational Foundation for the Fluent Calculus. In: Proceedings of CL (reference)
• Michael Thielscher. Modeling Actions with Ramifications in Nondeterministic, Concurrent, and Continuous Domains - And A Case Study. In: Proceedings of AAAI (reference)
• Michael Thielscher. Representing the Knowledge of a Robot. In: Proceedings of KR (reference)

  1999

• Michael Thielscher. From Situation Calculus to Fluent Calculus: State Update Axioms as a Solution to the Inferential Frame Problem. Artificial Intelligence (reference)
• Michael Thielscher. A Theory of First-Order Counterfactual Reasoning. In: Proceedings of KI (reference)
• Rolf Nossum, Michael Thielscher. Counterfactual Reasoning by Means of a Calculus of Narrative Context. In: Proceedings of CONTEXT (reference)

  1998

• Michael Thielscher. Reasoning About Actions: Steady Versus Stabilizing State Constraints. Artificial Intelligence (reference)
• Rolf Nossum, Dov Gabbay, Michael Thielscher. Agents in Proactive Environments. Journal of Logic and Computation (reference)
• Michael Thielscher. Introduction to the Fluent Calculus. Electronic Transactions on Artificial Intelligence (reference)
• Michael Thielscher. Towards State Update Axioms: Reifying Successor State Axioms. In: Proceedings of JELIA (reference)
• Michael Thielscher. How (Not) To Minimize Events. In: Proceedings of KR (reference)

  1997

• Michael Thielscher. Ramification and Causality. Artificial Intelligence (reference)
• Sven-Erik Bornscheuer, Michael Thielscher. Explicit and Implicit Indeterminism: Reasoning about Uncertain and Contradictory Specifications of Dynamic Systems. Journal of Logic Programming (reference)
• Michael Thielscher. A Theory of Dynamic Diagnosis. Electronic Transactions on Artificial Intelligence (reference)
• Dov Gabbay, Rolf Nossum, Michael Thielscher. Agents in Proactive Environments. In: Proceedings of KI (reference)
• Michael Thielscher. Qualified Ramifications. In: Proceedings of AAAI (reference)
• Michael Thielscher. Challenges for Action Theories (Extended Abstract). In: Proceedings of AIICSR (reference)

  1996

• Michael Thielscher. On the Completeness of SLDENF-Resolution. Journal of Automated Reasoning (reference)
• Sven-Erik Bornscheuer, Michael Thielscher. Representing Concurrent Actions and Solving Conflicts. Journal of the Interest Group in Pure and Applied Logics (reference)
• Michael Thielscher. Causality and the Qualification Problem. In: Proceedings of KR (reference)
• Michael Thielscher. A Nonmonotonic Disputation-Based Semantics and Proof Procedure for Logic Programs. In: Proceedings of JICSLP (reference)
• Christoph S. Herrmann, Michael Thielscher. Reasoning about Continuous Processes. In: Proceedings of AAAI (reference)
• Torsten Schaub, Michael Thielscher. Skeptical Query-Answering in Constrained Default Logic. In: Proceedings of FAPR (reference)
• Kerstin Eder, Steffen Hölldobler, Michael Thielscher. An Abstract Machine for Reasoning about Situations, Actions, and Causality. In: Proceedings of ELP (reference)
• Hans-Hermann Thielscher, Tatjana Hoppe, Michael Thielscher. Etho-physiological investigations in calves in a suckler cow herd on deep litter and in strawless livestock housing. Archives of Animal Breeding (reference)

  1995

• Michael Thielscher, Torsten Schaub. Default Reasoning by Deductive Planning. Journal of Automated Reasoning (reference)
• Steffen Hölldobler, Michael Thielscher. Computing Change and Specificity with Equational Logic Programs. Annals of Mathematics and Artificial Intelligence (reference)
• André de Waal, Michael Thielscher. Solving Deductive Planning Problems Using Program Analysis and Transformation. In: Proceedings of LOPSTR (reference)
• Michael Thielscher. What Is A Skeptical Proof? In: Proceedings of KI (reference)
• Michael Thielscher. The Logic of Dynamic Systems. In: Proceedings of IJCAI (reference)
• Michael Thielscher. Computing Ramifications by Postprocessing. In: Proceedings of IJCAI (reference)
• Hans-Hermann Thielscher, Tatjana Hoppe, Michael Thielscher. Acid-base balance in the blood of calves of different breeds in a suckler cow herd on deep litter and strawless stable floor. Berliner und Münchner Tierärztliche Wochenschrift (reference)

  1994

• Wolfgang Bibel, Michael Thielscher. Deductive Plan Generation. In: Proceedings of AII (reference)
• Sven-Erik Bornscheuer, Michael Thielscher. Representing Concurrent Actions and Solving Conflicts. In: Proceedings of KI (reference)
• Michael Thielscher. An Analysis of Systematic Approaches to Reasoning about Actions and Change. In: Proceedings of AIMSA (reference)
• Steffen Hölldobler, Michael Thielscher. On the adequateness of AI-Systems. In: Proceedings of AIICSR (reference)
• Michael Thielscher. Representing Actions in Equational Logic Programming. In: Proceedings of ICLP (reference)
• H.-H. Thielscher, M. Kretschmer, M. Thielscher. Magnesium and calcium levels in blood plasma of pigs of different breeds and fitness. Monatshefte für Veterinärmedizin (reference)

  1993

• Michael Thielscher. On prediction in Theorist. Artificial Intelligence (reference)
• Stefan Brüning, Michael Thielscher, Wolfgang Bibel. Comment on Ammon's Note. Artificial Intelligence (reference)
• Steffen Hölldobler, Michael Thielscher. Actions and Specificity. In: Proceedings of ILPS (reference)
• Gerd Große, Steffen Hölldobler, Josef Schneeberger, Ute Sigmund, Michael Thielscher. Equational Logic Programming, Actions, and Change. In: Proceedings of IJCSLP (reference)