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

Publications Master Template, generated: 3:16, 21 October 2019

Search the publication database

  . Return

Your search returned the following 7 documents:

  1. Alexander Bockmayr and Yannis Dimopoulos
    Mixed Integer Programming Models for Planning Problems
    In: Proceedings of the Workshop on Constraint Problem Reformulation (CP-98), Pisa, Italy, October, 30, 1998, 1-6
  2. Yannis Dimopoulos
    On Computing Logic Programs
    Journal of Automated Reasoning 17 (3): 259-289, 1996
  3. Shiva Chaudhuri, Yannis Dimopoulos, and Christos Zaroliagis
    On the Parallel Complexity of Acyclic Logic Programs
    Parallel Processing Letters 6 (2): 223-230, 1996
  4. Yannis Dimopoulos, Vangelis Magirou, and Christos Papadimitriou
    On Kernels, Defaults and Even Graphs
    Annals of Mathematics and Artificial Intelligence (MPI-I-93-226), 1993. Note: To appear. Also available as Technical Report MPI-I-93-226
  5. Yannis Dimopoulos and Vangelis Magirou
    A Graph Theoretic Approach to Default Logic
    Information and Computation 112 (2): 239-256, 1994
  6. Yannis Dimopoulos
    Classical Methods in Nonmonotonic Reasoning
    In: Proceedings of the 8th International Symposium on Methodologies for Intelligent Systems (ISMIS'94), Charlotte, North Carolina, October 16-19, 1994, 1994, 500-510. Note: Extended version available as Research Report MPI-I-94-229, Max-Planck-Institut für Informatik, Saarbrücken
  7. Yannis Dimopoulos
    The Computational Value of Joint Consistency
    In: Logics in Artificial Intelligence: Proceedings of the JELIA'94, York, UK, September 5-8, 1994, 1994, 50-65