Login / Signup
Albert Jorissen
Publication Activity (10 Years)
Years Active: 2013-2013
Publications (10 Years): 0
Top Topics
Logic Programming Language
Horn Clauses
Logical Rules
Forward Chaining
Top Venues
Theory Pract. Log. Program.
</>
Publications
</>
Joachim Jansen
,
Albert Jorissen
,
Gerda Janssens
Compiling Input* FO(·) inductive definitions into tabled prolog rules for IDP3.
Theory Pract. Log. Program.
13 (4-5) (2013)