Disjunctive LP+integrity constraints= stable model semantics
Disjunctive LP+integrity constraints= stable model semantics
复制标题
析取LP完整性约束=稳定的模型语义
DOI:
10.1007/bf01530802
复制
发表时间:
1993
影响因子:
1.2
通讯作者:
V. S. Subrahmanian
中科院分区:
文献类型:
--
作者:
J. A. Fernández;Jorge Lobo;J. Minker;V. S. Subrahmanian