论文信息 - aspcud: A Linux Package Configuration Tool Based on Answer Set Programming

aspcud: A Linux Package Configuration Tool Based on Answer Set Programming

We present the Linux package configuration tool aspcud based on Answer Set Programming. In particular, we detail aspcud's preprocessor turning a CUDF specification into a set of logical facts.

[1] Martin Gebser,et al. Advances in gringo Series 3 , 2011, LPNMR.

[2] Ralf Treinen,et al. Proceedings First International Workshop on Logics for Component Configuration , 2010 .

[3] Mikolás Janota,et al. PackUp: Tools for Package Upgradability Solving , 2012, J. Satisf. Boolean Model. Comput..

[4] Martin Gebser,et al. Conflict-Driven Answer Set Solving , 2007, IJCAI.

[5] Chitta Baral,et al. Knowledge Representation, Reasoning and Declarative Problem Solving , 2003 .

[6] Josep Argelich,et al. Solving Linux Upgradeability Problems Using Boolean Optimization , 2010, LoCoCo.

[7] Tommi Syrjänen. Including Diagnostic Information in Configuration Models , 2000, Computational Logic.

[8] Michel Rueher,et al. Handling software upgradeability problems with MILP solvers , 2010, LoCoCo.

[9] G. G. Stokes. "J." , 1890, The New Yale Book of Quotations.

[10] Frank van Harmelen,et al. Handbook of Knowledge Representation , 2008, Handbook of Knowledge Representation.

[11] Martin Gebser,et al. Multi-Criteria Optimization in ASP and its Application to Linux Package Configuration ∗ , 2011 .

[12] Martin Gebser,et al. Multi-Criteria Optimization in Answer Set Programming , 2011, ICLP.