Switch to: References

Add citations

You must login to add citations.
  1. An interpretation of default logic in minimal temporal epistemic logic.Joeri Engelfriet & Jan Treur - 1998 - Journal of Logic, Language and Information 7 (3):369-388.
    When reasoning about complex domains, where information available is usually only partial, nonmonotonic reasoning can be an important tool. One of the formalisms introduced in this area is Reiter's Default Logic (1980). A characteristic of this formalism is that the applicability of default (inference) rules can only be verified in the future of the reasoning process. We describe an interpretation of default logic in temporal epistemic logic which makes this characteristic explicit. It is shown that this interpretation yields a semantics (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Minimal Temporal Epistemic Logic.Joeri Engelfriet - 1996 - Notre Dame Journal of Formal Logic 37 (2):233-259.
    In the study of nonmonotonic reasoning the main emphasis has been on static (declarative) aspects. Only recently has there been interest in the dynamic aspects of reasoning processes, particularly in artificial intelligence. We study the dynamics of reasoning processes by using a temporal logic to specify them and to reason about their properties, just as is common in theoretical computer science. This logic is composed of a base temporal epistemic logic with a preference relation on models, and an associated nonmonotonic (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations