Michael Thielscher

Sebastian Haufe, Stephan Schiffel, Michael Thielscher: Automated verification of state sequence invariants in general game playing. Artif. Intell. 187: 1-30 (2012)

Michael John Schofield, Timothy Joseph Cerexhe, Michael Thielscher: HyperPlay: A Solution to General Game Playing with Imperfect Information. AAAI 2012

Hannes Strass, Michael Thielscher: A Language for Default Reasoning about Actions. Correct Reasoning 2012: 527-542

Ji Ruan, Michael Thielscher: Strategic and Epistemic Reasoning for the Game Description Language GDL-II. ECAI 2012: 696-701

Sebastian Haufe, Michael Thielscher: Automated Verification of Epistemic Properties for General Game Playing. KR 2012

Michael Thielscher, Dongmo Zhang (Eds.): AI 2012: Advances in Artificial Intelligence - 25th Australasian Joint Conference, Sydney, Australia, December 4-7, 2012. Proceedings. Lecture Notes in Computer Science 7691, Springer 2012, isbn 978-3-642-35100-6

Michael Thielscher: A unifying action calculus. Artif. Intell. 175(1): 120-141 (2011)

Michael Thielscher: Special Issue on General Game Playing. KI 25(1): 5-7 (2011)

Sebastian Haufe, Daniel Michulke, Stephan Schiffel, Michael Thielscher: Knowledge-Based General Game Playing. KI 25(1): 25-33 (2011)

Michael Thielscher: GDL-II. KI 25(1): 63-66 (2011)

Conrad Drescher, Michael Thielscher: ALPprolog - A new logic programming method for dynamic domains. TPLP 11(4-5): 451-468 (2011)

Maurice Pagnucco, David Rajaratnam, Hannes Strass, Michael Thielscher: How to Plan When Being Deliberately Misled. Automated Action Planning for Autonomous Mobile Robots 2011

Ji Ruan, Michael Thielscher: The Epistemic Logic Behind the Game Description Language. AAAI 2011

Stephan Schiffel, Michael Thielscher: Reasoning About General Games Described in GDL-II. AAAI 2011

Ji Ruan, Michael Thielscher: A Logic for Knowledge Flow in Social Networks. Australasian Conference on Artificial Intelligence 2011: 511-520

Michael Thielscher: Translating General Game Descriptions into an Action Language. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 300-314

Michael Thielscher: The General Game Playing Description Language Is Universal. IJCAI 2011: 1107-1112

Michael Thielscher: General Game Playing in AI Research and Education. KI 2011: 26-37

Conrad Drescher, Michael Thielscher: ALPprolog --- A New Logic Programming Method for Dynamic Domains. CoRR abs/1107.5242 (2011)

Michael Thielscher: A General Game Description Language for Incomplete Information Games. AAAI 2010

Michael Thielscher, Sebastian Voigt: A Temporal Proof System for General Game Playing. AAAI 2010

Sebastian Haufe, Michael Thielscher: Pushing the Envelope: General Game Players Prove Theorems. Australasian Conference on Artificial Intelligence 2010: 1-10

Yves Martin, Michael Thielscher: Integrating Reasoning about Actions and Bayesian Networks. ICAART (1) 2010: 298-304

Ringo Baumann, Gerhard Brewka, Hannes Strass, Michael Thielscher, Vadim Zaslawski: State Defaults and Ramifications in the Unifying Action Calculus. KR 2010

Michael Thielscher: Integrating Action Calculi and AgentSpeak: Closing the Gap. KR 2010

Michael Thielscher, Dongmo Zhang: From General Game Descriptions to a Market Specification Language for General Trading Agents. AMEC/TADA 2009: 259-274

Hannes Strass, Michael Thielscher: Simple Default Reasoning in Theories of Action. Australasian Conference on Artificial Intelligence 2009: 31-40

Dengji Zhao, Stephan Schiffel, Michael Thielscher: Decomposition of Multi-player Games. Australasian Conference on Artificial Intelligence 2009: 475-484

