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 条
  • [21] Equivalence in Abductive Logic
    Inoue, Katsumi
    Sakama, Chiaki
    19TH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-05), 2005, : 472 - 477
  • [22] On modular termination proofs of general logic programs
    Bossi, A
    Cocco, N
    Rossi, S
    Etalle, S
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2002, 2 : 263 - 291
  • [23] Abductive Logic Grammars
    Christiansen, Henning
    Dahl, Veronica
    LOGIC, LANGUAGE, INFORMATION AND COMPUTATION, 2009, 5514 : 170 - +
  • [24] Semi-negative abductive logic programs with implicative integrity constraints: Semantics and properties
    Mancarella, P., 1600, Springer Verlag (7360 LNCS):
  • [25] A formal logic for abductive reasoning
    Meheus, Joke
    Batens, Diderik
    LOGIC JOURNAL OF THE IGPL, 2006, 14 (02) : 221 - 236
  • [26] THE LONG ARM OF ABDUCTIVE LOGIC
    HUBNER, B
    JOURNAL OF PRAGMATICS, 1991, 16 (04) : 339 - 348
  • [27] Behavioural specification of programs for modular reconfigurable logic controllers
    Adamski, M.
    PROCEEDINGS OF THE INTERNATIONAL CONFERENCE MIXED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2006, : 239 - 244
  • [28] Logical abductivism on abductive logic
    Mancini, Filippo
    SYNTHESE, 2024, 203 (06)
  • [29] Recent developments in abductive logic
    Woods, John
    STUDIES IN HISTORY AND PHILOSOPHY OF SCIENCE, 2011, 42 (01): : 240 - 244
  • [30] Applications of abductive logic programming
    Kakas, AC
    Michael, A
    LOGIC PROGRAMMING - PROCEEDINGS OF THE 1998 JOINT INTERNATIONAL CONFERENCE AND SYMPOSIUM ON LOGIC PROGRAMMING, 1998, : 343 - 344
12345