Login / Signup
Florian Brons
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 0
Top Topics
Propositional Satisfiability
Argumentation Semantics
Sat Solvers
Top Venues
KI
</>
Publications
</>
Christoph Beierle
,
Florian Brons
,
Nico Potyka
A Software System Using a SAT Solver for Reasoning Under Complete, Stable, Preferred, and Grounded Argumentation Semantics.
KI
(2015)