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