![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
David Fuenmayor
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j8]Christoph Benzmüller
, David Fuenmayor, Alexander Steen
, Geoff Sutcliffe:
Who finds the short proof? Log. J. IGPL 32(3): 442-464 (2024) - 2022
- [j7]Christoph Benzmüller, David Fuenmayor, Alexander Steen, Geoff Sutcliffe:
Automation of Boolos' Curious Inference in Isabelle/HOL. Arch. Formal Proofs 2022 (2022) - [j6]Walter Carnielli, Marcelo E. Coniglio
, David Fuenmayor:
Logics of Formal Inconsistency Enriched with Replacement: an Algebraic and Modal Account. Rev. Symb. Log. 15(3): 771-806 (2022) - [c11]David Fuenmayor
, Fabián Fernando Serrano Suárez
:
Formalising Basic Topology for Computational Logic in Simple Type Theory. CICM 2022: 56-74 - [c10]Alexander Steen, David Fuenmayor, Tobias Gleißner, Geoff Sutcliffe, Christoph Benzmüller:
Automated Reasoning in Non-classical Logics in the TPTP World. PAAR@IJCAR 2022 - [c9]Alexander Steen
, David Fuenmayor
:
Bridging Between LegalRuleML and TPTP for Automated Normative Reasoning. RuleML+RR 2022: 244-260 - [i10]Alexander Steen, David Fuenmayor, Tobias Gleißner, Geoff Sutcliffe, Christoph Benzmüller:
Automated Reasoning in Non-classical Logics in the TPTP World. CoRR abs/2202.09836 (2022) - [i9]Christoph Benzmüller
, David Fuenmayor, Alexander Steen, Geoff Sutcliffe:
Who Finds the Short Proof? An Exploration of Variants of Boolos' Curious Inference using Higher-order Automated Theorem Provers. CoRR abs/2208.06879 (2022) - [i8]Alexander Steen, David Fuenmayor:
Bridging between LegalRuleML and TPTP for Automated Normative Reasoning (extended version). CoRR abs/2209.05090 (2022) - 2021
- [c8]Christoph Benzmüller
, David Fuenmayor:
Value-Oriented Legal Argumentation in Isabelle/HOL. ITP 2021: 7:1-7:20 - [i7]David Fuenmayor:
Topological semantics for paraconsistent and paracomplete logics in Isabelle/HOL. CoRR abs/2104.04284 (2021) - [i6]Alexander Steen, David Fuenmayor:
A Formalisation of Abstract Argumentation in Higher-Order Logic. CoRR abs/2110.09174 (2021) - 2020
- [j5]David Fuenmayor:
Topological semantics for paraconsistent and paracomplete logics. Arch. Formal Proofs 2020 (2020) - [c7]David Fuenmayor, Christoph Benzmüller
:
Computer-Supported Analysis of Arguments in Climate Engineering. CLAR 2020: 104-115 - [c6]David Fuenmayor, Christoph Benzmüller
:
Normative Reasoning with Expressive Logic Combinations. ECAI 2020: 2903-2904 - [i5]Christoph Benzmüller, David Fuenmayor, Bertram Lomfeld:
Encoding Legal Balancing: Automating an Abstract Ethico-Legal Value Ontology in Preference Logic. CoRR abs/2006.12789 (2020) - [i4]David Fuenmayor, Christoph Benzmüller:
Higher-order Logic as Lingua Franca - Integrating Argumentative Discourse and Deep Logical Analysis. CoRR abs/2007.01019 (2020)
2010 – 2019
- 2019
- [c5]David Fuenmayor, Christoph Benzmüller
:
Mechanised Assessment of Complex Natural-Language Arguments Using Expressive Logic Combinations. FroCos 2019: 112-128 - [c4]David Fuenmayor, Christoph Benzmüller
:
Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories. PRICAI (1) 2019: 418-432 - [i3]David Fuenmayor, Christoph Benzmüller:
Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories. CoRR abs/1903.09818 (2019) - [i2]David Fuenmayor, Christoph Benzmüller:
A Computational-Hermeneutic Approach for Conceptual Explicitation. CoRR abs/1906.06582 (2019) - [i1]Christoph Benzmüller, David Fuenmayor:
Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument. CoRR abs/1910.08955 (2019) - 2018
- [j4]David Fuenmayor, Christoph Benzmüller:
Formalisation and Evaluation of Alan Gewirth's Proof for the Principle of Generic Consistency in Isabelle/HOL. Arch. Formal Proofs 2018 (2018) - [j3]David Fuenmayor:
A Case Study On Computational Hermeneutics: E. J. Lowe's Modal Ontological Argument. FLAP 5(7): 1567-1603 (2018) - [c3]David Fuenmayor, Christoph Benzmüller
:
Computational Hermeneutics: An Integrated Approach for the Logical Analysis of Natural-Language Arguments. CLAR 2018: 187-207 - [c2]David Fuenmayor:
Computational Hermeneutics: Using Automated Reasoning for the Logical Analysis of Natural-Language Arguments. RuleML+RR (Supplement) 2018 - 2017
- [j2]David Fuenmayor, Christoph Benzmüller:
Types, Tableaus and Gödel's God in Isabelle/HOL. Arch. Formal Proofs 2017 (2017) - [j1]David Fuenmayor, Christoph Benzmüller:
Computer-assisted Reconstruction and Assessment of E. J. Lowe's Modal Ontological Argument. Arch. Formal Proofs 2017 (2017) - [c1]David Fuenmayor, Christoph Benzmüller
:
Automating Emendations of the Ontological Argument in Intensional Higher-Order Modal Logic. KI 2017: 114-127
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint