No. Title Author Year
1 Answer Set Solving with Generalized Learned Constraints Gebser, Martin et al. 2016
2 Computing Diverse Optimal Stable Models Romero, Javier et al. 2016
3 Theory Solving Made Easy with Clingo 5 Gebser, Martin et al. 2016
4 LIPIcs, Volume 7, ICLP'10, Complete Volume Hermenegildo, Manuel et al. 2013
5 aspeed: ASP-based Solver Scheduling Hoos, Holger et al. 2012
6 Unsatisfiability-based optimization in clasp Andres, Benjamin et al. 2012
7 Evolution of Ontologies using ASP Ostrowski, Max et al. 2011
8 Multi-Criteria Optimization in Answer Set Programming Gebser, Martin et al. 2011
9 Introduction to the Technical Communications of the 26th International Conference on Logic Programming Hermenegildo, Manuel et al. 2010
10 Titlepage, Table of Contents, Conference Organization Hermenegildo, Manuel et al. 2010
Current Page :
Number of result pages: 2
Number of documents: 12


DROPS-Home | Fulltext Search | Imprint Published by LZI