User Support for the Combinator Logic Synthesizer Framework.

Jan Bessai Anna Vasileva

Published in: F-IDE@FLoC (2018)

Keyphrases

logical framework
database systems
end users
user centric
context dependent
main contribution
user model
dynamic epistemic logic
information systems
proof theory
user centered
user queries
user interaction
context aware
information retrieval systems
probabilistic model
digital libraries
metadata