Imagen de Portada

Reducing Arbitrary Metric Temporal Formulas into Logic Programs under Answer Set Semantics

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Diéguez, Martín, Hahn, Susana, Schaub, Torsten, Stéphan, Igor
Formato:	Preprint
Publicado:	2026
Materias:	Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

Extracting Policies from Quantified Answer Set Programs
por: Diéguez, Martín, et al.
Publicado: (2026)

Metric Dynamic Equilibrium Logic
por: Becker, Arvid, et al.
Publicado: (2024)

Normal Nested Answer Set Programs: Syntactics, Semantics and Logical Calculi
por: Imaz, Gonzalo E.
Publicado: (2024)

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

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

Anthem 2.0: Automated Reasoning for Answer Set Programming
por: Fandinno, Jorge, et al.
Publicado: (2025)

Computational methods for Dynamic Answer Set Programming
por: Hahn, Susana
Publicado: (2025)

Dependence Logics in Temporal Settings
por: Baltag, Alexandru, et al.
Publicado: (2022)

Synthesizing Strongly Equivalent Logic Programs: Beth Definability for Answer Set Programs via Craig Interpolation in First-Order Logic
por: Heuer, Jan, et al.
Publicado: (2024)

Streamliners for Answer Set Programming
por: Voboril, Florentina, et al.
Publicado: (2026)

On the Metric Temporal Logic for Continuous Stochastic Processes
por: Ikeda, Mitsumasa, et al.
Publicado: (2023)

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

Counting Answer Sets of Disjunctive Answer Set Programs
por: Kabir, Mohimenul, et al.
Publicado: (2025)

Synchronous Team Semantics for Temporal Logics
por: Krebs, Andreas, et al.
Publicado: (2024)

Autonomous Vehicles Path Planning under Temporal Logic Specifications
por: Dhonthi, Akshay, et al.
Publicado: (2024)

Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence
por: Fandinno, Jorge, et al.
Publicado: (2024)

Relating Answer Set Programming and Many-sorted Logics for Formal Verification
por: Hansen, Zachary
Publicado: (2025)

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

Defeasible Conditionals using Answer Set Programming
por: Dennison, Racquel, et al.
Publicado: (2026)

Hybrid Answer Set Programming: Foundations and Applications
por: Rühling, Nicolas
Publicado: (2025)

Answer Set Programming for Flexible Payroll Management
por: Callewaert, Benjamin, et al.
Publicado: (2024)

Logic-Driven Cybersecurity: A Novel Framework for System Log Anomaly Detection using Answer Set Programming
por: Li, Fang, et al.
Publicado: (2025)

On Zeno-like Behaviors in the Event Calculus with Goal-directed Answer Set Programming
por: Vašíček, Ondřej, et al.
Publicado: (2026)

Semantics for Linear-time Temporal Logic with Finite Observations
por: Amjad, Rayhana, et al.
Publicado: (2024)

Answer-Set-Programming-based Abstractions for Reinforcement Learning
por: Bankosegger, Rafael, et al.
Publicado: (2026)

A framework for Conditional Reasoning in Answer Set Programming
por: Alviano, Mario, et al.
Publicado: (2025)

Symbolic Parameter Learning in Probabilistic Answer Set Programming
por: Azzolini, Damiano, et al.
Publicado: (2024)

Fast Inference for Probabilistic Answer Set Programs via the Residual Program
por: Azzolini, Damiano, et al.
Publicado: (2024)

Encoding and Reasoning about Arrays in Constraint Logic Programming with Sets
por: Cristiá, Maximiliano, et al.
Publicado: (2025)

Base-extension Semantics for Modal Logic
por: Eckhardt, Timo, et al.
Publicado: (2024)

Formally Explaining Decision Tree Models with Answer Set Programming
por: Takemura, Akihiro, et al.
Publicado: (2026)

Solving Decision Theory Problems with Probabilistic Answer Set Programming
por: Azzolini, Damiano, et al.
Publicado: (2024)

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

Guarded Successor: A Novel Temporal Logic
por: Asor, Ohad
Publicado: (2024)

Equilibrium Semantics and Strong Equivalence for Higher-Order Logic Programs
por: Charalambidis, Angelos, et al.
Publicado: (2026)

Proof-theoretic Semantics for Second-order Logic
por: Gheorghiu, Alexander V., et al.
Publicado: (2025)