Conrad Drescher, Hongkai Liu, Franz Baader, Steffen Guhlemann, Uwe Petersohn, Peter Steinke, Michael Thielscher: Putting ABox Updates into Action. FroCoS 2009: 214-229

Conrad Drescher, Stephan Schiffel, Michael Thielscher: A Declarative Agent Programming Language Based on Action Theories. FroCoS 2009: 230-245

Stephan Schiffel, Michael Thielscher: Specifying Multiagent Environments Systems in the Game Description Language. ICAART 2009: 21-28

Michael Thielscher: Answer Set Programming for Single-Player Games in General Game Playing. ICLP 2009: 327-341

Stephan Schiffel, Michael Thielscher: Automated Theorem Proving for General Game Playing. IJCAI 2009: 911-916

Hannes Strass, Michael Thielscher: On Defaults in Action Theories. KI 2009: 298-305

Daniel Michulke, Michael Thielscher: Neural Networks for State Evaluation in General Game Playing. ECML/PKDD (2) 2009: 95-110

Michael Fisher, Fariba Sadri, Michael Thielscher (Eds.): Computational Logic in Multi-Agent Systems, 9th International Workshop, CLIMA IX, Dresden, Germany, September 29-30, 2008. Revised Selected and Invited Papers. Lecture Notes in Computer Science 5405, Springer 2009, isbn 978-3-642-02733-8

Michael Thielscher: Action Programming Languages. Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan & Claypool Publishers 2008

Yi Jin, Michael Thielscher: Reinforcement Belief Revision. J. Log. Comput. 18(5): 783-813 (2008)

Conrad Drescher, Michael Thielscher: A Fluent Calculus Semantics for ADL with Plan Constraints. JELIA 2008: 140-152

Yi Jin, Michael Thielscher: Iterated belief revision, revised. Artif. Intell. 171(1): 1-18 (2007)

Sheila A. McIlraith, Pavlos Peppas, Michael Thielscher: Preface. J. Log. Comput. 17(5): 847-849 (2007)

Yi Jin, Michael Thielscher, Dongmo Zhang: Mutual Belief Revision: Semantics and Computation. AAAI 2007: 440-445

Stephan Schiffel, Michael Thielscher: Fluxplayer: A Successful General Game Player. AAAI 2007: 1191-1196

Conrad Drescher, Michael Thielscher: Integrating Action Calculi and Description Logics. KI 2007: 68-83

Stephan Schiffel, Michael Thielscher, Doan Thu Trang: An Agent Team Based on FLUX for the ProMAS Contest 2007. PROMAS 2007: 261-265

Wolfgang Achtner, Esma Aïmeur, Sarabjot Singh Anand, Doug 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 Young, Dmitry Zelenko: Reports on the Twenty-First National Conference on Artificial Intelligence (AAAI-06) Workshop Program. AI Magazine 27(4): 92-102 (2006)

Silvia Coradeschi, Hiroshi Ishiguro, Minoru Asada, Stuart C. Shapiro, Michael Thielscher, Cynthia Breazeal, Maja J. Mataric, Hiroshi Ishida: Human-Inspired Robots. IEEE Intelligent Systems 21(4): 74-85 (2006)

Stephan Schiffel, Michael Thielscher: Reconciling Situation Calculus and Fluent Calculus. AAAI 2006: 287-292

Stephan Schiffel, Michael Thielscher: Multi-Agent FLUX for the Gold Mining Domain (System Description). CLIMA 2006: 294-303

Michael Thielscher, Thomas Witkowski: The Features-and-Fluents Semantics for the Fluent Calculus. KR 2006: 362-370

Michael Thielscher: FLUX: A logic programming method for reasoning agents. TPLP 5(4-5): 533-565 (2005)

Michael Thielscher: Handling Implication and Universal Quantification Constraints in FLUX. CP 2005: 667-681

Yi Jin, Michael Thielscher: Actions and Belief Revision: A Computational Approach. Belief Change in Rational Agents 2005

Hendrik Skubch, Michael Thielscher: Strategy Learning for Reasoning Agents. ECML 2005: 733-740

