15th International Conference on Logic Programming and Non-monotonic Reasoning LPNMR 2019 http://sju.edu/lpnmr/ Philadelphia, USA June 4-7, 2019 Co-located with Datalog 2.0 Workshop AIMS AND SCOPE LPNMR 2019 is the fifteenth in the series of international meetings on logic programming and non-monotonic reasoning.…
ALP Elections Results
It’s a pleasure to announce that Esra Erdem (Sabanci University, Istanbul) German Vidal (Universitat Politècnica de València) Nicola Leone (UNICAL, Rende) have been elected in the Executive Committee of ALP Newsletter (period 2018-2022). They will work for our favuourite research…
Call for Papers: 12th International Rule Challenge 2018
Call for Papers: 12th International Rule Challenge 2018 http://2018.ruleml-rr.org/challenge.html NOTE: Extended submission deadline: July 31, 2018 Topics The International Rule Challenge 2018 is one of the highlights of the RuleML+RR 2018 conference and seeks to provide competition among innovative rule-oriented…
Call for Participation: RuleML+RR 2018
By Amal Tawakuli
PSOA RuleML Bridges Graph and Relational Databases
By Harold Boley University of New Brunswick, Fredericton, Canada ABSTRACT In PSOA RuleML, Graph Databases and Relational Databases are bridged conceptually, with interoperation paths through its metamodel of three orthogonal dimensions, as well as programmatically, with transition rules realized in…
Proving Program Correctness Using the AG Semantics: An Example with n-Queens
By Amelia Harrison UT Austin, USA ABSTRACT We show an example of how the proposal for the semantics of the subset of the input language of gringo called AG can be used as the basis for a proof of correctness of a…