Axiomatizations of Interval Logics.

George Kutty Louise E. Moser P. M. Melliar-Smith Y. S. Ramakrishna Laura K. Dillon

Published in: Fundam. Informaticae (1995)

Keyphrases

decision procedures
modal logic
conditional logic
expressive power
interval data
inference rules
databases
website
case study
computational properties
type fuzzy logic systems
coalition logic
propositional calculus
default reasoning
bayesian networks
social networks
machine learning