- Daniel Jurjo-Rivas Universidad Politécnica de Madrid1 · h 0
- Fred Mesnard1 · h 2
- Gabriel Goren-Roig1 · h 1
- G. Gupta1 · h 30
- Imdea Software Institute1 · h 0
- J. Morales1 · h 14
- Joaquín Arias1 · h 10
- Jose F. Morales Universidad Politécnica de Madrid1 · h 0
- Leonardo Torres1 · h 0
- Manuel V. Hermenegildo Universidad Politécnica de Madrid1 · h 0
- Marco Pérez1 · h 0
- M. Hermenegildo1 · h 53
3 papers
cs.LO2026
An Approach to the Abstract Interpretation of Goal-Directed Answer Set Programming
Daniel Jurjo-Rivas, JoaquÃn Arias, Gopal Gupta +3
Abstract Interpretation infers and verifies program properties by over-approximating program semantics. It has been highly successful for (Constraint) Logic Programming, enabling t…
cs.PL2026
Towards Relating Ciao Assertions and LPTP Theorems
Marco Pérez, Pedro López-GarcÃa, Jose F. Morales +2
Abstract interpretation-based verification is a central component of the Ciao Prolog system, enabling expressive specifications of properties of programs, predicates, and execution…
cs.LO2026
Basic Model Theory for Path Predicate Modal Logic
Raul Fervari, Santiago Figueira, Gabriel Goren-Roig +1
Path Predicate Modal Logic (PPML) is a generalization of Basic Modal Logic, where atoms are relational predicates instead of propositional symbols. The study of PPML is motivated a…