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

Publications Master Template, generated: 23:14, 17 June 2019

Search the publication database

  . Return

Your search returned the following 9 documents:

  1. David A. Basin and Sean Matthews
    Logical Frameworks
    In: Handbook of Philosophical Logic, 2002, 89-164
  2. Emil Weydert
    Rankings in flux
    In: Proceedings of the 3rd International Conference on Formal and Applied Practical Reasoning (FAPR-00), London, United Kingdom, September, 18 - 20, 2000, 37-48
  3. 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
  4. Emil Weydert
    Rational Default Quantifier Logic
    In: Proceedings of the 1st International Joint Conference on Qualitative and Quantitative Practical Reasoning (ESQARU-FAPR-97), Bad Honnef, Germany, June,9 - June,12, 1997, 589-600
  5. Emil Weydert
    System J - Revision Entailment: Default Reasoning through Ranking Measure Updates
    In: Practical Reasoning - International Conference on Formal and Applied Practical Reasoning, FAPR'96, Bonn, Germany, June, 3 - 7, 1996, 1996, 637-649
  6. 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
  7. 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
  8. 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
  9. David A. Plaisted
    Equational Reasoning and Term Rewriting Systems
    In: Handbook of Logic in Artificial Intelligence and Logic Programming, 1993, 273-364