Bounded Validity Checking of Interval Duration Logic.

Babita Sharma Paritosh K. Pandya Supratik Chakraborty

Published in: TACAS (2005)

Keyphrases

modal logic
classical logic
truth table
verification method
proof theory
multi valued
type fuzzy logic systems
consistency checking
defeasible logic
logic programming
expert systems
expressive power
computational properties
attribute values
predicate logic
information systems
search engine
data sets