Julienne: A Trace Slicer for Conditional Rewrite Theories.

María Alpuente Demis Ballis Francisco Frechina Daniel Romero

Published in: FM (2012)

Keyphrases

random field model
database
image sequences
neural network
theoretical framework
design theory
machine learning
artificial intelligence
decision making
knowledge base
decision trees
database systems
decision theory
defeasible logic
execution traces