53 citations · 251 across the 46 of their papers we have counts for
6 papers · 1 filter
Modelling Delegation and Revocation Schemes in IDP
Marcos Cramer, Pieter Van Hertum, Diego Agustin Ambrossio +1
In ownership-based access control frameworks with the possibility of delegating permissions and administrative rights, chains of delegated accesses will form. There are different w…
FO(C) and Related Modelling Paradigms
Bart Bogaerts, Joost Vennekens, Marc Denecker +1
Recently, C-Log was introduced as a language for modelling causal processes. Its formal semantics has been defined together with introductory examples, but the study of this langua…
Inference in the FO(C) Modelling Language
Bart Bogaerts, Joost Vennekens, Marc Denecker +1
Recently, FO(C), the integration of C-Log with classical logic, was introduced as a knowledge representation language. Up to this point, no systems exist that perform inference on…
Lazy Model Expansion: Interleaving Grounding with Search
Broes De Cat, Marc Denecker, Peter Stuckey +1
Finding satisfying assignments for the variables involved in a set of constraints can be cast as a (bounded) model generation problem: search for (bounded) models of a theory in so…
Grounding FO and FO(ID) with Bounds
Johan Wittocx, Maarten Mariën, Marc Denecker
Grounding is the task of reducing a first-order theory and finite domain to an equivalent propositional theory. It is used as preprocessing phase in many logic-based reasoning syst…
Predicate Logic as a Modelling Language: The IDP System
Broes De Cat, Bart Bogaerts, Maurice Bruynooghe +2
With the technology of the time, Kowalski's seminal 1974 paper {\em Predicate Logic as a Programming Language} was a breakthrough for the use of logic in computer science. It intro…