Stop the war!Остановите войну!
for scientists:
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
- 2023
[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]