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
    AMERICAN MATHEMATICAL MONTHLY, 1985, 92 (07): : 457 - 464
  • [2] A graph-theoretic approach to steganography
    Hetzl, S
    Mutzel, P
    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
    ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 30 (NIPS 2017), 2017, 30
  • [4] GRAPH-THEORETIC APPROACH TO METABOLIC PATHWAYS
    GOLDSTEIN, BN
    SELIVANOV, VA
    BIOMEDICA BIOCHIMICA ACTA, 1990, 49 (8-9) : 645 - 650
  • [5] MULTIVARIABLE CONTROL A GRAPH-THEORETIC APPROACH
    REINSCHKE, KJ
    LECTURE NOTES IN CONTROL AND INFORMATION SCIENCES, 1988, 108 : 1 - +
  • [6] Graph-Theoretic Approach to Quantum Correlations
    Cabello, Adan
    Severini, Simone
    Winter, Andreas
    PHYSICAL REVIEW LETTERS, 2014, 112 (04)
  • [7] A GRAPH-THEORETIC APPROACH TO THE EVOLUTION OF CAHOKIA
    PEREGRINE, P
    AMERICAN ANTIQUITY, 1991, 56 (01) : 66 - 75
  • [8] A graph-theoretic approach for inparalog detection
    Olivier Tremblay-Savard
    Krister M Swenson
    BMC Bioinformatics, 13
  • [9] A graph-Theoretic approach to jacobsthal polynomials
    1600, Applied Probability Trust (42):
  • [10] A GRAPH-THEORETIC APPROACH TO DISTANCE TRANSFORMATIONS
    SHARAIHA, YM
    CHRISTOFIDES, N
    PATTERN RECOGNITION LETTERS, 1994, 15 (10) : 1035 - 1041
12345