| Bijan Parsia Pages in this Program | All Proceedings Papers | | CAV on Friday, July 18th | | CAV Program | | CSF on Friday, July 18th | | CSF Program | | CSL-LICS on Friday, July 18th | | CSL-LICS Program | | DL 2014 Proceedings | | DL 2014 Proceedings: Papers with Abstracts | | DL on Friday, July 18th | | DL on Thursday, July 17th | | DL Program | | DL Program Committee | | FLoC on Friday, July 18th | | FLoC Program | | ICLP on Friday, July 18th | | ICLP Program | | IJCAR on Friday, July 18th | | IJCAR Program | | ITP on Friday, July 18th | | ITP Program | | ORE on Sunday, July 13th | | ORE Program | | ORE Program Committee | | PAAR Call for Papers | | PAAR Program Committee | | Paper: An Empirical Investigation of Difficulty of Subsets of Description Logic Ontologies | | Paper: Measuring Conceptual Similarity in Ontologies: How Bad is a Cheap Measure? | | Paper: Temporalising EL Concepts with Time Intervals | | Program | | Program for Friday, July 18th | | Program for Sunday, July 13th | | Program for Thursday, July 17th | | RTA-TLCA on Friday, July 18th | | RTA-TLCA Program | | SAT on Friday, July 18th | | SAT Program | | VSL on Friday, July 18th | | VSL Program |
|
