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 条
  • [21] The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming
    Augustsson, Lennart
    Breitner, Joachim
    Claessen, Koen
    Jhala, Ranjit
    Jones, Simon Peyton
    Shivers, Olin
    Steele, Guy L., Jr.
    Sweeney, Tim
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2023, 7 (ICFP): : 417 - 447
  • [22] EMBEDDING BOOLEAN EXPRESSIONS INTO LOGIC PROGRAMMING
    BUTTNER, W
    SIMONIS, H
    JOURNAL OF SYMBOLIC COMPUTATION, 1987, 4 (02) : 191 - 205
  • [23] Belief revision in the situation calculus without plausibility levels
    Demolombe, Robert
    Parra, Pilar Pozos
    FOUNDATIONS OF INTELLIGENT SYSTEMS, PROCEEDINGS, 2006, 4203 : 504 - 513
  • [24] A Semantic Account of Iterated Belief Revision in the Situation Calculus
    Schwering, Christoph
    Lakemeyer, Gerhard
    21ST EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2014), 2014, 263 : 801 - 806
  • [25] Characterization Theorems for Revision of Logic Programs
    Schwind, Nicolas
    Inoue, Katsumi
    LOGIC PROGRAMMING AND NONMONOTONIC REASONING (LPNMR 2013), 2013, 8148 : 485 - 498
  • [26] ID-logic and the ramification problem for the situation calculus
    Ternovskaia, E
    ECAI 2000: 14TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2000, 54 : 563 - 567
  • [27] On the Undecidability of the Situation Calculus Extended with Description Logic Ontologies
    Calvanese, Diego
    De Giacomo, Giuseppe
    Soutchanski, Mikhail
    PROCEEDINGS OF THE TWENTY-FOURTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI), 2015, : 2840 - 2846
  • [28] The situation and state calculus versus branching temporal logic
    Ramos, J
    Sernadas, A
    RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, 1999, 1589 : 293 - 309
  • [29] ConGolog, a concurrent programming language based on the situation calculus
    De Giacomo, G
    Lespérance, Y
    Levesque, HJ
    ARTIFICIAL INTELLIGENCE, 2000, 121 (1-2) : 109 - 169
  • [30] Verifying ConGolog Programs on Bounded Situation Calculus Theories
    De Giacomo, Giuseppe
    Lesperance, Yves
    Patrizi, Fabio
    Sardina, Sebastian
    THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2016, : 950 - 956
12345