PROGRAMMING IN MODAL LOGIC - AN EXTENSION OF PROLOG BASED ON MODAL LOGIC

被引：0

|

作者：

SAKAKIBARA, Y

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1987年 / 264卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：81 / 91

页数：11

相关论文

共 50 条

[1] MProlog: An extension of prolog for modal logic programming
Nguyen, LA
[J]. LOGIC PROGRAMMING, PROCEEDINGS, 2004, 3132 : 469 - 470
[2] MODAL EXTENSION OF LOGIC PROGRAMMING SYSTEMS
POZHARSKII, AV
[J]. CYBERNETICS AND SYSTEMS ANALYSIS, 1993, 29 (06) : 944 - 947
[3] MODAL LOGIC PROGRAMMING
KATO, D
KIKUCHI, T
NAKAJIMA, R
SAWADA, J
TSUIKI, H
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 428 : 29 - 40
[4] MOLOG - A SYSTEM THAT EXTENDS PROLOG WITH MODAL LOGIC
DELCERRO, LF
[J]. NEW GENERATION COMPUTING, 1986, 4 (01) : 35 - 50
[5] A modal extension of logic programming: Modularity, beliefs and hypothetical reasoning
Baldoni, M
Giordano, L
Martelli, A
[J]. JOURNAL OF LOGIC AND COMPUTATION, 1998, 8 (05) : 597 - 635
[6] The modal logic programming system MProlog
Nguyen, LA
[J]. LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 3229 : 266 - 278
[7] Binary modal logic and unary modal logic
de Jongh, Dick
Maleki, Fatemeh Shirmohammadzadeh
[J]. LOGIC JOURNAL OF THE IGPL, 2024, 32 (03) : 420 - 441
[8] LOGIC PROGRAMMING IN PROLOG
GOODALL, A
[J]. DATA PROCESSING, 1984, 26 (02): : 37 - &
[9] Base-extension semantics for modal logic
Eckhardt, Timo
Pym, David J.
[J]. LOGIC JOURNAL OF THE IGPL, 2024,
[10] A modal extension of weak generalisation predicate logic
Kibedi, Francisco
Tourlakis, George
[J]. LOGIC JOURNAL OF THE IGPL, 2006, 14 (04) : 591 - 621

← 1 2 3 4 5 →