Database Entry Point
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

MPI-INF RG1 Publications, generated: 5:50, 14 October 2019

Search the publication database

  . Return

Your search returned the following 8 documents:

  1. Christopher Lynch, Paliath Narendran, Franz Baader, Silvio Ghilardi, Miki Hermann, Viorica Sofronie-Stokkermans, and Ashish Tiwari(Ed.)
    UNIF 2009, 23nd International Workshop on Unification and ADDCT 2009 Automated Deduction: Decidability, Complexity, Tractability : proceedings
    , McGill University, Montreal, 2009
  2. Franz Baader, Silvio Ghilardi, Miki Hermann, Ulrike Sattler, and Viorica Sofronie-Stokkermans(Ed.)
    Complexity, Expressibility, and Decidability in Automated Reasoning (CEDAR'08)
    , Informal proceedings, 2008
  3. Swen Jacobs
    Incremental Instance Generation in Local Reasoning
    In: Workshop: Complexity, Expressibility, and Decidability in Automated Reasoning - CEDAR'08, Sydney, Australia, 2008, 47-62
    [PDF: Download: IIGLR.pdf]
  4. Viorica Sofronie-Stokkermans
    Locality and subsumption testing in $\mathcalEL$ and some of its extensions
    In: Proceedings of the 21st International Workshop on Description Logics (DL-2008), Dresden, Germany, 2008, 11pages p.
  5. Viorica Sofronie-Stokkermans, Carsten Ihlemann, and Swen Jacobs
    Local Theory Extensions, Hierarchical Reasoning and Applications to Verification
    In: Deduction and Decision Procedures, Dagstuhl, Germany, 2007, 1-22
  6. Detlef Fehrer, Ullrich Hustadt, Manfred Jaeger, Andreas Nonnengart, Hans Jürgen Ohlbach, Renate A. Schmidt, Christoph Weidenbach, and Emil Weydert
    Description Logics for Natural Language Processing
    In: International Workshop on Description Logics '94, Bonn, Germany, May 28-29, 1994, 1994, 80-84
  7. Harald Ganzinger, Thomas Hillenbrand, and Uwe Waldmann
    Superposition modulo a Shostak Theory
    In: Automated Deduction, CADE-19 : 19th International Conference on Automated Deduction, Miami, Florida, July, 30 - August, 2, 2003, 182-196
    [PS: Download: _03CADE.2.ps]
  8. Jean-Marie Gaillourdet, Thomas Hillenbrand, Bernd Löchner, and Hendrik Spies
    The New WALDMEISTER Loop at Work
    In: Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, Miami, Florida, July, 30 - August, 2, 2003, 317-321
    [PS: Download: pwm.ps]