Holger Jost

Learn More
A distinguishing feature of Answer Set Programming is its versatility. In addition to satisfiability testing, it offers various forms of model enumeration, intersection or unioning, as well as optimization. Moreover, there is an increasing interest in incremental and reactive solving due to their applicability to dynamic domains. However, so far no(More)
Over the last years, Answer Set Programming has significantly extended its range of applicability, and moved beyond solving static problems to dynamic ones, even in online environments. However, its nonmonotonic nature as well as its upstream instantiation process impede a seamless integration of new objects into its reasoning process, which is crucial in(More)
— Stroke is a disease with very high socioeconomic impact. In average, the healthcare expenditure cost for Strokes across different countries in Europe and USA exceeds 3% of their entire healthcare expenditure, including inpatient treatments, outpatient hospital visits and long-term rehabilitation and care 1. Therefore, there is an urgent need for devising(More)
  • 1