Cyclical and Granular Time Theories as Subsets of the Herbrand Universe.

Published in: KR (2000)

Keyphrases

logic programs
granular computing
logic programming
theoretical framework
first order logic
real time
defeasible logic
rough sets
pattern recognition
machine learning
statistical relational learning
fuzzy sets
case study
clustering algorithm
website
equivalence relation
database
legal knowledge