1. You are Here：

Full metadata record
DC FieldValueLanguage
dc.contributor.authorJong, WTen_US
dc.contributor.authorShiau, YSen_US
dc.contributor.authorHorng, YJen_US
dc.contributor.authorChen, HHen_US
dc.contributor.authorChen, SMen_US
dc.date.accessioned2014-12-08T15:46:20Z-
dc.date.available2014-12-08T15:46:20Z-
dc.date.issued1999-08-01en_US
dc.identifier.issn1083-4419en_US
dc.identifier.urihttp://dx.doi.org/10.1109/3477.775271en_US
dc.identifier.urihttp://hdl.handle.net/11536/31171-
dc.description.abstractIn 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.isoen_USen_US
dc.subjectknowledge representationen_US
dc.subjectrule-based systemen_US
dc.subjecttemporal knowledgeen_US
dc.subjecttime Petri netsen_US
dc.titleTemporal knowledge representation and reasoning techniques using time Petri netsen_US
dc.typeArticleen_US
dc.identifier.doi10.1109/3477.775271en_US
dc.identifier.journalIEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICSen_US
dc.citation.volume29en_US
dc.citation.issue4en_US
dc.citation.spage541en_US
dc.citation.epage545en_US
dc.contributor.department資訊工程學系zh_TW
dc.contributor.departmentDepartment of Computer Scienceen_US
dc.identifier.wosnumberWOS:000081565700008-
dc.citation.woscount9-
Appears in Collections:Articles


Files in This Item:

  1. 000081565700008.pdf

If it is a zip file, please download the file and unzip it, then open index.html in a browser to view the full text content.

Related Contents
Loading...