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 条
  • [31] A Graph-Theoretic Approach for Segmentation of PET Images
    Bagci, Ulas
    Yao, Jianhua
    Caban, Jesus
    Turkbey, Evrim
    Aras, Omer
    Mollura, Daniel J.
    2011 ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), 2011, : 8479 - 8482
  • [32] A GRAPH-THEORETIC APPROACH TO MODELING METABOLIC PATHWAYS
    GIFFORD, E
    JOHNSON, M
    TSAI, CC
    JOURNAL OF COMPUTER-AIDED MOLECULAR DESIGN, 1991, 5 (04) : 303 - 322
  • [33] A GRAPH-THEORETIC APPROACH TO ANALYSIS OF INTERNATIONAL RELATIONS
    HARARY, F
    MILLER, H
    JOURNAL OF CONFLICT RESOLUTION, 1970, 14 (01) : 57 - &
  • [34] A graph-theoretic approach to quasigroup cycle numbers
    Kerby, Brent
    Smith, Jonathan D. H.
    JOURNAL OF COMBINATORIAL THEORY SERIES A, 2011, 118 (08) : 2232 - 2245
  • [35] A new graph-theoretic approach to clustering and segmentation
    Pavan, M
    Pelillo, M
    2003 IEEE COMPUTER SOCIETY CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION, VOL 1, PROCEEDINGS, 2003, : 145 - 152
  • [36] A GRAPH-THEORETIC APPROACH TO A CONJECTURE OF DIXON AND PRESSMAN
    Brassil, Matthew
    Reichstein, Zinovy
    ISRAEL JOURNAL OF MATHEMATICS, 2022, 252 (01) : 291 - 336
  • [37] A Graph-Theoretic Approach to the Train Marshalling Problem
    Doerpinghaus, Jens
    Schrader, Rainer
    PROCEEDINGS OF THE 2018 FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS (FEDCSIS), 2018, : 227 - 231
  • [38] Graph-theoretic scagnostics
    Wilkinson, L
    Anand, A
    Grossman, R
    INFOVIS 05: IEEE SYMPOSIUM ON INFORMATION VISUALIZATION, PROCEEDINGS, 2005, : 157 - 164
  • [39] A GRAPH-THEORETIC APPROACH TO PREDICTING MOLECULAR-PROPERTIES
    BASAK, SC
    NIEMI, GJ
    VEITH, GD
    MATHEMATICAL AND COMPUTER MODELLING, 1990, 14 : 511 - 516
  • [40] Situation Management in Aviation Security - A Graph-Theoretic Approach
    Koelle, Rainer
    Kolev, Denis
    PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON INFORMATION WARFARE AND SECURITY (ICIW-2013), 2013, : 125 - 135
12345