AI Chat AI Image Generator AI Video Text to Speech

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

09/01/2011

∙

by Martin Gebser, et al.

∙

∙

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.

Martin Gebser
27 publications
Roland Kaminski
12 publications
Torsten Schaub
48 publications

page 1

page 2

page 3

page 4

research

∙ 05/08/2019

SMT-based Constraint Answer Set Solver EZSMT+

Constraint answer set programming integrates answer set programming with...

0 Da Shen, et al. ∙

research

∙ 09/01/2011

(Re)configuration based on model generation

Reconfiguration is an important activity for companies selling configura...

0 Gerhard Friedrich, et al. ∙

research

∙ 09/17/2021

Product Configuration in Answer Set Programming

This is a preliminary work on configuration knowledge representation whi...

0 Seemran Mishra, et al. ∙

research

∙ 12/20/2013

A System for Interactive Query Answering with Answer Set Programming

Reactive answer set programming has paved the way for incorporating onli...

0 Martin Gebser, et al. ∙

research

∙ 01/18/2018

rcss: Subgradient and duality approach for dynamic programming

This short paper gives an introduction to the rcss package. The R packag...

0 Juri Hinz, et al. ∙

research

∙ 10/16/2022

Using Answer Set Programming for HPC Dependency Solving

Modern scientific software stacks have become extremely complex, using m...

0 Todd Gamblin, et al. ∙

research

∙ 04/10/2012

Publishing Identifiable Experiment Code And Configuration Is Important, Good and Easy

We argue for the value of publishing the exact code, configuration and d...

0 Richard Vaughan, et al. ∙