Definability and decidability of binary predicates for time granularity.

Massimo Franceschet Angelo Montanari Adriano Peron Guido Sciavicco

Published in: TIME (2003)

Keyphrases

description logics
propositional logic
real time
query answering
user defined
fixed point
binary data
type checking
artificial intelligence
decision trees
bayesian networks
data structure
multi class