Author of the publication

Debugging Non-ground ASP Programs with Choice Rules, Cardinality and Weight Constraints.

, , , and . LPNMR, volume 8148 of Lecture Notes in Computer Science, page 452-464. Springer, (2013)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Identifying Requirements in Requests for Proposal: A Research Preview., , , , , and . REFSQ, volume 11412 of Lecture Notes in Computer Science, page 176-182. Springer, (2019)Applying incremental answer set solving to product configuration., , and . SPLC (B), page 150-155. ACM, (2022)Consistency-based Merging of Variability Models., , , and . ConfWS, volume 2467 of CEUR Workshop Proceedings, page 9-12. CEUR-WS.org, (2019)A heuristic, replay-based approach for reconfiguration., and . Configuration Workshop, volume 1453 of CEUR Workshop Proceedings, page 73-80. CEUR-WS.org, (2015)Modeling and solving technical product configuration problems., , , and . Artif. Intell. Eng. Des. Anal. Manuf., 25 (2): 115-129 (2011)Towards a Railway Topology Ontology to Integrate and Query Rail Data Silos., and . ISWC (Demos/Industry), volume 2721 of CEUR Workshop Proceedings, page 349-354. CEUR-WS.org, (2020)Solving Object-oriented Configuration Scenarios with ASP., , , and . Configuration Workshop, volume 1128 of CEUR Workshop Proceedings, page 55-62. CEUR-WS.org, (2013)Interactive Configuration with ASP Multi-Shot Solving., , , , and . ConfWS, volume 3509 of CEUR Workshop Proceedings, page 95-103. CEUR-WS.org, (2023)Group Decision Support for Requirements Management Processes., , , , , and . ConfWS, volume 2220 of CEUR Workshop Proceedings, page 19-24. CEUR-WS.org, (2018)Testing Object-Oriented Configurators With ASP., , , and . Configuration Workshop, volume 958 of CEUR Workshop Proceedings, page 21-26. CEUR-WS.org, (2012)