Imagen de Portada

On the generalization of learned constraints for ASP solving in temporal domains

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Romero, Javier, Schaub, Torsten, Strauch, Klaus
Formato:	Preprint
Publicado:	2024
Materias:	Artificial Intelligence
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

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

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

2-ASP(Q) programs with weak constraints: Complexity and efficient implementation
por: Cuteri, Andrea, et al.
Publicado: (2026)

EZASP -- Facilitating the usage of ASP
por: Martins, Rafael, et al.
Publicado: (2026)

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

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

An ASP-Based Framework for MUSes
por: Kabir, Mohimenul, et al.
Publicado: (2025)

Winning Snake: Design Choices in Multi-Shot ASP
por: Böhl, Elisa, et al.
Publicado: (2024)

Generating Causally Compliant Counterfactual Explanations using ASP
por: Dasgupta, Sopam
Publicado: (2025)

Weakly supervised deep learning model with size constraint for prostate cancer detection in multiparametric MRI and generalization to unseen domains
por: Trombetta, Robin, 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)

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

Comparison of SAT-based and ASP-based Algorithms for Inconsistency Measurement
por: Kuhlmann, Isabelle, et al.
Publicado: (2023)

Direct Encoding of Declare Constraints in ASP
por: Chiariello, Francesco, et al.
Publicado: (2024)

Towards Mass Spectrum Analysis with ASP
por: Küchenmeister, Nils, et al.
Publicado: (2025)

Towards end-to-end ASP computation
por: Sato, Taisuke, et al.
Publicado: (2023)

Online library learning in human visual puzzle solving
por: Zhao, Pinzhe, et al.
Publicado: (2026)

Towards Automatic Composition of ASP Programs from Natural Language Specifications
por: Borroto, Manuel, et al.
Publicado: (2024)

ASP-FZN: A Translation-based Constraint Answer Set Solver
por: Eiter, Thomas, et al.
Publicado: (2025)

Diminution: On Reducing the Size of Grounding ASP Programs
por: Yang, HuanYu, et al.
Publicado: (2025)

An LLM + ASP Workflow for Joint Entity-Relation Extraction
por: Tran, Trang, et al.
Publicado: (2025)

Cplus2ASP: Computing Action Language C+ in Answer Set Programming
por: Babb, Joseph, et al.
Publicado: (2026)

A General Framework for Dynamic MAPF using Multi-Shot ASP and Tunnels
por: Bogatarkan, Aysu, et al.
Publicado: (2025)

LLMs as ASP Programmers: Self-Correction Enables Task-Agnostic Nonmonotonic Reasoning
por: Ishay, Adam, et al.
Publicado: (2026)

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

Two stages domain invariant representation learners solve the large co-variate shift in unsupervised domain adaptation with two dimensional data domains
por: Oshima, Hisashi, et al.
Publicado: (2024)

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

An ASP-based Solution to the Medical Appointment Scheduling Problem
por: Vozna, Alina, et al.
Publicado: (2026)

Bridging Natural Language and ASP: A Hybrid Approach Using LLMs and AMR Parsing
por: Hite, Connar, et al.
Publicado: (2025)

Query Answering in Object Oriented Knowledge Bases in Logic Programming: Description and Challenge for ASP
por: Chaudhri, Vinay K., et al.
Publicado: (2013)

CoGS: Model Agnostic Causality Constrained Counterfactual Explanations using goal-directed ASP
por: Dasgupta, Sopam, et al.
Publicado: (2024)

Can LLMs Solve ASP Problems? Insights from a Benchmarking Study (Extended Version)
por: Ren, Lin, et al.
Publicado: (2025)

Unit Testing in ASP Revisited: Language and Test-Driven Development Environment
por: Amendola, Giovanni, et al.
Publicado: (2024)

An Empirical Study of Conformal Prediction in LLM with ASP Scaffolds for Robust Reasoning
por: Kaur, Navdeep, et al.
Publicado: (2025)