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 条
  • [41] An abductive propositional logic for design reasoning
    Lin, FT
    Wang, HHS
    JOURNAL OF THE CHINESE INSTITUTE OF ENGINEERS, 2001, 24 (05) : 569 - 579
  • [42] Accountable Protocols in Abductive Logic Programming
    Gavanelli, Marco
    Alberti, Marco
    Lamma, Evelina
    ACM TRANSACTIONS ON INTERNET TECHNOLOGY, 2018, 18 (04)
  • [43] An abductive approach to disjunctive logic programming
    You, JH
    Yuan, LY
    Goebel, R
    JOURNAL OF LOGIC PROGRAMMING, 2000, 44 (1-3): : 101 - 127
  • [44] Hitler and Abductive Logic: The Strategy of a Tyrant
    Jefferson, Steven
    JOURNAL OF CONTEMPORARY EUROPEAN STUDIES, 2016, 24 (01) : 189 - 190
  • [45] An abductive framework for extended logic programming
    Brogi, A
    Lamma, E
    Mancarella, P
    Mello, P
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1995, 928 : 330 - 343
  • [46] Dischargeable Obligations in Abductive Logic Programming
    Alberti, Marco
    Gavanelli, Marco
    Lamma, Evelina
    Riguzzi, Fabrizio
    Zese, Riccardo
    RULES AND REASONING, 2017, 10364 : 7 - 21
  • [47] Complexity results for abductive logic programming
    Eiler, T.
    Gottlob, G.
    Leone, N.
    International Journal of Pressure Vessels and Piping, 65 (02):
  • [48] Hitler and Abductive Logic: The Strategy of a Tyrant
    Baranowski, Shelley
    GERMAN STUDIES REVIEW, 2016, 39 (01) : 190 - 192
  • [49] INDUCTIVE LOGIC PROGRAMMING AS ABDUCTIVE SEARCH
    Corapi, Domenico
    Russo, Alessandra
    Lupu, Emil
    TECHNICAL COMMUNICATIONS OF THE 26TH INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (ICLP'10), 2010, 7 : 54 - 63
  • [50] Termination analysis of logic programs
    Serebrenik, A
    LOGIC PROGRAMMING, PROCEEDINGS, 2003, 2916 : 507 - 508
12345