Buchumschlag

Temporal Model On Quantum Logic

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	D'Agostino, Francesco
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Artificial Intelligence Logic Quantum Physics
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Mediative Fuzzy Logic: From Type-1 Foundations to Type-2, Type-3 and Quantum Extensions
von: Ross, Oscar Montiel
Veröffentlicht: (2026)

Unified Structural Embedding of Orbifold Sigma Models
von: D'Agostino, Francesco
Veröffentlicht: (2025)

Linear Logic and Quantum Error Correcting Codes
von: Murfet, Daniel, et al.
Veröffentlicht: (2024)

A Quantum-Inspired Analysis of Human Disambiguation Processes
von: Wang, Daphne
Veröffentlicht: (2024)

MerLean: An Agentic Framework for Autoformalization in Quantum Computation
von: Ren, Yuanjie, et al.
Veröffentlicht: (2026)

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

Intuitionistic Quantum Logic Perspective: Static and Dynamic Revision Operators
von: Zhou, Heng, et al.
Veröffentlicht: (2024)

Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming
von: Cabalar, Pedro, et al.
Veröffentlicht: (2026)

TOGGLE: Temporal Logic-Guided Large Language Model Compression for Edge
von: Khalil, Khurram, et al.
Veröffentlicht: (2025)

Inferring Causal Graph Temporal Logic Formulas to Expedite Reinforcement Learning in Temporally Extended Tasks
von: Aria, Hadi Partovi, et al.
Veröffentlicht: (2026)

Analysing Temporal Reasoning in Description Logics Using Formal Grammars
von: Bourgaux, Camille, et al.
Veröffentlicht: (2025)

Dynamic Logic of Trust-Based Beliefs
von: Jiang, Junli, et al.
Veröffentlicht: (2025)

Spatiotemporal Robustness of Temporal Logic Tasks using Multi-Objective Reasoning
von: Schön, Oliver, et al.
Veröffentlicht: (2026)

Foundations of Quantum Contextual Topos: Integrating Modality and Topos Theory in Quantum Logic
von: Werbow, Jesse
Veröffentlicht: (2024)

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

Proceedings of the 22nd International Conference on Quantum Physics and Logic
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2025)

Proceedings of the 21st International Conference on Quantum Physics and Logic
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2024)

Proceedings 40th International Conference on Logic Programming
von: Cabalar, Pedro, et al.
Veröffentlicht: (2025)

Causal and Compositional Abstraction
von: Lorenz, Robin, et al.
Veröffentlicht: (2026)

Model Predictive Robustness of Signal Temporal Logic Predicates
von: Lin, Yuanfei, et al.
Veröffentlicht: (2022)

Rethinking Explanations: Formalizing Contrast in Description Logics
von: Mahmood, Yasir, et al.
Veröffentlicht: (2026)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
von: Bloch, Isabelle, et al.
Veröffentlicht: (2025)

Complete Quantum Relational Hoare Logics from Optimal Transport Duality
von: Barthe, Gilles, et al.
Veröffentlicht: (2025)

Operator Spaces, Linear Logic and the Heisenberg-Schrödinger Duality of Quantum Theory
von: Lindenhovius, Bert, et al.
Veröffentlicht: (2025)

Temporal Inductive Logic Reasoning over Hypergraphs
von: Yang, Yuan, et al.
Veröffentlicht: (2022)

Machine Learning Model Integration with Open World Temporal Logic for Process Automation
von: Aditya, Dyuman, et al.
Veröffentlicht: (2025)

Queries With Exact Truth Values in Paraconsistent Description Logics
von: Bienvenu, Meghyn, et al.
Veröffentlicht: (2024)

NeuroNL2LTL: A Neurosymbolic Framework for Natural Language Translation of Linear Temporal Logic
von: Quansah, Paapa Kwesi, et al.
Veröffentlicht: (2026)

Temporal Ensemble Logic
von: Zhang, Guo-Qiang
Veröffentlicht: (2024)

Model Change for Description Logic Concepts
von: Ozaki, Ana, et al.
Veröffentlicht: (2026)

On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing
von: Beutner, Raven, et al.
Veröffentlicht: (2023)

On Contextuality as a Feature of Logic and Probability Theory
von: Ellingsen, Ask
Veröffentlicht: (2026)

TGPO: Temporal Grounded Policy Optimization for Signal Temporal Logic Tasks
von: Meng, Yue, et al.
Veröffentlicht: (2025)

Temporal Planning via Interval Logic Satisfiability for Autonomous Systems
von: Ramirez, Miquel, et al.
Veröffentlicht: (2024)

Learning Temporal Logic Predicates from Data with Statistical Guarantees
von: Soroka, Emi, et al.
Veröffentlicht: (2024)

Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
von: Lyon, Tim S., et al.
Veröffentlicht: (2024)

Formally Verified Neurosymbolic Trajectory Learning via Tensor-based Linear Temporal Logic on Finite Traces
von: Chevallier, Mark, et al.
Veröffentlicht: (2025)

Model Checking Matrix Product States against Linear Chain Logic
von: Xu, Ming, et al.
Veröffentlicht: (2026)

Model Enumeration of Two-Variable Logic with Quadratic Delay Complexity
von: Meng, Qiaolan, et al.
Veröffentlicht: (2025)

Large Language Models Imitate Logical Reasoning, but at what Cost?
von: McGinness, Lachlan, et al.
Veröffentlicht: (2025)