Decidability for Priorean Linear Time Using a Fixed-Point Labelled Calculus.

Bianca Boretti Sara Negri

Published in: TABLEAUX (2009)

Keyphrases

fixed point
type checking
sufficient conditions
description logics
worst case
dynamical systems
query answering
floating point
belief propagation
constraint databases
fixed point theorem
linear logic
bargaining solution
policy iteration
graphical models
pairwise
image processing
database