Concepedia

Christian Straßer

CS

25

Publications

574

Citations

14

H-Index

2001

Active since

Affiliations

Ruhr University Bochum(Current)

Ghent University

Academic College of Tel Aviv-Yafo

Ghent University Hospital

Heidelberg University

Christian Straßer is an author at Ruhr University Bochum specializing in automated reasoning, engineering, and formal methods.

ORCID

Top concepts

Publications per year

2001–2020

25

Publications

25

Epistemic justification in the context of pursuit: a coherentist approach

Dunja Šešelja, Christian Straßer · Synthese · 2014 · 80 citations

, , +9

Sequent-based logical argumentation

Ofer Arieli, Christian Straßer · Argument & Computation · 2015 · 50 citations · Full text

Non-monotonic Logic

Christian Straßer, G. Aldo Antonelli · 2001 · 48 citations

Abstract argumentation and explanation applied to scientific debates

Dunja Šešelja, Christian Straßer · Synthese · 2011 · 42 citations

, , +7

A deontic logic framework allowing for factual detachment

Christian Straßer · Journal of Applied Logic · 2010 · 32 citations

, , +3

Rows per page

1–5 of 25