| Marc Denecker Pages in this Program | All Proceedings Papers | | ICLP 2014 VSL proceedings | | ICLP 2014 VSL proceedings: Papers with Abstracts | | ICLP on Monday, July 21st | | ICLP on Sunday, July 20th | | ICLP on Tuesday, July 22nd | | ICLP Program | | KR 2014 Proceedings | | KR 2014 Proceedings: Papers with Abstracts | | KR on Thursday, July 24th | | KR Program | | KR Program Committee | | LaSh 2014 Proceedings | | LaSh 2014 Proceedings: Papers with Abstracts | | LaSh Call for Papers | | LaSh on Friday, July 18th | | LaSh Program | | LaSh Program Committee | | NMR on Thursday, July 17th | | NMR Program | | NMR Program Committee | | Paper: C-Log: A Knowledge Representation Language of Causality | | Paper: Lazy Model Expansion: Interleaving Grounding with Search | | Paper: Meta-level Representations in the IDP Knowledge Base System: Bootstrapping Inference Engine Development | | Paper: Simulating Dynamic Systems Using Linear Time Calculus Theories | | Paper: The Well-Founded Semantics Is the Principle of Inductive Definition, Revisited | | Program | | Program for Friday, July 18th | | Program for Monday, July 21st | | Program for Sunday, July 20th | | Program for Thursday, July 17th | | Program for Thursday, July 24th | | Program for Tuesday, July 22nd |
|
