Order:
  1.  8
    The complexity and generality of learning answer set programs.Mark Law, Alessandra Russo & Krysia Broda - 2018 - Artificial Intelligence 259:110-146.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  17
    Labelled Natural Deduction for Conditional Logics of Normality.Krysia Broda, Dov Gabbay, Luís Lamb & Alessandra Russo - 2002 - Logic Journal of the IGPL 10 (2):123-163.
    We propose a family of Labelled Deductive Conditional Logic systems by defining a Labelled Deductive formalisation for the propositional conditional logics of normality proposed by Boutilier and Lamarre. By making use of the Compilation approach to Labelled Deductive Systems we define natural deduction rules for conditional logics and prove that our formalisation is a generalisation of the conditional logics of normality.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  3.  21
    Editorial.Krysia Broda, Marcello D'agostino, Rajeev Gore, Rob Johnson & Steve Reeves - 1995 - Logic Journal of the IGPL 3 (6):826-826.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  22
    Review of P. Blackburn, J. Bos, and K. Striegnitz, Learn Prolog Now![REVIEW]Krysia Broda - 2008 - Journal of Logic, Language and Information 17 (2):229-231.