Temporal knowledge representation and reasoning techniques using time Petri nets

doi:10.1109/3477.775271

完整後設資料紀錄

DC 欄位	值	語言
dc.contributor.author	Jong, WT	en_US
dc.contributor.author	Shiau, YS	en_US
dc.contributor.author	Horng, YJ	en_US
dc.contributor.author	Chen, HH	en_US
dc.contributor.author	Chen, SM	en_US
dc.date.accessioned	2014-12-08T15:46:20Z	-
dc.date.available	2014-12-08T15:46:20Z	-
dc.date.issued	1999-08-01	en_US
dc.identifier.issn	1083-4419	en_US
dc.identifier.uri	http://dx.doi.org/10.1109/3477.775271	en_US
dc.identifier.uri	http://hdl.handle.net/11536/31171	-
dc.description.abstract	In this paper, we present temporal knowledge representation and reasoning techniques using time Petri nets. A method is also proposed to check the consistency of the temporal knowledge. The proposed method can overcome the drawback of the one presented in [16]. It provides a useful way to check the consistency of the temporal knowledge.	en_US
dc.language.iso	en_US	en_US
dc.subject	knowledge representation	en_US
dc.subject	rule-based system	en_US
dc.subject	temporal knowledge	en_US
dc.subject	time Petri nets	en_US
dc.title	Temporal knowledge representation and reasoning techniques using time Petri nets	en_US
dc.type	Article	en_US
dc.identifier.doi	10.1109/3477.775271	en_US
dc.identifier.journal	IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS	en_US
dc.citation.volume	29	en_US
dc.citation.issue	4	en_US
dc.citation.spage	541	en_US
dc.citation.epage	545	en_US
dc.contributor.department	資訊工程學系	zh_TW
dc.contributor.department	Department of Computer Science	en_US
dc.identifier.wosnumber	WOS:000081565700008	-
dc.citation.woscount	9	-
顯示於類別：	期刊論文

文件中的檔案：

000081565700008.pdf

若為 zip 檔案，請下載檔案解壓縮後，用瀏覽器開啟資料夾中的 index.html 瀏覽全文。