Suchergebnisse - Fuenmayor, David

1

Semantical investigations on non-classical logics with recovery operators: negation von Fuenmayor, David

Veröffentlicht in Logic journal of the IGPL

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
2

A formalization of abstract argumentation in higher-order logic von Steen, Alexander, Fuenmayor, David

Veröffentlicht in Journal of logic and computation

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
3

LogiKEy workbench: Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset) von Benzmüller, Christoph, Farjami, Ali, Fuenmayor, David, Meder, Paul, Parent, Xavier, Steen, Alexander, van der Torre, Leendert, Zahoransky, Valeria

Veröffentlicht in Data in brief

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
4

Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument von Benzmüller, Christoph, Fuenmayor, David

Veröffentlicht in Bulletin of the Section of Logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
5

Modelling Value-Oriented Legal Reasoning in LogiKEy von Benzmüller, Christoph, Fuenmayor, David, Lomfeld, Bertram

Veröffentlicht in Logics

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
6

LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT von CARNIELLI, WALTER, CONIGLIO, MARCELO E., FUENMAYOR, DAVID

Veröffentlicht in The review of symbolic logic

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
7

Who finds the short proof? von Benzmüller, Christoph, Fuenmayor, David, Steen, Alexander, Sutcliffe, Geoff

Veröffentlicht in Logic journal of the IGPL

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
8

Mechanised Assessment of Complex Natural-Language Arguments Using Expressive Logic Combinations von Fuenmayor, David, Benzmüller, Christoph

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
9

Bridging Between LegalRuleML and TPTP for Automated Normative Reasoning von Steen, Alexander, Fuenmayor, David

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
10

Computer-Supported Analysis of Arguments in Climate Engineering von Fuenmayor, David, Benzmüller, Christoph

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
11

Semantical Investigations on Non-classical Logics with Recovery Operators: Negation von Fuenmayor, David

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
12

Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories von Fuenmayor, David, Benzmüller, Christoph

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
13

Formalising Basic Topology for Computational Logic in Simple Type Theory von Fuenmayor, David, Serrano Suárez, Fabián Fernando

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
14

Bridging between LegalRuleML and TPTP for Automated Normative Reasoning (extended version) von Steen, Alexander, Fuenmayor, David

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
15

Automating Emendations of the Ontological Argument in Intensional Higher-Order Modal Logic von Fuenmayor, David, Benzmüller, Christoph

Volltext
Buchkapitel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
16

Semantical Investigations on Non-classical Logics with Recovery Operators: Negation von Fuenmayor, David

Veröffentlicht in arXiv.org

Volltext
Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
17

A Formalisation of Abstract Argumentation in Higher-Order Logic von Steen, Alexander, Fuenmayor, David

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
18

Modelling Value-Oriented Legal Reasoning in LogiKEy von Benzmüller, Christoph, Fuenmayor, David, Lomfeld, Bertram

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
19

Higher-order Logic as Lingua Franca -- Integrating Argumentative Discourse and Deep Logical Analysis von Fuenmayor, David, Benzmüller, Christoph

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:
20

$Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of G\"odel's Ontological Argument$

Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of G\"odel's Ontological Argument von Benzmüller, Christoph, Fuenmayor, David

Volltext bestellen

Artikel

In die Zwischenablage Aus der Zwischenablage entfernen
Zu den Favoriten

Gespeichert in:

Semantical investigations on non-classical logics with recovery operators: negation von Fuenmayor, David

A formalization of abstract argumentation in higher-order logic von Steen, Alexander, Fuenmayor, David

LogiKEy workbench: Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset) von Benzmüller, Christoph, Farjami, Ali, Fuenmayor, David, Meder, Paul, Parent, Xavier, Steen, Alexander, van der Torre, Leendert, Zahoransky, Valeria

Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument von Benzmüller, Christoph, Fuenmayor, David

Modelling Value-Oriented Legal Reasoning in LogiKEy von Benzmüller, Christoph, Fuenmayor, David, Lomfeld, Bertram

LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT von CARNIELLI, WALTER, CONIGLIO, MARCELO E., FUENMAYOR, DAVID

Who finds the short proof? von Benzmüller, Christoph, Fuenmayor, David, Steen, Alexander, Sutcliffe, Geoff

Mechanised Assessment of Complex Natural-Language Arguments Using Expressive Logic Combinations von Fuenmayor, David, Benzmüller, Christoph

Bridging Between LegalRuleML and TPTP for Automated Normative Reasoning von Steen, Alexander, Fuenmayor, David

Computer-Supported Analysis of Arguments in Climate Engineering von Fuenmayor, David, Benzmüller, Christoph

Semantical Investigations on Non-classical Logics with Recovery Operators: Negation von Fuenmayor, David

Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories von Fuenmayor, David, Benzmüller, Christoph

Formalising Basic Topology for Computational Logic in Simple Type Theory von Fuenmayor, David, Serrano Suárez, Fabián Fernando

Bridging between LegalRuleML and TPTP for Automated Normative Reasoning (extended version) von Steen, Alexander, Fuenmayor, David

Automating Emendations of the Ontological Argument in Intensional Higher-Order Modal Logic von Fuenmayor, David, Benzmüller, Christoph

Semantical Investigations on Non-classical Logics with Recovery Operators: Negation von Fuenmayor, David

A Formalisation of Abstract Argumentation in Higher-Order Logic von Steen, Alexander, Fuenmayor, David

Modelling Value-Oriented Legal Reasoning in LogiKEy von Benzmüller, Christoph, Fuenmayor, David, Lomfeld, Bertram

Higher-order Logic as Lingua Franca -- Integrating Argumentative Discourse and Deep Logical Analysis von Fuenmayor, David, Benzmüller, Christoph

Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of G\"odel's Ontological Argument von Benzmüller, Christoph, Fuenmayor, David

Suchwerkzeuge:

Treffer weiter einschränken

Eingrenzen

Format

Zeitschriftentitel

Schlagworte

Erscheinungsjahr

Quelle