Abstract elementary classes and infinitary logics.

David W. Kueker

Published in: Ann. Pure Appl. Log. (2008)

Keyphrases

expressive power
artificial intelligence
modal logic
databases
real world
real time
machine learning
school children
case study
set theory
propositional dynamic logic
class hierarchy
object classes
query language
high level
decision trees
information systems
data mining