Image de couverture de livre

A Modal Logic for Temporal and Jurisdictional Classifier Models

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Di Florio, Cecilia, Dong, Huimin, Rotolo, Antonino
Format:	Preprint
Publié:	2025
Sujets:	Artificial Intelligence
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Rule-based Classifier Models
par: Di Florio, Cecilia, et autres
Publié: (2025)

When Precedents Clash
par: Di Florio, Cecilia, et autres
Publié: (2024)

Deontic Argumentation
par: Governatori, Guido, et autres
Publié: (2025)

Judicial Permission
par: Governatori, Guido, et autres
Publié: (2025)

Foundations for Risk Assessment of AI in Protecting Fundamental Rights
par: Rotolo, Antonino, et autres
Publié: (2025)

Logic Explanation of AI Classifiers by Categorical Explaining Functors
par: Fioravanti, Stefano, et autres
Publié: (2025)

Temporal Model On Quantum Logic
par: D'Agostino, Francesco
Publié: (2025)

Understanding Temporal Logic Consistency in Video-Language Models through Cross-Modal Attention Discriminability
par: Li, Chengzhi, et autres
Publié: (2025)

Permissible Knowledge Pooling
par: Dong, Huimin
Publié: (2024)

Temporal Stamp Classifier: Classifying Short Sequences of Astronomical Alerts
par: O., Daniel Neira, et autres
Publié: (2024)

Conformal Temporal Logic Planning using Large Language Models
par: Wang, Jun, et autres
Publié: (2023)

Traffic Scenario Logic: A Spatial-Temporal Logic for Modeling and Reasoning of Urban Traffic Scenarios
par: Wang, Ruolin, et autres
Publié: (2024)

From Neural Networks to Logical Theories: The Correspondence between Fibring Modal Logics and Fibring Neural Networks
par: Harzli, Ouns El, et autres
Publié: (2025)

Fuzzy Logic Function as a Post-hoc Explanator of the Nonlinear Classifier
par: Klimo, Martin, et autres
Publié: (2024)

Pointwise-in-Time Explanation for Linear Temporal Logic Rules
par: Brindise, Noel, et autres
Publié: (2023)

Metric Temporal Equilibrium Logic over Timed Traces
par: Becker, Arvid, et autres
Publié: (2023)

SpikeMLLM: Spike-based Multimodal Large Language Models via Modality-Specific Temporal Scales and Temporal Compression
par: Xu, Han, et autres
Publié: (2026)

Bridging Logic and Learning: Decoding Temporal Logic Embeddings via Transformers
par: Candussio, Sara, et autres
Publié: (2025)

Classifier-Guided Captioning Across Modalities
par: Shaulov, Ariel, et autres
Publié: (2025)

Normative Reasoning in Large Language Models: A Comparative Benchmark from Logical and Modal Perspectives
par: Ozeki, Kentaro, et autres
Publié: (2025)

DateLogicQA: Benchmarking Temporal Biases in Large Language Models
par: Bhatia, Gagan, et autres
Publié: (2024)

On Tackling Complex Tasks with Reward Machines and Signal Temporal Logics
par: Ruiz, Ana María Gómez, et autres
Publié: (2026)

Temporalizing Confidence: Evaluation of Chain-of-Thought Reasoning with Signal Temporal Logic
par: Mao, Zhenjiang, et autres
Publié: (2025)

A Schema-aware Logic Reformulation for Graph Reachability
par: Di Pierro, Davide, et autres
Publié: (2024)

A Modal Logic for Possibilistic Reasoning with Fuzzy Formal Contexts
par: Howlader, Prosenjit, et autres
Publié: (2025)

Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming
par: Cabalar, Pedro, et autres
Publié: (2026)

stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic
par: Saveri, Gaia, et autres
Publié: (2024)

TOGGLE: Temporal Logic-Guided Large Language Model Compression for Edge
par: Khalil, Khurram, et autres
Publié: (2025)

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

SleepCoT: A Lightweight Personalized Sleep Health Model via Chain-of-Thought Distillation
par: Zheng, Huimin, et autres
Publié: (2024)

Diverse Planning with Simulators via Linear Temporal Logic
par: Abdelwahed, Mustafa F., et autres
Publié: (2025)

Model Predictive Robustness of Signal Temporal Logic Predicates
par: Lin, Yuanfei, et autres
Publié: (2022)

Temporal Ensemble Logic
par: Zhang, Guo-Qiang
Publié: (2024)

Modal Logic for Stratified Becoming: Actualization Beyond Possible Worlds
par: Nepvou, Alexandre Le
Publié: (2025)

Differentiable Modal Logic for Multi-Agent Diagnosis, Orchestration and Communication
par: Sulc, Antonin
Publié: (2026)

Modeling Deontic Modal Logic in the s(CASP) Goal-directed Predicate Answer Set Programming System
par: Gupta, Gopal, et autres
Publié: (2025)

Enabling and Inhibitory Pathways of University Students' Willingness to Disclose AI Use: A Cognition-Affect-Conation Perspective
par: Du, Yiran, et autres
Publié: (2026)

LogiDebrief: A Signal-Temporal Logic based Automated Debriefing Approach with Large Language Models Integration
par: Chen, Zirong, et autres
Publié: (2025)

The Logical Expressiveness of Temporal GNNs via Two-Dimensional Product Logics
par: Sälzer, Marco, et autres
Publié: (2025)

It's About Time: The Temporal and Modal Dynamics of Copilot Usage
par: Costa-Gomes, Beatriz, et autres
Publié: (2025)