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 条
  • [31] Belief Revision and Progression of Knowledge Bases in the Epistemic Situation Calculus
    Schwering, Christoph
    Lakemeyer, Gerhard
    Pagnucco, Maurice
    PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 3214 - 3220
  • [32] Embedding prioritized circumscription in disjunctive logic programs
    Chen, JH
    JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE, 1999, 11 (04) : 553 - 563
  • [33] Programming by combining general logic programs
    Brogi, A
    Contiero, S
    Turini, F
    JOURNAL OF LOGIC AND COMPUTATION, 1999, 9 (01) : 7 - 24
  • [34] APPLICATION OF FORMAL LOGIC TO PROGRAMS AND PROGRAMMING
    ALLEN, CD
    IBM SYSTEMS JOURNAL, 1971, 10 (01) : 2 - &
  • [35] Combining Event Calculus and Description Logic Reasoning via Logic Programming
    Baumgartner, Peter
    FRONTIERS OF COMBINING SYSTEMS (FROCOS 2021), 2021, 12941 : 98 - 117
  • [36] Explanations as Programs in Probabilistic Logic Programming
    Vidal, German
    FUNCTIONAL AND LOGIC PROGRAMMING, FLOPS 2022, 2022, 13215 : 205 - 223
  • [37] Iterative belief revision in extended logic programming
    You, JH
    Cartwright, R
    Li, M
    THEORETICAL COMPUTER SCIENCE, 1996, 170 (1-2) : 383 - 406
  • [38] Dynamic logic for plan revision in agent programming
    van Riemsdijk, M. Birna
    de Boer, Frank S.
    Meyer, John-Jules Ch.
    JOURNAL OF LOGIC AND COMPUTATION, 2006, 16 (03) : 375 - 402
  • [39] Partial Meet Revision and Contraction in Logic Programs
    Binnewies, Sebastian
    Zhuang, Zhiqiang
    Wang, Kewen
    PROCEEDINGS OF THE TWENTY-NINTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2015, : 1439 - 1445
  • [40] The Event Calculus in Probabilistic Logic Programming with Annotated Disjunctions
    McAreavey, Kevin
    Bauters, Kim
    Liu, Weiru
    Hong, Jun
    AAMAS'17: PROCEEDINGS OF THE 16TH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS, 2017, : 105 - 113
12345