Simple Reasoning with Time-Dependent Propositions

DOI10.1093/jigpal/10.4.379zbMath1051.68125OpenAlexW1970509684MaRDI QIDQ4779582

Peter B. Ladkin, Maroua Bouzid

Publication date: 2002

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/db8e7ed774e6f3d41756b2314679d2b8664365d2

zbMATH Keywords

temporal logictemporal reasoning

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Temporal logic (03B44)

Related Items (1)

Satisfying constraint sets through convex envelopes

This page was built for publication: Simple Reasoning with Time-Dependent Propositions