Copertina

Applications of Intuitionistic Temporal Logic to Temporal Answer Set Programming

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Cabalar, Pedro, Diéguez, Martín, Fernández-Duque, David, Laferrière, François, Schaub, Torsten, Stéphan, Igor
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic in Computer Science Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

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

Metric Dynamic Equilibrium Logic
di: Becker, Arvid, et al.
Pubblicazione: (2024)

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

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

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

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

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

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

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

Streamliners for Answer Set Programming
di: Voboril, Florentina, et al.
Pubblicazione: (2026)

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

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

Metric Temporal Equilibrium Logic over Timed Traces
di: Becker, Arvid, et al.
Pubblicazione: (2023)

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

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

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

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

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

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

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

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

Homomorphic Encryption of Intuitionistic Logic Proofs and Functional Programs: A Categorical Approach Inspired by Composite-Order Bilinear Groups
di: Goertzel, Ben
Pubblicazione: (2025)

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

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

Long-term Power Grid Planning via Answer Set Programming
di: Ielo, Antonio, et al.
Pubblicazione: (2026)

Splitting Answer Set Programs with respect to Intensionality Statements (Extended Version)
di: Fandinno, Jorge, et al.
Pubblicazione: (2025)

Optimising Dynamic Traffic Distribution for Urban Networks with Answer Set Programming
di: Cardellini, Matteo, et al.
Pubblicazione: (2024)

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

Fine-grained Timing Analysis of Digital Integrated Circuits in Answer Set Programming
di: Bertagnon, Alessandro, et al.
Pubblicazione: (2025)

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

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

Learn from Failure: Fine-Tuning LLMs with Trial-and-Error Data for Intuitionistic Propositional Logic Proving
di: An, Chenyang, et al.
Pubblicazione: (2024)

Analysing Temporal Reasoning in Description Logics Using Formal Grammars
di: Bourgaux, Camille, et al.
Pubblicazione: (2025)

On the Trap Space Semantics of Normal Logic Programs
di: Trinh, Van-Giang, et al.
Pubblicazione: (2026)

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

Human Robot Collaborative Assembly Planning: An Answer Set Programming Approach
di: Rizwan, Momina, et al.
Pubblicazione: (2020)

TOGGLE: Temporal Logic-Guided Large Language Model Compression for Edge
di: Khalil, Khurram, et al.
Pubblicazione: (2025)