DOI10.1007/s10472-006-9019-0zbMath1109.68110MaRDI QIDQ862829
Alessandro Artale
Publication date: 24 January 2007 Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/s10472-006-9019-0
zbMATH Keywords
description logics; temporal logics; temporal data models
Mathematics Subject Classification ID
68T27: Logic in artificial intelligence
68T30: Knowledge representation
68P05: Data structures
Cites Work