Yi Jin, Michael Thielscher: Iterated Belief Revision, Revised. IJCAI 2005: 478-483

Yves Martin, Iman Narasamdya, Michael Thielscher: Knowledge of Other Agents and Communicative Actions in the Fluent Calculus. ICAPS 2004: 12-22

Yi Jin, Michael Thielscher: Representing Beliefs in the Fluent Calculus. ECAI 2004: 823-827

Yves Martin, Iman Narasamdya, Michael Thielscher: Knowledge of Other Agents and Communicative Actions in the Fluent Calculus. KR 2004: 623-633

Michael Thielscher: FLUX: A Logic Programming Method for Reasoning Agents. CoRR cs.AI/0408044 (2004)

Matthias Fichtner, Axel Großmann, Michael Thielscher: Intelligent Execution Monitoring in Dynamic Environments. Fundam. Inform. 57(2-4): 371-392 (2003)

Michael Thielscher: Controlling Semi-automatic Systems with FLUX. ICLP 2003: 515-516

Ozan Kahramanogullari, Michael Thielscher: A Formal Assessment Result for Fluent Calculus Using the Action Description Language A_k. KI 2003: 209-223

Michael Thielscher: Reasoning about Actions with CHRs and Finite Domain Constraints. ICLP 2002: 70-84

Michael Thielscher: The Qualification Problem: A solution to the problem of anomalous models. Artif. Intell. 131(1-2): 1-37 (2001)

Michael Thielscher: The Concurrent, Continuous Fluent Calculus. Studia Logica 67(3): 315-331 (2001)

Michael Thielscher: Planning with Noisy Actions. Australian Joint Conference on Artificial Intelligence 2001: 495-506

Yves Martin, Michael Thielscher: Addressing the Qualification Problem in FLUX. KI/ÖGAI 2001: 290-304

Michael Thielscher: Inferring Implicit State Knowledge and Plans with Sensing Actions. KI/ÖGAI 2001: 366-380

Michael Thielscher: Challenges for Action Theories. Lecture Notes in Computer Science 1775, Springer 2000, isbn 3-540-67455-1

Michael Thielscher: Modeling Actions with Ramifications in Nondeterministic, Concurrent, and Continuous Domains - and a Case Study. AAAI/IAAI 2000: 497-502

Michael Thielscher: Nondeterministic Actions in the Fluent Calculus: Disjunctive State Update Axioms. Intellectics and Computational Logic 2000: 327-345

Hans-Peter Störr, Michael Thielscher: A New Equational Foundation for the Fluent Calculus. Computational Logic 2000: 733-746

Michael Thielscher: Representing the Knowledge of a Robot. KR 2000: 109-120

Michael Thielscher: From Situation Calculus to Fluent Calculus: State Update Axioms as a Solution to the Inferential Frame Problem. Artif. Intell. 111(1-2): 277-299 (1999)

Dov M. Gabbay, Rolf Nossum, Michael Thielscher: Agents in Proactive Environments. J. Log. Comput. 9(1): 25-45 (1999)

Rolf Nossum, Michael Thielscher: Counterfactual Reasoning by Means of a Calculus of Narrative Context. CONTEXT 1999: 495-498

Michael Thielscher: A Theory of First-Order Counterfactual Reasoning. KI 1999: 137-148

Michael Thielscher: Reasoning About Actions: Steady Versus Stabilizing State Constraints. Artif. Intell. 104(1-2): 339-355 (1998)

Michael Thielscher: Introduction to the Fluent Calculus. Electron. Trans. Artif. Intell. 2: 179-192 (1998)

Michael Thielscher: Towards State Update Axioms: Reifying Successor State Axioms. JELIA 1998: 248-263

Michael Thielscher: How (Not) To Minimize Events. KR 1998: 60-73

Michael Thielscher: Challenges for action theories - solving the ramification and qualification problem. TH Darmstadt 1997, pp. 1-154

Michael Thielscher: Ramification and Causality. Artif. Intell. 89(1-2): 317-364 (1997)

