Image de couverture de livre

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

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Diéguez, Martín, Hahn, Susana, Schaub, Torsten, Stéphan, Igor
Format:	Preprint
Publié:	2026
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

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

Towards Constraint Temporal Answer Set Programming
par: Cabalar, Pedro, et autres
Publié: (2025)

Implementing Metric Temporal Answer Set Programming
par: Becker, Arvid, et autres
Publié: (2026)

Compiling Metric Temporal Answer Set Programming
par: Becker, Arvid, et autres
Publié: (2025)

Extracting Policies from Quantified Answer Set Programs
par: Diéguez, Martín, et autres
Publié: (2026)

Metric Dynamic Equilibrium Logic
par: Becker, Arvid, et autres
Publié: (2024)

Normal Nested Answer Set Programs: Syntactics, Semantics and Logical Calculi
par: Imaz, Gonzalo E.
Publié: (2024)

Strong Equivalence in Answer Set Programming with Constraints
par: Cabalar, Pedro, et autres
Publié: (2025)

Routing and Scheduling in Answer Set Programming applied to Multi-Agent Path Finding: Preliminary Report
par: Kaminski, Roland, et autres
Publié: (2024)

Anthem 2.0: Automated Reasoning for Answer Set Programming
par: Fandinno, Jorge, et autres
Publié: (2025)

Computational methods for Dynamic Answer Set Programming
par: Hahn, Susana
Publié: (2025)

Dependence Logics in Temporal Settings
par: Baltag, Alexandru, et autres
Publié: (2022)

Synthesizing Strongly Equivalent Logic Programs: Beth Definability for Answer Set Programs via Craig Interpolation in First-Order Logic
par: Heuer, Jan, et autres
Publié: (2024)

Streamliners for Answer Set Programming
par: Voboril, Florentina, et autres
Publié: (2026)

On the Metric Temporal Logic for Continuous Stochastic Processes
par: Ikeda, Mitsumasa, et autres
Publié: (2023)

ASP-driven User-interaction with Clinguin
par: Beiser, Alexander, et autres
Publié: (2025)

Counting Answer Sets of Disjunctive Answer Set Programs
par: Kabir, Mohimenul, et autres
Publié: (2025)

Synchronous Team Semantics for Temporal Logics
par: Krebs, Andreas, et autres
Publié: (2024)

Autonomous Vehicles Path Planning under Temporal Logic Specifications
par: Dhonthi, Akshay, et autres
Publié: (2024)

Recursive Aggregates as Intensional Functions in Answer Set Programming: Semantics and Strong Equivalence
par: Fandinno, Jorge, et autres
Publié: (2024)

Relating Answer Set Programming and Many-sorted Logics for Formal Verification
par: Hansen, Zachary
Publié: (2025)

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

Defeasible Conditionals using Answer Set Programming
par: Dennison, Racquel, et autres
Publié: (2026)

Hybrid Answer Set Programming: Foundations and Applications
par: Rühling, Nicolas
Publié: (2025)

Answer Set Programming for Flexible Payroll Management
par: Callewaert, Benjamin, et autres
Publié: (2024)

Logic-Driven Cybersecurity: A Novel Framework for System Log Anomaly Detection using Answer Set Programming
par: Li, Fang, et autres
Publié: (2025)

On Zeno-like Behaviors in the Event Calculus with Goal-directed Answer Set Programming
par: Vašíček, Ondřej, et autres
Publié: (2026)

Semantics for Linear-time Temporal Logic with Finite Observations
par: Amjad, Rayhana, et autres
Publié: (2024)

Answer-Set-Programming-based Abstractions for Reinforcement Learning
par: Bankosegger, Rafael, et autres
Publié: (2026)

A framework for Conditional Reasoning in Answer Set Programming
par: Alviano, Mario, et autres
Publié: (2025)

Symbolic Parameter Learning in Probabilistic Answer Set Programming
par: Azzolini, Damiano, et autres
Publié: (2024)

Fast Inference for Probabilistic Answer Set Programs via the Residual Program
par: Azzolini, Damiano, et autres
Publié: (2024)

Encoding and Reasoning about Arrays in Constraint Logic Programming with Sets
par: Cristiá, Maximiliano, et autres
Publié: (2025)

Base-extension Semantics for Modal Logic
par: Eckhardt, Timo, et autres
Publié: (2024)

Formally Explaining Decision Tree Models with Answer Set Programming
par: Takemura, Akihiro, et autres
Publié: (2026)

Solving Decision Theory Problems with Probabilistic Answer Set Programming
par: Azzolini, Damiano, et autres
Publié: (2024)

Inferring Causal Graph Temporal Logic Formulas to Expedite Reinforcement Learning in Temporally Extended Tasks
par: Aria, Hadi Partovi, et autres
Publié: (2026)

Guarded Successor: A Novel Temporal Logic
par: Asor, Ohad
Publié: (2024)

Equilibrium Semantics and Strong Equivalence for Higher-Order Logic Programs
par: Charalambidis, Angelos, et autres
Publié: (2026)

Proof-theoretic Semantics for Second-order Logic
par: Gheorghiu, Alexander V., et autres
Publié: (2025)