Michael Thielscher

According to our database, Michael Thielscher authored at least 154 papers between 1992 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Solving Two-player Games with QBF Solvers in General Game Playing.

Yifan He, Abdallah Saffidine, Michael Thielscher

Proceedings of the 23rd International Conference on Autonomous Agents and Multiagent Systems, 2024

2023

Online Learning and Planning in Cognitive Hierarchies.

Bernhard Hengst, Maurice Pagnucco, David Rajaratnam, Claude Sammut, Michael Thielscher

CoRR, 2023

General Game Playing With State-Independent Communication.

Sean Zammit, Michael Thielscher

Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023

On Optimal Strategies for Wordle and General Guessing Games.

Michael Cunanan, Michael Thielscher

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

MCTS with Dynamic Depth Minimax.

James Ji, Michael Thielscher

Proceedings of the Advances in Computer Games - 18th International Conference, 2023

2022

Hidden Information General Game Playing with Deep Learning and Search.

Zachary Partridge, Michael Thielscher

Proceedings of the PRICAI 2022: Trends in Artificial Intelligence, 2022

Knowledge Transfer for Deep Reinforcement Agents in General Game Playing.

Cameron McEwan, Michael Thielscher

Proceedings of the AI 2021: Advances in Artificial Intelligence, 2022

2021

Game description language and dynamic epistemic logic compared.

Thorsten Engesser, Robert Mattmüller, Bernhard Nebel, Michael Thielscher

Artif. Intell., 2021

Representing and Reasoning with Event Models for Epistemic Planning.

David Rajaratnam, Michael Thielscher

Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning, 2021

2020

Exploring a Learning Architecture for General Game Playing.

Alvaro Gunawan, Ji Ruan, Michael Thielscher, Ajit Narayanan

Proceedings of the AI 2020: Advances in Artificial Intelligence, 2020

Deep Reinforcement Learning for General Game Playing.

Adrian Goldwaser, Michael Thielscher

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

Universelle Spielprogramme.

Michael Thielscher

Proceedings of the Handbuch der Künstlichen Intelligenz, 6. Auflage, 2020

2019

General Game Playing with Imperfect Information.

Michael John Schofield, Michael Thielscher

J. Artif. Intell. Res., 2019

Encoding Epistemic Strategies for General Game Playing.

Shawn Manuel, David Rajaratnam, Michael Thielscher

Proceedings of the PRICAI 2019: Trends in Artificial Intelligence, 2019

Perceptual Context in Cognitive Hierarchies.

Bernhard Hengst, Maurice Pagnucco, David Rajaratnam, Claude Sammut, Michael Thielscher

Proceedings of the Description Logic, Theory Combination, and All That, 2019

2018

Iterative Tree Search in General Game Playing with Incomplete Information.

Armin Chitizadeh, Michael Thielscher

Proceedings of the Computer Games - 7th Workshop, 2018

General Language Evolution in General Game Playing.

Armin Chitizadeh, Michael Thielscher

Proceedings of the AI 2018: Advances in Artificial Intelligence, 2018

2017

Reports of the Workshops of the Thirty-First AAAI Conference on Artificial Intelligence.

Monica Anderson, Roman Barták, John S. Brownstein, David L. Buckeridge, Hoda Eldardiry, Christopher W. Geib, Maria L. Gini, Aaron Isaksen, Sarah Keren, Robert Laddaga, Viliam Lisý, Rodney Martin, David R. Martinez, Martin Michalowski, Loizos Michael, Reuth Mirsky, Thanh Hai Nguyen, Michael J. Paul, Enrico Pontelli, Scott Sanner, Arash Shaban-Nejad, Arunesh Sinha, Shirin Sohrabi, Kumar Sricharan, Biplav Srivastava, Mark Stefik, William W. Streilein, Nathan R. Sturtevant, Kartik Talamadupula, Michael Thielscher, Julian Togelius, Tran Cao Son, Long Tran-Thanh, Neal Wagner, Byron C. Wallace, Szymon Wilk, Jichen Zhu

AI Mag., 2017

GDL-III: A Description Language for Epistemic General Game Playing.

Michael Thielscher

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

The Efficiency of the HyperPlay Technique Over Random Sampling.

Michael John Schofield, Michael Thielscher

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Sampling-Based Belief Revision.

Michael Thielscher

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

