Credulous argumentation with the disjunctive stable semantics

被引：0
|
作者：
Wang, Kewen
Chen, Huowang
Wu, Quanyuan
机构：
来源：
Science China Series E Technological Sciences | 1998年 / 41卷 / 03期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：330 / 336
相关论文
共 50 条
  • [1] Credulous argumentation with the disjunctive stable semantics
    Wang, KW
    Chen, HW
    Wu, QY
    [J]. SCIENCE IN CHINA SERIES E-TECHNOLOGICAL SCIENCES, 1998, 41 (03): : 330 - 336
  • [2] Credulous argumentation with the disjunctive stable semantics
    王克文
    陈火旺
    吴泉源
    [J]. Science China Technological Sciences, 1998, (03) : 330 - 336
  • [3] Credulous argumentation with the disjunctive stable semantics
    Kewen Wang
    Huowang Chen
    Quanyuan Wu
    [J]. Science in China Series E: Technological Sciences, 1998, 41 : 330 - 336
  • [4] Dialectical proof theories for the credulous prudent preferred semantics of argumentation
    Devred, Caroline
    Doutre, Sylvie
    [J]. SYMBOLIC AND QUANTITATIVE APPROACHES TO REASONING WITH UNCERTAINTY, PROCEEDINGS, 2007, 4724 : 271 - +
  • [5] Paraconsistent stable semantics for extended disjunctive programs
    [J]. 1600, Oxford Univ Press, Oxford, Engl (05):
  • [6] Characterizations of the disjunctive stable semantics by partial evaluation
    Brass, S
    Dix, J
    [J]. JOURNAL OF LOGIC PROGRAMMING, 1997, 32 (03): : 207 - 228
  • [7] Sceptical and Credulous Approach to Deductive Argumentation
    Nevrkla, Svatopluk
    [J]. LOGICA YEARBOOK 2011, 2012, : 181 - 189
  • [8] Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation
    Leone, N
    Rullo, P
    Scarcello, F
    [J]. INFORMATION AND COMPUTATION, 1997, 135 (02) : 69 - 112
  • [9] Expressiveness of stable model semantics for disjunctive logic programs with functions
    Eiter, T
    Gottlob, G
    [J]. JOURNAL OF LOGIC PROGRAMMING, 1997, 33 (02): : 167 - 178
  • [10] Expressiveness of stable model semantics for disjunctive logic programs with functions
    Chrstn. Doppler Lab for Expert Syst., Information System Department, TU Vienna, Paniglgasse 16, A-1040 Wien, Austria
    不详
    [J]. J Logic Program, 2 (X-178):
12345