Your search returned the following 7 documents:

7. Mixed Integer Programming Models for Planning Problems
   Alexander Bockmayr and Yannis Dimopoulos
   In: Proceedings of the Workshop on Constraint Problem Reformulation (CP-98), Pisa, Italy, October, 30, 1998, 1-6
   
6. On Computing Logic Programs
   Yannis Dimopoulos
   Journal of Automated Reasoning 17 (3): 259-289, 1996
   
5. On the Parallel Complexity of Acyclic Logic Programs
   Shiva Chaudhuri, Yannis Dimopoulos, and Christos Zaroliagis
   Parallel Processing Letters 6 (2): 223-230, 1996
   
4. On Kernels, Defaults and Even Graphs
   Yannis Dimopoulos, Vangelis Magirou, and Christos Papadimitriou
   Annals of Mathematics and Artificial Intelligence (MPI-I-93-226), 1993. Note: To appear. Also available as Technical Report MPI-I-93-226
   
3. A Graph Theoretic Approach to Default Logic
   Yannis Dimopoulos and Vangelis Magirou
   Information and Computation 112 (2): 239-256, 1994
   
2. Classical Methods in Nonmonotonic Reasoning
   Yannis Dimopoulos
   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
   
1. The Computational Value of Joint Consistency
   Yannis Dimopoulos
   In: Logics in Artificial Intelligence: Proceedings of the JELIA'94, York, UK, September 5-8, 1994, 1994, 50-65