On the expressive limits of reified theories.

Babatunde Opeoluwa Akinkunmi

Published in: J. Log. Comput. (2000)

Keyphrases

temporal logic
meta level
data sets
web services
temporal reasoning
legal knowledge
database
learning algorithm
social networks
information systems
high level
expert systems
qualitative and quantitative
defeasible logic
design theory