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

Publications Master Template, generated: 9:11, 26 August 2019

Search the publication database

  . Return

Your search returned the following 5 documents:

  1. Qualitative and Quantitative Practical Reasoning
    , Springer, Berlin, 1997, 602 p.. Note: Proceedings of the First International Joint Conference on Qualitative and Quantitative Practical Reasoning, ECSQARU/FAPR'97, Bad Honnef, Germany
  2. Seán Matthews
    A Theory and its Metatheory in $FS_0$
    In: What is a logical system?, 1994, 329-354. Note: Also available as Research Report MPI-I-93-227, Max-Planck-Institut für Informatik, Saarbrücken
  3. Dov M. Gabbay and Hans Jürgen Ohlbach(Ed.)
    Temporal Logic: Proceedings of the 1st International Conference on Temporal Logic
    Lecture Notes in Artificial Intelligence. 827, , Springer, Berlin, 1994
  4. Norbert Eisinger and Hans Jürgen Ohlbach
    Deduction Systems Based on Resolution
    In: Handbook of Logic in Artificial Intelligence and Logic Programming, 1993, 184-271. Note: Also available as Research Report MPI-I-91-217
  5. David A. Plaisted
    Equational Reasoning and Term Rewriting Systems
    In: Handbook of Logic in Artificial Intelligence and Logic Programming, 1993, 273-364