Knowledge representation, reasoning and integration using temporal logic with clocks
type: Item
instance of: scholarly article
title: Knowledge representation, reasoning and integration using temporal logic with clocks
zbMATH Open document ID: 1158.68502
author: Mehmet A. Orgun
author: Chuchang Liu
author: Abhaya C. Nayak
published in: Mathematics in Computer Science
publication date: 2009-02-17T00:00:00Z
Mathematics Subject Classification ID: 68T30
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 5508667
zbMATH Keywords: multiple granularity of time
zbMATH Keywords: temporal logics
zbMATH Keywords: temporal knowledge representation
Wikidata QID: Q58185140
describes a project that uses: CACTUS
MaRDI profile type: Publication
full work available at URL: s11786-008-0048-4
OpenAlex ID: W2121428298
DBLP publication ID: journals/mics/OrgunLN08
DOI: 10.1007/S11786-008-0048-4
description: scientific article; zbMATH DE number 5508667