Abductive analysis of modular logic programs

被引：0
|
作者：
Universita di Pisa, Pisa, Italy [1 ]
机构：
来源：
J Logic Comput | / 4卷 / 457-483期
关键词：
The stimulating discussions with Mike Codish; Patrick Cousot; Saumya Debray and Giorgio Levi are gratefully acknowledged. This work has been done while the author was visiting the LJX; Laborutoire d'Informatique; £cole Polytechnique; Paris. He thanks LJX; and in particular Radhia Cousot; for the kind hospitality. This work has been partly supported by the EEC Human Capital and Mobility individual grant: 'Semantic Definitions; Abstract Interpretation and Constraint Reasoning'; N; ERBCHBICT930822;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
30
引用
收藏
相关论文
共 50 条
  • [1] Abductive analysis of modular logic programs
    Giacobazzi, R
    JOURNAL OF LOGIC AND COMPUTATION, 1998, 8 (04) : 457 - 483
  • [2] Termination analysis for abductive general logic programs
    Verbaeten, S
    LOGIC PROGRAMMING: PROCEEDINGS OF THE 1999 INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING, 1999, : 365 - 379
  • [3] SLDNFA: An abductive procedure for abductive logic programs
    Denecker, M
    De Schreye, D
    JOURNAL OF LOGIC PROGRAMMING, 1998, 34 (02): : 111 - 167
  • [4] ABDUCTIVE INFERENCE IN PROBABILISTIC LOGIC PROGRAMS
    Simari, Gerardo I.
    Subrahmanian, V. S.
    TECHNICAL COMMUNICATIONS OF THE 26TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (ICLP'10), 2010, 7 : 192 - 201
  • [5] A system for abductive learning of logic programs
    Lamma, E
    Mello, P
    Milano, M
    Riguzzi, F
    LOGIC PROGRAMMING AND KNOWLEDGE REPRESENTATION, 1998, 1471 : 102 - 122
  • [6] A fixpoint characterization of abductive logic programs
    Inoue, K
    Sakama, C
    JOURNAL OF LOGIC PROGRAMMING, 1996, 27 (02): : 107 - 136
  • [7] Teleo-reactive abductive logic programs
    Kowalski, Robert A.
    Sadri, Fariba
    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2012, 7360 LNCS : 12 - 32
  • [8] Three-valued completion for abductive logic programs
    Teusink, F
    THEORETICAL COMPUTER SCIENCE, 1996, 165 (01) : 171 - 200
  • [9] Abductive logic programs with penalization: semantics, complexity and implementation
    Perri, S
    Scarcello, F
    Leone, N
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2005, 5 (1-2) : 123 - 159
  • [10] Parallel Abductive Query Answering in Probabilistic Logic Programs
    Simari, Gerardo I.
    Dickerson, John P.
    Sliva, Amy
    Subrahmanian, V. S.
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2013, 14 (02)
12345