A Framework for Integrating Symbolic and Sub-Symbolic Representations.

Keith Clark, Bernhard Hengst, Maurice Pagnucco, David Rajaratnam, Peter Robinson, Claude Sammut, Michael Thielscher

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

GDL-III: A Proposal to Extend the Game Description Language to General Epistemic Games.

Michael Thielscher

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Composability in Cognitive Hierarchies.

David Rajaratnam, Bernhard Hengst, Maurice Pagnucco, Claude Sammut, Michael Thielscher

Proceedings of the AI 2016: Advances in Artificial Intelligence, 2016

The Scalability of the HyperPlay Technique for Imperfect-Information Games.

Michael John Schofield, Michael Thielscher

Proceedings of the Computer Poker and Imperfect Information Games, 2016

Nested Monte Carlo Search for Two-Player Games.

Tristan Cazenave, Abdallah Saffidine, Michael John Schofield, Michael Thielscher

Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015

Representing and Reasoning about Game Strategies.

Dongmo Zhang, Michael Thielscher

J. Philos. Log., 2015

A Summary of the Twenty-Ninth AAAI Conference on Artificial Intelligence.

Robert Morris, Blai Bonet, Marc Cavazza, Marie desJardins, Ariel Felner, Nick Hawes, Brad Knox, Sven Koenig, George Dimitri Konidaris, Jérôme Lang, Carlos Linares López, Daniele Magazzeni, Amy McGovern, Sriraam Natarajan, Nathan R. Sturtevant, Michael Thielscher, William Yeoh, Sebastian Sardiña, Kiri Wagstaff

AI Mag., 2015

Execution Monitoring as Meta-Games for General Game-Playing Robots.

David Rajaratnam, Michael Thielscher

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Simulation of Action Theories and an Application to General Game-Playing Robots.

Michael Thielscher

Proceedings of the Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015

A Logic for Reasoning About Game Strategies.

Dongmo Zhang, Michael Thielscher

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

Lifting Model Sampling for General Game Playing to Incomplete-Information Models.

Michael John Schofield, Michael Thielscher

Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014

General Game Playing

Michael R. Genesereth, Michael Thielscher

Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan & Claypool Publishers, ISBN: 978-3-031-01569-4, 2014

Logical-Epistemic Foundations of General Game Descriptions.

Ji Ruan, Michael Thielscher

Stud Logica, 2014

Representing and Reasoning About the Rules of General Games With Imperfect Information.

Stephan Schiffel, Michael Thielscher

J. Artif. Intell. Res., 2014

Online Agent Logic Programming with oClingo.

Timothy Joseph Cerexhe, Martin Gebser, Michael Thielscher

Proceedings of the PRICAI 2014: Trends in Artificial Intelligence, 2014

Forgetting in Action.

David Rajaratnam, Hector J. Levesque, Maurice Pagnucco, Michael Thielscher

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fourteenth International Conference, 2014

A Systematic Solution to the (De-)Composition Problem in General Game Playing.

Timothy Joseph Cerexhe, David Rajaratnam, Abdallah Saffidine, Michael Thielscher

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Solving the Inferential Frame Problem in the General Game Description Language.

Javier Romero Davila, Abdallah Saffidine, Michael Thielscher

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

A general first-order solution to the ramification problem with cycles.

Hannes Strass, Michael Thielscher

J. Appl. Log., 2013

Implementing Belief Change in the Situation Calculus and an Application.

Maurice Pagnucco, David Rajaratnam, Hannes Strass, Michael Thielscher

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Evaluating Answer Set Clause Learning for General Game Playing.

Timothy Joseph Cerexhe, Orkunt Sabuncu, Michael Thielscher

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Towards General Game-Playing Robots: Models, Architecture and Game Controller.

David Rajaratnam, Michael Thielscher

Proceedings of the AI 2013: Advances in Artificial Intelligence, 2013

Model Checking for Reasoning about Incomplete Information Games.

Xiaowei Huang, Ji Ruan, Michael Thielscher

Proceedings of the AI 2013: Advances in Artificial Intelligence, 2013

Filtering With Logic Programs and Its Application to General Game Playing.

Michael Thielscher

Proceedings of the Twenty-Seventh AAAI Conference on Artificial Intelligence, 2013

Universelle Spielprogramme.

Michael Thielscher

Proceedings of the Handbuch der Künstlichen Intelligenz, 5. Auflage, 2013

