HOL as a Lingua Franca for Argumentative Reasoning Agents
Fuenmayor, David; Benzmüller, Christoph (2025): HOL as a Lingua Franca for Argumentative Reasoning Agents, in: Bamberg: Otto-Friedrich-Universität, doi: 10.20378/irb-117138.
Faculty/Chair:
Author:
 ; 
Conference:
10th Conference on Artificial Intelligence and Theorem Proving AITP 2025 ; Aussois, France
Publisher Information:
Year of publication:
2025
Pages:
Language:
English
DOI:
Licence:
URL:
URN:
GND Keywords:
HOL
 ; 
Agent <Künstliche Intelligenz>
Keywords:
HOL
DDC Classification:
RVK Classification:
ST 304    
Peer Reviewed:
Yes:
International Distribution:
Yes:
Open Access Journal:
Yes:
Type:
Conferenceobject
URI:
Activation date:
September 16, 2026

Full text/File(s)

fisba117138.pdf

Question on publication

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