Picture for Anna Ryabokon

Anna Ryabokon

Alpen-Adria Universität

OOASP: Connecting Object-oriented and Logic Programming

Add code
Aug 12, 2015
Figure 1 for OOASP: Connecting Object-oriented and Logic Programming
Figure 2 for OOASP: Connecting Object-oriented and Logic Programming
Figure 3 for OOASP: Connecting Object-oriented and Logic Programming
Figure 4 for OOASP: Connecting Object-oriented and Logic Programming
Viaarxiv icon

Study: Symmetry breaking for ASP

Add code
Dec 11, 2012
Figure 1 for Study: Symmetry breaking for ASP
Viaarxiv icon

(Re)configuration based on model generation

Add code
Sep 01, 2011
Figure 1 for (Re)configuration based on model generation
Figure 2 for (Re)configuration based on model generation
Figure 3 for (Re)configuration based on model generation
Viaarxiv icon