Definability and Transformations for Cost Logics and Automatic Structures.

Martin Lang Christof Löding Amaldev Manuel

Published in: MFCS (1) (2014)

Keyphrases

total cost
search algorithm
semi automatic
expressive power
modal logic
fixed point
databases
neural network
knowledge base
expert systems
fully automatic
inference rules
propositional logic
high cost
expected cost
structural analysis