- 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
Showing cs.LOShow all
2 papers · 1 filter
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.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…