A GRAPH-THEORETIC APPROACH TO DEFAULT LOGIC

被引：15
|
作者：
DIMOPOULOS, Y
MAGIROU, V
机构：
[1] Department of Informatics, Athens University of Economics and Business, Athens 104 34
[2] Max-Planck-Institut für Informatik, 66123 Saarbrücken, Im Stadtwald
来源：
INFORMATION AND COMPUTATION | 1994年 / 112卷 / 02期
关键词：
D O I：
10.1006/inco.1994.1058
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
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 to that of determining a kernel for a corresponding graph, allowing stronger complexity results as well as new conditions for the existence of extensions. (C) 1994 Academic Press, Inc.
引用
收藏
页码：239 / 256
页数：18
相关论文
共 50 条
  • [1] THE LOGIC OF GRAPH-THEORETIC DUALITY
    MCKEE, TA
    [J]. AMERICAN MATHEMATICAL MONTHLY, 1985, 92 (07): : 457 - 464
  • [2] A graph-theoretic approach to steganography
    Hetzl, S
    Mutzel, P
    [J]. COMMUNICATIONS AND MULTIMEDIA SECURITY, 2005, 3677 : 119 - 128
  • [3] A graph-theoretic approach to multitasking
    Alon, Noga
    Reichman, Daniel
    Shinkar, Igor
    Wagner, Tal
    Musslick, Sebastian
    Cohen, Jonathan D.
    Griffiths, Thomas L.
    Dey, Biswadip
    Ozcimder, Kayhan
    [J]. ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 30 (NIPS 2017), 2017, 30
  • [4] GRAPH-THEORETIC APPROACH TO METABOLIC PATHWAYS
    GOLDSTEIN, BN
    SELIVANOV, VA
    [J]. BIOMEDICA BIOCHIMICA ACTA, 1990, 49 (8-9) : 645 - 650
  • [5] MULTIVARIABLE CONTROL A GRAPH-THEORETIC APPROACH
    REINSCHKE, KJ
    [J]. LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES, 1988, 108 : 1 - +
  • [6] Graph-Theoretic Approach to Quantum Correlations
    Cabello, Adan
    Severini, Simone
    Winter, Andreas
    [J]. PHYSICAL REVIEW LETTERS, 2014, 112 (04)
  • [7] GRAPH-THEORETIC APPROACH TO PICTURE PROCESSING
    HOROWITZ, SL
    PAVLIDIS, T
    [J]. COMPUTER GRAPHICS AND IMAGE PROCESSING, 1978, 7 (02): : 282 - 291
  • [8] A graph-theoretic approach for inparalog detection
    Tremblay-Savard, Olivier
    Swenson, Krister M.
    [J]. BMC BIOINFORMATICS, 2012, 13
  • [9] A GRAPH-THEORETIC APPROACH TO DISTANCE TRANSFORMATIONS
    SHARAIHA, YM
    CHRISTOFIDES, N
    [J]. PATTERN RECOGNITION LETTERS, 1994, 15 (10) : 1035 - 1041
  • [10] A GRAPH-THEORETIC APPROACH TO THE EVOLUTION OF CAHOKIA
    PEREGRINE, P
    [J]. AMERICAN ANTIQUITY, 1991, 56 (01) : 66 - 75
12345