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

Publications Master Template, generated: 16:51, 18 January 2020

Search the publication database

  . Return

Your search returned the following 8 documents:

  1. Hans de Nivelle and Jia Meng
    Geometric Resolution: A Proof Procedure Based on Finite Model Search
    In: Automated reasoning : Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, 2006, 303-317
  2. Viorica Sofronie-Stokkermans
    Interpolation in local theory extensions
    In: Proceedings of IJCAR 2006, Seattle, USA, 2006, 235-250
    [PDF: Download: sofronie-ijcar-06.pdf]
  3. Ulrich Furbach, Harald Ganzinger, Ryuzo Hasegawa, and Deepak Kapur(Ed.)
    Deduction
    Dagstuhl-Seminar-Report. , IBFI, Wadern, 2000
  4. Supratik Mukhopadhyay and Andreas Podelski
    Model Checking for Timed Logic Processes
    In: Proceedings of the 1st International Conference on Computational Logic, Imperial College, London, UK, 24-28 July, 2000, 2000, 598-612
  5. Leendert W. N. van der Torre
    Phased labeled logics of conditional goals
    In: Proceedings of the 6th European Workshop on Logics in AI: Logics in Artificial Intelligence (JELIA-98), Schloss Dagstuhl, October 1998, 1998, 92-106
  6. Leendert W. N. van der Torre and Yao-Hua Tan
    Prohairetic Deontic Logic (PDL)
    In: Proceedings of the 6th European Workshop on Logics in AI: Logics in Artificial Intelligence (JELIA-98), Schloss Dagstuhl, October 1998, 1998, 77-91
  7. Uwe Waldmann
    A Superposition Calculus for Divisible Torsion-Free Abelian Groups
    In: Proceedings of the International Workshop on First-Order Theorem Proving (FTP-97), Linz, Austria, October 27-28, 1997, 130-134
  8. Jürgen Stuber
    Strong Symmetrization, Semi-Compatibility of Normalized Rewriting and First-Order Theorem Proving
    In: Proceedings of the International Workshop on First-Order Theorem Proving (FTP-97), Schloss Hagenberg by Linz, Austria, October 27-28, 1997, 1997, 125-129