Imagen de Portada

Past-present temporal programs over finite traces

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Cabalar, Pedro, Diéguez, Martín, Laferrière, François, Schaub, Torsten
Formato:	Preprint
Publicado:	2023
Materias:	Artificial Intelligence
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)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

AI-driven inverse design of materials: Past, present and future
por: Han, Xiao-Qi, et al.
Publicado: (2024)

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

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

Link-aware link prediction over temporal graph by pattern recognition
por: Liu, Bingqing, et al.
Publicado: (2024)

Logic-Based Explainability: Past, Present & Future
por: Marques-Silva, Joao
Publicado: (2024)

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

Qiana: A First-Order Formalism to Quantify over Contexts and Formulas with Temporality
por: Coumes, Simon, et al.
Publicado: (2026)

The Past Is Not Past: Memory-Enhanced Dynamic Reward Shaping
por: Liu, Yang, et al.
Publicado: (2026)

Fast Evaluation of DNN for Past Dataset in Incremental Learning
por: Sato, Naoto
Publicado: (2024)

L'organisation des Etats américains / Francois Julien-Laferriere
por: Julien-Laferriere, Francois

Predicting the Future by Retrieving the Past
por: Du, Dazhao, et al.
Publicado: (2025)

State Machine of Thoughts: Leveraging Past Reasoning Trajectories for Enhancing Problem Solving
por: Liu, Jia, et al.
Publicado: (2023)

Harnessing AI for Inverse Partial Differential Equation Problems: Past, Present, and Prospects
por: Tan, Zhentao, et al.
Publicado: (2026)

Ever-Evolving Memory by Blending and Refining the Past
por: Kim, Seo Hyun, et al.
Publicado: (2024)

Can Past Experience Accelerate LLM Reasoning?
por: Pan, Bo, et al.
Publicado: (2025)

Efficient Masked Attention Transformer for Few-Shot Classification and Segmentation
por: Carrión-Ojeda, Dustin, et al.
Publicado: (2025)

Copy-Paste to Mitigate Large Language Model Hallucinations
por: Long, Yongchao, et al.
Publicado: (2025)

Playing With Neuroscience: Past, Present and Future of Neuroimaging and Games
por: Burelli, Paolo, et al.
Publicado: (2024)

Mashup Learning: Faster Finetuning by Remixing Past Checkpoints
por: Vaina, Sofia Maria Lo Cicero, et al.
Publicado: (2026)

Characteristics of Political Misinformation Over the Past Decade
por: Schlicht, Erik J
Publicado: (2024)

Past, Present, and Future of Bug Tracking in the Generative AI Era
por: Torun, Utku Boran, et al.
Publicado: (2025)