Search Results - "reasoning"

Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design - FMCAD 2020

Subjects: “…Automated and Formal Reasoning…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design - FMCAD 2021

Subjects: “…Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design - FMCAD 2023

Subjects: “…Formal Methods; Computer-Aided System Design; Hardware and System Verification; Formal Verification, Specification, Synthesis, and Testing; Automated and Formal Reasoning…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Aufbruch in die Öffentlichkeit? Reflexionen zum 'public turn' in der Religionspädagogik by Grümme, Bernhard

Subjects: “…Reason…”
DOAB: download the publication
DOAB: description of the publication

Aufbruch in die Öffentlichkeit? Reflexionen zum 'public turn' in der Religionspädagogik by Grümme, Bernhard

Subjects: “…Reason…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Diversity and Inclusion in Japan Issues in Business and Higher Education

Subjects: “…Accessibility;Aging Population;Corporate Social Responsibility;Disabilities;Reasonable Accommodation;Women Leaders…”
DOAB: download the publication
DOAB: description of the publication

Diversity and Inclusion in Japan Issues in Business and Higher Education

Subjects: “…Accessibility;Aging Population;Corporate Social Responsibility;Disabilities;Reasonable Accommodation;Women Leaders…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Kant's Philosophy of the Unconscious by Giordanetti, Piero

Subjects: “…Critique of Pure Reason…”
DOAB: download the publication
DOAB: description of the publication

Kant's Philosophy of the Unconscious by Giordanetti, Piero

Subjects: “…Critique of Pure Reason…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Risk and Responsibility in Context

Subjects: “…Adriana Placani;climate risks;environmental harms;gene editing;imperfect proceduralism;indeterminate systems;luck egalitarianism;moral responsibility;parole;philosophy of risk;precaution;preventive detention;probabilistic reasoning;proof of facts;radioactive waste;resilience;responsible risking;risky technology;risk and coronavirus;risk and responsibility;risk management;Stearns Broadhead…”
DOAB: download the publication
DOAB: description of the publication

Risk and Responsibility in Context

Subjects: “…Adriana Placani;climate risks;environmental harms;gene editing;imperfect proceduralism;indeterminate systems;luck egalitarianism;moral responsibility;parole;philosophy of risk;precaution;preventive detention;probabilistic reasoning;proof of facts;radioactive waste;resilience;responsible risking;risky technology;risk and coronavirus;risk and responsibility;risk management;Stearns Broadhead…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...

Subjects: “…Semantics and reasoning…”
DOAB: download the publication
DOAB: description of the publication

Tools and Algorithms for the Construction and Analysis of Systems 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice o...

Subjects: “…Semantics and reasoning…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

The Rules of Rescue Cost, Distance, and Effective Altruism by Pummer, Theron

Subjects: “…beneficence, preventing harm, requiring reason, permission, personal sacrifice, aggregation, all or nothing, praiseworthiness, distant stranger, effective altruism…”
DOAB: download the publication
DOAB: description of the publication

Kant's Transcendental Deduction of the Categories Critical Re-Examination, Elucidation and Corroboration by Westphal, Kenneth R.

Subjects: “…Critique of Pure Reason…”
DOAB: download the publication
DOAB: description of the publication

Kant's Transcendental Deduction of the Categories Critical Re-Examination, Elucidation and Corroboration by Westphal, Kenneth R.

Subjects: “…Critique of Pure Reason…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

The Rules of Rescue Cost, Distance, and Effective Altruism by Pummer, Theron

Subjects: “…beneficence, preventing harm, requiring reason, permission, personal sacrifice, aggregation, all or nothing, praiseworthiness, distant stranger, effective altruism…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings

Subjects: “…automated reasoning…”
DOAB: download the publication
DOAB: description of the publication

Automated Deduction - CADE 29 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings

Subjects: “…automated reasoning…”
OAPEN Library: download the publication
OAPEN Library: description of the publication

Frontiers of Combining Systems 14th International Symposium, FroCoS 2023, Prague, Czech Republic, September 20-22, 2023, Proceedings

Subjects: “…automated reasoning…”
DOAB: download the publication
DOAB: description of the publication