09502 Abstracts Collection - Coalgebraic Logics.

Ernst-Erich Doberkat Alexander Kurz

Published in: Coalgebraic Logics (2009)

Keyphrases

expressive power
database
inference rules
multi agent systems
modal logic
information systems
website
decision trees
databases
information retrieval
database systems
data structure
information extraction
logic programs