2012

Automated verification of state sequence invariants in general game playing.

Sebastian Haufe, Stephan Schiffel, Michael Thielscher

Artif. Intell., 2012

Automated Verification of Epistemic Properties for General Game Playing.

Sebastian Haufe, Michael Thielscher

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

Strategic and Epistemic Reasoning for the Game Description Language GDL-II.

Ji Ruan, Michael Thielscher

Proceedings of the ECAI 2012, 2012

A Language for Default Reasoning about Actions.

Hannes Strass, Michael Thielscher

Proceedings of the Correct Reasoning, 2012

HyperPlay: A Solution to General Game Playing with Imperfect Information.

Michael John Schofield, Timothy Joseph Cerexhe, Michael Thielscher

Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, 2012

2011

ALPprolog - A new logic programming method for dynamic domains.

Conrad Drescher, Michael Thielscher

Theory Pract. Log. Program., 2011

GDL-II.

Michael Thielscher

Künstliche Intell., 2011

Special Issue on General Game Playing.

Michael Thielscher

Künstliche Intell., 2011

Knowledge-Based General Game Playing.

Sebastian Haufe, Daniel Michulke, Stephan Schiffel, Michael Thielscher

Künstliche Intell., 2011

A unifying action calculus.

Michael Thielscher

Artif. Intell., 2011

General Game Playing in AI Research and Education.

Michael Thielscher

Proceedings of the KI 2011: Advances in Artificial Intelligence, 2011

The General Game Playing Description Language Is Universal.

Michael Thielscher

Proceedings of the IJCAI 2011, 2011

Translating General Game Descriptions into an Action Language.

Michael Thielscher

Proceedings of the Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning, 2011

A Logic for Knowledge Flow in Social Networks.

Ji Ruan, Michael Thielscher

Proceedings of the AI 2011: Advances in Artificial Intelligence, 2011

Reasoning About General Games Described in GDL-II.

Stephan Schiffel, Michael Thielscher

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

The Epistemic Logic Behind the Game Description Language.

Ji Ruan, Michael Thielscher

Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence, 2011

How to Plan When Being Deliberately Misled.

Maurice Pagnucco, David Rajaratnam, Hannes Strass, Michael Thielscher

Proceedings of the Automated Action Planning for Autonomous Mobile Robots, 2011

2010

Default Reasoning in Action Domains with Conditional, Non-Local Effect Actions.

Hannes Strass, Michael Thielscher

Proceedings of the Short papers for 17th International Conference on Logic for Programming, 2010

Integrating Action Calculi and AgentSpeak: Closing the Gap.

Michael Thielscher

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

State Defaults and Ramifications in the Unifying Action Calculus.

Ringo Baumann, Gerhard Brewka, Hannes Strass, Michael Thielscher, Vadim Zaslawski

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Integrating Reasoning about Actions and Bayesian Networks.

Yves Martin, Michael Thielscher

Proceedings of the ICAART 2010 - Proceedings of the International Conference on Agents and Artificial Intelligence, Volume 1, 2010

Pushing the Envelope: General Game Players Prove Theorems.

Sebastian Haufe, Michael Thielscher

Proceedings of the AI 2010: Advances in Artificial Intelligence, 2010

A Temporal Proof System for General Game Playing.

Michael Thielscher, Sebastian Voigt

Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

A General Game Description Language for Incomplete Information Games.

Michael Thielscher

Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

2009

Neural Networks for State Evaluation in General Game Playing.

Daniel Michulke, Michael Thielscher

Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2009

On Defaults in Action Theories.

Hannes Strass, Michael Thielscher

Proceedings of the KI 2009: Advances in Artificial Intelligence, 2009

Automated Theorem Proving for General Game Playing.

Stephan Schiffel, Michael Thielscher

Proceedings of the IJCAI 2009, 2009

Answer Set Programming for Single-Player Games in General Game Playing.

Michael Thielscher

Proceedings of the Logic Programming, 25th International Conference, 2009

A Multiagent Semantics for the Game Description Language.

Stephan Schiffel, Michael Thielscher

Proceedings of the Agents and Artificial Intelligence - International Conference, 2009

Specifying Multiagent Environments Systems in the Game Description Language.

Stephan Schiffel, Michael Thielscher

Proceedings of the ICAART 2009 - Proceedings of the International Conference on Agents and Artificial Intelligence, Porto, Portugal, January 19, 2009

