Michael Thielscher

178 papers A* 42A 6B 10C 1Misc 10Journal 44Unranked 52

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Hierarchically Gated Experts for Efficient Online Continual Learning. ICAART (2) Kevin Luong, Michael Thielscher
2025	J	`jnl`	Repairing General Game Descriptions (extended version). CoRR Yifan He, Munyque Mittelmann, Aniello Murano, Abdallah Saffidine, Michael Thielscher
2025	A*	`conf`	Repairing General Game Descriptions. KR Yifan He, Munyque Mittelmann, Aniello Murano, Abdallah Saffidine, Michael Thielscher
2025	—	`conf`	Verification of General Games with QBF Solvers. NMR Yifan He, Abdallah Saffidine, Michael Thielscher
2024	J	`jnl`	Hierarchically Gated Experts for Efficient Online Continual Learning. CoRR Kevin Luong, Michael Thielscher
2024	A	`conf`	Solving Two-player Games with QBF Solvers in General Game Playing. AAMAS Yifan He, Abdallah Saffidine, Michael Thielscher
2024	A*	`conf`	Verification of General Games with Imperfect Information Using Strategy Logic. KR Yifan He, Munyque Mittelmann, Aniello Murano, Abdallah Saffidine, Michael Thielscher
2023	A*	`conf`	General Game Playing With State-Independent Communication. KR Sean Zammit, Michael Thielscher
2023	—	`conf`	MCTS with Dynamic Depth Minimax. ACG James Ji, Michael Thielscher
2023	A*	`conf`	On Optimal Strategies for Wordle and General Guessing Games. IJCAI Michael Cunanan, Michael Thielscher
2023	J	`jnl`	On Optimal Strategies for Wordle and General Guessing Games. CoRR Michael Cunanan, Michael Thielscher
2023	J	`jnl`	Online Learning and Planning in Cognitive Hierarchies. CoRR Bernhard Hengst, Maurice Pagnucco, David Rajaratnam, Claude Sammut, Michael Thielscher
2022	—	`conf`	Hidden Information General Game Playing with Deep Learning and Search. PRICAI (3) Zachary Partridge, Michael Thielscher
2022	Misc	`conf`	Knowledge Transfer for Deep Reinforcement Agents in General Game Playing. AI Cameron McEwan, Michael Thielscher
2021	J	`jnl`	Game description language and dynamic epistemic logic compared. Artif. Intell. Thorsten Engesser, Robert Mattmüller, Bernhard Nebel, Michael Thielscher
2021	A*	`conf`	Representing and Reasoning with Event Models for Epistemic Planning. KR David Rajaratnam, Michael Thielscher
2020	A*	`conf`	Deep Reinforcement Learning for General Game Playing. AAAI Adrian Goldwaser, Michael Thielscher
2020	—	`conf`	Exploring a Learning Architecture for General Game Playing. Australasian Conference on Artificial Intelligence Alvaro Gunawan, Ji Ruan, Michael Thielscher, Ajit Narayanan
2020	A*	`ed.`	Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020. KR Diego Calvanese, Esra Erdem, Michael Thielscher
2020	—	`ch.`	Universelle Spielprogramme. Handbuch der Künstlichen Intelligenz Michael Thielscher
2019	—	`conf`	Encoding Epistemic Strategies for General Game Playing. PRICAI (1) Shawn Manuel, David Rajaratnam, Michael Thielscher
2019	J	`jnl`	General Game Playing with Imperfect Information. J. Artif. Intell. Res. Michael John Schofield, Michael Thielscher
2019	—	`conf`	Perceptual Context in Cognitive Hierarchies. Description Logic, Theory Combination, and All That Bernhard Hengst, Maurice Pagnucco, David Rajaratnam, Claude Sammut, Michael Thielscher
2018	A*	`conf`	Game Description Language and Dynamic Epistemic Logic Compared. IJCAI Thorsten Engesser, Robert Mattmüller, Bernhard Nebel, Michael Thielscher
2018	—	`conf`	General Language Evolution in General Game Playing. Australasian Conference on Artificial Intelligence Armin Chitizadeh, Michael Thielscher
2018	—	`conf`	Iterative Tree Search in General Game Playing with Incomplete Information. CGW@IJCAI Armin Chitizadeh, Michael Thielscher
2018	J	`jnl`	Perceptual Context in Cognitive Hierarchies. CoRR Bernhard Hengst, Maurice Pagnucco, David Rajaratnam, Claude Sammut, Michael Thielscher
2018	A*	`ed.`	Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018. KR Michael Thielscher, Francesca Toni, Frank Wolter
2017	—	`ed.`	Computer Games - 5th Workshop on Computer Games, CGW 2016, and 5th Workshop on General Intelligence in Game-Playing Agents, GIGA 2016, Held in Conjunction with the 25th International Conference on Artificial Intelligence, IJCAI 2016, New York City, NY, USA, July 9-10, 2016, Revised Selected Papers CGW@IJCAI Tristan Cazenave, Mark H. M. Winands, Stefan Edelkamp, Stephan Schiffel, Michael Thielscher, Julian Togelius
2017	A*	`conf`	GDL-III: A Description Language for Epistemic General Game Playing. IJCAI Michael Thielscher
2017	J	`jnl`	Reports of the Workshops of the Thirty-First AAAI Conference on Artificial Intelligence. AI Mag. 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
2017	A*	`conf`	The Efficiency of the HyperPlay Technique Over Random Sampling. AAAI Michael John Schofield, Michael Thielscher
2016	A*	`conf`	A Framework for Integrating Symbolic and Sub-Symbolic Representations. IJCAI Keith Clark, Bernhard Hengst, Maurice Pagnucco, David Rajaratnam, Peter Robinson, Claude Sammut, Michael Thielscher
2016	—	`conf`	Composability in Cognitive Hierarchies. Australasian Conference on Artificial Intelligence David Rajaratnam, Bernhard Hengst, Maurice Pagnucco, Claude Sammut, Michael Thielscher
2016	—	`ed.`	Computer Games - Fourth Workshop on Computer Games, CGW 2015, and the Fourth Workshop on General Intelligence in Game-Playing Agents, GIGA 2015, Held in Conjunction with the 24th International Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 26-27, 2015, Revised Selected Papers CGW/GIGA@IJCAI Tristan Cazenave, Mark H. M. Winands, Stefan Edelkamp, Stephan Schiffel, Michael Thielscher, Julian Togelius
2016	—	`ed.`	Computer Poker and Imperfect Information Games, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 13, 2016. AAAI Workshop: Computer Poker and Imperfect Information Games Viliam Lisý, Michael Thielscher, Thanh Nguyen
2016	A	`conf`	GDL-III: A Proposal to Extend the Game Description Language to General Epistemic Games. ECAI Michael Thielscher
2016	A*	`conf`	Nested Monte Carlo Search for Two-Player Games. AAAI Tristan Cazenave, Abdallah Saffidine, Michael John Schofield, Michael Thielscher
2016	A*	`conf`	Sampling-Based Belief Revision. IJCAI Michael Thielscher
2016	—	`conf`	The Scalability of the HyperPlay Technique for Imperfect-Information Games. AAAI Workshop: Computer Poker and Imperfect Information Games Michael John Schofield, Michael Thielscher
2015	A*	`conf`	A Logic for Reasoning About Game Strategies. AAAI Dongmo Zhang, Michael Thielscher
2015	J	`jnl`	A Summary of the Twenty-Ninth AAAI Conference on Artificial Intelligence. AI Mag. 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
2015	A*	`conf`	Execution Monitoring as Meta-Games for General Game-Playing Robots. IJCAI David Rajaratnam, Michael Thielscher
2015	A*	`conf`	Lifting Model Sampling for General Game Playing to Incomplete-Information Models. AAAI Michael John Schofield, Michael Thielscher
2015	J	`jnl`	Representing and Reasoning about Game Strategies. J. Philos. Log. Dongmo Zhang, Michael Thielscher
2015	—	`conf`	Simulation of Action Theories and an Application to General Game-Playing Robots. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Michael Thielscher
2014	A	`conf`	A Systematic Solution to the (De-)Composition Problem in General Game Playing. ECAI Timothy Joseph Cerexhe, David Rajaratnam, Abdallah Saffidine, Michael Thielscher
2014	A*	`conf`	Forgetting in Action. KR David Rajaratnam, Hector J. Levesque, Maurice Pagnucco, Michael Thielscher
2014	—	`book`	General Game Playing Michael R. Genesereth, Michael Thielscher
2014	Misc	`ed.`	KI 2014: Advances in Artificial Intelligence - 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014. Proceedings KI Carsten Lutz, Michael Thielscher
2014	J	`jnl`	Logical-Epistemic Foundations of General Game Descriptions. Stud Logica Ji Ruan, Michael Thielscher
2014	B	`conf`	Online Agent Logic Programming with oClingo. PRICAI Timothy Joseph Cerexhe, Martin Gebser, Michael Thielscher
2014	J	`jnl`	Representing and Reasoning About the Rules of General Games With Imperfect Information. J. Artif. Intell. Res. Stephan Schiffel, Michael Thielscher
2014	J	`jnl`	Representing and Reasoning about Game Strategies. CoRR Dongmo Zhang, Michael Thielscher
2014	A*	`conf`	Solving the Inferential Frame Problem in the General Game Description Language. AAAI Javier Romero Dávila, Abdallah Saffidine, Michael Thielscher
2013	J	`jnl`	A general first-order solution to the ramification problem with cycles. J. Appl. Log. Hannes Strass, Michael Thielscher
2013	B	`conf`	Evaluating Answer Set Clause Learning for General Game Playing. LPNMR Timothy Joseph Cerexhe, Orkunt Sabuncu, Michael Thielscher
2013	A*	`conf`	Filtering With Logic Programs and Its Application to General Game Playing. AAAI Michael Thielscher
2013	B	`conf`	Implementing Belief Change in the Situation Calculus and an Application. LPNMR Maurice Pagnucco, David Rajaratnam, Hannes Strass, Michael Thielscher
2013	—	`conf`	Model Checking for Reasoning about Incomplete Information Games. Australasian Conference on Artificial Intelligence Xiaowei Huang, Ji Ruan, Michael Thielscher
2013	—	`conf`	Towards General Game-Playing Robots: Models, Architecture and Game Controller. Australasian Conference on Artificial Intelligence David Rajaratnam, Michael Thielscher
2013	—	`ch.`	Universelle Spielprogramme. Handbuch der Künstlichen Intelligenz Michael Thielscher
2012	—	`conf`	A Language for Default Reasoning about Actions. Correct Reasoning Hannes Strass, Michael Thielscher
2012	—	`ed.`	AI 2012: Advances in Artificial Intelligence - 25th Australasian Joint Conference, Sydney, Australia, December 4-7, 2012. Proceedings Australasian Conference on Artificial Intelligence Michael Thielscher, Dongmo Zhang
2012	A*	`conf`	Automated Verification of Epistemic Properties for General Game Playing. KR Sebastian Haufe, Michael Thielscher
2012	J	`jnl`	Automated verification of state sequence invariants in general game playing. Artif. Intell. Sebastian Haufe, Stephan Schiffel, Michael Thielscher
2012	A*	`conf`	HyperPlay: A Solution to General Game Playing with Imperfect Information. AAAI Michael John Schofield, Timothy Joseph Cerexhe, Michael Thielscher
2012	A	`conf`	Strategic and Epistemic Reasoning for the Game Description Language GDL-II. ECAI Ji Ruan, Michael Thielscher
2011	—	`conf`	A Logic for Knowledge Flow in Social Networks. Australasian Conference on Artificial Intelligence Ji Ruan, Michael Thielscher
2011	J	`jnl`	A unifying action calculus. Artif. Intell. Michael Thielscher
2011	J	`jnl`	ALPprolog - A new logic programming method for dynamic domains. Theory Pract. Log. Program. Conrad Drescher, Michael Thielscher
2011	J	`jnl`	ALPprolog --- A New Logic Programming Method for Dynamic Domains CoRR Conrad Drescher, Michael Thielscher
2011	J	`jnl`	GDL-II. Künstliche Intell. Michael Thielscher
2011	Misc	`conf`	General Game Playing in AI Research and Education. KI Michael Thielscher
2011	—	`conf`	How to Plan When Being Deliberately Misled. Automated Action Planning for Autonomous Mobile Robots Maurice Pagnucco, David Rajaratnam, Hannes Strass, Michael Thielscher
2011	J	`jnl`	Knowledge-Based General Game Playing. Künstliche Intell. Sebastian Haufe, Daniel Michulke, Stephan Schiffel, Michael Thielscher
2011	A*	`conf`	Reasoning About General Games Described in GDL-II. AAAI Stephan Schiffel, Michael Thielscher
2011	J	`jnl`	Special Issue on General Game Playing. Künstliche Intell. Michael Thielscher
2011	A*	`conf`	The Epistemic Logic Behind the Game Description Language. AAAI Ji Ruan, Michael Thielscher
2011	A*	`conf`	The General Game Playing Description Language Is Universal. IJCAI Michael Thielscher
2011	—	`conf`	Translating General Game Descriptions into an Action Language. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning Michael Thielscher
2010	A*	`conf`	A General Game Description Language for Incomplete Information Games. AAAI Michael Thielscher
2010	A*	`conf`	A Temporal Proof System for General Game Playing. AAAI Michael Thielscher, Sebastian Voigt
2010	—	`conf`	Default Reasoning in Action Domains with Conditional, Non-Local Effect Actions. LPAR short papers(Yogyakarta) Hannes Strass, Michael Thielscher
2010	A*	`conf`	Integrating Action Calculi and AgentSpeak: Closing the Gap. KR Michael Thielscher
2010	—	`conf`	Integrating Reasoning about Actions and Bayesian Networks. ICAART (1) Yves Martin, Michael Thielscher
2010	—	`conf`	Pushing the Envelope: General Game Players Prove Theorems. Australasian Conference on Artificial Intelligence Sebastian Haufe, Michael Thielscher
2010	A*	`conf`	State Defaults and Ramifications in the Unifying Action Calculus. KR Ringo Baumann, Gerhard Brewka, Hannes Strass, Michael Thielscher, Vadim Zaslawski
2009	—	`conf`	A Declarative Agent Programming Language Based on Action Theories. FroCoS Conrad Drescher, Stephan Schiffel, Michael Thielscher
2009	—	`conf`	A Multiagent Semantics for the Game Description Language. ICAART (Revised Selected Papers) Stephan Schiffel, Michael Thielscher
2009	B	`conf`	Answer Set Programming for Single-Player Games in General Game Playing. ICLP Michael Thielscher
2009	A*	`conf`	Automated Theorem Proving for General Game Playing. IJCAI Stephan Schiffel, Michael Thielscher
2009	—	`ed.`	Computational Logic in Multi-Agent Systems, 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers CLIMA Michael Fisher, Fariba Sadri, Michael Thielscher
2009	—	`conf`	Decomposition of Multi-player Games. Australasian Conference on Artificial Intelligence Dengji Zhao, Stephan Schiffel, Michael Thielscher
2009	—	`conf`	From General Game Descriptions to a Market Specification Language for General Trading Agents. AMEC/TADA Michael Thielscher, Dongmo Zhang
2009	—	`conf`	Neural Networks for State Evaluation in General Game Playing. ECML/PKDD (2) Daniel Michulke, Michael Thielscher
2009	Misc	`conf`	On Defaults in Action Theories. KI Hannes Strass, Michael Thielscher
2009	—	`conf`	Putting ABox Updates into Action. FroCoS Conrad Drescher, Hongkai Liu, Franz Baader, Steffen Guhlemann, Uwe Petersohn, Peter Steinke, Michael Thielscher
2009	—	`conf`	Simple Default Reasoning in Theories of Action. Australasian Conference on Artificial Intelligence Hannes Strass, Michael Thielscher
2009	B	`conf`	Specifying Multiagent Environments Systems in the Game Description Language. ICAART Stephan Schiffel, Michael Thielscher
2008	B	`conf`	A Fluent Calculus Semantics for ADL with Plan Constraints. JELIA Conrad Drescher, Michael Thielscher
2008	—	`book`	Action Programming Languages Michael Thielscher
2008	J	`jnl`	Reinforcement Belief Revision. J. Log. Comput. Yi Jin, Michael Thielscher
2007	—	`conf`	An Agent Team Based on FLUX for the ProMAS Contest 2007. PROMAS Stephan Schiffel, Michael Thielscher, Doan Thu Trang
2007	A*	`conf`	Fluxplayer: A Successful General Game Player. AAAI Stephan Schiffel, Michael Thielscher
2007	Misc	`conf`	Integrating Action Calculi and Description Logics. KI Conrad Drescher, Michael Thielscher
2007	J	`jnl`	Iterated belief revision, revised. Artif. Intell. Yi Jin, Michael Thielscher
2007	A*	`conf`	Mutual Belief Revision: Semantics and Computation. AAAI Yi Jin, Michael Thielscher, Dongmo Zhang
2007	J	`jnl`	Preface. J. Log. Comput. Sheila A. McIlraith, Pavlos Peppas, Michael Thielscher
2006	J	`jnl`	General Game Playing. Künstliche Intell. Michael Thielscher
2006	J	`jnl`	Human-Inspired Robots. IEEE Intell. Syst. Silvia Coradeschi, Hiroshi Ishiguro, Minoru Asada, Stuart C. Shapiro, Michael Thielscher, Cynthia Breazeal, Maja J. Mataric, Hiroshi Ishida
2006	—	`conf`	Multi-Agent FLUX for the Gold Mining Domain (System Description). CLIMA Stephan Schiffel, Michael Thielscher
2006	A*	`conf`	Reconciling Situation Calculus and Fluent Calculus. AAAI Stephan Schiffel, Michael Thielscher
2006	J	`jnl`	Reports on the Twenty-First National Conference on Artificial Intelligence (AAAI-06) Workshop Program. AI Mag. 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
2006	A*	`conf`	The Features-and-Fluents Semantics for the Fluent Calculus. KR Michael Thielscher, Thomas Witkowski
2005	—	`conf`	Actions and Belief Revision: A Computational Approach. Belief Change in Rational Agents Yi Jin, Michael Thielscher
2005	J	`jnl`	FLUX: A logic programming method for reasoning agents. Theory Pract. Log. Program. Michael Thielscher
2005	A	`conf`	Handling Implication and Universal Quantification Constraints in FLUX. CP Michael Thielscher
2005	A*	`conf`	Iterated Belief Revision, Revised. IJCAI Yi Jin, Michael Thielscher
2005	—	`book`	Reasoning robots - the art and science of programming robotic agents. Michael Thielscher
2005	—	`conf`	Strategy Learning for Reasoning Agents. ECML Hendrik Skubch, Michael Thielscher
2004	J	`jnl`	FLUX: A Logic Programming Method for Reasoning Agents CoRR Michael Thielscher
2004	A*	`conf`	Knowledge of Other Agents and Communicative Actions in the Fluent Calculus. ICAPS Yves Martin, Iman Narasamdya, Michael Thielscher
2004	A*	`conf`	Knowledge of Other Agents and Communicative Actions in the Fluent Calculus. KR Yves Martin, Iman Narasamdya, Michael Thielscher
2004	A	`conf`	Representing Beliefs in the Fluent Calculus. ECAI Yi Jin, Michael Thielscher
2003	Misc	`conf`	A Formal Assessment Result for Fluent Calculus Using the Action Description Language A KI Ozan Kahramanogullari, Michael Thielscher
2003	B	`conf`	Controlling Semi-automatic Systems with FLUX. ICLP Michael Thielscher
2003	J	`jnl`	Intelligent Execution Monitoring in Dynamic Environments. Fundam. Informaticae Matthias Fichtner, Axel Großmann, Michael Thielscher
2002	B	`conf`	Reasoning about Actions with CHRs and Finite Domain Constraints. ICLP Michael Thielscher
2001	—	`conf`	Addressing the Qualification Problem in FLUX. KI/ÖGAI Yves Martin, Michael Thielscher
2001	—	`conf`	Inferring Implicit State Knowledge and Plans with Sensing Actions. KI/ÖGAI Michael Thielscher
2001	—	`conf`	Planning with Noisy Actions. Australian Joint Conference on Artificial Intelligence Michael Thielscher
2001	J	`jnl`	The Concurrent, Continuous Fluent Calculus. Stud Logica Michael Thielscher
2001	J	`jnl`	The Qualification Problem: A solution to the problem of anomalous models. Artif. Intell. Michael Thielscher
2000	—	`conf`	A New Equational Foundation for the Fluent Calculus. Computational Logic Hans-Peter Störr, Michael Thielscher
2000	—	`book`	Challenges for Action Theories Michael Thielscher
2000	—	`conf`	Modeling Actions with Ramifications in Nondeterministic, Concurrent, and Continuous Domains - and a Case Study. AAAI/IAAI Michael Thielscher
2000	—	`conf`	Nondeterministic Actions in the Fluent Calculus: Disjunctive State Update Axioms. Intellectics and Computational Logic Michael Thielscher
2000	A*	`conf`	Representing the Knowledge of a Robot. KR Michael Thielscher
1999	Misc	`conf`	A Theory of First-Order Counterfactual Reasoning. KI Michael Thielscher
1999	J	`jnl`	Agents in Proactive Environments. J. Log. Comput. Dov M. Gabbay, Rolf Nossum, Michael Thielscher
1999	—	`conf`	Counterfactual Reasoning by Means of a Calculus of Narrative Context. CONTEXT Rolf Nossum, Michael Thielscher
1999	J	`jnl`	From Situation Calculus to Fluent Calculus: State Update Axioms as a Solution to the Inferential Frame Problem. Artif. Intell. Michael Thielscher
1998	A*	`conf`	How (Not) To Minimize Events. KR Michael Thielscher
1998	J	`jnl`	Introduction to the Fluent Calculus. Electron. Trans. Artif. Intell. Michael Thielscher
1998	J	`jnl`	Reasoning About Actions: Steady Versus Stabilizing State Constraints. Artif. Intell. Michael Thielscher
1998	B	`conf`	Towards State Update Axioms: Reifying Successor State Axioms. JELIA Michael Thielscher
1997	J	`jnl`	A Theory of Dynamic Diagnosis. Electronic Transactions on Artificial Intelligence. Electron. Trans. Artif. Intell. Michael Thielscher
1997	Misc	`conf`	Agents in Proactive Environments. KI Dov M. Gabbay, Rolf Nossum, Michael Thielscher
1997	—	`book`	Challenges for action theories - solving the ramification and qualification problem. Michael Thielscher
1997	J	`jnl`	Explicit and Implicit Indeterminism: Reasoning About Uncertain and Contradictory Specifications of Dynamic Systems. J. Log. Program. Sven-Erik Bornscheuer, Michael Thielscher
1997	—	`conf`	Qualified Ramifications. AAAI/IAAI Michael Thielscher
1997	J	`jnl`	Ramification and Causality. Artif. Intell. Michael Thielscher
1996	—	`conf`	A Nonmonotonic Disputation-Based Semantics and Proof Procedure for Logic Programs. JICSLP Michael Thielscher
1996	—	`conf`	An Abstract Machine for Reasoning about Situations, Actions, and Causality. ELP Kerstin Eder, Steffen Hölldobler, Michael Thielscher
1996	A*	`conf`	Causality and the Qualification Problem. KR Michael Thielscher
1996	J	`jnl`	On the Completeness of SLDENF-Resolution. J. Autom. Reason. Michael Thielscher
1996	—	`conf`	Reasoning about Continuous Processes. AAAI/IAAI, Vol. 1 Christoph S. Herrmann, Michael Thielscher
1996	J	`jnl`	Representing Concurrent Actions and Solving Conflicts. Log. J. IGPL Sven-Erik Bornscheuer, Michael Thielscher
1996	—	`conf`	Skeptical Query-Answering in Constrained Default Logic. FAPR Torsten Schaub, Michael Thielscher
1995	—	`conf`	A Resource-Oriented Deductive Approach Towards Hierarchical Planning. WLP Kerstin Eder, Steffen Hölldobler, Michael Thielscher
1995	—	`—`	Automatisiertes Schließen über Kausalbeziehungen mit SLDENDF-Resolution. Michael Thielscher
1995	A*	`conf`	Computing Ramifications by Postprocessing. IJCAI Michael Thielscher
1995	J	`jnl`	Computing change and specificity with equational logic programs. Ann. Math. Artif. Intell. Steffen Hölldobler, Michael Thielscher
1995	J	`jnl`	Default Reasoning by Deductive Planning. J. Autom. Reason. Michael Thielscher, Torsten Schaub
1995	C	`conf`	Solving Deductive Planning Problems Using Program Analysis and Transformation. LOPSTR D. Andre de Waal, Michael Thielscher
1995	A*	`conf`	The Logic of Dynamic Systems. IJCAI Michael Thielscher
1995	Misc	`conf`	What Is a Skeptical Proof? KI Michael Thielscher
1994	—	`conf`	Deductive Plan Generation. AII/ALT Wolfgang Bibel, Michael Thielscher
1994	B	`conf`	Representing Actions in Equational Logic Programming. ICLP Michael Thielscher
1994	Misc	`conf`	Representing Concurrent Actions and Solving Conflicts. KI Sven-Erik Bornscheuer, Michael Thielscher
1993	—	`conf`	Actions and Specificity. ILPS Steffen Hölldobler, Michael Thielscher
1993	—	`conf`	Disjunction In Resource-Oriented Deductive Planning. ILPS Stefan Brüning, Steffen Hölldobler, Ute Cornelia Sigmund, Michael Thielscher, Josef Schneeberger
1993	—	`conf`	Disjunction in Plan Generation by Equational Logic Programming. PuK Stefan Brüning, Gerd Große, Steffen Hölldobler, Josef Schneeberger, Ute Cornelia Sigmund, Michael Thielscher
1993	—	`conf`	On Logic Programming with Multisets. ICLP Workshop on Logic Programming with Sets Steffen Hölldobler, Michael Thielscher
1993	J	`jnl`	On Prediction in Theorist. Artif. Intell. Michael Thielscher
1993	—	`conf`	SLDENF-Resolution. WLP Michael Thielscher
1992	—	`conf`	Equational Logic Programming Actions, and Change. JICSLP Gerd Große, Steffen Hölldobler, Josef Schneeberger, Ute Cornelia Sigmund, Michael Thielscher