default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMichael Thielscher
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[c115]Kevin Luong, Michael Thielscher:
Hierarchically Gated Experts for Efficient Online Continual Learning. ICAART (2) 2025: 507-518- 2024
- [c114]Yifan He, Abdallah Saffidine, Michael Thielscher:
Solving Two-player Games with QBF Solvers in General Game Playing. AAMAS 2024: 807-815 - [c113]Yifan He, Munyque Mittelmann
, Aniello Murano, Abdallah Saffidine, Michael Thielscher:
Verification of General Games with Imperfect Information Using Strategy Logic. KR 2024 - [i8]Kevin Luong, Michael Thielscher:
Hierarchically Gated Experts for Efficient Online Continual Learning. CoRR abs/2412.17188 (2024) - 2023
- [c112]James Ji, Michael Thielscher:
MCTS with Dynamic Depth Minimax. ACG 2023: 63-75 - [c111]Michael Cunanan, Michael Thielscher:
On Optimal Strategies for Wordle and General Guessing Games. IJCAI 2023: 5541-5548 - [c110]Sean Zammit, Michael Thielscher:
General Game Playing With State-Independent Communication. KR 2023: 710-719 - [i7]Michael Cunanan, Michael Thielscher:
On Optimal Strategies for Wordle and General Guessing Games. CoRR abs/2305.09111 (2023) - [i6]Bernhard Hengst, Maurice Pagnucco, David Rajaratnam, Claude Sammut, Michael Thielscher:
Online Learning and Planning in Cognitive Hierarchies. CoRR abs/2310.12386 (2023) - 2022
- [c109]Cameron McEwan, Michael Thielscher:
Knowledge Transfer for Deep Reinforcement Agents in General Game Playing. AI 2022: 53-66 - [c108]Zachary Partridge, Michael Thielscher:
Hidden Information General Game Playing with Deep Learning and Search. PRICAI (3) 2022: 161-172 - 2021
- [j36]Thorsten Engesser, Robert Mattmüller, Bernhard Nebel, Michael Thielscher:
Game description language and dynamic epistemic logic compared. Artif. Intell. 292: 103433 (2021) - [c107]David Rajaratnam, Michael Thielscher:
Representing and Reasoning with Event Models for Epistemic Planning. KR 2021: 519-528 - 2020
- [c106]Adrian Goldwaser, Michael Thielscher:
Deep Reinforcement Learning for General Game Playing. AAAI 2020: 1701-1708 - [c105]Alvaro Gunawan, Ji Ruan, Michael Thielscher, Ajit Narayanan:
Exploring a Learning Architecture for General Game Playing. Australasian Conference on Artificial Intelligence 2020: 294-306 - [p2]Michael Thielscher:
Universelle Spielprogramme. Handbuch der Künstlichen Intelligenz 2020: 817-858 - [e8]Diego Calvanese, Esra Erdem, Michael Thielscher:
Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning, KR 2020, Rhodes, Greece, September 12-18, 2020. 2020, ISBN 978-0-9992411-7-2 [contents]
2010 – 2019
- 2019
- [j35]Michael John Schofield, Michael Thielscher:
General Game Playing with Imperfect Information. J. Artif. Intell. Res. 66: 901-935 (2019) - [c104]Bernhard Hengst, Maurice Pagnucco, David Rajaratnam, Claude Sammut, Michael Thielscher:
Perceptual Context in Cognitive Hierarchies. Description Logic, Theory Combination, and All That 2019: 352-366 - [c103]Shawn Manuel, David Rajaratnam, Michael Thielscher:
Encoding Epistemic Strategies for General Game Playing. PRICAI (1) 2019: 555-567 - 2018
- [c102]Armin Chitizadeh, Michael Thielscher:
General Language Evolution in General Game Playing. Australasian Conference on Artificial Intelligence 2018: 51-64 - [c101]Armin Chitizadeh, Michael Thielscher:
Iterative Tree Search in General Game Playing with Incomplete Information. CGW@IJCAI 2018: 98-115 - [c100]Thorsten Engesser, Robert Mattmüller, Bernhard Nebel, Michael Thielscher:
Game Description Language and Dynamic Epistemic Logic Compared. IJCAI 2018: 1795-1802 - [e7]Michael Thielscher, Francesca Toni, Frank Wolter:
Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018. AAAI Press 2018, ISBN 978-1-57735-803-9 [contents] - [i5]Bernhard Hengst, Maurice Pagnucco, David Rajaratnam, Claude Sammut, Michael Thielscher:
Perceptual Context in Cognitive Hierarchies. CoRR abs/1801.02270 (2018) - 2017
- [j34]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:
Reports of the Workshops of the Thirty-First AAAI Conference on Artificial Intelligence. AI Mag. 38(3): 72-82 (2017) - [c99]Michael John Schofield, Michael Thielscher:
The Efficiency of the HyperPlay Technique Over Random Sampling. AAAI 2017: 282-290 - [c98]Michael Thielscher:
GDL-III: A Description Language for Epistemic General Game Playing. IJCAI 2017: 1276-1282 - [e6]Tristan Cazenave, Mark H. M. Winands, Stefan Edelkamp, Stephan Schiffel, Michael Thielscher, Julian Togelius:
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. Communications in Computer and Information Science 705, 2017, ISBN 978-3-319-57968-9 [contents] - 2016
- [c97]Tristan Cazenave, Abdallah Saffidine, Michael John Schofield, Michael Thielscher:
Nested Monte Carlo Search for Two-Player Games. AAAI 2016: 687-693 - [c96]Michael John Schofield, Michael Thielscher:
The Scalability of the HyperPlay Technique for Imperfect-Information Games. AAAI Workshop: Computer Poker and Imperfect Information Games 2016 - [c95]David Rajaratnam, Bernhard Hengst, Maurice Pagnucco, Claude Sammut, Michael Thielscher:
Composability in Cognitive Hierarchies. Australasian Conference on Artificial Intelligence 2016: 42-55 - [c94]Michael Thielscher:
GDL-III: A Proposal to Extend the Game Description Language to General Epistemic Games. ECAI 2016: 1630-1631 - [c93]Michael Thielscher:
Sampling-Based Belief Revision. IJCAI 2016: 1272-1278 - [c92]Keith Clark, Bernhard Hengst, Maurice Pagnucco, David Rajaratnam, Peter Robinson, Claude Sammut, Michael Thielscher:
A Framework for Integrating Symbolic and Sub-Symbolic Representations. IJCAI 2016: 2486-2492 - [e5]Viliam Lisý, Michael Thielscher, Thanh Nguyen:
Computer Poker and Imperfect Information Games, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 13, 2016. AAAI Technical Report WS-16-06, AAAI Press 2016 [contents] - [e4]Tristan Cazenave, Mark H. M. Winands, Stefan Edelkamp, Stephan Schiffel, Michael Thielscher, Julian Togelius:
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. Communications in Computer and Information Science 614, Springer 2016, ISBN 978-3-319-39401-5 [contents] - 2015
- [j33]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:
A Summary of the Twenty-Ninth AAAI Conference on Artificial Intelligence. AI Mag. 36(3): 99-106 (2015) - [j32]Dongmo Zhang, Michael Thielscher:
Representing and Reasoning about Game Strategies. J. Philos. Log. 44(2): 203-236 (2015) - [c91]Dongmo Zhang, Michael Thielscher:
A Logic for Reasoning About Game Strategies. AAAI 2015: 1671-1677 - [c90]Michael John Schofield, Michael Thielscher:
Lifting Model Sampling for General Game Playing to Incomplete-Information Models. AAAI 2015: 3585-3591 - [c89]Michael Thielscher:
Simulation of Action Theories and an Application to General Game-Playing Robots. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation 2015: 33-46 - [c88]David Rajaratnam, Michael Thielscher:
Execution Monitoring as Meta-Games for General Game-Playing Robots. IJCAI 2015: 3178-3185 - 2014
- [b6]Michael R. Genesereth, Michael Thielscher:
General Game Playing. Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan & Claypool Publishers 2014, ISBN 978-3-031-00441-4 - [j31]Stephan Schiffel, Michael Thielscher:
Representing and Reasoning About the Rules of General Games With Imperfect Information. J. Artif. Intell. Res. 49: 171-206 (2014) - [j30]Ji Ruan, Michael Thielscher:
Logical-Epistemic Foundations of General Game Descriptions. Stud Logica 102(2): 321-338 (2014) - [c87]Javier Romero Davila, Abdallah Saffidine, Michael Thielscher:
Solving the Inferential Frame Problem in the General Game Description Language. AAAI 2014: 515-521 - [c86]Timothy Joseph Cerexhe, David Rajaratnam, Abdallah Saffidine, Michael Thielscher:
A Systematic Solution to the (De-)Composition Problem in General Game Playing. ECAI 2014: 195-200 - [c85]David Rajaratnam, Hector J. Levesque, Maurice Pagnucco, Michael Thielscher:
Forgetting in Action. KR 2014 - [c84]Timothy Joseph Cerexhe, Martin Gebser, Michael Thielscher:
Online Agent Logic Programming with oClingo. PRICAI 2014: 945-957 - [e3]Carsten Lutz, Michael Thielscher:
KI 2014: Advances in Artificial Intelligence - 37th Annual German Conference on AI, Stuttgart, Germany, September 22-26, 2014. Proceedings. Lecture Notes in Computer Science 8736, Springer 2014, ISBN 978-3-319-11205-3 [contents] - [i4]Dongmo Zhang, Michael Thielscher:
Representing and Reasoning about Game Strategies. CoRR abs/1407.5380 (2014) - 2013
- [j29]Hannes Strass, Michael Thielscher:
A general first-order solution to the ramification problem with cycles. J. Appl. Log. 11(3): 289-308 (2013) - [c83]Michael Thielscher:
Filtering With Logic Programs and Its Application to General Game Playing. AAAI 2013: 890-896 - [c82]Xiaowei Huang, Ji Ruan, Michael Thielscher:
Model Checking for Reasoning about Incomplete Information Games. Australasian Conference on Artificial Intelligence 2013: 246-258 - [c81]David Rajaratnam, Michael Thielscher:
Towards General Game-Playing Robots: Models, Architecture and Game Controller. Australasian Conference on Artificial Intelligence 2013: 271-276 - [c80]Timothy Joseph Cerexhe, Orkunt Sabuncu, Michael Thielscher:
Evaluating Answer Set Clause Learning for General Game Playing. LPNMR 2013: 219-232 - [c79]Maurice Pagnucco, David Rajaratnam, Hannes Strass, Michael Thielscher:
Implementing Belief Change in the Situation Calculus and an Application. LPNMR 2013: 439-451 - [p1]Michael Thielscher:
Universelle Spielprogramme. Handbuch der Künstlichen Intelligenz 2013: 613-650 - 2012
- [j28]Sebastian Haufe, Stephan Schiffel, Michael Thielscher:
Automated verification of state sequence invariants in general game playing. Artif. Intell. 187: 1-30 (2012) - [c78]Michael John Schofield, Timothy Joseph Cerexhe, Michael Thielscher:
HyperPlay: A Solution to General Game Playing with Imperfect Information. AAAI 2012: 1606-1612 - [c77]Hannes Strass, Michael Thielscher:
A Language for Default Reasoning about Actions. Correct Reasoning 2012: 527-542 - [c76]Ji Ruan, Michael Thielscher:
Strategic and Epistemic Reasoning for the Game Description Language GDL-II. ECAI 2012: 696-701 - [c75]Sebastian Haufe, Michael Thielscher:
Automated Verification of Epistemic Properties for General Game Playing. KR 2012 - [e2]Michael Thielscher, Dongmo Zhang:
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 [contents] - 2011
- [j27]Michael Thielscher:
A unifying action calculus. Artif. Intell. 175(1): 120-141 (2011) - [j26]Michael Thielscher:
Special Issue on General Game Playing. Künstliche Intell. 25(1): 5-7 (2011) - [j25]Sebastian Haufe, Daniel Michulke, Stephan Schiffel, Michael Thielscher:
Knowledge-Based General Game Playing. Künstliche Intell. 25(1): 25-33 (2011) - [j24]Michael Thielscher:
GDL-II. Künstliche Intell. 25(1): 63-66 (2011) - [j23]Conrad Drescher, Michael Thielscher:
ALPprolog - A new logic programming method for dynamic domains. Theory Pract. Log. Program. 11(4-5): 451-468 (2011) - [c74]Maurice Pagnucco, David Rajaratnam, Hannes Strass, Michael Thielscher:
How to Plan When Being Deliberately Misled. Automated Action Planning for Autonomous Mobile Robots 2011 - [c73]Ji Ruan, Michael Thielscher:
The Epistemic Logic Behind the Game Description Language. AAAI 2011: 840-845 - [c72]Stephan Schiffel, Michael Thielscher:
Reasoning About General Games Described in GDL-II. AAAI 2011: 846-851 - [c71]Ji Ruan, Michael Thielscher:
A Logic for Knowledge Flow in Social Networks. Australasian Conference on Artificial Intelligence 2011: 511-520 - [c70]Michael Thielscher:
Translating General Game Descriptions into an Action Language. Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning 2011: 300-314 - [c69]Michael Thielscher:
The General Game Playing Description Language Is Universal. IJCAI 2011: 1107-1112 - [c68]Michael Thielscher:
General Game Playing in AI Research and Education. KI 2011: 26-37 - [i3]Conrad Drescher, Michael Thielscher:
ALPprolog --- A New Logic Programming Method for Dynamic Domains. CoRR abs/1107.5242 (2011) - 2010
- [c67]Michael Thielscher:
A General Game Description Language for Incomplete Information Games. AAAI 2010: 994-999 - [c66]Michael Thielscher, Sebastian Voigt:
A Temporal Proof System for General Game Playing. AAAI 2010: 1000-1005 - [c65]Sebastian Haufe, Michael Thielscher:
Pushing the Envelope: General Game Players Prove Theorems. Australasian Conference on Artificial Intelligence 2010: 1-10 - [c64]Yves Martin, Michael Thielscher:
Integrating Reasoning about Actions and Bayesian Networks. ICAART (1) 2010: 298-304 - [c63]Ringo Baumann, Gerhard Brewka, Hannes Strass, Michael Thielscher, Vadim Zaslawski:
State Defaults and Ramifications in the Unifying Action Calculus. KR 2010 - [c62]Michael Thielscher:
Integrating Action Calculi and AgentSpeak: Closing the Gap. KR 2010 - [c61]Hannes Strass, Michael Thielscher:
Default Reasoning in Action Domains with Conditional, Non-Local Effect Actions. LPAR short papers(Yogyakarta) 2010: 58-63
2000 – 2009
- 2009
- [c60]Michael Thielscher, Dongmo Zhang:
From General Game Descriptions to a Market Specification Language for General Trading Agents. AMEC/TADA 2009: 259-274 - [c59]Hannes Strass, Michael Thielscher:
Simple Default Reasoning in Theories of Action. Australasian Conference on Artificial Intelligence 2009: 31-40 - [c58]Dengji Zhao, Stephan Schiffel, Michael Thielscher:
Decomposition of Multi-player Games. Australasian Conference on Artificial Intelligence 2009: 475-484 - [c57]Conrad Drescher, Hongkai Liu, Franz Baader, Steffen Guhlemann, Uwe Petersohn, Peter Steinke, Michael Thielscher:
Putting ABox Updates into Action. FroCoS 2009: 214-229 - [c56]Conrad Drescher, Stephan Schiffel, Michael Thielscher:
A Declarative Agent Programming Language Based on Action Theories. FroCoS 2009: 230-245 - [c55]Stephan Schiffel, Michael Thielscher:
Specifying Multiagent Environments Systems in the Game Description Language. ICAART 2009: 21-28 - [c54]Stephan Schiffel, Michael Thielscher:
A Multiagent Semantics for the Game Description Language. ICAART (Revised Selected Papers) 2009: 44-55 - [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]Hannes Strass, Michael Thielscher:
On Defaults in Action Theories. KI 2009: 298-305 - [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:
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 [contents] - 2008
- [b5]Michael Thielscher:
Action Programming Languages. Synthesis Lectures on Artificial Intelligence and Machine Learning, Morgan & Claypool Publishers 2008, ISBN 978-3-031-00419-3 - [j22]Yi Jin, Michael Thielscher:
Reinforcement Belief Revision. J. Log. Comput. 18(5): 783-813 (2008) - [c49]Conrad Drescher, Michael Thielscher:
A Fluent Calculus Semantics for ADL with Plan Constraints. JELIA 2008: 140-152 - 2007
- [j21]Yi Jin, Michael Thielscher:
Iterated belief revision, revised. Artif. Intell. 171(1): 1-18 (2007) - [j20]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
- [j19]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:
Reports on the Twenty-First National Conference on Artificial Intelligence (AAAI-06) Workshop Program. AI Mag. 27(4): 92-102 (2006) - [j18]Silvia Coradeschi, Hiroshi Ishiguro, Minoru Asada, Stuart C. Shapiro, Michael Thielscher, Cynthia Breazeal, Maja J. Mataric, Hiroshi Ishida:
Human-Inspired Robots. IEEE Intell. Syst. 21(4): 74-85 (2006) - [j17]Michael Thielscher:
General Game Playing. Künstliche Intell. 20(4): 37-39 (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
- [b4]Michael Thielscher:
Reasoning robots - the art and science of programming robotic agents. Applied logic series 33, Springer 2005, ISBN 978-1-4020-3068-0, pp. I-XIII, 1-327 - [j16]Michael Thielscher:
FLUX: A logic programming method for reasoning agents. Theory Pract. Log. Program. 5(4-5): 533-565 (2005) - [c41]Michael Thielscher:
Handling Implication and Universal Quantification Constraints in FLUX. CP 2005: 667-681 - [c40]Hendrik Skubch, Michael Thielscher:
Strategy Learning for Reasoning Agents. ECML 2005: 733-740 - [c39]Yi Jin, Michael Thielscher:
Iterated Belief Revision, Revised. IJCAI 2005: 478-483 - [i2]Yi Jin, Michael Thielscher:
Actions and Belief Revision: A Computational Approach. Belief Change in Rational Agents 2005 - 2004
- [c38]Yves Martin, Iman Narasamdya, Michael Thielscher:
Knowledge of Other Agents and Communicative Actions in the Fluent Calculus. ICAPS 2004: 12-22 - [c37]Yi Jin, Michael Thielscher:
Representing Beliefs in the Fluent Calculus. ECAI 2004: 823-827 - [c36]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. Informaticae 57(2-4): 371-392 (2003) - [c35]Michael Thielscher:
Controlling Semi-automatic Systems with FLUX. ICLP 2003: 515-516 - [c34]Ozan Kahramanogullari, Michael Thielscher:
A Formal Assessment Result for Fluent Calculus Using the Action Description Language Ak. KI 2003: 209-223 - 2002
- [c33]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]Michael Thielscher:
The Concurrent, Continuous Fluent Calculus. Stud Logica 67(3): 315-331 (2001) - [c32]Michael Thielscher:
Planning with Noisy Actions. Australian Joint Conference on Artificial Intelligence 2001: 495-506 - [c31]Yves Martin, Michael Thielscher:
Addressing the Qualification Problem in FLUX. KI/ÖGAI 2001: 290-304 - [c30]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 - [c29]Michael Thielscher:
Modeling Actions with Ramifications in Nondeterministic, Concurrent, and Continuous Domains - and a Case Study. AAAI/IAAI 2000: 497-502 - [c28]Michael Thielscher:
Nondeterministic Actions in the Fluent Calculus: Disjunctive State Update Axioms. Intellectics and Computational Logic 2000: 327-345 - [c27]Hans-Peter Störr, Michael Thielscher:
A New Equational Foundation for the Fluent Calculus. Computational Logic 2000: 733-746 - [c26]Michael Thielscher:
Representing the Knowledge of a Robot. KR 2000: 109-120
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) - [c25]Rolf Nossum, Michael Thielscher:
Counterfactual Reasoning by Means of a Calculus of Narrative Context. CONTEXT 1999: 495-498 - [c24]Michael Thielscher:
A Theory of First-Order Counterfactual Reasoning. KI 1999: 137-148 - 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) - [c23]Michael Thielscher:
Towards State Update Axioms: Reifying Successor State Axioms. JELIA 1998: 248-263 - [c22]Michael Thielscher:
How (Not) To Minimize Events. KR 1998: 60-73 - 1997
- [b2]Michael Thielscher:
Challenges for action theories - solving the ramification and qualification problem. TH Darmstadt, 1997, pp. 1-154 - [j8]Michael Thielscher:
Ramification and Causality. Artif. Intell. 89(1-2): 317-364 (1997) - [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) - [c21]Michael Thielscher:
Qualified Ramifications. AAAI/IAAI 1997: 466-471 - [c20]Dov M. Gabbay, Rolf Nossum, Michael Thielscher:
Agents in Proactive Environments. KI 1997: 389-392 - 1996
- [j5]Sven-Erik Bornscheuer, Michael Thielscher:
Representing Concurrent Actions and Solving Conflicts. Log. J. IGPL 4(3): 355-368 (1996) - [j4]Michael Thielscher:
On the Completeness of SLDENF-Resolution. J. Autom. Reason. 17(2): 199-214 (1996) - [c19]Christoph S. Herrmann, Michael Thielscher:
Reasoning about Continuous Processes. AAAI/IAAI, Vol. 1 1996: 639-644 - [c18]Kerstin Eder, Steffen Hölldobler, Michael Thielscher:
An Abstract Machine for Reasoning about Situations, Actions, and Causality. ELP 1996: 137-151 - [c17]Torsten Schaub, Michael Thielscher:
Skeptical Query-Answering in Constrained Default Logic. FAPR 1996: 567-581 - [c16]Michael Thielscher:
A Nonmonotonic Disputation-Based Semantics and Proof Procedure for Logic Programs. JICSLP 1996: 483-497 - [c15]Michael Thielscher:
Causality and the Qualification Problem. KR 1996: 51-62 - 1995
- [b1]Michael Thielscher:
Automatisiertes Schließen über Kausalbeziehungen mit SLDENDF-Resolution. Darmstadt University of Technology, Germany, 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. Reason. 15(1): 1-40 (1995) - [c14]Michael Thielscher:
The Logic of Dynamic Systems. IJCAI 1995: 1956-1963 - [c13]Michael Thielscher:
Computing Ramifications by Postprocessing. IJCAI 1995: 1994-2000 - [c12]Michael Thielscher:
What Is a Skeptical Proof? KI 1995: 161-172 - [c11]D. Andre de Waal, Michael Thielscher:
Solving Deductive Planning Problems Using Program Analysis and Transformation. LOPSTR 1995: 189-203 - [c10]Kerstin Eder, Steffen Hölldobler, Michael Thielscher:
A Resource-Oriented Deductive Approach Towards Hierarchical Planning. WLP 1995: 237-246 - 1994
- [c9]Wolfgang Bibel, Michael Thielscher:
Deductive Plan Generation. AII/ALT 1994: 2-5 - [c8]Michael Thielscher:
Representing Actions in Equational Logic Programming. ICLP 1994: 207-224 - [c7]Sven-Erik Bornscheuer, Michael Thielscher:
Representing Concurrent Actions and Solving Conflicts. KI 1994: 16-27 - 1993
- [j1]Michael Thielscher:
On Prediction in Theorist. Artif. Intell. 60(2): 283-292 (1993) - [c6]Steffen Hölldobler, Michael Thielscher:
On Logic Programming with Multisets. ICLP Workshop on Logic Programming with Sets 1993 - [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]Steffen Hölldobler, Michael Thielscher:
Actions and Specificity. ILPS 1993: 164-180 - [c3]Stefan Brüning, Steffen Hölldobler, Ute Cornelia Sigmund, Michael Thielscher, Josef Schneeberger:
Disjunction In Resource-Oriented Deductive Planning. ILPS 1993: 670 - [c2]Michael Thielscher:
SLDENF-Resolution. WLP 1993: 100-103 - 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-04-16 21:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