Michael Thielscher: A Theory of Dynamic Diagnosis. Electronic Transactions on Artificial Intelligence. Electron. Trans. Artif. Intell. 1: 73-104 (1997)

Sven-Erik Bornscheuer, Michael Thielscher: Explicit and Implicit Indeterminism: Reasoning About Uncertain and Contradictory Specifications of Dynamic Systems. J. Log. Program. 31(1-3): 119-155 (1997)

Michael Thielscher: Qualified Ramifications. AAAI/IAAI 1997: 466-471

Dov M. Gabbay, Rolf Nossum, Michael Thielscher: Agents in Proactive Environments. KI 1997: 389-392

Sven-Erik Bornscheuer, Michael Thielscher: Representing Concurrent Actions and Solving Conflicts. Logic Journal of the IGPL 4(3): 355-368 (1996)

Michael Thielscher: On the Completeness of SLDENF-Resolution. J. Autom. Reasoning 17(2): 199-214 (1996)

Christoph S. Herrmann, Michael Thielscher: Reasoning about Continuous Processes. AAAI/IAAI, Vol. 1 1996: 639-644

Kerstin Eder, Steffen Hölldobler, Michael Thielscher: An Abstract Machine for Reasoning about Situations, Actions, and Causality. ELP 1996: 137-151

Torsten Schaub, Michael Thielscher: Skeptical Query-Answering in Constrained Default Logic. FAPR 1996: 567-581

Michael Thielscher: A Nonmonotonic Disputation-Based Semantics and Proof Procedure for Logic Programs. JICSLP 1996: 483-497

Michael Thielscher: Causality and the Qualification Problem. KR 1996: 51-62

Michael Thielscher: Automatisiertes Schließen über Kausalbeziehungen mit SLDENDF-Resolution. DISKI 76, Infix 1995, isbn 978-3-929037-76-0, pp. I-XIV, 1-218

Steffen Hölldobler, Michael Thielscher: Computing change and specificity with equational logic programs. Ann. Math. Artif. Intell. 14(1): 99-133 (1995)

Michael Thielscher, Torsten Schaub: Default Reasoning by Deductive Planning. J. Autom. Reasoning 15(1): 1-40 (1995)

Michael Thielscher: The Logic of Dynamic Systems. IJCAI 1995: 1956-1963

Michael Thielscher: Computing Ramifications by Postprocessing. IJCAI 1995: 1994-2000

Michael Thielscher: What Is a Skeptical Proof? KI 1995: 161-172

D. Andre de Waal, Michael Thielscher: Solving Deductive Planning Problems Using Program Analysis and Transformation. LOPSTR 1995: 189-203

Kerstin Eder, Steffen Hölldobler, Michael Thielscher: A Resource-Oriented Deductive Approach Towards Hierarchical Planning. WLP 1995: 237-246

Wolfgang Bibel, Michael Thielscher: Deductive Plan Generation. AII/ALT 1994: 2-5

Michael Thielscher: Representing Actions in Equational Logic Programming. ICLP 1994: 207-224

Sven-Erik Bornscheuer, Michael Thielscher: Representing Concurrent Actions and Solving Conflicts. KI 1994: 16-27

Michael Thielscher: On Prediction in Theorist. Artif. Intell. 60(2): 283-292 (1993)

Stefan Brüning, Gerd Große, Steffen Hölldobler, Josef Schneeberger, Ute Cornelia Sigmund, Michael Thielscher: Disjunction in Plan Generation by Equational Logic Programming. PuK 1993: 18-26

Steffen Hölldobler, Michael Thielscher: Actions and Specificity. ILPS 1993: 164-180

Stefan Brüning, Steffen Hölldobler, Ute Cornelia Sigmund, Michael Thielscher, Josef Schneeberger: Disjunction In Resource-Oriented Deductive Planning. ILPS 1993: 670

Michael Thielscher: SLDENF-Resolution. WLP 1993: 100-103

Gerd Große, Steffen Hölldobler, Josef Schneeberger, Ute Cornelia Sigmund, Michael Thielscher: Equational Logic Programming Actions, and Change. JICSLP 1992: 177-191