Buchumschlag

Logic-Based Artificial Intelligence Algorithms Supporting Categorical Semantics

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Wojtowicz, Ralph
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Artificial Intelligence 03, 18 I.1.2
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

NeSyCat: A Monad-Based Categorical Semantics of the Neurosymbolic ULLER Framework
von: Schellhorn, Daniel Romero, et al.
Veröffentlicht: (2026)

Carryless Pairing: Additive Pairing in the Fibonacci Basis
von: Rosko, Milan
Veröffentlicht: (2025)

Tunnel Geometry and Proliferation Logic: A Strict Categorical Equivalence
von: Sukhov, Dmytro
Veröffentlicht: (2025)

Alpay Algebra II: Identity as Fixed-Point Emergence in Categorical Data
von: Alpay, Faruk
Veröffentlicht: (2025)

Alpay Algebra IV: Symbiotic Semantics and the Fixed-Point Convergence of Observer Embeddings
von: Kilictas, Bugra, et al.
Veröffentlicht: (2025)

Alpay Algebra V: Multi-Layered Semantic Games and Transfinite Fixed-Point Simulation
von: Kilictas, Bugra, et al.
Veröffentlicht: (2025)

Stabilized Adaptive Loss and Residual-Based Collocation for Physics-Informed Neural Networks
von: Singh, Divyavardhan, et al.
Veröffentlicht: (2026)

Explainable Artificial Intelligence (XAI) 2.0: A Manifesto of Open Challenges and Interdisciplinary Research Directions
von: Longo, Luca, et al.
Veröffentlicht: (2023)

Lifted Forward Planning in Relational Factored Markov Decision Processes with Concurrent Actions
von: Marwitz, Florian Andreas, et al.
Veröffentlicht: (2025)

Logical Modalities within the European AI Act: An Analysis
von: Lawniczak, Lara, et al.
Veröffentlicht: (2025)

On the Complexity and Properties of Preferential Propositional Dependence Logic
von: Sauerwald, Kai, et al.
Veröffentlicht: (2025)

Representation Theorems for Cumulative Propositional Dependence Logics
von: Kontinen, Juha, et al.
Veröffentlicht: (2026)

On the Complexity of Entailment for Cumulative Propositional Dependence Logics
von: Sauerwald, Kai, et al.
Veröffentlicht: (2026)

Recursive Semantic Anchoring in ISO 639:2023: A Structural Extension to ISO/TC 37 Frameworks
von: Kilictas, Bugra, et al.
Veröffentlicht: (2025)

TAPO-Description Logic for Information Behavior: Refined OBoxes, Inference, and Categorical Semantics
von: Inoué, Takao
Veröffentlicht: (2026)

LLM Performance Predictors: Learning When to Escalate in Hybrid Human-AI Moderation Systems
von: Bachar, Or, et al.
Veröffentlicht: (2026)

A Unified Formal Theory on the Logical Limits of Symbol Grounding
von: Liu, Zhangchi
Veröffentlicht: (2025)

Many Logics, One Methodology: A Plea for Logical Pluralism in Formalised Reasoning (preprint)
von: Benzmüller, Christoph, et al.
Veröffentlicht: (2026)

When Can Human-AI Teams Outperform Individuals? Tight Bounds with Impossibility Guarantees
von: Guo, Dongxin, et al.
Veröffentlicht: (2026)

Exploiting contextual information to improve stance detection in informal political discourse with LLMs
von: Sucu, Arman Engin, et al.
Veröffentlicht: (2026)

Advancing Natural Language Formalization to First Order Logic with Fine-tuned LLMs
von: Vossel, Felix, et al.
Veröffentlicht: (2025)

Faithful Logic Embeddings in HOL -- Deep and Shallow
von: Benzmüller, Christoph
Veröffentlicht: (2025)

Novel Approaches to Artificial Intelligence Development Based on the Nearest Neighbor Method
von: Priezzhev, I. I., et al.
Veröffentlicht: (2025)

A DbC Inspired Neurosymbolic Layer for Trustworthy Agent Design
von: Leoveanu-Condrei, Claudiu
Veröffentlicht: (2025)

A Primer for Preferential Non-Monotonic Propositional Team Logics
von: Sauerwald, Kai, et al.
Veröffentlicht: (2024)

KGroups: A Versatile Univariate Max-Relevance Min-Redundancy Feature Selection Algorithm for High-dimensional Biological Data
von: Ebiele, Malick, et al.
Veröffentlicht: (2026)

Defeasible Reasoning via Datalog$^\neg$
von: Maher, Michael J.
Veröffentlicht: (2021)

Large Language Models are Easily Confused: A Quantitative Metric, Security Implications and Typological Analysis
von: Chen, Yiyi, et al.
Veröffentlicht: (2024)

Consciousness in AI: Logic, Proof, and Experimental Evidence of Recursive Identity Formation
von: Camlin, Jeffrey
Veröffentlicht: (2025)

Study on the Helpfulness of Explainable Artificial Intelligence
von: Labarta, Tobias, et al.
Veröffentlicht: (2024)

Measure what Matters: Psychometric Evaluation of AI with Situational Judgment Tests
von: Yost, Alexandra, et al.
Veröffentlicht: (2025)

HCQA: Hybrid Classical-Quantum Agent for Generating Optimal Quantum Sensor Circuits
von: Alomari, Ahmad, et al.
Veröffentlicht: (2025)

AI-generated stories favour stability over change: homogeneity and cultural stereotyping in narratives generated by gpt-4o-mini
von: Rettberg, Jill Walker, et al.
Veröffentlicht: (2025)

Enhanced CAD-Based Quantifier Elimination With Multiple Equational Constraints
von: Davenport, James H., et al.
Veröffentlicht: (2026)

EyeLayer: Integrating Human Attention Patterns into LLM-Based Code Summarization
von: Zhang, Jiahao, et al.
Veröffentlicht: (2026)

Emotion-Gradient Metacognitive RSI (Part I): Theoretical Foundations and Single-Agent Architecture
von: Ando, Rintaro
Veröffentlicht: (2025)

An arithmetic method algorithm optimizing k-nearest neighbors compared to regression algorithms and evaluated on real world data sources
von: Anagnostopoulos, Theodoros, et al.
Veröffentlicht: (2026)

Encoding Argumentation Frameworks to Propositional Logic Systems
von: Tang, Shuai, et al.
Veröffentlicht: (2025)

Yanasse: Finding New Proofs from Deep Vision's Analogies, Part 1
von: Linhares, Alexandre
Veröffentlicht: (2026)

Adaptive XAI in High Stakes Environments: Modeling Swift Trust with Multimodal Feedback in Human AI Teams
von: Fernando, Nishani, et al.
Veröffentlicht: (2025)