Publications
A. Falkner, A. Haselböck, G. Schenner, and H. Schreiner. Modeling and Solving Technical Product Configuration Problems, In Artificial Intelligence for Engineering Design, Analysis and Manufacturing 25(2), pp. 115-129, 2011.
M. Aschinger, C. Drescher , G. Friedrich, G. Gottlob, P. Jeavons, A. Ryabokon, E. Thorstensen. Optimization Methods for the Partner Units problem, In Proceedings of the Eighth International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming for Combinatorial Optimization problems, LNCS 6697, pp. 4-19, 2011.
M. Aschinger, C. Drescher , G. Gottlob, P. Jeavons, E. Thorstensen. Tackling the Partner Units Configuration Problem, In Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, pp. 497-503, 2011.
G. Friedrich, A. Ryabokon, A. A. Falkner, A. Haselböck, G. Schenner and H. Schreiner. (Re)configuration using Answer Set Programming, In Proceedings of the IJCAI 2011 Workshop on Configuration, pp. 17-24, 2011.
D. Dhungana, A. Falkner and A. Haselböck. Configuration of Cardinality-Based Feature Models Using Generative Constraint Satisfaction, In Proceedings of the 37th EUROMICRO Conference on Software Engineering and Advanced Applications, IEEE, pp. 100-103, 2011.
G. Friedrich, A. Ryabokon, A. A. Falkner, A. Haselböck, G. Schenner, H. Schreiner. (Re)configuration based on model generation, In Proceedings of the Second Workshop on Logics for Component Configuration, EPTCS, pp. 26-35, 2011.
E. C. Teppan, G. Friedrich, A. A. Falkner. QuickPup: A Heuristic Backtracking Algorithm for the Partner Units Configuration Problem. In Proceedings of the 24th Conference on Innovative Applications of Artificial Intelligence, pp. 2329-2334, 2012.
A. Ryabokon, A. Polleres, G. Friedrich, A.A. Falkner, A. Haselböck, H. Schreiner. (Re)Configuration using Web Data: A Case Study on the Reviewer Assignment Problem, in Proceedings of the 6th International Conference on Web Reasoning and Rule Systems , pp. 258-261, 2012.
A. Falkner, G. Schenner, G. Friedrich, A. Ryabokon. Testing Object-Oriented Configurators With ASP, inProceedings of the ECAI 2012 Workshop on Configuration, pp. 21-26, 2012.
E. C. Teppan. (Re-)Configuring Legacy Instances of the Partner Units Problem, in Proceedings of the 24th IEEE International Conference on Tools with Artificial Intelligence, pp. 154-161, 2012.
A. Ryabokon. Study: Symmetry breaking for ASP. CoRR, arXiv:1212.2657, 2012.
A. Falkner and A. Haselböck. Challenges of Knowledge Evolution in Practice, In AI Communications, Special Issue on Intelligent Engineering Techniques for Knowledge Bases, 26: 3 - 14, 2013.
G. Schenner, A. Falkner, A. Ryabokon, G. Friedrich. Solving Object-oriented Configuration Scenarios with ASP, in Proceedings of the 15th International Configuration Workshop, pp. 55-62, 2013.
A. Polleres, M. Frühstück, G. Schenner, G.Friedrich. Debugging non-ground ASP programs with Choice
Rules, Cardinality and Weight Constraints, in Proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning, LNAI 8148, pp. 452-464, 2013.
A. Ryabokon, G. Friedrich, A. A. Falkner. Conflict-based Program Rewriting for Solving Configuration Problems, in Proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning, LNAI 8148, pp. 465-478, 2013.
M. Frühstück, J. Pührer, G. Friedrich. Debugging Answer-Set Programs with Ouroboros – Extending the SeaLion Plugin, in Proceedings of the 12th International Conference on Logic Programming and Nonmonotonic Reasoning, LNAI 8148, pp. 323-328, 2013.
L. Hotz, A. Felfernig, M. Stumptner, A. Ryabokon, C. Bagley, K. Wolter. Configuration Knowledge Representation and Reasoning. In B. Claire, A. Felfernig, L. Hotz, and J. Tiihonen, editors, Knowledge-based Configuration: From Research to Business Cases, pp. 41-72, 2014.