1. Ji Ruan & Michael Thielscher (2014). Logical-Epistemic Foundations of General Game Descriptions. Studia Logica 102 (2):321-338.
    A general game player automatically learns to play arbitrary new games solely by being told their rules. For this purpose games are specified in the general Game Description Language (GDL), a variant of Datalog with function symbols that uses a few game-specific keywords. A recent extension of basic GDL allows the description of nondeterministic games with any number of players who may have incomplete, asymmetric information. In this paper, we analyse the epistemic structure and expressiveness of this language in terms (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  2. Michael Thielscher (2004). Logic-Based Agents and the Frame Problem: A Case for Progression. In. In Vincent F. Hendricks (ed.), First-Order Logic Revisited. Logos. 75--323.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  3. Michael Thielscher (2001). The Concurrent, Continuous Fluent Calculus. Studia Logica 67 (3):315-331.
    The Fluent Calculus belongs to the established predicate calculus formalisms for reasoning about actions. Its underlying concept of state update axioms provides a solution to the basic representational and inferential Frame Problems in pure first-order logic. Extending a recent research result, we present a Fluent Calculus to reason about domains involving continuous change and where actions occur concurrently.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation