| Georg Gottlob Pages in this Program | All Proceedings Papers | | CAV on Thursday, July 17th | | CAV Program | | CSF on Thursday, July 17th | | CSF Program | | CSL-LICS 2014 Full and Final Proceedings | | CSL-LICS 2014 Full and Final Proceedings: Papers with Abstracts | | CSL-LICS on Monday, July 14th | | CSL-LICS on Thursday, July 17th | | CSL-LICS on Tuesday, July 15th | | CSL-LICS Program | | FLoC on Thursday, July 17th | | FLoC Program | | ICLP on Thursday, July 17th | | ICLP Program | | IJCAR on Thursday, July 17th | | IJCAR Program | | ITP on Monday, July 14th | | ITP on Thursday, July 17th | | ITP Program | | KR 2014 Proceedings | | KR 2014 Proceedings: Papers with Abstracts | | KR on Monday, July 21st | | KR on Thursday, July 24th | | KR on Wednesday, July 23rd | | KR Program | | KR Program Committee | | LC on Monday, July 14th | | LC Program | | Paper: Achieving New Upper Bounds for the Hypergraph Duality Problem through Logic | | Paper: Datalog+/–: Questions and Answers | | Paper: Polynomial Combined Rewritings for Existential Rules | | Paper: Stable Model Semantics for Guarded Existential Rules and Description Logics | | Paper: Structural Decomposition Methods: How They Matter | | PCCR 2014 Abstracts | | PCCR 2014 Abstracts: Papers with Abstracts | | PCCR on Friday, July 18th | | PCCR Program | | Program | | Program for Friday, July 18th | | Program for Monday, July 14th | | Program for Monday, July 21st | | Program for Thursday, July 17th | | Program for Thursday, July 24th | | Program for Tuesday, July 15th | | Program for Wednesday, July 23rd | | RTA-TLCA on Monday, July 14th | | RTA-TLCA on Thursday, July 17th | | RTA-TLCA Program | | SAT on Monday, July 14th | | SAT on Thursday, July 17th | | SAT Program | | VSL on Thursday, July 17th | | VSL Program |
|
