Knowledge representation, reasoning and integration using temporal logic with clocks
From MaRDI portal
Publication:1001355
DOI10.1007/s11786-008-0048-4zbMath1158.68502WikidataQ58185140 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
Uses Software