PROOF-THEORETIC CHARACTERIZATIONS OF LOGIC PROGRAMMING

被引：0

|

作者：

ANDREWS, JH

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1989年 / 379卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：145 / 154

页数：10

相关论文

共 50 条

[1] A Survey of the Proof-Theoretic Foundations of Logic Programming
Miller, Dale
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2022, 22 (06) : 859 - 904
[2] Proof-theoretic foundation of compilation in logic programming languages
Cervesato, I
LOGIC PROGRAMMING - PROCEEDINGS OF THE 1998 JOINT INTERNATIONAL CONFERENCE AND SYMPOSIUM ON LOGIC PROGRAMMING, 1998, : 115 - 129
[3] A PROOF-THEORETIC FRAMEWORK FOR NONMONOTONIC REASONING AND LOGIC PROGRAMMING
YUAN, LY
YOU, JH
WANG, CH
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 497 : 699 - 708
[4] Proof-theoretic and higher-order extensions of logic programming
Momigliano A.
Ornaghi M.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2010, 6125 : 254 - 270
[5] A proof-theoretic foundation for tabled higher-order logic programming
Pientka, B
LOGICS PROGRAMMING, PROCEEDINGS, 2002, 2401 : 271 - 286
[6] A proof-theoretic investigation of a logic of positions
Baratella, S
Masini, A
ANNALS OF PURE AND APPLIED LOGIC, 2003, 123 (1-3) : 135 - 162
[7] Proof-Theoretic Semantics and Inquisitive Logic
Will Stafford
Journal of Philosophical Logic, 2021, 50 : 1199 - 1229
[8] Proof-Theoretic Semantics and Inquisitive Logic
Stafford, Will
JOURNAL OF PHILOSOPHICAL LOGIC, 2021, 50 (05) : 1199 - 1229
[9] Proof-theoretic approach to description-logic
Hofmann, M
LICS 2005: 20TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE - PROCEEDINGS, 2005, : 229 - 237
[10] An Improved Proof-Theoretic Compilation of Logic Programs
Cervesato, Iliano
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2012, 12 : 639 - 657

← 1 2 3 4 5 →