53 citations · 87 across the 10 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.PL2015★ 9 cited
A web-based IDE for IDP
Ingmar Dasseville, Gerda Janssens
IDP is a knowledge base system based on first order logic. It is finding its way to a larger public but is still facing practical challenges. Adoption of new languages requires a n…
cs.LO2015★ 8 cited
Semantics of templates in a compositional framework for building logics
Ingmar Dasseville, Matthias van der Hallen, Gerda Janssens +1
There is a growing need for abstractions in logic specification languages such as FO(.) and ASP. One technique to achieve these abstractions are templates (sometimes called macros)…