Login / Signup
A unified framework for generating all propagation functions for logic errors and events.
Maria K. Michael
Themistoklis Haniotakis
Spyros Tragoudas
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2004)
Keyphrases
</>
event detection
databases
neural network
logic programming
modal logic
multi valued
search engine
multi agent systems
temporal information
prediction error
error analysis
automated reasoning
event sequences
classical logic