Imagen de Portada

Proceedings 40th International Conference on Logic Programming

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Cabalar, Pedro, Fabiano, Francesco, Gebser, Martin, Gupta, Gopal, Swift, Theresa
Formato:	Preprint
Publicado:	2025
Materias:	Logic in Computer Science Artificial Intelligence
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Proceedings 41st International Conference on Logic Programming
por: Gebser, Martin, et al.
Publicado: (2025)

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

Proceedings 14th International Conference on Automated Deduction in Geometry
por: Quaresma, Pedro, et al.
Publicado: (2024)

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

Integrating Belief Domains into Probabilistic Logic Programs
por: Azzolini, Damiano, et al.
Publicado: (2025)

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

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

Decomposition Strategies and Multi-shot ASP Solving for Job-shop Scheduling
por: El-Kholany, Mohammed M. S., et al.
Publicado: (2022)

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

Proceedings The 13th International Workshop on Theorem proving components for Educational software
por: Narboux, Julien, et al.
Publicado: (2025)

Proceedings 12th International Workshop on Theorem proving components for Educational software
por: Narboux, Julien, et al.
Publicado: (2024)

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

Proceedings 19th International Workshop on the ACL2 Theorem Prover and Its Applications
por: Gamboa, Ruben, et al.
Publicado: (2025)

Integrating Reasoning Systems for Trustworthy AI, Proceedings of the 4th Workshop on Logic and Practice of Programming (LPOP)
por: Nerode, Anil, et al.
Publicado: (2024)

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

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)

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

Proceedings Eleventh International Conference on Non-Classical Logics. Theory and Applications
por: Indrzejczak, Andrzej, et al.
Publicado: (2024)

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

Proceedings Seventh International Workshop on Formal Methods for Autonomous Systems
por: Luckcuck, Matt, et al.
Publicado: (2025)

Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems
por: Luckcuck, Matt, et al.
Publicado: (2024)

Static Analysis of Logic Programs via Boolean Networks
por: Trinh, Van-Giang, et al.
Publicado: (2024)

Differentiable Inductive Logic Programming in High-Dimensional Space
por: Purgał, Stanisław J., et al.
Publicado: (2022)

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

Dynamic Logic of Trust-Based Beliefs
por: Jiang, Junli, et al.
Publicado: (2025)

Proceedings of the 22nd International Conference on Quantum Physics and Logic
por: Díaz-Caro, Alejandro, et al.
Publicado: (2025)

Proceedings of the 21st International Conference on Quantum Physics and Logic
por: Díaz-Caro, Alejandro, et al.
Publicado: (2024)

Proceedings Twentieth Conference on Theoretical Aspects of Rationality and Knowledge
por: Bjorndahl, Adam
Publicado: (2025)

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

Building Trustworthy AI by Addressing its 16+2 Desiderata with Goal-Directed Commonsense Reasoning
por: Tudor, Alexis R., et al.
Publicado: (2025)

Boolean Matrix Logic Programming on the GPU
por: Ai, Lun
Publicado: (2024)

Proceedings of the 19th International Workshop on Logical and Semantic Frameworks, with Applications
por: Kop, Cynthia, et al.
Publicado: (2025)

Best-Effort Policies for Robust Markov Decision Processes
por: Abate, Alessandro, et al.
Publicado: (2025)

A Unifying Framework for Semiring-Based Constraint Logic Programming With Negation (full version)
por: Spaans, Jeroen, et al.
Publicado: (2025)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
por: Bloch, Isabelle, et al.
Publicado: (2025)

Model Explanation via Support Graphs
por: Cabalar, Pedro, et al.
Publicado: (2023)

Multi-paradigm Logic Programming in the ${\cal E}$rgoAI System
por: Kifer, Michael, et al.
Publicado: (2026)

Epistemic Logic Programs: Non-Ground and Counting Complexity
por: Eiter, Thomas, et al.
Publicado: (2025)

ASP-Bench: From Natural Language to Logic Programs
por: Szeider, Stefan
Publicado: (2026)