Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Michael Thielscher
2010 – today
- 2013
[j28]Hannes Strass, Michael Thielscher: A general first-order solution to the ramification problem with cycles. J. Applied Logic 11(3): 289-308 (2013)- [c77]Michael Thielscher: Filtering With Logic Programs and Its Application to General Game Playing. AAAI 2013
- 2012
- [j27]Sebastian Haufe, Stephan Schiffel, Michael Thielscher: Automated verification of state sequence invariants in general game playing. Artif. Intell. 187: 1-30 (2012)
- [c76]Michael John Schofield, Timothy Joseph Cerexhe, Michael Thielscher: HyperPlay: A Solution to General Game Playing with Imperfect Information. AAAI 2012
- [c75]Hannes Strass, Michael Thielscher: A Language for Default Reasoning about Actions. Correct Reasoning 2012: 527-542
- [c74]
- [c73]Sebastian Haufe, Michael Thielscher: Automated Verification of Epistemic Properties for General Game Playing. KR 2012
- [e2]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
- 2011
- [j26]
- [j25]
- [j24]Sebastian Haufe, Daniel Michulke, Stephan Schiffel, Michael Thielscher: Knowledge-Based General Game Playing. KI 25(1): 25-33 (2011)
- [j23]
- [j22]Conrad Drescher, Michael Thielscher: ALPprolog - A new logic programming method for dynamic domains. TPLP 11(4-5): 451-468 (2011)
- [c72]Maurice Pagnucco, David Rajaratnam, Hannes Strass, Michael Thielscher: How to Plan When Being Deliberately Misled. Automated Action Planning for Autonomous Mobile Robots 2011
- [c71]
- [c70]
- [c69]Ji Ruan, Michael Thielscher: A Logic for Knowledge Flow in Social Networks. Australasian Conference on Artificial Intelligence 2011: 511-520
- [c68]Michael Thielscher: Translating General Game Descriptions into an Action Language. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 300-314
- [c67]Michael Thielscher: The General Game Playing Description Language Is Universal. IJCAI 2011: 1107-1112
- [c66]
- [i2]Conrad Drescher, Michael Thielscher: ALPprolog --- A New Logic Programming Method for Dynamic Domains. CoRR abs/1107.5242 (2011)
- 2010
- [c65]
- [c64]
- [c63]Sebastian Haufe, Michael Thielscher: Pushing the Envelope: General Game Players Prove Theorems. Australasian Conference on Artificial Intelligence 2010: 1-10
- [c62]Yves Martin, Michael Thielscher: Integrating Reasoning about Actions and Bayesian Networks. ICAART (1) 2010: 298-304
- [c61]Ringo Baumann, Gerhard Brewka, Hannes Strass, Michael Thielscher, Vadim Zaslawski: State Defaults and Ramifications in the Unifying Action Calculus. KR 2010
- [c60]
2000 – 2009
- 2009
- [c59]Michael Thielscher, Dongmo Zhang: From General Game Descriptions to a Market Specification Language for General Trading Agents. AMEC/TADA 2009: 259-274
- [c58]Hannes Strass, Michael Thielscher: Simple Default Reasoning in Theories of Action. Australasian Conference on Artificial Intelligence 2009: 31-40
- [c57]Dengji Zhao, Stephan Schiffel, Michael Thielscher: Decomposition of Multi-player Games. Australasian Conference on Artificial Intelligence 2009: 475-484
- [c56]Conrad Drescher, Hongkai Liu, Franz Baader, Steffen Guhlemann, Uwe Petersohn, Peter Steinke, Michael Thielscher: Putting ABox Updates into Action. FroCoS 2009: 214-229
- [c55]Conrad Drescher, Stephan Schiffel, Michael Thielscher: A Declarative Agent Programming Language Based on Action Theories. FroCoS 2009: 230-245
- [c54]Stephan Schiffel, Michael Thielscher: Specifying Multiagent Environments Systems in the Game Description Language. ICAART 2009: 21-28
- [c53]Michael Thielscher: Answer Set Programming for Single-Player Games in General Game Playing. ICLP 2009: 327-341
- [c52]Stephan Schiffel, Michael Thielscher: Automated Theorem Proving for General Game Playing. IJCAI 2009: 911-916
- [c51]
- [c50]Daniel Michulke, Michael Thielscher: Neural Networks for State Evaluation in General Game Playing. ECML/PKDD (2) 2009: 95-110
- [e1]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
- 2008
- [b4]Michael Thielscher: Action Programming Languages. Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan & Claypool Publishers 2008
- [j21]
- [c49]Conrad Drescher, Michael Thielscher: A Fluent Calculus Semantics for ADL with Plan Constraints. JELIA 2008: 140-152
- 2007
- [j20]
- [j19]Sheila A. McIlraith, Pavlos Peppas, Michael Thielscher: Preface. J. Log. Comput. 17(5): 847-849 (2007)
- [c48]Yi Jin, Michael Thielscher, Dongmo Zhang: Mutual Belief Revision: Semantics and Computation. AAAI 2007: 440-445
- [c47]Stephan Schiffel, Michael Thielscher: Fluxplayer: A Successful General Game Player. AAAI 2007: 1191-1196
- [c46]Conrad Drescher, Michael Thielscher: Integrating Action Calculi and Description Logics. KI 2007: 68-83
- [c45]Stephan Schiffel, Michael Thielscher, Doan Thu Trang: An Agent Team Based on FLUX for the ProMAS Contest 2007. PROMAS 2007: 261-265
- 2006
- [j18]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)
- [j17]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)
- [c44]Stephan Schiffel, Michael Thielscher: Reconciling Situation Calculus and Fluent Calculus. AAAI 2006: 287-292
- [c43]Stephan Schiffel, Michael Thielscher: Multi-Agent FLUX for the Gold Mining Domain (System Description). CLIMA 2006: 294-303
- [c42]Michael Thielscher, Thomas Witkowski: The Features-and-Fluents Semantics for the Fluent Calculus. KR 2006: 362-370
- 2005
- [j16]Michael Thielscher: FLUX: A logic programming method for reasoning agents. TPLP 5(4-5): 533-565 (2005)
- [c41]Michael Thielscher: Handling Implication and Universal Quantification Constraints in FLUX. CP 2005: 667-681
- [c40]Yi Jin, Michael Thielscher: Actions and Belief Revision: A Computational Approach. Belief Change in Rational Agents 2005
- [c39]
- [c38]
- 2004
- [c37]Yves Martin, Iman Narasamdya, Michael Thielscher: Knowledge of Other Agents and Communicative Actions in the Fluent Calculus. ICAPS 2004: 12-22
- [c36]
- [c35]Yves Martin, Iman Narasamdya, Michael Thielscher: Knowledge of Other Agents and Communicative Actions in the Fluent Calculus. KR 2004: 623-633
- [i1]Michael Thielscher: FLUX: A Logic Programming Method for Reasoning Agents. CoRR cs.AI/0408044 (2004)
- 2003
- [j15]Matthias Fichtner, Axel Großmann, Michael Thielscher: Intelligent Execution Monitoring in Dynamic Environments. Fundam. Inform. 57(2-4): 371-392 (2003)
- [c34]
- [c33]Ozan Kahramanogullari, Michael Thielscher: A Formal Assessment Result for Fluent Calculus Using the Action Description Language Ak. KI 2003: 209-223
- 2002
- [c32]Michael Thielscher: Reasoning about Actions with CHRs and Finite Domain Constraints. ICLP 2002: 70-84
- 2001
- [j14]Michael Thielscher: The Qualification Problem: A solution to the problem of anomalous models. Artif. Intell. 131(1-2): 1-37 (2001)
- [j13]
- [c31]Michael Thielscher: Planning with Noisy Actions. Australian Joint Conference on Artificial Intelligence 2001: 495-506
- [c30]Yves Martin, Michael Thielscher: Addressing the Qualification Problem in FLUX. KI/ÖGAI 2001: 290-304
- [c29]Michael Thielscher: Inferring Implicit State Knowledge and Plans with Sensing Actions. KI/ÖGAI 2001: 366-380
- 2000
- [b3]Michael Thielscher: Challenges for Action Theories. Lecture Notes in Computer Science 1775, Springer 2000, ISBN 3-540-67455-1
- [c28]Michael Thielscher: Modeling Actions with Ramifications in Nondeterministic, Concurrent, and Continuous Domains - and a Case Study. AAAI/IAAI 2000: 497-502
- [c27]Michael Thielscher: Nondeterministic Actions in the Fluent Calculus: Disjunctive State Update Axioms. Intellectics and Computational Logic 2000: 327-345
- [c26]Hans-Peter Störr, Michael Thielscher: A New Equational Foundation for the Fluent Calculus. Computational Logic 2000: 733-746
- [c25]
1990 – 1999
- 1999
- [j12]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)
- [j11]Dov M. Gabbay, Rolf Nossum, Michael Thielscher: Agents in Proactive Environments. J. Log. Comput. 9(1): 25-45 (1999)
- [c24]Rolf Nossum, Michael Thielscher: Counterfactual Reasoning by Means of a Calculus of Narrative Context. CONTEXT 1999: 495-498
- [c23]
- 1998
- [j10]Michael Thielscher: Reasoning About Actions: Steady Versus Stabilizing State Constraints. Artif. Intell. 104(1-2): 339-355 (1998)
- [j9]Michael Thielscher: Introduction to the Fluent Calculus. Electron. Trans. Artif. Intell. 2: 179-192 (1998)
- [c22]Michael Thielscher: Towards State Update Axioms: Reifying Successor State Axioms. JELIA 1998: 248-263
- [c21]
- 1997
- [b2]Michael Thielscher: Challenges for action theories - solving the ramification and qualification problem. TH Darmstadt 1997, pp. 1-154
- [j8]
- [j7]Michael Thielscher: A Theory of Dynamic Diagnosis. Electronic Transactions on Artificial Intelligence. Electron. Trans. Artif. Intell. 1: 73-104 (1997)
- [j6]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)
- [c20]
- [c19]
- 1996
- [j5]Sven-Erik Bornscheuer, Michael Thielscher: Representing Concurrent Actions and Solving Conflicts. Logic Journal of the IGPL 4(3): 355-368 (1996)
- [j4]Michael Thielscher: On the Completeness of SLDENF-Resolution. J. Autom. Reasoning 17(2): 199-214 (1996)
- [c18]Christoph S. Herrmann, Michael Thielscher: Reasoning about Continuous Processes. AAAI/IAAI, Vol. 1 1996: 639-644
- [c17]Kerstin Eder, Steffen Hölldobler, Michael Thielscher: An Abstract Machine for Reasoning about Situations, Actions, and Causality. ELP 1996: 137-151
- [c16]Torsten Schaub, Michael Thielscher: Skeptical Query-Answering in Constrained Default Logic. FAPR 1996: 567-581
- [c15]Michael Thielscher: A Nonmonotonic Disputation-Based Semantics and Proof Procedure for Logic Programs. JICSLP 1996: 483-497
- [c14]
- 1995
- [b1]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
- [j3]Steffen Hölldobler, Michael Thielscher: Computing change and specificity with equational logic programs. Ann. Math. Artif. Intell. 14(1): 99-133 (1995)
- [j2]Michael Thielscher, Torsten Schaub: Default Reasoning by Deductive Planning. J. Autom. Reasoning 15(1): 1-40 (1995)
- [c13]
- [c12]
- [c11]
- [c10]D. Andre de Waal, Michael Thielscher: Solving Deductive Planning Problems Using Program Analysis and Transformation. LOPSTR 1995: 189-203
- [c9]Kerstin Eder, Steffen Hölldobler, Michael Thielscher: A Resource-Oriented Deductive Approach Towards Hierarchical Planning. WLP 1995: 237-246
- 1994
- [c8]
- [c7]
- [c6]Sven-Erik Bornscheuer, Michael Thielscher: Representing Concurrent Actions and Solving Conflicts. KI 1994: 16-27
- 1993
- [j1]
- [c5]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
- [c4]
- [c3]Stefan Brüning, Steffen Hölldobler, Ute Cornelia Sigmund, Michael Thielscher, Josef Schneeberger: Disjunction In Resource-Oriented Deductive Planning. ILPS 1993: 670
- [c2]
- 1992
- [c1]Gerd Große, Steffen Hölldobler, Josef Schneeberger, Ute Cornelia Sigmund, Michael Thielscher: Equational Logic Programming Actions, and Change. JICSLP 1992: 177-191
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:00 CEST by the dblp team