:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Di Florio, Cecilia, Dong, Huimin, Rotolo, Antonino
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2510.13691
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Rule-based Classifier Models
by: Di Florio, Cecilia, et al.
Published: (2025)

When Precedents Clash
by: Di Florio, Cecilia, et al.
Published: (2024)

Deontic Argumentation
by: Governatori, Guido, et al.
Published: (2025)

Judicial Permission
by: Governatori, Guido, et al.
Published: (2025)

Foundations for Risk Assessment of AI in Protecting Fundamental Rights
by: Rotolo, Antonino, et al.
Published: (2025)

Logic Explanation of AI Classifiers by Categorical Explaining Functors
by: Fioravanti, Stefano, et al.
Published: (2025)

Temporal Model On Quantum Logic
by: D'Agostino, Francesco
Published: (2025)

Permissible Knowledge Pooling
by: Dong, Huimin
Published: (2024)

Understanding Temporal Logic Consistency in Video-Language Models through Cross-Modal Attention Discriminability
by: Li, Chengzhi, et al.
Published: (2025)

Temporal Stamp Classifier: Classifying Short Sequences of Astronomical Alerts
by: O., Daniel Neira, et al.
Published: (2024)

Traffic Scenario Logic: A Spatial-Temporal Logic for Modeling and Reasoning of Urban Traffic Scenarios
by: Wang, Ruolin, et al.
Published: (2024)

Conformal Temporal Logic Planning using Large Language Models
by: Wang, Jun, et al.
Published: (2023)

SpikeMLLM: Spike-based Multimodal Large Language Models via Modality-Specific Temporal Scales and Temporal Compression
by: Xu, Han, et al.
Published: (2026)

Classifier-Guided Captioning Across Modalities
by: Shaulov, Ariel, et al.
Published: (2025)

Fuzzy Logic Function as a Post-hoc Explanator of the Nonlinear Classifier
by: Klimo, Martin, et al.
Published: (2024)

From Neural Networks to Logical Theories: The Correspondence between Fibring Modal Logics and Fibring Neural Networks
by: Harzli, Ouns El, et al.
Published: (2025)

Bridging Logic and Learning: Decoding Temporal Logic Embeddings via Transformers
by: Candussio, Sara, et al.
Published: (2025)

Examining the Legal Status of Digital Assets as Property: A Comparative Analysis of Jurisdictional Approaches
by: Lee, Luke
Published: (2024)

Pointwise-in-Time Explanation for Linear Temporal Logic Rules
by: Brindise, Noel, et al.
Published: (2023)

Metric Temporal Equilibrium Logic over Timed Traces
by: Becker, Arvid, et al.
Published: (2023)

Normative Reasoning in Large Language Models: A Comparative Benchmark from Logical and Modal Perspectives
by: Ozeki, Kentaro, et al.
Published: (2025)

DateLogicQA: Benchmarking Temporal Biases in Large Language Models
by: Bhatia, Gagan, et al.
Published: (2024)

Temporalizing Confidence: Evaluation of Chain-of-Thought Reasoning with Signal Temporal Logic
by: Mao, Zhenjiang, et al.
Published: (2025)

A Modal Logic for Possibilistic Reasoning with Fuzzy Formal Contexts
by: Howlader, Prosenjit, et al.
Published: (2025)

Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming
by: Cabalar, Pedro, et al.
Published: (2026)

A Schema-aware Logic Reformulation for Graph Reachability
by: Di Pierro, Davide, et al.
Published: (2024)

On Tackling Complex Tasks with Reward Machines and Signal Temporal Logics
by: Ruiz, Ana María Gómez, et al.
Published: (2026)

Temporal Ensemble Logic
by: Zhang, Guo-Qiang
Published: (2024)

TOGGLE: Temporal Logic-Guided Large Language Model Compression for Edge
by: Khalil, Khurram, et al.
Published: (2025)

SleepCoT: A Lightweight Personalized Sleep Health Model via Chain-of-Thought Distillation
by: Zheng, Huimin, et al.
Published: (2024)

Model Predictive Robustness of Signal Temporal Logic Predicates
by: Lin, Yuanfei, et al.
Published: (2022)

stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic
by: Saveri, Gaia, et al.
Published: (2024)

Diverse Planning with Simulators via Linear Temporal Logic
by: Abdelwahed, Mustafa F., et al.
Published: (2025)

The Logical Expressiveness of Temporal GNNs via Two-Dimensional Product Logics
by: Sälzer, Marco, et al.
Published: (2025)

Modal Logic for Stratified Becoming: Actualization Beyond Possible Worlds
by: Nepvou, Alexandre Le
Published: (2025)

Differentiable Modal Logic for Multi-Agent Diagnosis, Orchestration and Communication
by: Sulc, Antonin
Published: (2026)

Enabling and Inhibitory Pathways of University Students' Willingness to Disclose AI Use: A Cognition-Affect-Conation Perspective
by: Du, Yiran, et al.
Published: (2026)

Modeling Deontic Modal Logic in the s(CASP) Goal-directed Predicate Answer Set Programming System
by: Gupta, Gopal, et al.
Published: (2025)

Diffusion Models without Classifier-free Guidance
by: Tang, Zhicong, et al.
Published: (2025)

Solving Quantified Modal Logic Problems by Translation to Classical Logics
by: Steen, Alexander, et al.
Published: (2022)