Imagen de Portada

Anthem 2.0: Automated Reasoning for Answer Set Programming

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Fandinno, Jorge, Glinzer, Christoph, Hansen, Zachary, Heuer, Jan, Lierler, Yuliya, Lifschitz, Vladimir, Schaub, Torsten, Stolzmann, Tobias
Formato:	Preprint
Publicado:	2025
Materias:	Logic in Computer Science I.2.3
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

SM-based Semantics for Answer Set Programs Containing Conditional Literals and Arithmetic
por: Hansen, Zachary, et al.
Publicado: (2025)

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

Deductive Systems for Logic Programs with Counting
por: Fandinno, Jorge, et al.
Publicado: (2025)

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

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)

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

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

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

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

Historical Review of Variants of Informal Semantics for Logic Programs under Answer Set Semantics: GL'88, GL'91, GK'14, D-V'12
por: Lierler, Yuliya
Publicado: (2024)

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

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)

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

Automated Verification of Equivalence Properties in Advanced Logic Programs -- Bachelor Thesis
por: Heuer, Jan
Publicado: (2023)

Mechanized HOL Reasoning in Set Theory
por: Guilloud, Simon, et al.
Publicado: (2024)

Solving Epistemic Logic Programs using Generate-and-Test with Propagation
por: Fandinno, Jorge, et al.
Publicado: (2024)

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

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

Ordered Completion for Non-Locally Tight mini-gringo Programs
por: Heuer, Jan
Publicado: (2025)

Human Conditional Reasoning in Answer Set Programming
por: Sakama, Chiaki
Publicado: (2023)

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

Canonical for Automated Theorem Proving in Lean
por: Norman, Chase, 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)

Verifying Procedural Programs via Constrained Rewriting Induction
por: Fuhs, Carsten, et al.
Publicado: (2014)

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

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

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

Definite Descriptions and Hybrid Tense Logic
por: Indrzejczak, Andrzej, et al.
Publicado: (2024)

Non-Ground Congruence Closure
por: Leidinger, Hendrik, et al.
Publicado: (2024)

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

Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry
por: Quaresma, Pedro, et al.
Publicado: (2024)

Stalnaker's Epistemic Logic in Isabelle/HOL
por: Guzman, Laura P. Gamboa, et al.
Publicado: (2024)

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

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)

Discernment is all you need
por: Fuenmayor, David
Publicado: (2026)

Revisiting Conjunctive Query Entailment for $\mathcal S$
por: Ibáñez-García, Yazmín, et al.
Publicado: (2025)