| Renate A. Schmidt | Organization: | University of Manchester |
Pages in this Program | ADDCT 2014 Proceedings | | ADDCT 2014 Proceedings: Papers with Abstracts | | ADDCT Call for Papers | | ADDCT on Friday, July 18th | | ADDCT Program | | ADDCT Program Committee | | All Proceedings Papers | | ARW-DT 2014 - Automated Reasoning Workshop/Deduktionstreffen Proceedings | | ARW-DT 2014 - Automated Reasoning Workshop/Deduktionstreffen Proceedings: Papers with Abstracts | | ARW-DT Call for Papers | | ARW-DT on Thursday, July 24th | | ARW-DT on Wednesday, July 23rd | | ARW-DT Program | | ARW-DT Program Committee | | DL 2014 Proceedings | | DL 2014 Proceedings: Papers with Abstracts | | DL on Saturday, July 19th | | DL Program | | DL Program Committee | | IJCAR 2014 LNCS proceedings | | IJCAR 2014 LNCS proceedings: Papers with Abstracts | | IJCAR on Monday, July 21st | | IJCAR on Tuesday, July 22nd | | IJCAR Program | | IJCAR Program Committee | | iPRA 2014 Proceedings | | iPRA 2014 Proceedings: Papers with Abstracts | | iPRA on Friday, July 18th | | iPRA Program | | PAAR Call for Papers | | PAAR Program Committee | | Paper: Axiomatic and Tableau-Based Reasoning for Kt(H,R) | | Paper: Computing Uniform Interpolants of ALCH-Ontologies with Background Knowledge | | Paper: Count and Forget: Uniform Interpolation of SHQ-Ontologies | | Paper: Forgetting and Uniform Interpolation for ALC-Ontologies with ABoxes | | Paper: Models Minimal Modulo Subset-Simulation for Expressive Propositional Modal Logics | | Paper: Resolution Based Uniform Interpolation for Expressive Description Logics | | Paper: Tableau Development for a Bi-Intuitionistic Tense Logic | | Paper: Terminating Minimal Model Generation Procedures for Propositional Modal Logics | | Program | | Program for Friday, July 18th | | Program for Monday, July 21st | | Program for Saturday, July 19th | | Program for Thursday, July 24th | | Program for Tuesday, July 22nd | | Program for Wednesday, July 23rd | | WING on Wednesday, July 23rd | | WING Program |
|
