No. Title Author Year
1 LIPIcs, Volume 7, ICLP'10, Complete Volume Hermenegildo, Manuel et al. 2013
2 aspeed: ASP-based Solver Scheduling Hoos, Holger et al. 2012
3 Unsatisfiability-based optimization in clasp Andres, Benjamin et al. 2012
4 Evolution of Ontologies using ASP Ostrowski, Max et al. 2011
5 Multi-Criteria Optimization in Answer Set Programming Gebser, Martin et al. 2011
6 Introduction to the Technical Communications of the 26th International Conference on Logic Programming Hermenegildo, Manuel et al. 2010
7 Titlepage, Table of Contents, Conference Organization Hermenegildo, Manuel et al. 2010
8 05171 Abstracts Collection -- Nonmonotonic Reasoning, Answer Set Programming and Constraints Brewka, Gerhard et al. 2005
9 05171 Executive Summary -- Nonmonotonic Reasoning, Answer Set Programming and Constraints Brewka, Gerhard et al. 2005
Current Page :
Number of result pages: 1
Number of documents: 9


DROPS-Home | Fulltext Search | Imprint Published by LZI