Drag to move · Scroll or pinch to zoom · Select a node for details
PaperA General Framework for Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-ThereAuthorship / preprint / 2010PaperProceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2012), 5th International Workshop, September 4, 2012, Budapest, HungaryAuthorship / preprint / 2013PaperProceedings of Answer Set Programming and Other Computing Paradigms (ASPOCP 2013), 6th International Workshop, August 25, 2013, Istanbul, TurkeyAuthorship / preprint / 2013PaperWorkshop Notes of the 6th International Workshop on Acquisition, Representation and Reasoning about Context with Logic (ARCOE-Logic 2014)Authorship / preprint / 2014PaperA model building framework for Answer Set Programming with external computationsAuthorship / preprint / 2015PaperEliminating Unfounded Set Checking for HEX-ProgramsAuthorship / preprint / 2013PaperConflict-driven ASP Solving with External SourcesAuthorship / preprint / 2012PaperSymmetry Breaking for Distributed Multi-Context SystemsAuthorship / preprint / 2011 