| Joost Vennekens Pages in this Program | All Proceedings Papers | | ASPOCP Call for Papers | | ASPOCP Program Committee | | ICLP 2014 VSL proceedings | | ICLP 2014 VSL proceedings: Papers with Abstracts | | ICLP DC Program Committee | | ICLP on Monday, July 21st | | ICLP on Sunday, July 20th | | ICLP Program | | KR 2014 Proceedings | | KR 2014 Proceedings: Papers with Abstracts | | KR on Thursday, July 24th | | KR Program | | NMR on Thursday, July 17th | | NMR Program | | Paper: An OpenCL implementation of a forward sampling algorithm for CP-logic | | Paper: C-Log: A Knowledge Representation Language of Causality | | Paper: Simulating Dynamic Systems Using Linear Time Calculus Theories | | Paper: The Well-Founded Semantics Is the Principle of Inductive Definition, Revisited | | PLP 2014 Proceedings | | PLP 2014 Proceedings: Papers with Abstracts | | PLP on Thursday, July 17th | | PLP Program | | Program | | Program for Monday, July 21st | | Program for Sunday, July 20th | | Program for Thursday, July 17th | | Program for Thursday, July 24th |
|
