Completeness of hyper-resolution via the semantics of disjunctive logic programs

被引：1
|
作者：
Nguyen, LA [1 ]
Goré, R
机构：
[1] Australian Natl Univ, RSISE, Canberra, ACT 0200, Australia
[2] Australian Natl Univ, NICTA, Canberra, ACT 0200, Australia
[3] Univ Warsaw, Inst Informat, PL-02097 Warsaw, Poland
来源：
INFORMATION PROCESSING LETTERS | 2005年 / 95卷 / 02期
基金：
澳大利亚研究理事会;
关键词：
fixpoint semantics; automatic theorem proving;
D O I：
10.1016/j.ipl.2005.02.003
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
We present a proof of completeness of hyper-resolution based on the fixpoint semantics of disjunctive logic programs. This shows that hyper-resolution can be studied from the point of view of logic programming. (c) 2005 Elsevier B.V. All rights reserved.
引用
收藏
页码：363 / 369
页数：7
相关论文
共 50 条
  • [21] AUTOMATIC DEDUCTION WITH HYPER-RESOLUTION
    ROBINSON, JA
    INTERNATIONAL JOURNAL OF COMPUTER MATHEMATICS, 1965, 1 (03) : 227 - &
  • [22] Minimal founded semantics for disjunctive logic programs and deductive databases
    Furfaro, F
    Greco, G
    Greco, S
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2004, 4 : 75 - 93
  • [23] Many-valued disjunctive logic programs with probabilistic semantics
    Lukasiewicz, T
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1999, 1730 : 277 - 289
  • [24] Expressiveness of stable model semantics for disjunctive logic programs with functions
    Eiter, T
    Gottlob, G
    JOURNAL OF LOGIC PROGRAMMING, 1997, 33 (02): : 167 - 178
  • [25] 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 Logic Program, 2 (X-178):
  • [26] Optimal models of "disjunctive-logic 'programs: Semantics, complexity, and computation
    Leone, N
    Scarcello, F
    Subrahmanian, VS
    IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 2004, 16 (04) : 487 - 503
  • [27] A purely model-theoretic semantics for disjunctive logic programs with negation
    Cabalar, Pedro
    Pearce, David
    Rondogiannis, Panos
    Wadge, William W.
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, 2007, 4483 : 44 - +
  • [28] Semantics for Possibilistic Disjunctive Programs
    Carlos Nieves, Juan
    Osorio, Mauricio
    Cortes, Ulises
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2013, 13 : 33 - 70
  • [29] Semantics for fuzzy disjunctive programs
    Guller, Dušan
    Advances in Automation, Multimedia and Video Systems, and Modern Computer Science, 2001, : 67 - 72
  • [30] Semantics for possibilistic disjunctive programs
    Nieves, Juan Carlos
    Osorio, Mauricio
    Cortes, Ulises
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, 2007, 4483 : 315 - +
12345