A Declarative Agent Programming Language Based on Action Theories.

Conrad Drescher, Stephan Schiffel, Michael Thielscher

Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009

Putting ABox Updates into Action.

Conrad Drescher, Hongkai Liu, Franz Baader, Steffen Guhlemann, Uwe Petersohn, Peter Steinke, Michael Thielscher

Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009

Decomposition of Multi-player Games.

Dengji Zhao, Stephan Schiffel, Michael Thielscher

Proceedings of the AI 2009: Advances in Artificial Intelligence, 2009

Simple Default Reasoning in Theories of Action.

Hannes Strass, Michael Thielscher

Proceedings of the AI 2009: Advances in Artificial Intelligence, 2009

From General Game Descriptions to a Market Specification Language for General Trading Agents.

Michael Thielscher, Dongmo Zhang

Proceedings of the Agent-Mediated Electronic Commerce. Designing Trading Strategies and Mechanisms for Electronic Markets, 2009

2008

Action Programming Languages

Michael Thielscher

Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan & Claypool Publishers, ISBN: 978-3-031-01547-2, 2008

Reinforcement Belief Revision.

Yi Jin, Michael Thielscher

J. Log. Comput., 2008

A Fluent Calculus Semantics for ADL with Plan Constraints.

Conrad Drescher, Michael Thielscher

Proceedings of the Logics in Artificial Intelligence, 11th European Conference, 2008

2007

Preface.

Sheila A. McIlraith, Pavlos Peppas, Michael Thielscher

J. Log. Comput., 2007

Iterated belief revision, revised.

Yi Jin, Michael Thielscher

Artif. Intell., 2007

An Agent Team Based on FLUX for the ProMAS Contest 2007.

Stephan Schiffel, Michael Thielscher, Doan Thu Trang

Proceedings of the Programming Multi-Agent Systems, 5th International Workshop, 2007

Integrating Action Calculi and Description Logics.

Conrad Drescher, Michael Thielscher

Proceedings of the KI 2007: Advances in Artificial Intelligence, 2007

Fluxplayer: A Successful General Game Player.

Stephan Schiffel, Michael Thielscher

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

Mutual Belief Revision: Semantics and Computation.

Yi Jin, Michael Thielscher, Dongmo Zhang

Proceedings of the Twenty-Second AAAI Conference on Artificial Intelligence, 2007

2006

General Game Playing.

Michael Thielscher

Künstliche Intell., 2006

Human-Inspired Robots.

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

IEEE Intell. Syst., 2006

Reports on the Twenty-First National Conference on Artificial Intelligence (AAAI-06) Workshop Program.

Wolfgang Achtner, Esma Aïmeur, Sarabjot Singh Anand, Douglas E. Appelt, Naveen Ashish, Tiffany Barnes, Joseph E. Beck, M. Bernardine Dias, Prashant Doshi, Chris Drummond, William Elazmeh, Ariel Felner, Dayne Freitag, Hector Geffner, Christopher W. Geib, Richard Goodwin, Robert C. Holte, Frank Hutter, Fair Isaac, Nathalie Japkowicz, Gal A. Kaminka, Sven Koenig, Michail G. Lagoudakis, David B. Leake, Lundy Lewis, Hugo Liu, Ted Metzler, Rada Mihalcea, Bamshad Mobasher, Pascal Poupart, David V. Pynadath, Thomas Roth-Berghofer, Wheeler Ruml, Stefan Schulz, Sven Schwarz, Stephanie Seneff, Amit P. Sheth, Ron Sun, Michael Thielscher, Afzal Upal, Jason D. Williams, Steve J. Young, Dmitry Zelenko

AI Mag., 2006

The Features-and-Fluents Semantics for the Fluent Calculus.

Michael Thielscher, Thomas Witkowski

Proceedings of the Proceedings, 2006

Multi-Agent FLUX for the Gold Mining Domain (System Description).

Stephan Schiffel, Michael Thielscher

Proceedings of the Computational Logic in Multi-Agent Systems, 7th International Workshop, 2006

Reconciling Situation Calculus and Fluent Calculus.

Stephan Schiffel, Michael Thielscher

Proceedings of the Proceedings, 2006

2005

FLUX: A logic programming method for reasoning agents.

Michael Thielscher

Theory Pract. Log. Program., 2005

