Order:
  1.  22
    Defaults as Restrictions on Classical Hilbert-Style Proofs.Gianni Amati, Luigia Carlucci Aiello & Fiora Pirri - 1994 - Journal of Logic, Language and Information 3 (4):303-326.
    Since the earliest formalisation of default logic by Reiter many contributions to this appealing approach to nonmonotonic reasoning have been given. The different formalisations are here presented in a general framework that gathers the basic notions, concepts and constructions underlying default logic. Our view is to interpret defaults as special rules that impose a restriction on the juxtaposition of monotonic Hubert-style proofs of a given logicL. We propose to describe default logic as a logic where the juxtaposition of default proofs (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  2.  6
    Research Trends in Knowledge Representation.Luigia Carlucci Aiello & Daniele Nardi - 1991 - In P. A. Flach (ed.), Future Directions in Artificial Intelligence. New York: Elsevier Science.
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  2
    Definability and Commonsense Reasoning.Gianni Amati, Luigia Carlucci Aiello & Fiora Pirri - 1997 - Artificial Intelligence 93 (1-2):169-199.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation