THE RELATIONSHIP BETWEEN STABLE, SUPPORTED, DEFAULT AND AUTOEPISTEMIC SEMANTICS FOR GENERAL LOGIC PROGRAMS

被引：46
作者：
MAREK, W [1 ]
SUBRAHMANIAN, VS [1 ]
机构：
[1] UNIV MARYLAND,DEPT COMP SCI,COLL PK,MD 20742
来源：
THEORETICAL COMPUTER SCIENCE | 1992年 / 103卷 / 02期
基金：
美国国家科学基金会;
关键词：
D O I：
10.1016/0304-3975(92)90019-C
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We investigate the relationship between various alternative semantics for logic programming, viz. the stable model semantics of Gelfond and Lifschitz (1988), the supported model semantics as developed by Apt, Blair and Walker (1988), autoepistemic translations (cf. Moore (1985)) of general logic programs and default translations of general logic programs, Reiter (1980).
引用
收藏
页码：365 / 386
页数：22
相关论文
共 32 条
[1]  
APT KR, 1988, 5TH P INT C S LOG PR
[2]  
Apt Krzysztof R, 1988, FDN DEDUCTIVE DATABA, P89, DOI [10.1016/B978-0-934613-40-8.50006-3, DOI 10.1016/B978-0-934613-40-8.50006-3]
[3]  
BLAIR HA, 1986, P WORKSHOP F DEDUCTI
[4]  
CLARK KL, 1978, LOGIC DATABASES
[5]  
ETHERINGTON D, 1985, COMPUT INTELL, V1, P11
[6]  
GELFOND M, 1986, P ACM SIGACT SIGMOND, P133
[7]  
GELFOND M, 1986, P INT S METH INT SYS, P256
[8]  
GELFOND M, 1988, P ISMIS88
[9]  
GELFOND M, 1987, P AAAI 87, P207
[10]  
IMIELINSKI T, 1986, ARTIF INTELL, V32, P131
1234