Is HOL (as a metalogic) all we need for flexible normative reasoning?
Benzmüller, Christoph (2023): Is HOL (as a metalogic) all we need for flexible normative reasoning?, in: Dagstuhl Reports : Dokumentationen zu Dagstuhl-Seminaren und Dagstuhl-Perspektiven-Workshops, Wadern: Schloss Dagstuhl, S. 22, doi: 10.4230/dagrep.13.4.1.
Faculty/Chair:
Author:
Title of the Journal:
Dagstuhl Reports : Dokumentationen zu Dagstuhl-Seminaren und Dagstuhl-Perspektiven-Workshops
ISSN:
2192-5283
Conference:
Normative Reasing for AI (Dagstuhl Seminar 23151) ; Schloss Dagstuhl
Publisher Information:
Year of publication:
2023
Volume:
13
Issue:
4
Pages:
Language:
English
DOI:
URN:
GND Keywords:
HOL
 ; 
Beweisführung
Keywords:
HOL
DDC Classification:
RVK Classification:
ST 304    
Type:
Conferenceobject
URI:
Activation date:
November 9, 2023

Versioning

published on
January 29, 2024
Icon of license CC BY 4.0

Question on publication

Contact the FIS team
Permalink https://fis.uni-bamberg.de/handle/uniba/91647