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 条
  • [31] An implementation for abductive logic agents
    Ciampolini, A. (aciampolini@deis.unibo.it), 2000, Springer Verlag (1792 LNAI):
  • [32] LOGIC IMITATION OF ABDUCTIVE INFERENCES
    VAGIS, AG
    DOPOVIDI AKADEMII NAUK UKRAINSKOI RSR SERIYA A-FIZIKO-MATEMATICHNI TA TECHNICHNI NAUKI, 1988, (04): : 62 - 64
  • [33] An implementation for abductive logic agents
    Ciampolini, A
    Lamma, E
    Mello, P
    Stefanelli, C
    Torroni, P
    AI*IA 99: ADVANCES IN ARTIFICIAL INTELLIGENCE, 2000, 1792 : 61 - 71
  • [34] Logic for formalizing abductive reasoning
    Ye, Feng
    Sun, Xiwen
    Qian, Guoliang
    Bi, Jiandong
    Harbin Gongye Daxue Xuebao/Journal of Harbin Institute of Technology, 1997, 29 (04): : 57 - 61
  • [35] Relevance-Driven Evaluation of Modular Nonmonotonic Logic Programs
    Dao-Tran, Minh
    Eiter, Thomas
    Fink, Michael
    Krennwallner, Thomas
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING, PROCEEDINGS, 2009, 5753 : 87 - 100
  • [36] First-order modular logic programs and their conservative extensions
    Harrison, Amelia
    Lierler, Yuliya
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2016, 16 : 755 - 770
  • [37] Hitler and Abductive Logic: The Strategy of a Tyrant
    Whaley, Joachim
    JOURNAL OF EUROPEAN STUDIES, 2015, 45 (03) : 265 - 266
  • [38] Set-based analysis of logic programs and reactive logic programs
    Podelski, A
    LOGIC PROGRAMMING - PROCEEDINGS OF THE 1997 INTERNATIONAL SYMPOSIUM, 1997, : 35 - 36
  • [39] Adding abductive reasoning to a propositional logic
    Rasga, Joao
    Sernadas, Cristina
    JOURNAL OF LOGIC AND COMPUTATION, 2022, 32 (04) : 697 - 728
  • [40] A coordination protocol for abductive logic agents
    Ciampolini, A
    Lamma, E
    Stefanelli, C
    Mello, P
    1997 IEEE INTERNATIONAL CONFERENCE ON INTELLIGENT PROCESSING SYSTEMS, VOLS 1 & 2, 1997, : 143 - 148
12345