Switch to: References

Add citations

You must login to add citations.
  1. A General First-Order Solution to the Ramification Problem with Cycles.Hannes Strass & Michael Thielscher - 2013 - Journal of Applied Logic 11 (3):289-308.
    Download  
     
    Export citation  
     
    Bookmark  
  • Position Systems in Dynamic Domains.Jianmin Ji & Fangzhen Lin - 2015 - Journal of Philosophical Logic 44 (2):147-161.
    A dynamic domain consists of a set of legal states and a transition function that maps states to states. AI formalisms for specifying dynamic domains have so far focused on describing the effects of actions, that is, the transition functions. In this paper we propose a notion of characteristic set of position systems for the purpose of describing legal states. A position system for a type of objects is a set of properties that are mutually exclusive, and that in each (...)
    Download  
     
    Export citation  
     
    Bookmark