Did you mean: Lite, Joan Alexandra
  1.  23 DLs
    José Júlio Alferes, Federico Banti, Antonio Brogi & João Alexandre Leite (2005). The Refined Extension Principle for Semantics of Dynamic Logic Programming. Studia Logica 79 (1):7 - 32.
    Over recent years, various semantics have been proposed for dealing with updates in the setting of logic programs. The availability of different semantics naturally raises the question of which are most adequate to model updates. A systematic approach to face this question is to identify general principles against which such semantics could be evaluated. In this paper we motivate and introduce a new such principle the refined extension principle. Such principle is complied with by the stable model semantics for (single) (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  2.  4 DLs
    Joao Alexandre Leite (2005). José Júlio Alferes Federico Banti Antonio Brogi Joao Alexandre Leite. Studia Logica 79:7-32.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation