Citation Impact
Citing Papers
User-centered evaluation of adaptive and adaptable systems: a literature review
2008
DARPA's Explainable Artificial Intelligence Program
2019 Standout
Wikidata
2014 Standout
Implementation of adaptive learning at higher education institutions by means of Moodle LMS
2021 Standout
Probabilistic theorem proving
2016
Curated databases
2008
Works of Peter Baumgartner being referenced
Living Book – Deduction, Slicing, and Interaction
2004
Theorem Proving Techniques for View Deletion in Databases
2000
Living Book ? Deduction, Slicing, and Interaction
2004
The model evolution calculus as a first-order DPLL method
2007