CALL FOR PAPERS The 7th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2018) co-located with POPL 2018 in cooperation with ACM SIGLOG http://popl18.sigplan.org/track/CPP-2018 8-9 January, 2018, Los Angeles, USA Certified Programs and Proofs (CPP) is an international…
Month: April 2017
Reasoning Web Summer School
********************************************** CALL FOR APPLICATIONS The 13th Reasoning Web Summer School (RW 2017) London, U.K., July 7-11, 2017 http://reasoningweb.org/2017 ********************************************** co-located with: RuleML+RR: International Joint Conference on Rules and Reasoning London, U.K., July 12-15, 2017 http://2017.ruleml-rr.org RuleML+RR Doctoral Consortium http://2017.ruleml-rr.org/doctoral-consortium/ DecisionCAMP 2017, London, U.K., July…
Conference Report: The 26th International Conference on Inductive Logic Programming (ILP’16)
By James Cussens, University of York, Alessandra Russo, Imperial College London FULL PDF VERSION Extended Abstract The 26th International Conference on Inductive Logic Programming (ILP 2016) was held in London, during September 4-6 2016, in the pleasant surroundings of the…
The s(ASP) Predicate Answer Set Programming System
By Kyle Marple, Elmer Salazar Zhuo Chen, and Gopal Gupta Department of Computer Science The University of Texas at Dallas Abstract: We present the s(ASP) system that computes stable models of normal logic programs, i.e., logic programs extended with…