We study and characterize axiomatically a class of voting rules, called consent rules, that incorporate aspects of majoritarianism and liberalism. An outcome of the vote specifies who among the voters are eligible to a certain right or qualification. Each outcome serves also as a permissible ballot. Consent rules are parameterized by the weights given to individuals in determining their own qua...

Certification of safety-critical software is a multi-disciplinary topic. Process assessment is an essential part of that, but is not enough for software certification. Certification employs also several other method families, like inspections and reviews, independent V&V, conformance with selected reference standard(s) and use of selected measurements and analyses. Process assessment supports d...

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...