Weighted Logics for Traces.

Ingmar Meinecke

Published in: CSR (2006)

Keyphrases

expressive power
modal logic
real time
execution traces
source code
evolutionary algorithm
databases
data sets
decision making
knowledge base
image segmentation
image sequences
information systems
search engine
default logic
classical logic
conditional logic
database