Embedding revision programs in logic programming situation calculus

被引：0
|
作者：
Univ of Texas at El Paso, El Paso, United States [1 ]
机构：
来源：
J Logic Program | / 1卷 / 83-97期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] Knowledge-Based Programs with Defaults in a Modal Situation Calculus
    Classen, Jens
    Neuss, Malte
    ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2016, 285 : 1309 - 1317
  • [42] Abstract Logic Programming in Linear Logic Independence and Causality in a First Order Calculus
    Bulletin of the European Association for Theoretical Computer Science, (59):
  • [43] Composing programs in a rewriting logic for declarative programming
    Molina-Bravo, JM
    Pimentel, E
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2003, 3 : 189 - 221
  • [44] Relativized hyperequivalence of logic programs for modular programming
    Truszczynski, Miroslaw
    Woltran, Stefan
    THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2009, 9 : 781 - 819
  • [45] Relativized Hyperequivalence of Logic Programs for Modular Programming
    Truszczynski, Miroslaw
    Woltran, Stefan
    LOGIC PROGRAMMING, PROCEEDINGS, 2008, 5366 : 576 - +
  • [46] Differential logic programs: Programming methodologies and semantics
    Bossi, A
    Bugliesi, M
    Gabbrielli, M
    Levi, G
    Meo, MC
    SCIENCE OF COMPUTER PROGRAMMING, 1996, 27 (03) : 217 - 262
  • [47] On Dual Programs in Co-Logic Programming
    Seki, Hirohisa
    LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2015), 2015, 9527 : 21 - 35
  • [48] A programming logic for Java']Java bytecode programs
    Quigley, CL
    THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2003, 2758 : 41 - 54
  • [49] Reformulating the Situation Calculus and the Event Calculus in the General Theory of Stable Models and in Answer Set Programming
    Lee, Joohyung
    Palla, Ravi
    JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2012, 43 : 571 - 620
  • [50] Embedding Nonground Logic Programs into Autoepistemic Logic for Knowledge-Base Combination
    De Bruijn, Jos
    Eiter, Thomas
    Polleres, Axel
    Tompits, Hans
    ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2011, 12 (03)
12345