Generic Trace Logics

Christian Kissig Alexander Kurz

Published in: CoRR (2011)

Keyphrases

expressive power
modal logic
domain specific
inference rules
high level
search algorithm
classical logic
data mining
artificial intelligence
search engine
information systems
data structure
multi agent systems
proof theoretic
propositional calculus