The Real-Time Graphical Interval Logic Toolset.

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

Published in: CAV (1996)

Keyphrases

real time
high speed
logic programming
development process
set theory
data sets
databases
decision making
low cost
quality of service
classical logic
defeasible logic
predicate logic