Cover Image

Proceedings 41st International Conference on Logic Programming

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Gebser, Martin, Inclezan, Daniela, Ricca, Francesco, Carro, Manuel, Truszczynski, Miroslaw
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

Streamliners for Answer Set Programming
by: Voboril, Florentina, et al.
Published: (2026)

Proceedings Seventh International Conference on Applied Category Theory 2024
by: Johnson, Michael, et al.
Published: (2025)

Architecture for Simulating Behavior Mode Changes in Norm-Aware Autonomous Agents
by: Glaze, Sean, et al.
Published: (2025)

Proceedings Twentieth International Symposium on Logical and Semantic Frameworks with Applications
by: Barbosa, Haniel, et al.
Published: (2025)

Proceedings of the Sixteenth International Symposium on Games, Automata, Logics, and Formal Verification
by: Bacci, Giorgio, et al.
Published: (2025)

Proceedings Eighth International Conference on Applied Category Theory
by: Hadzihasanovic, Amar, et al.
Published: (2026)

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

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

LLASP: Fine-tuning Large Language Models for Answer Set Programming
by: Coppolillo, Erica, et al.
Published: (2024)

Proceedings Twentieth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
by: Chaudhuri, Kaustuv, et al.
Published: (2025)

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

Proceedings Combined 31st International Workshop on Expressiveness in Concurrency and 21st Workshop on Structural Operational Semantics
by: Caltais, Georgiana, et al.
Published: (2024)

Proceedings Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
by: Rabe, Florian, et al.
Published: (2024)

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

Proceedings Fifteenth International Symposium on Games, Automata, Logics, and Formal Verification
by: Achilleos, Antonis, et al.
Published: (2024)

Logic Programming with Multiplicative Structures
by: Acclavio, Matteo, et al.
Published: (2024)

Proceedings of the International Workshop on Verification of Scientific Software
by: Siegel, Stephen F., et al.
Published: (2025)

A Program Logic for Abstract (Hyper)Properties
by: Baldan, Paolo, et al.
Published: (2026)

Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
by: Li, James, et al.
Published: (2024)

A Diagrammatic Algebra for Program Logics
by: Bonchi, Filippo, et al.
Published: (2024)

A Fibrational Tale of Operational Logical Relations: Pure, Effectful and Differential
by: Dagnino, Francesco, et al.
Published: (2023)

Agent-Knowledge Logic for Alternative Epistemic Logic
by: Nishimura, Yuki
Published: (2024)

Enumerating Minimal Unsatisfiable Cores of LTLf formulas
by: Ielo, Antonio, et al.
Published: (2024)

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

A Logic of Knowledge and Justifications, with an Application to Computational Trust
by: Genco, Francesco A.
Published: (2024)

Non-Termination of Logic Programs Using Patterns
by: Payet, Etienne
Published: (2025)

Complete Dynamic Logic of Communicating Hybrid Programs
by: Brieger, Marvin, et al.
Published: (2024)

Justification Logic for Intuitionistic Modal Logic (Extended Technical Report)
by: Marin, Sonia, et al.
Published: (2025)

Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics
by: Lyon, Tim S.
Published: (2023)

Synthesizing Strongly Equivalent Logic Programs: Beth Definability for Answer Set Programs via Craig Interpolation in First-Order Logic
by: Heuer, Jan, et al.
Published: (2024)

Skolemization In Intermediate Logics
by: Baaz, Matthias, et al.
Published: (2025)

Constructive Quantum Logics
by: Aguilera, Juan P., et al.
Published: (2025)

A Logic of Inability
by: Wang, Shanxia
Published: (2026)

Sequent Calculi for Data-Aware Modal Logics
by: Areces, Carlos, et al.
Published: (2025)

Reasoning about Medical Triage Optimization with Logic Programming
by: Patil, Jaikrishna Manojkumar, et al.
Published: (2025)

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