Extending constraint logic programming for temporal reasoning

DOI10.1023/A:1018946309329zbMath0976.68029OpenAlexW1589552839MaRDI QIDQ1383361

Michela Milano, Paola Mello, Evelina Lamma

Publication date: 10 September 2000

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1018946309329

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic in computer science (03B70) Logic programming (68N17) Temporal logic (03B44)

This page was built for publication: Extending constraint logic programming for temporal reasoning