Book Announcement: The Deductive Spreadsheet by Iliano Cervesato. CMU @ Quatar Campus
Author: Editors
AspCcgTk: Towards Syntactic Parsing with Semantic Disambiguation by Means of Declarative Programming
By Yuliya Lierler and Peter Schüller. Communicated by Paul Tarau.
Semantics at Scale: When Distributional Semantics meets Logic Programming
By André Freitas and João C. Pereira da Silva. Communicated by Alessandra Mileo and Thomas Kreenwalner
Automatic Integration of Hybrid Java-Prolog Entities with LogicObjects
Communicated by Paul Tarau
CFP: RuleML 2015
Communicated by Fariba Sadri, IC London, (co-chair)
CFP: International Conference on Logic Programming (ICLP 2015)
By Francesca Toni and Tomas Eiter
Imperial College and University of Vienna
UK and Austria
CFP: IJAR special issue on Probabilistic Logic Programming
by Nicos Angelopoulos
Imperial College
UK
CFP: CADE Workshops, Tutorials, System Competitions, Papers
by Amy Felty,
University of Ottawa,
Canada
Editorial, September 2014
Dear LPers, We start with a mournful question: Did Prolog pass away? Some posters outside ECAI 2014 in Prague seem to suggest this (they also suggest that Prolog’s history goes back in time much earlier than we all thought…) First of all,…
MiniSAT(ID) for satisfiability checking and constraint solving
By Broes De Cat, Bart Bogaerts, and Marc Denecker. Communicated by Marcello Balduccini and Tran Cao Son.