Login / Signup
A flexible schema for generating explanations in lazy theory propagation.
Roberto Bruttomesso
Edgar Pek
Natasha Sharygina
Published in:
MEMOCODE (2010)
Keyphrases
</>
generating explanations
databases
data model
theoretical framework
general theory
search engine
decision making
knowledge base
computational model
theoretical foundation
database schema
formal theory
wave propagation