Gerhard Friedrich

From MaRDI portal
Person:269476

Available identifiers

zbMath Open friedrich.gerhard-eMaRDI QIDQ269476

List of research outcomes





PublicationDate of PublicationType
Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic Approach2023-01-09Paper
https://portal.mardi4nfdi.de/entity/Q50205422022-01-06Paper
Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints2020-12-13Paper
Advancing Lazy-Grounding ASP Solving Techniques – Restarts, Phase Saving, Heuristics, and More2020-12-13Paper
Degrees of laziness in grounding. Effects of lazy-grounding strategies on ASP solving2019-10-10Paper
https://portal.mardi4nfdi.de/entity/Q52830452017-07-18Paper
Representing Production Scheduling with Constraint Answer Set Programming2016-05-19Paper
Tractability frontiers of the partner units configuration problem2016-04-18Paper
https://portal.mardi4nfdi.de/entity/Q34555852015-12-11Paper
Debugging Non-ground ASP Programs with Choice Rules, Cardinality and Weight Constraints2013-10-10Paper
Conflict-Based Program Rewriting for Solving Configuration Problems2013-10-10Paper
Optimization Methods for the Partner Units Problem2011-05-26Paper
Diagnosing Process Trajectories Under Partially Known Behavior2011-05-11Paper
Applying local rescheduling in response to schedule disruptions2010-12-22Paper
Consistency-based diagnosis of configuration knowledge bases2006-02-07Paper
https://portal.mardi4nfdi.de/entity/Q47395502004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q44508452004-02-16Paper
https://portal.mardi4nfdi.de/entity/Q44456332004-02-02Paper
https://portal.mardi4nfdi.de/entity/Q44119212003-07-10Paper
https://portal.mardi4nfdi.de/entity/Q44110212003-07-07Paper
https://portal.mardi4nfdi.de/entity/Q47974272003-03-13Paper
https://portal.mardi4nfdi.de/entity/Q47974282003-03-13Paper
Model-based diagnosis of hardware designs2002-07-24Paper
https://portal.mardi4nfdi.de/entity/Q27725682002-02-19Paper
https://portal.mardi4nfdi.de/entity/Q27726292002-02-19Paper
Formalizing the repair process --- extended report1996-12-03Paper
Theory diagnoses: A concise characterization of faulty systems1996-10-20Paper
Focusing on independent diagnosis problems1996-10-20Paper
https://portal.mardi4nfdi.de/entity/Q40138361992-09-27Paper
Generating efficient diagnostic procedures from model-based knowledge using logic programming techniques1990-01-01Paper

Research outcomes over time

This page was built for person: Gerhard Friedrich

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:269476&oldid=10602481"
Powered by MediaWiki