Strategy Learning for Reasoning Agents.

Hendrik Skubch, Michael Thielscher

Proceedings of the Machine Learning: ECML 2005, 2005

Actions and Belief Revision: A Computational Approach.

Yi Jin, Michael Thielscher

Proceedings of the Belief Change in Rational Agents: Perspectives from Artificial Intelligence, 2005

Handling Implication and Universal Quantification Constraints in FLUX.

Michael Thielscher

Proceedings of the Principles and Practice of Constraint Programming, 2005

Reasoning robots - the art and science of programming robotic agents.

Michael Thielscher

Applied logic series 33, Springer, ISBN: 978-1-4020-3068-0, 2005

2004

Knowledge of Other Agents and Communicative Actions in the Fluent Calculus.

Yves Martin, Iman Narasamdya, Michael Thielscher

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

Representing Beliefs in the Fluent Calculus.

Yi Jin, Michael Thielscher

Proceedings of the 16th Eureopean Conference on Artificial Intelligence, 2004

2003

Intelligent Execution Monitoring in Dynamic Environments.

Matthias Fichtner, Axel Großmann, Michael Thielscher

Fundam. Informaticae, 2003

A Formal Assessment Result for Fluent Calculus Using the Action Description Language A_k.

Ozan Kahramanogullari, Michael Thielscher

Proceedings of the KI 2003: Advances in Artificial Intelligence, 2003

Controlling Semi-automatic Systems with FLUX.

Michael Thielscher

Proceedings of the Logic Programming, 19th International Conference, 2003

2002

Reasoning about Actions with CHRs and Finite Domain Constraints.

Michael Thielscher

Proceedings of the Logic Programming, 18th International Conference, 2002

2001

The Concurrent, Continuous Fluent Calculus.

Michael Thielscher

Stud Logica, 2001

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

Michael Thielscher

Artif. Intell., 2001

Inferring Implicit State Knowledge and Plans with Sensing Actions.

Michael Thielscher

Proceedings of the KI 2001: Advances in Artificial Intelligence, 2001

Addressing the Qualification Problem in FLUX.

Yves Martin, Michael Thielscher

Proceedings of the KI 2001: Advances in Artificial Intelligence, 2001

Planning with Noisy Actions.

Michael Thielscher

Proceedings of the AI 2001: Advances in Artificial Intelligence, 2001

2000

Representing the Knowledge of a Robot.

Michael Thielscher

Proceedings of the KR 2000, 2000

A New Equational Foundation for the Fluent Calculus.

Hans-Peter Störr, Michael Thielscher

Proceedings of the Computational Logic, 2000

Nondeterministic Actions in the Fluent Calculus: Disjunctive State Update Axioms.

Michael Thielscher

Proceedings of the Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday), 2000

Modeling Actions with Ramifications in Nondeterministic, Concurrent, and Continuous Domains - and a Case Study.

Michael Thielscher

Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30, 2000

Challenges for Action Theories

Michael Thielscher

Lecture Notes in Computer Science 1775, Springer, ISBN: 3-540-67455-1, 2000

1999

Agents in Proactive Environments.

Dov M. Gabbay, Rolf Nossum, Michael Thielscher

J. Log. Comput., 1999

From Situation Calculus to Fluent Calculus: State Update Axioms as a Solution to the Inferential Frame Problem.

Michael Thielscher

Artif. Intell., 1999

A Theory of First-Order Counterfactual Reasoning.

Michael Thielscher

Proceedings of the KI-99: Advances in Artificial Intelligence, 1999

Counterfactual Reasoning by Means of a Calculus of Narrative Context.

Rolf Nossum, Michael Thielscher

Proceedings of the Modeling and Using Context, 1999

1998

Introduction to the Fluent Calculus.

Michael Thielscher

Electron. Trans. Artif. Intell., 1998

Reasoning About Actions: Steady Versus Stabilizing State Constraints.

Michael Thielscher

Artif. Intell., 1998

How (Not) To Minimize Events.

Michael Thielscher

Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), 1998

Towards State Update Axioms: Reifying Successor State Axioms.

Michael Thielscher

Proceedings of the Logics in Artificial Intelligence, European Workshop, 1998

1997

Explicit and Implicit Indeterminism: Reasoning About Uncertain and Contradictory Specifications of Dynamic Systems.

Sven-Erik Bornscheuer, Michael Thielscher

