1
0
0
(1 - 34 von 48
)
Detail - FG DedSys - Gesellschaft für Informatik e.V.
fg-dedsys.gi.de
David Fuenmayor and Christoph Benzmüller. Automated Reasoning With Complex Ethical Theories - A Case Study Towards Responsible AI. 15: :10: Gavin Goerke. Computer-Assisted Reasoning about Norms and Obligations. 15: :20: Ali Farjami. Experiments in Deontic Logics using Isabelle/HOL. 15: :30: Lucca Tiemens
David Fuenmayor & Christoph Benzmüller, Automated Reasoning ...philpapers.org › rec › FUEARW
philpapers.org
Automated Reasoning with Complex Ethical Theories--A Case Study Towards Responsible AI · David Fuenmayor & Christoph Benzmüller. Like. Recommend.
David Fuenmayor & Christoph Benzmueller, A Case Study on...
philpapers.org
Computers may help us to better understand (not just verify) arguments. In this article we defend this claim by showcasing the application of a new, ...
Christoph Benzmüller & David Fuenmayor, Can Computers Help to Sharpen...
philpapers.org
In Mathematics and Reality, Proceedings of the 11th All India Students' Conference on Science Spiritual Quest, 6-7 October, 2018, ...
Dynamics, Uncertainty and Reasoning: The Second Chinese Conference ...
books.google.com
... David Fuenmayor and Christoph Benzmüller Abstract We utilize higher order automated deduction technologies for the logical analysis of natural-language ...
PRICAI 2019: Trends in Artificial Intelligence: 16th Pacific Rim ...
books.google.com
... David Fuenmayor and Christoph Benzmüller Aleatoric Dynamic Epistemic Logic for Learning Agents Tim French, Andrew Gozzard ...
Christoph Benzmüller - Archive of Formal Proofswww.isa-afp.org › authors › benzmueller
www.isa-afp.org
Entries ; · Christoph Benzmüller. Nov 08. Automating Public Announcement Logic and the Wise Men Puzzle in Isabelle/HOL ; · David Fuenmayor · Oct
Christoph Benzmüller | Papers With Code
paperswithcode.com
Papers by Christoph Benzmüller with links to code and results.
[ ] Computer-supported Analysis of Positive Properties,...
arxiv.org
Authors:Christoph Benzmüller, David Fuenmayor · Download PDF. Abstract: Three variants of Kurt Gödel's ontological argument, proposed by ...
[PDF] computer-supported analysis of positive properties, ultrafilters and ...czasopisma.uni.lodz.pl › bulletin › article › download
czasopisma.uni.lodz.pl
Srecko Kovac [25] argues that modal collapse was eventually intended by Gödel. Page Christoph Benzmüller, David Fuenmayor. In this article ...
[ ] Harnessing Higher-Order (Meta-)Logic to Represent and...
arxiv.org
Title:Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories. Authors:David Fuenmayor, Christoph Benzmüller.
dblp: Christoph Benzmüller
dblp.uni-trier.de
List of computer science publications by Christoph Benzmüller
40th German Conference on Artificial Intelligence, September th,...
ki2017.tu-dortmund.de
David Fuenmayor and Christoph Benzmüller. Automating Emendations of the Ontological Argument in Intensional Higher-Order Modal Logic. Lukas Heppe and Thomas Liebig. Real-time Public Transport Delay Prediction for Situation-aware Routing
Christoph Benzmüller - DBLPdblp.uni-trier.de › Persons › Christoph Benzmüller
dblp.uni-trier.de
· Alexander Steen, David Fuenmayor, Tobias Gleißner, Geoff Sutcliffe, Christoph Benzmüller: Automated Reasoning in Non-classical Logics in the ...
dblp: Christoph Benzmüller
dblp.org
David Fuenmayor, Christoph Benzmüller: Higher-order Logic as Lingua Franca - Integrating Argumentative Discourse and Deep Logical Analysis. CoRR abs ( )
Logic in Asia: Studia Logica Library - Springerlink.springer.com › content › pdf › bfm: › 1.pdf
link.springer.com
David Fuenmayor and. Christoph Benzmüller utilize higher order automated deduction technologies for the logical analysis of natural language arguments.
Can Computers Help to Sharpen our Understanding of Ontological...
www.mi.fu-berlin.de
Christoph Benzmüller , David Fuenmayor – In the past decades, several emendations of Gödel's (resp. Scott's) modal ontological argument have been proposed, many of which preserve the intended conclusion (the necessary existence of God), while avoiding a controversial side result of the Gödel/Scott variant called the "modal collapse ...
Homepage of Christoph Benzmueller
page.mi.fu-berlin.de
Current and former PhD students (selection): Alexander Steen, Max Wisniewski, Daniel Kirchner, David Fuenmayor, Frank Theiss (Saarbrücken), Ali Farjami (Luxembourg, external supervisor), Sebastian Böhne (Potsdam, external supervisor), Marvin Schiller.Further current and former students (selection): Tobias Gleißner, Hanna Lachnitt, Irina Makarenko, Marc Nickert, Paul …
Logic and Argumentation | springerprofessional.de
www.springerprofessional.de
David Fuenmayor, Christoph Benzmüller. A Logic of Knowledge and Belief Based on Abstract Arguments. Abstract. We introduce a logic of knowledge and belief in a framework in which belief has a standard KD45 characterization and knowledge undergoes the classical tripartite analysis that knowledge is justified true belief, which has a natural ...
Christoph Benzmüller & David Fuenmayor, Can Computers Help to Sharpen...
philarchive.org
This entry is not on PhilArchive. You will be redirected to PhilPapers in 5 seconds . If you're not redirected, click here. loading ..
Search results for `David Fuenmayor` - PhilArchive
philarchive.org
David Fuenmayor & Christoph Benzmueller - manuscriptdetails. Computers may help us to better understand (not just verify) arguments. In this article we defend ...
Accepted Papers - PAAR 2022paar2022.github.io › accepted
paar2022.github.io
... Alexander Steen, David Fuenmayor, Tobias Gleißner, Geoff Sutcliffe and Christoph Benzmüller Automated Reasoning in Non-classical Logics in the TPTP ...
Automating Emendations of the Ontological Argument in Intensional ...www.springerprofessional.de › automating-emendati...
www.springerprofessional.de
Authors: David Fuenmayor, Christoph Benzmüller. Publisher: Springer International Publishing. Published in: KI 2017: Advances in Artificial Intelligence.
Computer-supported Analysis of Positive Properties EUDMLeudml.org › doc
eudml.org
Christoph Benzmüller, and David Fuenmayor. "Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's ...
Accepted Papers | ITP 2021
easyconferences.eu
Value-oriented Legal Argumentation in Isabelle/HOL – Christoph Benzmüller and David Fuenmayor. Formalized Haar Measure – Floris van Doorn.
LogiKEy workbench: Deontic logics, logic combinations and ...National Institutes of Health (.gov)
pubmed.ncbi.nlm.nih.gov
von C Benzmüller · · Zitiert von: 14 — Christoph Benzmüller , Ali Farjami , David Fuenmayor , Paul Meder , Xavier Parent , Alexander Steen , Leendert van der Torre , Valeria ... › ...
Computer-Supported Analysis of Arguments in Climate Engineering ...www.springerprofessional.de › computer-supported-analysis-of-arguments-...
www.springerprofessional.de
Computer-Supported Analysis of Arguments in Climate Engineering. Group Belief Erstes Kapitel lesen. Autoren: David Fuenmayor, Christoph Benzmüller.
Computer-supported Analysis of Positive Properties, Ultrafilters and ...www.infona.pl › resource › bwmeta1.element.ojs-do...
www.infona.pl
... Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument. Christoph Benzmüller, David Fuenmayor.
Normative Reasoning with Expressive Logic CombinationsIOS Press
ebooks.iospress.nl
von D Fuenmayor · · Zitiert von: 4 — loader loading subjects... cover. Normative Reasoning with Expressive Logic Combinations. Authors. David Fuenmayor, Christoph Benzmüller. Pages › volum...
Value-oriented Legal Reasoning in LogiKEy - Researcher AppResearcher App
www.researcher-app.com
Christoph Benzmüller, David Fuenmayor, Bertram Lomfeld. The logico-pluralist LogiKEy knowledge engineering methodology and framework is exemplarily applied ... › ...
Automating Emendations of the Ontological Argument in ...www.springerprofessional.de › automating-emendations-of-the-ontologi...
www.springerprofessional.de
Autoren: David Fuenmayor, Christoph Benzmüller. Verlag: Springer International Publishing. Erschienen in: KI 2017: Advances in Artificial Intelligence.
[PPT] LogiKEy workbench - Data in Briefwww.data-in-brief.com › article › ppt
www.data-in-brief.com
Christoph Benzmüller, Ali Farjami, David Fuenmayor, Paul Meder, Xavier Parent, Alexander Steen, Leendert van der Torre, Valeria Zahoransky. Data in Brief.
MLR – Lawgorithmlawgorithm.com.br › mlr-2020
lawgorithm.com.br
· Gregor Behnke (University of Freiburg, Germany). Formalising German Legal Opinions as Planning. Christoph Benzmüller, David Fuenmayor and ...
Alle Infos zum Namen "David Fuenmayor"
Verwandte Suchanfragen zu David Fuenmayor
| Christoph Benzmüller Alexander Steen Bettina Frenzel | Sebastian Reiche Tobias Gleißner Luis González |
Personen Vorname "David" (65431) Name "Fuenmayor" (27) |
sortiert nach Relevanz / Datum