Concepedia

Mathieu Beirlaen

MB

9

Publications

144

Citations

9

H-Index

2010

Active since

Affiliations

Ruhr University Bochum(Current)

Ghent University

Universidad Nacional Autónoma de México

Mathieu Beirlaen is an author at Ruhr University Bochum specializing in automated reasoning, semantics, and formal methods.

Top concepts

Automated ReasoningSemanticsEngineeringFormal MethodsLanguageLinguisticsArgument MiningComputer ScienceLawEpistemology

Publications per year

2010–2018

9

Publications

9

An Inconsistency-Adaptive Deontic Logic for Normative Conflicts

Mathieu Beirlaen, Christian Straßer, Joke Meheus · Journal of Philosophical Logic · 2012 · 26 citations

Non-classical Logic, Automated Reasoning, Inconsistency-adaptive Deontic Logic +4

A conditional logic for abduction

Mathieu Beirlaen, Atocha Aliseda · Synthese · 2014 · 21 citations

Engineering, Abduction, Abductive Reasoning +5

Argument strength in formal argumentation

Mathieu Beirlaen, Jesse Heyninck, Pere Pardo et al. · Ghent University Academic Bibliography (Ghent University) · 2018 · 21 citations

Engineering, Argumentation Analysis, Argumentation Framework +8

Avoiding deontic explosion by contextually restricting aggregation

Joke Meheus, Mathieu Beirlaen, Frederik Van De Putte et al. · Data Archiving and Networked Services (DANS) · 2010 · 20 citations

Inconsistency-Adaptive Dialogical Logic

Mathieu Beirlaen, Matthieu Fontaine · Logica Universalis · 2016 · 13 citations

Paraconsistent Logic, Dynamic Epistemic Logic, Automated Reasoning +6

Rows per page

1–5 of 9