The limits of horn logic programs

Shilong Ma; Yuefei Sui; Ke Xu

doi:10.1007/3-540-45619-8_32

The limits of horn logic programs

Shilong Ma
, Yuefei Sui
, Ke Xu

科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审

源语言	英语
主期刊名	Logic Programming - 18th International Conference, ICLP 2002, Proceedings
编辑	Peter J. Stuckey
出版商	Springer Verlag
页	467
页数	1
ISBN（印刷版）	3540439307, 9783540439301
DOI	https://doi.org/10.1007/3-540-45619-8_32
出版状态	已出版 - 2002
已对外发布	是
活动	18th International Conference on Logic Programming, ICLP 2002 - Copenhagen, 丹麦期限: 29 7月 2002 → 1 8月 2002

出版系列

姓名	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
卷	2401 LNCS
ISSN（印刷版）	0302-9743
ISSN（电子版）	1611-3349

会议

会议	18th International Conference on Logic Programming, ICLP 2002
国家/地区	丹麦
市	Copenhagen
时期	29/07/02 → 1/08/02

访问文件

10.1007/3-540-45619-8_32

其它文件与链接

链接到 Scopus 的出版物

引用此

Ma, S., Sui, Y., & Xu, K. (2002). The limits of horn logic programs. 在 P. J. Stuckey (编辑), Logic Programming - 18th International Conference, ICLP 2002, Proceedings (页码 467). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 卷 2401 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-45619-8_32

@inproceedings{2963ba64828946f19be2ef2eb5a12978,

title = "The limits of horn logic programs",

author = "Shilong Ma and Yuefei Sui and Ke Xu",

year = "2002",

doi = "10.1007/3-540-45619-8\_32",

language = "英语",

isbn = "3540439307",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "467",

editor = "Stuckey, \{Peter J.\}",

booktitle = "Logic Programming - 18th International Conference, ICLP 2002, Proceedings",

address = "德国",

note = "18th International Conference on Logic Programming, ICLP 2002 ; Conference date: 29-07-2002 Through 01-08-2002",

}

Ma, S, Sui, Y & Xu, K 2002, The limits of horn logic programs. 在 PJ Stuckey (编辑), Logic Programming - 18th International Conference, ICLP 2002, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 卷 2401 LNCS, Springer Verlag, 页码 467, 18th International Conference on Logic Programming, ICLP 2002, Copenhagen, 丹麦, 29/07/02. https://doi.org/10.1007/3-540-45619-8_32

The limits of horn logic programs. / Ma, Shilong; Sui, Yuefei; Xu, Ke.
Logic Programming - 18th International Conference, ICLP 2002, Proceedings. 编辑 / Peter J. Stuckey. Springer Verlag, 2002. 页码 467 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); 卷 2401 LNCS).

科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审

TY - GEN

T1 - The limits of horn logic programs

AU - Ma, Shilong

AU - Sui, Yuefei

AU - Xu, Ke

PY - 2002

Y1 - 2002

UR - https://www.scopus.com/pages/publications/34548344716

U2 - 10.1007/3-540-45619-8_32

DO - 10.1007/3-540-45619-8_32

M3 - 会议稿件

AN - SCOPUS:34548344716

SN - 3540439307

SN - 9783540439301

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 467

BT - Logic Programming - 18th International Conference, ICLP 2002, Proceedings

A2 - Stuckey, Peter J.

PB - Springer Verlag

T2 - 18th International Conference on Logic Programming, ICLP 2002

Y2 - 29 July 2002 through 1 August 2002

ER -