5 found
Order:
Disambiguations
Luigia Carlucci Aiello [3]Luigia Aiello [2]
  1.  10
    A Structural Property On Modal Frames Characterizing Default Logic.Gianni Amati, Luigia Aiello, Dov Gabbay & Fiora Pirri - 1996 - Logic Journal of the IGPL 4 (1):7-22.
    We show that modal logics characterized by a class of frames satisfying the insertion property are suitable for Reiter's default logic. We refine the canonical fix point construction defined by Marek, Schwarz and Truszczyński for Reiter's default logic and thus we addrress a new paradigm for nonmonotonic logic. In fact, differently from the construction defined by these authors. we show that suitable modal logics for such a construction must indeed contain K D4. When reflexivity is added to the modal logic (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  2. Intuitionistic Autoepistemic Logic.Luigia Aiello, Giambattista Amati, Fiora Pirri & Fondazione Ugo Bordoni - 1997 - Studia Logica 59.
     
    Export citation  
     
    Bookmark  
  3.  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 (5 more)  
     
    Export citation  
     
    Bookmark  
  4.  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  
  5.  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