Switch to: References

Add citations

You must login to add citations.
  1. Functional completion.Vladimir Lifschitz & Fangkai Yang - 2013 - Journal of Applied Non-Classical Logics 23 (1-2):121-130.
    Nonmonotonic causal logic is a knowledge representation language designed for describing domains that involve actions and change. The process of literal completion, similar to program completion familiar from the theory of logic programming, can be used to translate some nonmonotonic causal theories into classical logic. Its applicability is restricted, however, to theories that deal with truth-valued fluents, represented by predicate symbols. In this note we introduce functional completion—a more general process that can be applied to causal theories in which fluents (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation