| Publication | Date of Publication | Type |
|---|
Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic Approach
Journal of Artificial Intelligence Research | 2023-01-09 | Paper |
scientific article; zbMATH DE number 7453100 (Why is no real title available?)
| 2022-01-06 | Paper |
Conflict generalisation in ASP: learning correct and effective non-ground constraints
Theory and Practice of Logic Programming | 2020-12-13 | Paper |
Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More
Theory and Practice of Logic Programming | 2020-12-13 | Paper |
Degrees of laziness in grounding. Effects of lazy-grounding strategies on ASP solving
| 2019-10-10 | Paper |
Sequential diagnosis of high cardinality faults in knowledge-bases by direct diagnosis generation
| 2017-07-18 | Paper |
Representing production scheduling with constraint answer set programming
Operations Research Proceedings | 2016-05-19 | Paper |
Tractability frontiers of the partner units configuration problem
Journal of Computer and System Sciences | 2016-04-18 | Paper |
On computing correct processes and repairs sing partial behavioral models
| 2015-12-11 | Paper |
Debugging non-ground ASP programs with choice rules, cardinality and weight constraints
Logic Programming and Nonmonotonic Reasoning | 2013-10-10 | Paper |
Conflict-based program rewriting for solving configuration problems
Logic Programming and Nonmonotonic Reasoning | 2013-10-10 | Paper |
Optimization Methods for the Partner Units Problem
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2011-05-26 | Paper |
Diagnosing process trajectories under partially known behavior
| 2011-05-11 | Paper |
Applying local rescheduling in response to schedule disruptions
Annals of Operations Research | 2010-12-22 | Paper |
Consistency-based diagnosis of configuration knowledge bases
Artificial Intelligence | 2006-02-07 | Paper |
scientific article; zbMATH DE number 2088350 (Why is no real title available?)
| 2004-08-12 | Paper |
scientific article; zbMATH DE number 2043395 (Why is no real title available?)
| 2004-02-16 | Paper |
scientific article; zbMATH DE number 2036252 (Why is no real title available?)
| 2004-02-02 | Paper |
scientific article; zbMATH DE number 1948220 (Why is no real title available?)
| 2003-07-10 | Paper |
scientific article; zbMATH DE number 1946724 (Why is no real title available?)
| 2003-07-07 | Paper |
scientific article; zbMATH DE number 1882051 (Why is no real title available?)
| 2003-03-13 | Paper |
scientific article; zbMATH DE number 1882052 (Why is no real title available?)
| 2003-03-13 | Paper |
Model-based diagnosis of hardware designs
Artificial Intelligence | 2002-07-24 | Paper |
scientific article; zbMATH DE number 1708110 (Why is no real title available?)
| 2002-02-19 | Paper |
scientific article; zbMATH DE number 1708137 (Why is no real title available?)
| 2002-02-19 | Paper |
Formalizing the repair process --- extended report
Annals of Mathematics and Artificial Intelligence | 1996-12-03 | Paper |
Theory diagnoses: A concise characterization of faulty systems
Annals of Mathematics and Artificial Intelligence | 1996-10-20 | Paper |
Focusing on independent diagnosis problems
Annals of Mathematics and Artificial Intelligence | 1996-10-20 | Paper |
scientific article; zbMATH DE number 67858 (Why is no real title available?)
| 1992-09-27 | Paper |
Generating efficient diagnostic procedures from model-based knowledge using logic programming techniques
Computers & Mathematics with Applications | 1990-01-01 | Paper |
