Conceptio › Archive › Calhoun
Calhounmetadata only

AUTOMATED NEURO-SYMBOLIC LANGUAGE TO LOGIC TRANSLATION GROUNDED IN AN ONTOLOGY

Thompson, Richard B.
Calhoun · Papers
Open Source ↗
artificial-intelligence-ailarge-language-models-llmsontologies
ontologies, neuro-symbolic artificial intelligence, auto-formalization, large language models (llms), suggested upper merged ontology (sumo), standard upper ontology knowledge interchange format suo-kif, automated theorem proving (atp), artificial intelligence (ai)
This document is indexed with metadata only — full text is not available in the archive for this record. Open the official source ↗
Record · ID 965907
Retrieved via Conceptio — every document is proof-bundled with source, license, and retrieval metadata.