Browsing Τμήμα Πληροφορικής / Department of Computer Science by Author "Magirou, V."

Now showing items 1-2 of 2

    • Article  

      A Graph-Theoretic Approach to Default Logic 

      Dimopoulos, Yannis; Magirou, V. (1994)
      A network representation of propositional seminormal disjunction-free default theories is presented, leading to a graph-theoretic approach to their analysis. The problem of finding an extension is proved to be equivalent ...
    • Article  

      On kernels, defaults and even graphs 

      Dimopoulos, Yannis; Magirou, V.; Papadimitriou, C. H. (1997)
      Extensions in prerequisite-free, disjunction-free default theories have been shown to be in direct correspondence with kernels of directed graphs