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 条

[1] Embedding revision programs in logic programming situation calculus
Baral, C
JOURNAL OF LOGIC PROGRAMMING, 1997, 30 (01): : 83 - 97
[2] Situation calculus specifications for event calculus logic programs
Int J Pressure Vessels Piping, 2 (217):
[3] Situation Calculus specifications for Event Calculus logic programs
Miller, R
LOGIC PROGRAMMING AND NONMONOTONIC REASONING, 1995, 928 : 217 - 230
[4] An Interface Between the Situation Calculus and Logic Programming
Saez, Pablo
MICAI 2007: SIXTH MEXICAN INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2008, : 14 - 25
[5] Rules as actions: A situation calculus semantics for logic programs
Lin, FZ
Reiter, R
JOURNAL OF LOGIC PROGRAMMING, 1997, 31 (1-3): : 299 - 330
[6] On dual programs in co-logic programming and the Horn -calculus
Seki, Hirohisa
FORMAL ASPECTS OF COMPUTING, 2017, 29 (03) : 401 - 421
[7] Representing actions in logic programs and default theories - A situation calculus approach
Turner, H
JOURNAL OF LOGIC PROGRAMMING, 1997, 31 (1-3): : 245 - 298
[8] Embedding defeasible logic into logic programming
Antoniou, Grigoris
Billington, David
Governatori, Guido
Maher, Michael J.
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2006, 6 : 703 - 735
[9] Embedding defeasible logic into logic programs
Antoniou, G
Maher, MJ
LOGICS PROGRAMMING, PROCEEDINGS, 2002, 2401 : 393 - 404
[10] Logic Programming of the Displacement Calculus
Morrill, Glyn
LOGICAL ASPECTS OF COMPUTATIONAL LINGUISTICS, LACL 2011, 2011, 6736 : 175 - 189