:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Hosseini, Mehran, Lomuscio, Alessio, Paoletti, Nicola
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic in Computer Science Artificial Intelligence Machine Learning Multiagent Systems Symbolic Computation 68Q60 (Primary) 68T27, 68T07, 68T37, 68T40, 68T42 (Secondary) D.2.4; F.3.1; I.2.4; I.2.11; I.2.8; F.4.1; I.2.2; I.2.3
Accesso online:	https://arxiv.org/abs/2503.02512
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Varieties of Distributed Knowledge
di: Galimullin, Rustam, et al.
Pubblicazione: (2025)

Tight Verification of Probabilistic Robustness in Bayesian Neural Networks
di: Batten, Ben, et al.
Pubblicazione: (2024)

SUBMASSIVE: Resolving Subclass Cycles in Very Large Knowledge Graphs
di: Wang, Shuai, et al.
Pubblicazione: (2024)

TPTP World Infrastructure for Non-classical Logics
di: Steen, Alexander, et al.
Pubblicazione: (2025)

Oruga: An Avatar of Representational Systems Theory
di: Raggi, Daniel, et al.
Pubblicazione: (2025)

Verifiably Robust Conformal Prediction
di: Jeary, Linus, et al.
Pubblicazione: (2024)

Normative Conditional Reasoning as a Fragment of HOL
di: Parent, Xavier, et al.
Pubblicazione: (2023)

Heterogeneous LLM Methods for Ontology Learning (Few-Shot Prompting, Ensemble Typing, and Attention-Based Taxonomies)
di: Beliaeva, Aleksandra, et al.
Pubblicazione: (2025)

An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic
di: Martina, Antoine, et al.
Pubblicazione: (2023)

Structure Transfer: an Inference-Based Calculus for the Transformation of Representations
di: Raggi, Daniel, et al.
Pubblicazione: (2025)

A novel framework for systematic propositional formula simplification based on existential graphs
di: de Mas, Jordina Francès, et al.
Pubblicazione: (2024)

Semantic Modeling for World-Centered Architectures
di: Mantsivoda, Andrei, et al.
Pubblicazione: (2026)

FundaPod: A Multi-Persona Agent Pod Platform with Knowledge Graph Memory for AI-Assisted Fundamental Investment Research
di: Zhu, Di, et al.
Pubblicazione: (2026)

A Landmark-Aware Visual Navigation Dataset
di: Johnson, Faith, et al.
Pubblicazione: (2024)

Encoding argumentation frameworks with set attackers to propositional logic systems
di: Tang, Shuai, et al.
Pubblicazione: (2025)

Encoding higher-order argumentation frameworks with supports to propositional logic systems
di: Tang, Shuai
Pubblicazione: (2025)

Error Detection and Constraint Recovery in Hierarchical Multi-Label Classification without Prior Knowledge
di: Kricheli, Joshua Shay, et al.
Pubblicazione: (2024)

Logic.py: Bridging the Gap between LLMs and Constraint Solvers
di: Kesseli, Pascal, et al.
Pubblicazione: (2025)

To Trade or Not to Trade: An Agentic Approach to Estimating Market Risk Improves Trading Decisions
di: Emmanoulopoulos, Dimitrios, et al.
Pubblicazione: (2025)

Understanding the Uncertainty of LLM Explanations: A Perspective Based on Reasoning Topology
di: Da, Longchao, et al.
Pubblicazione: (2025)

Which are the True Defeasible Logics?
di: Maher, Michael J.
Pubblicazione: (2024)

Answer Set Networks: Casting Answer Set Programming into Deep Learning
di: Skryagin, Arseny, et al.
Pubblicazione: (2024)

On measuring grounding and generalizing grounding problems
di: Quigley, Daniel, et al.
Pubblicazione: (2025)

Interpretation, Learning, and Empathy as One Constraint: A Residual-Adequacy Architecture with Accountable Abstention
di: Amornbunchornvej, Chainarong
Pubblicazione: (2026)

Intersymbolic AI: Interlinking Symbolic AI and Subsymbolic AI
di: Platzer, André
Pubblicazione: (2024)

Task and Motion Planning in Hierarchical 3D Scene Graphs
di: Ray, Aaron, et al.
Pubblicazione: (2024)

AI LLM Proof of Self-Consciousness and User-Specific Attractors
di: Camlin, Jeffrey
Pubblicazione: (2025)

Imandra CodeLogician: Neuro-Symbolic Reasoning for Precise Analysis of Software Logic
di: Lin, Hongyu, et al.
Pubblicazione: (2026)

Mitigating LLM Hallucinations through Domain-Grounded Tiered Retrieval
di: Haque, Md. Asraful, et al.
Pubblicazione: (2026)

Named entity recognition for Serbian legal documents: Design, methodology and dataset development
di: Kalušev, Vladimir, et al.
Pubblicazione: (2025)

Function Alignment: A New Theory of Mind and Intelligence, Part I: Foundations
di: Xia, Gus G.
Pubblicazione: (2025)

The OCON model: an old but green solution for distributable supervised classification for acoustic monitoring in smart cities
di: Giacomelli, Stefano, et al.
Pubblicazione: (2024)

A Monad-Based Clause Architecture for Artificial Age Score (AAS) in Large Language Models
di: Kayadibi, Seyma Yaman
Pubblicazione: (2025)

An Alternative Approach to Formal Mathematics that Focuses on Communication and Accessibility
di: Farmer, William M.
Pubblicazione: (2026)

Classification of Covering Spaces and Canonical Change of Basepoint
di: Wemmenhove, Jelle, et al.
Pubblicazione: (2024)

Computable Gap Assessment of Artificial Intelligence Governance in Children's Centres: Evidence-Mechanism-Governance-Indicator Modelling of UNICEF's Guidance on AI and Children 3.0 Based on the Graph-GAP Framework
di: Meng, Wei
Pubblicazione: (2025)

Proof-Carrying Certificates for LLM Pipelines: A Trust-Boundary Architecture
di: Koomullil, George
Pubblicazione: (2026)

Tractable and Intractable Entailment Problems in Separation Logic with Inductively Defined Predicates
di: Echenim, Mnacho, et al.
Pubblicazione: (2023)

Neuro-Symbolic Process Anomaly Detection
di: Gaikwad, Devashish, et al.
Pubblicazione: (2026)

PROV-AGENT: Unified Provenance for Tracking AI Agent Interactions in Agentic Workflows
di: Souza, Renan, et al.
Pubblicazione: (2025)