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

Publications Master Template, generated: 17:29, 21 November 2019

Search the publication database

  . Return

Your search returned the following 6 documents:

  1. Manfred Jaeger
    Constraints as Data: a New Perspective on Inferring Probabilities
    In: Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI-01), Seattle, USA, August 4-10, 2001, 2001, 755-760
    [PDF: Download: ijcai01final.pdf]
  2. David A. Basin, Seán Matthews, and Luca Viganò
    Labelled quantified modal logics
    In: Proceedings of the 21st Annual German Conference on Artificial Intelligence (KI-97): Advances in Artificial Intelligence, Freiburg, Germany, September, 1997, 171-182
  3. Leendert W. N. van der Torre and Yao-Hua Tan
    Reasoning about exceptions
    In: Proceedings of the 21st Annual German Conference on Artificial Intelligence (KI-97): Advances in Artificial Intelligence, Freiburg, September 1997, 1997, 405-408
  4. Dov M. Gabbay and Hans Jürgen Ohlbach
    Quantifier Elimination in Second-Order Predicate Logic
    In: Principles of Knowledge Representation and Reasoning (KR92),, 1992, 425-435. Note: Also available as Research Report MPI-I-92-213
  5. Peter Madden
    Formal Methods for Automated Program Improvement
    In: KI-94: Advances in Artificial Intelligence. Proceedings of the 18th German Annual Conference on Artificial Intelligence, Saarbrücken, Germany, September 18-23, 1994, 1994, 367-378. Note: Also available as Research Report MPI-I-94-238, Max-Planck-Institut für Informatik, Saarbrücken
  6. Emil Weydert
    Hyperrational Conditionals
    In: Foundations of Knowledge Representation and Reasoning, 1994, 310-332