Concepedia

ALBERT JORISSEN

AJ

1

Publications

12

Citations

1

H-Index

2013

Active since

Affiliations

KU Leuven(Current)

ALBERT JORISSEN is an author at KU Leuven specializing in non-monotonic logic, formal methods, and formal logic.

Top concepts

EngineeringFormal LogicVerificationFormal MethodsComputer ScienceLogic ProgrammingMulti-sorted LogicAutomated ReasoningFormal VerificationNon-monotonic Logic

Publications per year

2013–2013

1

Publications

1

Compiling Input* FO(·) inductive definitions into tabled prolog rules for IDP3

Joachim Jansen, ALBERT JORISSEN, Gerda Janssens · Theory and Practice of Logic Programming · 2013 · 12 citations

Engineering, Verification, Higher-order Logic +20

Rows per page

1–1 of 1