Publications

A.Ryabokon, G.Friedrich and Andreas A. Falkner, Conflict-Based Program Rewriting for Solving Configuration Problems. In Proceedings of the 12^th International Conference on Logic Programming and Nonmonotonic Reasoning, pp. 465-478, 2013.

E.C. Teppan and G. Friedrich, Declarative Heuristics in Constraint Satisfaction. In Proceedings of the 25^th International Conference on Tools with Artificial Intelligence (ICTAI '13), pp. 996-1003, 2013.

G.Friedrich, M.Frühstück, V.Mersheeva, A.Ryabokon, M.Sander, A.Starzacher and E.Teppan, Representing Production Scheduling with Constraint Answer Set Programming. In Proceedings of the International Conference on Operations Research, 2014.

R.Taupe, Einfluss von Sprachkonstrukten auf die Lösbarkeit von Answer-set Programmen, Masterarbeit, Universität Klagenfurt, 2015.

A.Ryabokon, KNOWLEDGE‐BASED (RE)CONFIGURATION OF COMPLEX PRODUCTS AND SERVICES, Dissertation, Universität Klagenfurt, 2015.

V.Mersheeva and G.Friedrich, Multi-UAV Monitoring with Priorities and Limited Energy Resources. In Proceedings of 25^th the International Conference on Automated Planning and Scheduling, pp. 347-356, 2015.

M.Gebser, A.Ryabokon and G.Schenner, Combining Heuristics for Configuration Problems Using Answer Set Programming. In Proceedings of the 13^th International Conference on Logic Programming and Nonmonotonic Reasoning, 2015.

M.Gebser, A.Ryabokon and G.Schenner, Solving Combined Configuration Problems: A Heuristic Approach. In Proceeding of the Configuration Workshop, 2015.

A.A.Falkner, A.Ryabokon, G.Schenner and K.Shchekotykhin, OOASP: Connecting Object-oriented and Logic Programming. In Proceedings of the 13^th International Conference on Logic Programming and Nonmonotonic Reasoning, 2015.

E. C. Teppan, G. Friedrich, ASCASS: A Simple Constraint Answer Set Solver, Technical Report, Universität Klagenfurt, 2016. PDF (2.036 KB)