{"_id":"9vMDMe6ibRoCZyx5R","bibbaseid":"orgun-liu-nayak-knowledgerepresentationreasoningandintegrationusingtemporallogicwithclocks-2008","downloads":0,"creationDate":"2015-10-09T01:43:11.747Z","title":"Knowledge Representation, Reasoning and Integration Using Temporal Logic with Clocks","author_short":["Orgun, M. A.","Liu, C.","Nayak, A. C."],"year":2008,"bibtype":"article","biburl":"http://dblp.org/pers/tb2/o/Orgun:Mehmet_A=","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Mehmet","A."],"propositions":[],"lastnames":["Orgun"],"suffixes":[]},{"firstnames":["Chuchang"],"propositions":[],"lastnames":["Liu"],"suffixes":[]},{"firstnames":["Abhaya","C."],"propositions":[],"lastnames":["Nayak"],"suffixes":[]}],"title":"Knowledge Representation, Reasoning and Integration Using Temporal Logic with Clocks","journal":"Math. Comput. Sci.","volume":"2","number":"1","pages":"143–163","year":"2008","url":"https://doi.org/10.1007/s11786-008-0048-4","doi":"10.1007/s11786-008-0048-4","timestamp":"Wed, 12 Aug 2020 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/mics/OrgunLN08.bib","bibsource":"dblp computer science bibliography, https://dblp.org","author_short":["Orgun, M. A.","Liu, C.","Nayak, A. C."],"key":"DBLP:journals/mics/OrgunLN08","id":"DBLP:journals/mics/OrgunLN08","bibbaseid":"orgun-liu-nayak-knowledgerepresentationreasoningandintegrationusingtemporallogicwithclocks-2008","role":"author","urls":{"Paper":"https://doi.org/10.1007/s11786-008-0048-4"},"metadata":{"authorlinks":{}},"html":""},"search_terms":["knowledge","representation","reasoning","integration","using","temporal","logic","clocks","orgun","liu","nayak"],"keywords":[],"authorIDs":[],"dataSources":["4JocmSptLqeD5K7hG","uPDiu8Pvr23e2uyMf"]}