26
Publications
2.3K
Citations
18
H-Index
1998
Active since
Martin Caminada is an author at University of Luxembourg specializing in engineering, automated reasoning, and formal methods.
Top concepts
EngineeringAutomated ReasoningFormal MethodsSemanticsLanguageArgument MiningLinguisticsComputer ScienceFormal VerificationArgumentation
Publications per year
1998–2019
26
26
A Logical Account of Formal Argumentation
Martin Caminada, Dov M. Gabbay · Studia Logica · 2009 · 270 citations · Full text
Philosophy Of Language, Engineering, Argumentation Analysis +9
Martin Caminada · Journal of Logic and Computation · 2011 · 236 citations
Rows per page
1–5 of 26