Document Search Results - zbMATH Open

×

from until

Sorting

Found 3 Documents (Results 1–3)

Newest Citations Relevance

Steen, Alexander; Benzmüller, Christoph

Extensional higher-order paramodulation in Leo-III. (English) Zbl 1509.68321

J. Autom. Reasoning 65, No. 6, 775-807 (2021).

MSC: 68V15 03B16 03B35 03B45

Cite Review PDF

Full Text: DOI arXiv

Benzmüller, Christoph; Parent, Xavier; van der Torre, Leendert

Designing normative theories for ethical and legal reasoning: LogiKEy framework, methodology, and tool support. (English) Zbl 1493.68286

Artif. Intell. 287, Article ID 103348, 28 p. (2020).

MSC: 68T01 03A05 03B16 03B35 03B45 68T27 68T30 68V15

Cite Review PDF

Full Text: DOI arXiv

Benzmüller, Christoph; Fuenmayor, David

Computer-supported analysis of positive properties, ultrafilters and modal collapse in variants of Gödel’s ontological argument. (English) Zbl 1461.03021

Bull. Sect. Log., Univ. Łódź, Dep. Log. 49, No. 2, 127-148 (2020).

MSC: 03B45 03B35 03-08

Cite Review PDF

Full Text: DOI arXiv

OA License

Filter Results by …

Author

Serial

Artif. Intell. (1)
Bull. Sect. Log., Univ. Łódź, Dep. Log. (1)
J. Autom. Reasoning (1)

Year of Publication

2021 (1)
2020 (2)

Main Field

03-XX (3)
68-XX (2)

all top 3

Software

© 2024 FIZ Karlsruhe GmbH Privacy Policy Legal Notices Terms & Conditions