Copertina

LTL Verification of Memoryful Neural Agents

Fuente: arXiv

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:	Acceder al recurso
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)

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)

An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic
di: Martina, Antoine, 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)

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)

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

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

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

Task and Motion Planning in Hierarchical 3D Scene Graphs
di: Ray, Aaron, 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)

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

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

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

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

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

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

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

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

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

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)

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

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

Counterfactual Basis Extension and Representational Geometry: An MDL-Constrained Model of Conceptual Growth
di: Amornbunchornvej, Chainarong
Pubblicazione: (2025)

GE-Chat: A Graph Enhanced RAG Framework for Evidential Response Generation of LLMs
di: Da, Longchao, et al.
Pubblicazione: (2025)

BMAM: Brain-inspired Multi-Agent Memory Framework
di: Li, Yang, et al.
Pubblicazione: (2026)

Towards Robust Retrieval-Augmented Generation Based on Knowledge Graph: A Comparative Analysis
di: Amamou, Hazem, et al.
Pubblicazione: (2026)

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

D-SMART: Enhancing LLM Dialogue Consistency via Dynamic Structured Memory And Reasoning Tree
di: Lei, Xiang, et al.
Pubblicazione: (2025)

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

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)

Comparing State-Representations for DEL Model Checking
di: Behnke, Gregor, et al.
Pubblicazione: (2025)

Changing the Rules of the Game: Reasoning about Dynamic Phenomena in Multi-Agent Systems
di: Galimullin, Rustam, et al.
Pubblicazione: (2025)