3 citations · 5 across the 2 of their papers we have counts for
2 papers
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.PL2011★ 2 cited
Abstract Diagnosis for Timed Concurrent Constraint programs
Marco Comini, Laura Titolo, Alicia Villanueva
The Timed Concurrent Constraint Language (tccp in short) is a concurrent logic language based on the simple but powerful concurrent constraint paradigm of Saraswat. In this paradig…