International Conference on Logic Programming
Source
Source type: conference
Fully open access: No
In DOAJ: No
2yr mean citedness:
H-index: 34
I10-index: 133
Works count: 454
Citations count: 5,119
Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP
1997 · Ilkka Niemelä, Patrik Simons · International Conference on Logic Programming
CLP(intervals) revisited
1994 · Frédéric Benhamou, David McAllester, et al. · International Conference on Logic Programming
Theory Solving Made Easy with Clingo 5
2016 · Martin Gebser, Roland Kaminski, et al. · International Conference on Logic Programming