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 条
  • [21] Graph-theoretic approach for Security of Internet of Things
    Folly, Farell
    2017 INTERNATIONAL RURAL AND ELDERLY HEALTH INFORMATICS CONFERENCE (IREHI), 2017,
  • [22] Observability of Boolean networks: A graph-theoretic approach
    Laschov, Dmitriy
    Margaliot, Michael
    Even, Guy
    AUTOMATICA, 2013, 49 (08) : 2351 - 2362
  • [23] THE GRAPH-THEORETIC APPROACH TO DESCRIPTIVE SET THEORY
    Miller, Benjamin D.
    BULLETIN OF SYMBOLIC LOGIC, 2012, 18 (04) : 554 - 575
  • [24] Corruption and its detection: a graph-theoretic approach
    Mukwembi, Thebeth Rufaro
    Mukwembi, Simon
    COMPUTATIONAL AND MATHEMATICAL ORGANIZATION THEORY, 2017, 23 (02) : 293 - 300
  • [25] A Graph-theoretic Approach to the Reach Control Problem
    Ornik, Melkior
    Broucke, Mireille E.
    2017 IEEE 56TH ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), 2017,
  • [26] A graph-theoretic approach for the detection of phishing webpages
    Tan, Choon Lin
    Chiew, Kang Leng
    Yong, Kelvin S. C.
    Sze, San Nah
    Abdullah, Johari
    Sebastian, Yakub
    COMPUTERS & SECURITY, 2020, 95
  • [27] A GRAPH-THEORETIC APPROACH TO THE RELATIVE PLACEMENT PROBLEM
    WEIS, BX
    MLYNSKI, DA
    IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS, 1988, 35 (03): : 286 - 293
  • [28] Graph-theoretic approach to quantum error correction
    Vandermolen, Robert R.
    Wright, Duncan
    PHYSICAL REVIEW A, 2022, 105 (03)
  • [29] Transient enzyme kinetics: Graph-theoretic approach
    Goldstein, Boris N.
    BIOPHYSICAL CHEMISTRY, 2009, 141 (2-3) : 193 - 197
  • [30] Network synchronizability analysis: A graph-theoretic approach
    Chen, Guanrong
    Duan, Zhisheng
    CHAOS, 2008, 18 (03)
12345