Author/Creator: DASSEVILLE, INGMAR - British Library Electronic Legal Deposit Catalogue-Journal Issues and Articles Search Results

Author/Creator DASSEVILLE, INGMAR

1. Semantics of templates in a compositional framework for building logics. Issue 4 (3rd September 2015)

Authors:: DASSEVILLE, INGMAR; VAN DER HALLEN, MATTHIAS; JANSSENS, GERDA; DENECKER, MARC
Editors:: Eiter, Thomas; Toni, Francesca
Journal:: Theory and practice of logic programming
Issue:: Volume 15:Issue 4/5(2015)
Page Start:: 681
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗

2. The KB paradigm and its application to interactive configuration*. Issue 1 (1st July 2016)

Authors:: VAN HERTUM, PIETER; DASSEVILLE, INGMAR; JANSSENS, GERDA; DENECKER, MARC
Journal:: Theory and practice of logic programming
Issue:: Volume 17:Issue 1(2017)
Page Start:: 91
Record Type:: Journal Article
View Content:: Available online (eLD content is only available in our Reading Rooms) ↗