Proceedings 37th International Conference on Logic Programming (Technical Communications)

[1]  Torsten Schaub,et al.  Verifying Tight Logic Programs with anthem and vampire , 2020, Theory and Practice of Logic Programming.

[2]  Takeo Kanade,et al.  Correct Reasoning , 2012, Lecture Notes in Computer Science.

[3]  Joohyung Lee,et al.  First-Order Stable Model Semantics and First-Order Loop Formulas , 2011, J. Artif. Intell. Res..

[4]  Keith L. Clark,et al.  Negation as Failure , 1987, Logic and Data Bases.