Michael Thielscher (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

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

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

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

Selection of 4 from 109 records - Michael Thielscher has 97 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

106		Sebastian Haufe, Michael Thielscher: Automated Verification of Epistemic Properties for General Game Playing. KR 2012
105		Sebastian Haufe, Stephan Schiffel, Michael Thielscher: Automated verification of state sequence invariants in general game playing. Artif. Intell. 187: 1-30 (2012)
95		Sebastian Haufe, Daniel Michulke, Stephan Schiffel, Michael Thielscher: Knowledge-Based General Game Playing. KI 25(1): 25-33 (2011)
89		Sebastian Haufe, Michael Thielscher: Pushing the Envelope: General Game Players Prove Theorems. Australasian Conference on Artificial Intelligence 2010: 1-10