An Optimal Tableau System for the Logic of Temporal Neighborhood over the Reals.

Angelo Montanari Pietro Sala

Published in: TIME (2012)

Keyphrases

spatio temporal
optimal solution
closed form
dynamic programming
optimal control
temporal constraints
automated theorem proving
neural network
description logics
logic programming
temporal information
modal logic
temporal reasoning
multi valued
temporal evolution
asynchronous circuits