We propose a framework that brings together two major forms of default reasoning in Artificial Intelligence: default property classification in static domains, and default property persistence in temporal domains. Emphasis in this work is placed on the qualification problem, central when dealing with default reasoning, and in any attempt to integrate different forms of such reasoning. Our frame...

BACKGROUND Earlier qualification for the kidney transplant waitlist expedites transplant and is therefore associated with improved outcomes. U.S. Organ Procurement and Transplantation Network policies state that "measured or calculated creatinine clearance or glomerular filtration rate less than or equal to 20 mL/min" triggers waitlist time accrual. The choice of qualification method is somewha...

Increasing the performance and flexibility of automated manufacturing systems is a key success factor for today’s production companies. Flexible manufacturing systems (FMS) have proven to be particularly suitable in this regard since they support small lot sizes and high numbers of variants at the same time. Among the most important problems of FMS are the huge expenditure of time and the high ...

We consider the problem of ramifications, i.e., indirect effects of actions, having exceptions. It is argued that straightforward minimization of abnormality is insufficient in this context. Taking a recent causality-based solution to the plain Ramification Problem as starting point, we develop an action theory that is shown to successfully address this amalgamation of Ramification and Qualific...

We consider the problem of ramifications, i.e., indirect effects of actions, having exceptions. It is argued that straightforward minimization of abnormality is insufficient in this context. Taking a recent causality-based solution to the plain Ramification Problem as starting point, we develop an action theory that is shown to successfully address this amalgamation of Ramification and Qualific...