Knowledge representation, reasoning and integration using temporal logic with clocks

DOI10.1007/S11786-008-0048-4zbMath1158.68502DBLPjournals/mics/OrgunLN08OpenAlexW2121428298WikidataQ58185140 ScholiaQ58185140MaRDI QIDQ1001355

Abhaya C. Nayak, Mehmet A. Orgun, Chuchang Liu

Publication date: 17 February 2009

Published in: Mathematics in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11786-008-0048-4

zbMATH Keywords

temporal logicsmultiple granularity of timetemporal knowledge representation

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (1)

An analytic tableau calculus for a temporalised belief logic

Uses Software

• CACTUS

This page was built for publication: Knowledge representation, reasoning and integration using temporal logic with clocks