Datalog with integer periodicity constraints

DOI10.1016/S0743-1066(97)10008-5zbMath0905.68034MaRDI QIDQ4208862

Jan Chomicki, David Toman

Publication date: 4 October 1998

Published in: The Journal of Logic Programming (Search for Journal in Brave)

zbMATH Keywords

Datalogperiodicity constraints

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (5)

The delay and window size problems in rule-based stream reasoning ⋮ First-order rewritability of ontology-mediated queries in linear temporal logic ⋮ LTL over integer periodicity constraints ⋮ Constraint-generating dependencies ⋮ Linear-time temporal logics with Presburger constraints: an overview ★

Uses Software

• Datalog

This page was built for publication: Datalog with integer periodicity constraints