Buchumschlag

Metric Temporal Equilibrium Logic over Timed Traces

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Becker, Arvid, Cabalar, Pedro, Diéguez, Martín, Schaub, Torsten, Schuhmann, Anna
Format:	Preprint
Veröffentlicht:	2023
Schlagworte:	Artificial Intelligence
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Metric Dynamic Equilibrium Logic
von: Becker, Arvid, et al.
Veröffentlicht: (2024)

Compiling Metric Temporal Answer Set Programming
von: Becker, Arvid, et al.
Veröffentlicht: (2025)

Implementing Metric Temporal Answer Set Programming
von: Becker, Arvid, et al.
Veröffentlicht: (2026)

Past-present temporal programs over finite traces
von: Cabalar, Pedro, et al.
Veröffentlicht: (2023)

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

Towards Constraint Temporal Answer Set Programming
von: Cabalar, Pedro, et al.
Veröffentlicht: (2025)

FLINGO -- Instilling ASP Expressiveness into Linear Integer Constraints
von: Fandinno, Jorge, et al.
Veröffentlicht: (2026)

Strong Equivalence in Answer Set Programming with Constraints
von: Cabalar, Pedro, et al.
Veröffentlicht: (2025)

Reducing Arbitrary Metric Temporal Formulas into Logic Programs under Answer Set Semantics
von: Diéguez, Martín, et al.
Veröffentlicht: (2026)

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

Implementing the First-Order Logic of Here and There
von: Otten, Jens, et al.
Veröffentlicht: (2026)

Meta-Programming for Linear-time Temporal Answer Set Programming
von: Hahn, Susana, et al.
Veröffentlicht: (2026)

On the generalization of learned constraints for ASP solving in temporal domains
von: Romero, Javier, et al.
Veröffentlicht: (2024)

Comparing Non-minimal Semantics for Disjunction in Answer Set Programming
von: Aguado, Felicidad, et al.
Veröffentlicht: (2025)

The ASP-based Nurse Scheduling System at the University of Yamanashi Hospital
von: Nabeshima, Hidetomo, et al.
Veröffentlicht: (2025)

Pointwise-in-Time Explanation for Linear Temporal Logic Rules
von: Brindise, Noel, et al.
Veröffentlicht: (2023)

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

FOL-Traces: Verified First-Order Logic Reasoning Traces at Scale
von: Lee, Isabelle, et al.
Veröffentlicht: (2025)

Dominating Set Reconfiguration with Answer Set Programming
von: Kato, Masato, et al.
Veröffentlicht: (2024)

Tracing the Traces: Latent Temporal Signals for Efficient and Accurate Reasoning
von: Vilas, Martina G., et al.
Veröffentlicht: (2025)

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

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

ASP-driven User-interaction with Clinguin
von: Beiser, Alexander, et al.
Veröffentlicht: (2025)

Reasoning about Study Regulations in Answer Set Programming
von: Hahn, Susana, et al.
Veröffentlicht: (2024)

Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming
von: Sugimori, Irumi, et al.
Veröffentlicht: (2024)

Common Knowledge Always, Forever
von: Diéguez, Martín, et al.
Veröffentlicht: (2026)

A Modal Logic for Temporal and Jurisdictional Classifier Models
von: Di Florio, Cecilia, et al.
Veröffentlicht: (2025)

Temporal Model On Quantum Logic
von: D'Agostino, Francesco
Veröffentlicht: (2025)

Bridging Logic and Learning: Decoding Temporal Logic Embeddings via Transformers
von: Candussio, Sara, et al.
Veröffentlicht: (2025)

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

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

Temporal Smoothness Doubly Robust Learning for Debiased Knowledge Tracing
von: Zhan, Peilin, et al.
Veröffentlicht: (2026)

Towards Annotation-Free Validation of MLLMs: A Vision-Language Logical Consistency Metric
von: Gu, Ying, et al.
Veröffentlicht: (2026)

Temporalizing Confidence: Evaluation of Chain-of-Thought Reasoning with Signal Temporal Logic
von: Mao, Zhenjiang, et al.
Veröffentlicht: (2025)

A Comparative Study of Pruning Methods in Transformer-based Time Series Forecasting
von: Kiefer, Nicholas, et al.
Veröffentlicht: (2024)

TraceVLA: Visual Trace Prompting Enhances Spatial-Temporal Awareness for Generalist Robotic Policies
von: Zheng, Ruijie, et al.
Veröffentlicht: (2024)

One Subgoal at a Time: Zero-Shot Generalization to Arbitrary Linear Temporal Logic Requirements in Multi-Task Reinforcement Learning
von: Guo, Zijian, et al.
Veröffentlicht: (2025)

plingo: A system for probabilistic reasoning in clingo based on lpmln
von: Hahn, Susana, et al.
Veröffentlicht: (2022)

stl2vec: Semantic and Interpretable Vector Representation of Temporal Logic
von: Saveri, Gaia, et al.
Veröffentlicht: (2024)

Conformal Temporal Logic Planning using Large Language Models
von: Wang, Jun, et al.
Veröffentlicht: (2023)