Reified temporal logics: An overview

DOI10.1023/A:1011018426725zbMath0984.03017OpenAlexW1686020995MaRDI QIDQ5939380

No author found.

Publication date: 5 May 2002

Published in: Artificial Intelligence Review (Search for Journal in Brave)

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

zbMATH Keywords

reasoning about event change and causalityreified temporal logicstypes of temporal occurrence

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logic of natural languages (03B65) Knowledge representation (68T30) Natural language processing (68T50) Temporal logic (03B44)

Related Items (3)

A generalized time quantifier approach to approximate reasoning ⋮ Planning temporal events using point-interval logic ⋮ TACtic- A Multi Behavioral Agent for Trading Agent Competition

This page was built for publication: Reified temporal logics: An overview