Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems

Keyphrases

Publications

2023

Jan C. Dageförde, Herbert Kuchen
Applications of Muli: Solving Practical Problems with Constraint-Logic Object-Oriented Programming. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (2023)
Ricardo Peña, Jaime Sánchez-Hernández, Miguel Garrido, Javier Sagredo
SMT-Based Test-Case Generation and Validation for Programs with Complex Specifications. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (2023)
María Alpuente, Alicia Villanueva
Automated Synthesis of Software Contracts with KindSpec. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (2023)
Enric Trillas
A Discourse on Guessing and Reasoning. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (2023)
María-del-Mar Gallardo, Pedro Merino, Laura Panizo
The Role of Abstraction in Model Checking. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (2023)
María Alpuente, Demis Ballis, Santiago Escobar, José Meseguer, Julia Sapiña
Optimizing Maude Programs via Program Specialization. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (2023)
Germán Vidal
Reversible Debugging in Logic Programming. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (2023)
Alexandre Miguel Pinto, Luís Moniz Pereira
Modularization of Logic Programs. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (2023)
Elmer Salazar, Gopal Gupta
Proof-Theoretic Foundations of Normal Logic Programs. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (2023)
Martin Wirsing, Lenz Belzner
Towards Systematically Engineering Autonomous Systems Using Reinforcement Learning and Planning. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (2023)
Jorge Fandinno, Seemran Mishra, Javier Romero, Torsten Schaub
Answer Set Programming Made Easy. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (2023)
Verónica Dahl, Gemma Bel-Enguix, Velina Tirado, J. Emilio Miralles
Grammar Induction for Under-Resourced Languages: The Case of Ch'ol. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (2023)
Luis Aguirre, Narciso Martí-Oliet, Miguel Palomino, Isabel Pita
Strategies in Conditional Narrowing Modulo SMT Plus Axioms. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (2023)
Ruben Lapauw, Maurice Bruynooghe, Marc Denecker
Justifications and a Reconstruction of Parity Game Solving Algorithms. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (2023)
Alexandre Miguel Pinto, Luís Moniz Pereira
Layerings of Logic Programs - Layer Decomposable Semantics and Incremental Model Computation. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (2023)
Fan Yang, Santiago Escobar, Catherine A. Meadows, José Meseguer, Sonia Santiago
Strand Spaces with Choice via a Process Algebra Semantics. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (2023)
Patrick Cousot
Abstract Interpretation of Graphs. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems (2023)

volume 13160, 2023

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems 13160 (2023)