reasoning with recursive loops under the plp framework

	reasoning with recursive loops under the plp framework
	Shen Yi-Dong
	2008
Source	ACM TRANSACTIONS ON COMPUTATIONAL LOGIC
ISSN	1529-3785
Volume	9 Issue:4 Pages:-
Keyword	Languages Theory Logic Programming Bayesian Networks Recursive Loops Cyclic Influences The Well Founded Model
Department	Chinese Acad Sci, Inst Software, State Key Lab Comp Sci, Beijing 100080, Peoples R China.
Subject	Computer Science ; Theory & Methods
WOS ID	WOS:000259432200004
Citation statistics	Cited Times:2[WOS] [WOS Record] [Related Records in WOS]
Content Type	期刊论文
URI	http://ir.iscas.ac.cn/handle/311060/10235
Collection	基础软件与系统重点实验室
Recommended Citation GB/T 7714	Shen Yi-Dong. reasoning with recursive loops under the plp framework[J]. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC,2008,9(4):-.
APA	Shen Yi-Dong.(2008).reasoning with recursive loops under the plp framework.ACM TRANSACTIONS ON COMPUTATIONAL LOGIC,9(4),-.
MLA	Shen Yi-Dong."reasoning with recursive loops under the plp framework".ACM TRANSACTIONS ON COMPUTATIONAL LOGIC 9.4(2008):-.

Related Services

Bookmark

Google Scholar

Similar articles in Bing Scholar

Terms of Use

No data!

Social Bookmark/Share

All comments (0)

No comment.

The comment function is only available to registered usersLog In

If you have any objections to this item, please fill out the form below and the administrator will contact you as soon as possible.
Content:
Email：	*
Institution:
Verification Code:	Refresh

Any comments and suggestions are welcomed.
Title:	*
Content:
Email：	*
Verification Code:	Refresh

中国科学院软件研究所机构知识库