J. Log. Program., 1997

A Theory of Dynamic Diagnosis. Electronic Transactions on Artificial Intelligence.

Michael Thielscher

Electron. Trans. Artif. Intell., 1997

Ramification and Causality.

Michael Thielscher

Artif. Intell., 1997

Qualified Ramifications.

Michael Thielscher

Proceedings of the Fourteenth National Conference on Artificial Intelligence and Ninth Innovative Applications of Artificial Intelligence Conference, 1997

Challenges for action theories - solving the ramification and qualification problem.

Michael Thielscher

, 1997

1996

On the Completeness of SLDENF-Resolution.

Michael Thielscher

J. Autom. Reason., 1996

Representing Concurrent Actions and Solving Conflicts.

Sven-Erik Bornscheuer, Michael Thielscher

Log. J. IGPL, 1996

Causality and the Qualification Problem.

Michael Thielscher

Proceedings of the Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'96), 1996

A Nonmonotonic Disputation-Based Semantics and Proof Procedure for Logic Programs.

Michael Thielscher

Proceedings of the Logic Programming, 1996

Skeptical Query-Answering in Constrained Default Logic.

Torsten Schaub, Michael Thielscher

Proceedings of the Practical Reasoning, 1996

An Abstract Machine for Reasoning about Situations, Actions, and Causality.

Kerstin Eder, Steffen Hölldobler, Michael Thielscher

Proceedings of the Extensions of Logic Programming, 5th International Workshop, 1996

Reasoning about Continuous Processes.

Christoph S. Herrmann, Michael Thielscher

Proceedings of the Thirteenth National Conference on Artificial Intelligence and Eighth Innovative Applications of Artificial Intelligence Conference, 1996

1995

Default Reasoning by Deductive Planning.

Michael Thielscher, Torsten Schaub

J. Autom. Reason., 1995

Computing change and specificity with equational logic programs.

Steffen Hölldobler, Michael Thielscher

Ann. Math. Artif. Intell., 1995

A Resource-Oriented Deductive Approach Towards Hierarchical Planning.

Kerstin Eder, Steffen Hölldobler, Michael Thielscher

Proceedings of the 11. Workshop Logische Programmierung, 1995

Solving Deductive Planning Problems Using Program Analysis and Transformation.

D. Andre de Waal, Michael Thielscher

Proceedings of the Logic Programming Synthesis and Transformation, 1995

What Is a Skeptical Proof?

Michael Thielscher

Proceedings of the KI-95: Advances in Artificial Intelligence, 1995

Computing Ramifications by Postprocessing.

Michael Thielscher

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

The Logic of Dynamic Systems.

Michael Thielscher

Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995

Automatisiertes Schließen über Kausalbeziehungen mit SLDENDF-Resolution.

Michael Thielscher

PhD thesis, 1995

1994

Representing Actions in Equational Logic Programming.

Michael Thielscher

Proceedings of the Logic Programming, 1994

Deductive Plan Generation.

Wolfgang Bibel, Michael Thielscher

Proceedings of the Algorithmic Learning Theory, 1994

1993

On Prediction in Theorist.

Michael Thielscher

Artif. Intell., 1993

SLDENF-Resolution.

Michael Thielscher

Proceedings of the 9. Workshop Logische Programmierung, 1993

Actions and Specificity.

Steffen Hölldobler, Michael Thielscher

Proceedings of the Logic Programming, 1993

Disjunction In Resource-Oriented Deductive Planning.

Stefan Brüning, Steffen Hölldobler, Ute Cornelia Sigmund, Michael Thielscher, Josef Schneeberger

Proceedings of the Logic Programming, 1993

Disjunction in Plan Generation by Equational Logic Programming.

Stefan Brüning, Gerd Große, Steffen Hölldobler, Josef Schneeberger, Ute Cornelia Sigmund, Michael Thielscher

Proceedings of the Beiträge zum 7. Workshop Planen und Konfigrieren, 17.2.93, Hamburg, 1993

On Logic Programming with Multisets.

Steffen Hölldobler, Michael Thielscher

Proceedings of the Workshop on Logic Programming with Sets, 1993

1992

Equational Logic Programming Actions, and Change.

Gerd Große, Steffen Hölldobler, Josef Schneeberger, Ute Cornelia Sigmund, Michael Thielscher

Proceedings of the Logic Programming, 1992