:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Becker, Arvid, Cabalar, Pedro, Diéguez, Martín, Schaub, Torsten, Schuhmann, Anna
Format:	Preprint
Published:	2023
Subjects:	Artificial Intelligence
Online Access:	https://arxiv.org/abs/2304.14778
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Metric Dynamic Equilibrium Logic
by: Becker, Arvid, et al.
Published: (2024)

Compiling Metric Temporal Answer Set Programming
by: Becker, Arvid, et al.
Published: (2025)

Implementing Metric Temporal Answer Set Programming
by: Becker, Arvid, et al.
Published: (2026)

Past-present temporal programs over finite traces
by: Cabalar, Pedro, et al.
Published: (2023)

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

Towards Constraint Temporal Answer Set Programming
by: Cabalar, Pedro, et al.
Published: (2025)

FLINGO -- Instilling ASP Expressiveness into Linear Integer Constraints
by: Fandinno, Jorge, et al.
Published: (2026)

Strong Equivalence in Answer Set Programming with Constraints
by: Cabalar, Pedro, et al.
Published: (2025)

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

Proceedings 40th International Conference on Logic Programming
by: Cabalar, Pedro, et al.
Published: (2025)

Implementing the First-Order Logic of Here and There
by: Otten, Jens, et al.
Published: (2026)

Meta-Programming for Linear-time Temporal Answer Set Programming
by: Hahn, Susana, et al.
Published: (2026)

Comparing Non-minimal Semantics for Disjunction in Answer Set Programming
by: Aguado, Felicidad, et al.
Published: (2025)

On the generalization of learned constraints for ASP solving in temporal domains
by: Romero, Javier, et al.
Published: (2024)

The ASP-based Nurse Scheduling System at the University of Yamanashi Hospital
by: Nabeshima, Hidetomo, et al.
Published: (2025)

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

Dominating Set Reconfiguration with Answer Set Programming
by: Kato, Masato, et al.
Published: (2024)

Temporal Inductive Logic Reasoning over Hypergraphs
by: Yang, Yuan, et al.
Published: (2022)

FOL-Traces: Verified First-Order Logic Reasoning Traces at Scale
by: Lee, Isabelle, et al.
Published: (2025)

Common Knowledge Always, Forever
by: Diéguez, Martín, et al.
Published: (2026)

ASP-driven User-interaction with Clinguin
by: Beiser, Alexander, et al.
Published: (2025)

Tracing the Traces: Latent Temporal Signals for Efficient and Accurate Reasoning
by: Vilas, Martina G., et al.
Published: (2025)

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

On Alternating-Time Temporal Logic, Hyperproperties, and Strategy Sharing
by: Beutner, Raven, et al.
Published: (2023)

Reasoning about Study Regulations in Answer Set Programming
by: Hahn, Susana, et al.
Published: (2024)

Large Neighborhood Prioritized Search for Combinatorial Optimization with Answer Set Programming
by: Sugimori, Irumi, et al.
Published: (2024)

Language Models, Graph Searching, and Supervision Adulteration: When More Supervision is Less and How to Make More More
by: Frydenlund, Arvid
Published: (2025)

A Comparative Study of Pruning Methods in Transformer-based Time Series Forecasting
by: Kiefer, Nicholas, et al.
Published: (2024)

plingo: A system for probabilistic reasoning in clingo based on lpmln
by: Hahn, Susana, et al.
Published: (2022)

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

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

Routing and Scheduling in Answer Set Programming applied to Multi-Agent Path Finding: Preliminary Report
by: Kaminski, Roland, et al.
Published: (2024)

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

A Modal Logic for Temporal and Jurisdictional Classifier Models
by: Di Florio, Cecilia, et al.
Published: (2025)

Neurosymbolic Decision Trees
by: Möller, Matthias, et al.
Published: (2025)

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

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

Towards Annotation-Free Validation of MLLMs: A Vision-Language Logical Consistency Metric
by: Gu, Ying, et al.
Published: (2026)

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

Temporal Smoothness Doubly Robust Learning for Debiased Knowledge Tracing
by: Zhan, Peilin, et al.
Published: (2026)