MACHINES, PROGRAMS AND LOGIC

被引：0

作者：

SAOUDI, A

机构：

来源：

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：342 / 342

页数：1

共 50 条

[1] PROGRAMS AND MACHINES
SCOTT, DS
AMERICAN MATHEMATICAL MONTHLY, 1968, 75 (04): : 437 - &
[2] TRANSFORMING NORMAL LOGIC PROGRAMS TO CONSTRAINT LOGIC PROGRAMS
KANCHANASUT, K
STUCKEY, PJ
THEORETICAL COMPUTER SCIENCE, 1992, 105 (01) : 27 - 56
[3] Hybrid probabilistic logic programs as residuated logic programs
Damásio C.V.
Pereira L.M.
Studia Logica, 2002, 72 (1) : 113 - 138
[4] Hybrid Probabilistic logic programs as residuated logic programs
Damásio, CV
Pereira, LM
LOGICS IN ARTIFICIAL INTELLIGENCE, 2000, 1919 : 57 - 72
[5] Machines, Logic and Wittgenstein
Srećko Kovač
Philosophia, 2021, 49 : 2103 - 2122
[6] Machines, Logic and Wittgenstein
Kovac, Srecko
PHILOSOPHIA, 2021, 49 (05) : 2103 - 2122
[7] PROGRAMS FOR INSTRUCTION MACHINES
PAWLAK, Z
ROZENBERG, G
SAVITCH, WJ
INFORMATION AND CONTROL, 1979, 41 (01): : 9 - 28
[8] From Logic to Functional Logic Programs
Hanus, Michael
THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2022, 22 (04) : 538 - 554
[9] Embedding defeasible logic into logic programs
Antoniou, G
Maher, MJ
LOGICS PROGRAMMING, PROCEEDINGS, 2002, 2401 : 393 - 404
[10] Set-based analysis of logic programs and reactive logic programs
Podelski, A
LOGIC PROGRAMMING - PROCEEDINGS OF THE 1997 INTERNATIONAL SYMPOSIUM, 1997, : 35 - 36