A kconfig translation to logic with one-way validation system.

David Fernández-Amorós Ruben Heradio Christoph Mayr-Dorn Alexander Egyed

Published in: SPLC (A) (2019)

Keyphrases

machine translation
logic programming
defeasible logic
deontic logic
formal theory
modal logic
multi valued
automata theoretic
database
deductive reasoning
proof theory
predicate logic
bayesian networks
information retrieval
classical logic
query translation
temporal logic
epistemic logic
machine learning
data mining