Compactness properties for stable semantics of logic programs

被引：1
|
作者：
Marek, Victor W. [1 ]
Remmel, Jeffrey B. [2 ]
机构：
[1] Univ Kentucky, Dept Comp Sci, Lexington, KY 40506 USA
[2] Univ Calif San Diego, La Jolla, CA 92093 USA
来源：
LOGICAL FOUNDATIONS OF COMPUTER SCIENCE, PROCEEDINGS | 2007年 / 4514卷
关键词：
D O I：
10.1007/978-3-540-72734-7_27
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Logic programming with stable logic semantics (SLP) is a logical formalism that assigns to sets of clauses in the language admitting negations in the bodies a special kind of models, called stable models. This formalism does not have the compactness property. We show a number of conditions that entail a form of compactness for SLP.
引用
收藏
页码：379 / +
页数：3
相关论文
共 50 条
  • [1] Compactness properties for stable semantics of logic programs
    Marek, Victor W.
    Remmel, Jeffrey B.
    FUNDAMENTA INFORMATICAE, 2007, 81 (1-3) : 211 - 239
  • [2] STABLE SEMANTICS FOR LOGIC PROGRAMS AND DEFAULT THEORIES
    MAREK, W
    TRUSZCZYNSKI, M
    LOGIC PROGRAMMING : PROCEEDINGS OF THE NORTH AMERICAN CONFERENCE, 1989, VOL 1-2, 1989, : 243 - 256
  • [3] Revised Stable Models - A semantics for logic programs
    Pereira, LM
    Pinto, AM
    PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2005, 3808 : 29 - 42
  • [4] A note on the stable model semantics for logic programs
    Kaminski, M
    ARTIFICIAL INTELLIGENCE, 1997, 96 (02) : 467 - 479
  • [5] A new semantics for logic programs capturing and extending the stable model semantics
    Benhamou, Belaid
    Siegel, Pierre
    2012 IEEE 24TH INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2012), VOL 1, 2012, : 572 - 579
  • [6] CONTRIBUTIONS TO THE STABLE MODEL SEMANTICS OF LOGIC PROGRAMS WITH NEGATION
    COSTANTINI, S
    THEORETICAL COMPUTER SCIENCE, 1995, 149 (02) : 231 - 255
  • [7] Well-founded and stable semantics of logic programs with aggregates
    Pelov, Nikolay
    Denecker, Marc
    Bruynooghe, Maurice
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2007, 7 : 301 - 353
  • [8] The Stable Model Semantics of Normal Fuzzy Linguistic Logic Programs
    Van Hung Le
    COMPUTATIONAL COLLECTIVE INTELLIGENCE, PT I, 2019, 11683 : 53 - 65
  • [9] Logic programs with stable model semantics as a constraint programming paradigm
    Niemelä, I
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1999, 25 (3-4) : 241 - 273
  • [10] Testing the equivalence of logic programs under stable model semantics
    Janhunen, T
    Oikaxinen, E
    LOGICS IN ARTIFICIAL INTELLIGENCE 8TH, 2002, 2424 : 493 - 504
12345