·
T. Balafoutis & K. Stergiou Evaluating and
Improving Modern Variable and Revision
Ordering Strategies in CSPs Fundamenta Informaticae 102(3-4):229-261,
2010
·
T. Balafoutis & K. Stergiou Adaptive
Branching for Constraint Satisfaction Problems In Proceedings of the
19th European
Conference on Artificial Intelligence (ECAI-2010),
855-860, 2010.
·
T. Balafoutis, A. Paparrizou, K. Stergiou, T. Walsh Improving the Performance of maxRPC In Proceedings of the 16th
International Conference on Principles and Practice of Constraint Programming
(CP 2010), 69-83, 2010.
·
T. Balafoutis, A. Paparrizou, K. Stergiou Experimental Evaluation of Branching Schemes for the CSP In Proceedings of 2010 TRICS, 3rd
Workshop on Techniques for Implementing Constraint Programming Systems (in
conjunction with CP 2010), 2010.
·
T. Balafoutis & K. Stergiou Conflict
Directed Variable Selection Strategies for Constraint Satisfaction Problems In Proceedings of the 6th Hellenic National
Conference on AI (SETN-2010) LNAI 6040, 2010
·
K. Stergiou Heuristics for Dynamically Adapting
Propagation in Constraint
Satisfaction Problems AI Communications Vol.
22(3):125-141, 2009
·
E. Stamatatos & K. Stergiou Learning
How to Propagate Using Random Probing In Proceedings
of the 6th International Conference on Integration of AI and OR Techniques
in Constraint Programming for Combinatorial Optimization Problems (CPAIOR
2009), 263-278
·
K. Stergiou Strong
Domain Filtering Consistencies for Non-Binary Constraint Satisfaction Problems
International Journal on Artificial
Intelligence Tools 17(5): 781-802 (2008)
·
T. Balafoutis & K. Stergiou Exploiting
Constraint Weights for Revision Ordering in Arc Consistency Algorithms In Proceedings of the ECAI-2008 workshop on
Modeling and Solving Problems with Constraints
·
T. Balafoutis & K. Stergiou On
Conflict-driven variable ordering heuristics In Proceedings of the ERCIM workshop on Constraint Solving and Constraint
Logic Programming (CSCLP-2008)
·
K. Stergiou Heuristics for Dynamically Adapting Propagation In Proceedings of the18th European Conference on Artificial Intelligence
(ECAI-2008) *selected among the best papers*
·
I. Partsakoulakis, K. Stergiou, G. Vouros Constraint Solving vs. Dynamic Reorganization for Task
Allocation in Large Multi-agent Systems: Preliminary Results In Proceedings
of the AAMAS-2008 International Workshop on Organized Adaptation in Multi-Agent
Systems (OAMAS-2008)
·
C. Papamanthou, K. Paparrizos, N. Samaras, K. Stergiou Worst
case examples of an exterior point algorithm for the assignment problem Discrete Optimization.
5:605-614, 2008
·
K. Stergiou Strong
Inverse Consistencies for Non-binary CSPs In Proceedings of the 19th IEEE International Conference on Tools
with Artificial Intelligence
(ICTAI-2007) *best paper award*
·
F. Bacchus & K. Stergiou Solution
Directed Backjumping for QCSP In Proceedings of the 13th International Conference on Principles and
Practice of Constraint Programming (CP 2007)
·
C. Theocharopoulou, I. Partsakoulakis, G. Vouros, K. Stergiou Overlay networks for task allocation and coordination in
dynamic large-scale networks of cooperative agents In Proceedings
of the 6th International Conference on Autonomous Agents and Multiagent Systems
(AAMAS-2007)
·
Y. Dimopoulos & K. Stergiou Propagation in CSP and SAT In Proceedings of the
12th International Conference on Principles and Practice of Constraint
Programming (CP 2006). LNCS.
·
T. Balafoutis & K. Stergiou Algorithms for Stochastic CSPs In Proceedings of the
12th International Conference on Principles and Practice of Constraint
Programming (CP 2006). LNCS.
·
K. Stergiou & T. Walsh, Inverse Consistencies for Non-binary
Constraints In Proceedings
of the17th European Conference on Artificial Intelligence (ECAI-2006). *selected
among the 10 best papers*
· K. Kotis, G. Vouros, K. Stergiou, Towards Automatic Merging of Domain Ontologies: The HCONE-merge approach. International Journal of Web Semantics (IJWS), Springer. Vol. 4 (1): 60-79, 2006.
·
P.
Raftopoulou, M. Koubarakis, K. Stergiou, & P. Triantafillou. Fair Resource Allocation in a Simple
Multi-Agent Setting: Search Algorithms and Experimental Evaluation International Journal of Artificial
Intelligence Tools. Vol.14 (6): 887-899, 2005.
·
K. Stergiou,
Repair-based
Methods for Quantified CSPs In Proceedings of the 11th International
Conference on Principles and Practice of Constraint Programming (CP-2005). LNCS.
·
N. Samaras & K. Stergiou, Binary Encodings of Non-binary
Constraint Satisfaction Problems: Algorithms and Experimental Results Journal of Artificial Intelligence Research (JAIR)
.Vol. 24: 641-684, 2005.
·
I.
·
P. Karagiannis, N. Samaras & K. Stergiou, Arc Consistency in the Dual Encoding of
Non-binary CSPs.. In Proceedings of the CP-2004 Workshop in Constraint
Propagation and Implementation.
· K. Kotis, G. Vouros & K. Stergiou, Capturing Semantics towards Automatic Coordination of Domain Ontologies. In LNAI, Vol. 3192, Springer-Verlag, (2004).
·
N. Mamoulis & K. Stergiou, Algorithms for Quantified Constraint
Satisfaction Problems In Proceedings of the 10th
International Conference on Principles and Practice of Constraint Programming
(CP-2004). LNCS.
·
N. Mamoulis & K. Stergiou, Constraint Satisfaction in
Semi-structured Data Graphs In Proceedings of the 10th
International Conference on Principles and Practice of Constraint Programming
(CP-2004). LNCS.
· N. Samaras & K. Stergiou, Arc Consistency in Binary Encodings of Non-binary CSPs. In Proceedings of the 3nd Hellenic National Conference on AI (SETN-04). LNAI. 2004.
· K. Stergiou, On Algorithms for Decomposable Constraints.. In Proceedings of the 2nd Hellenic National Conference on AI (SETN-02). LNAI. 2002.
·
N. Mamoulis & K. Stergiou, Solving Non-binary CSPs Using the
Hidden Variable Encoding
In Proceedings of CP-2001: 168-182.
2001.
·
I.
· K. Stergiou & M. Koubarakis Backtracking Algorithms for Disjunctions of Temporal Constraints. Artificial Intelligence. Vol. 1: 81-117, 2000.
·
B. Smith, K. Stergiou & T. Walsh, Using Auxiliary Variables and
Implied Constraints to Model Non-Binary Problems In Proceedings of
AAAI/IAAI 2000: 182-187, 2000.
·
P. Prosser, K. Stergiou & T. Walsh Singleton Consistencies In Proceedings of CP
2000: 353-368, 2002.
· B. Smith, K. Stergiou & T. Walsh, Modelling the Colomb Ruler Problem.. In IJCAI-99 Workshop on Non-binary Constraints, 1999.
·
K. Stergiou & T. Walsh Encodings of Non-Binary Constraint Satisfaction Problems In Proceedings of
AAAI/IAAI 1999: 163-168, 1999.
·
K. Stergiou & T. Walsh The Difference All-Difference Makes In Proceedings of IJCAI
1999: 414-419, 1999.
·
I. Gent, K. Stergiou & T. Walsh Decomposable Constraints In New Trends in Constraints, Lecture
Nore in Computer Science 1999: 134-149, 1999.
·
P. Shaw, K. Stergiou & T. Walsh Arc Consistency and Quasigroup
Completion In ECAI-98 Workshop on Non-binary
Constraints, 1998.
· K. Stergiou & M. Koubarakis, Backtracking Algorithms for Disjunctions of Temporal Constraints. In Proceedings of AAAI/IAAI 1998: 248-253, 1998.