Domains and Logics (Extended Abstract)

Published in: LICS (1989)

Keyphrases

extended abstract
application domains
real world
expressive power
modal logic
cross domain
feature selection
real time
website
multiscale
relational databases
evolutionary algorithm
continuous domains
classical logic
computational properties
nonmonotonic logics