Theory and Practice of Logic Programming Special Issue 03 is now published


April 6, 2016 2:14 PM
The Theory and Practice of Logic Programming, Volume 16, Issue 03, May 2016 is a special number devoted to extended best papers of the International Web Rule Symposia (#RuleML) 2012–2014.

Volume Content

  • Introduction to the special issue on the International Web Rule Symposia 2012–2014
    ANTONIS BIKAKIS and PAUL FODOR and ADRIAN GIURCA and LEORA MORGENSTERN
    doi: 10.1017/S1471068416000028
  • Solving stable matching problems using answer set programming
    SOFIE DE CLERCQ and STEVEN SCHOCKAERT and MARTINE DE COCK and ANN NOWE
    doi: 10.1017/S147106841600003X
  • Programming in logic without logic programming
    ROBERT KOWALSKI and FARIBA SADRI
    doi: 10.1017/S1471068416000041,
  • The rationale behind the concept of goal
    GUIDO GOVERNATORI and FRANCESCO OLIVIERI and SIMONE SCANNAPIECO and ANTONINO ROTOLO and MATTEO CRISTANI
    doi: 10.1017/S1471068416000053
  • An event calculus production rule system for reasoning in dynamic and uncertain domains
    THEODORE PATKOS and DIMITRIS PLEXOUSAKIS and ABDELGHANI CHIBANI and YACINE AMIRAT
    doi: 10.1017/S1471068416000065
  • Using linear constraints for logic program termination analysis
    MARCO CALAUTTI and SERGIO GRECO and CRISTIAN MOLINARO and IRINA TRUBITSYNA
    doi: 10.1017/S1471068416000077