22 citations · 69 across the 13 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2019★ 3 cited
Proceedings 35th International Conference on Logic Programming (Technical Communications)
Bart Bogaerts, Esra Erdem, Paul Fodor +7
Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming. Contributions are sought in all ar…
cs.LO2019
Introduction to the 35th International Conference on Logic Programming Special Issue
Esra Erdem, Andrea Formisano, German Vidal +1
We are proud to introduce this special issue of Theory and Practice of Logic Programming (TPLP), dedicated to the regular papers accepted for the 35th International Conference on L…
cs.LO2013★ 5 cited
Lloyd-Topor Completion and General Stable Models
Vladimir Lifschitz, Fangkai Yang
We investigate the relationship between the generalization of program completion defined in 1984 by Lloyd and Topor and the generalization of the stable model semantics introduced…