Image de couverture de livre

To Be or Not To Be: Vector ontologies as a truly formal ontological framework

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Rothenfusser, Kaspar
Format:	Preprint
Publié:	2025
Sujets:	Artificial Intelligence Symbolic Computation
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

NL2CA: Auto-formalizing Cognitive Decision-Making from Natural Language Using an Unsupervised CriticNL2LTL Framework
par: Deng, Zihao, et autres
Publié: (2025)

Choices and their Provenance: Explaining Stable Solutions of Abstract Argumentation Frameworks
par: Ludäscher, Bertram, et autres
Publié: (2025)

VITA: Versatile Time Representation Learning for Temporal Hyper-Relational Knowledge Graphs
par: Un, ChongIn, et autres
Publié: (2025)

Formal Verification of Neural Certificates Done Dynamically
par: Henzinger, Thomas A., et autres
Publié: (2025)

On Explaining Proxy Discrimination and Unfairness in Individual Decisions Made by AI Systems
par: Sonna, Belona, et autres
Publié: (2025)

NOMTO: Neural Operator-based symbolic Model approximaTion and discOvery
par: Garmaev, Sergei, et autres
Publié: (2025)

Probabilistic Active Goal Recognition
par: Zhang, Chenyuan, et autres
Publié: (2025)

Two Constraint Compilation Methods for Lifted Planning
par: Mantenoglou, Periklis, et autres
Publié: (2025)

A Probabilistic Framework for Hierarchical Goal Recognition
par: Zhang, Chenyuan, et autres
Publié: (2026)

ABD: Default Exception Abduction in Finite First Order Worlds
par: Batzoglou, Serafim
Publié: (2026)

Simulating Petri nets with Boolean Matrix Logic Programming
par: Ai, Lun, et autres
Publié: (2024)

Synthesizing Evolving Symbolic Representations for Autonomous Systems
par: Sartor, Gabriele, et autres
Publié: (2024)

A Qualitative Model to Reason about Object Rotations (QOR) applied to solve the Cube Comparison Test (CCT)
par: Falomir, Zoe
Publié: (2026)

The Neurosymbolic Frontier of Nonuniform Ellipticity: Formalizing Sharp Schauder Theory via Topos-Theoretic Reasoning Models
par: Mishra, Suyash
Publié: (2026)

LogicMP: A Neuro-symbolic Approach for Encoding First-order Logic Constraints
par: Xu, Weidi, et autres
Publié: (2023)

Learning to Solve Abstract Reasoning Problems with Neurosymbolic Program Synthesis and Task Generation
par: Bednarek, Jakub, et autres
Publié: (2024)

Self-Attention Based Semantic Decomposition in Vector Symbolic Architectures
par: Yeung, Calvin, et autres
Publié: (2024)

Vector Ontologies as an LLM world view extraction method
par: Rothenfusser, Kaspar, et autres
Publié: (2025)

From Understanding the World to Intervening in It: A Unified Multi-Scale Framework for Embodied Cognition
par: Wang, Maijunxian
Publié: (2025)

Yin-Yang: Developing Motifs With Long-Term Structure And Controllability
par: Bhandari, Keshav, et autres
Publié: (2025)

Incorporating Structure and Chord Constraints in Symbolic Transformer-based Melodic Harmonization
par: Kaliakatsos-Papakostas, Maximos, et autres
Publié: (2025)

Physics-constrained symbolic regression for discovering closed-form equations of multimodal water retention curves from experimental data
par: Kim, Yejin, et autres
Publié: (2026)

Scene-Driven Multimodal Knowledge Graph Construction for Embodied AI
par: Yaoxian, Song, et autres
Publié: (2023)

CASPER: Cognitive Architecture for Social Perception and Engagement in Robots
par: Vinanzi, Samuele, et autres
Publié: (2022)

AbstRaL: Augmenting LLMs' Reasoning by Reinforcing Abstract Thinking
par: Gao, Silin, et autres
Publié: (2025)

ConceptGuard: Neuro-Symbolic Safety Guardrails via Sparse Interpretable Jailbreak Concepts
par: Aswal, Darpan, et autres
Publié: (2025)

GOFAI meets Generative AI: Development of Expert Systems by means of Large Language Models
par: Garrido-Merchán, Eduardo C., et autres
Publié: (2025)

Neuro-Symbolic Frameworks: Conceptual Characterization and Empirical Comparative Analysis
par: Sinha, Sania, et autres
Publié: (2025)

ELIZA Reanimated: The world's first chatbot restored on the world's first time sharing system
par: Lane, Rupert, et autres
Publié: (2025)

Speaking in Words, Thinking in Logic: A Dual-Process Framework in QA Systems
par: Bui, Tuan, et autres
Publié: (2025)

ASyMOB: Algebraic Symbolic Mathematical Operations Benchmark
par: Shalyt, Michael, et autres
Publié: (2025)

R1-Code-Interpreter: LLMs Reason with Code via Supervised and Multi-stage Reinforcement Learning
par: Chen, Yongchao, et autres
Publié: (2025)

Showing Proofs, Assessing Difficulty with GeoGebra Discovery
par: Kovács, Zoltán, et autres
Publié: (2024)

Towards Automated Functional Equation Proving: A Benchmark Dataset and A Domain-Specific In-Context Agent
par: Buali, Mahdi, et autres
Publié: (2024)

Solving with GeoGebra Discovery an Austrian Mathematics Olympiad problem: Lessons Learned
par: Ariño-Morera, Belén, et autres
Publié: (2024)

Large Language Models as Mirrors of Societal Moral Standards
par: Papadopoulou, Evi, et autres
Publié: (2024)

Quantum Knowledge Graph: Modeling Context-Dependent Triplet Validity
par: Wang, Yao, et autres
Publié: (2026)

LLMs as mirrors of societal moral standards: reflection of cultural divergence and agreement across ethical topics
par: Meijer, Mijntje, et autres
Publié: (2024)

EFO: the Emotion Frame Ontology
par: De Giorgis, Stefano, et autres
Publié: (2024)

Cognitive LLMs: Towards Integrating Cognitive Architectures and Large Language Models for Manufacturing Decision-making
par: Wu, Siyu, et autres
Publié: (2024)