David Fuenmayor
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2017–2021
Best venue rank
B
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | ITP | Value-Oriented Legal Argumentation in Isabelle/HOL. | Christoph Benzmller, David Fuenmayor |
| 2020 | ECAI | Normative Reasoning with Expressive Logic Combinations. | David Fuenmayor, Christoph Benzmller |
| 2019 | PRICAI | Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories. | David Fuenmayor, Christoph Benzmller |
| 2017 | KI | Automating Emendations of the Ontological Argument in Intensional Higher-Order Modal Logic. | David Fuenmayor, Christoph Benzmller |