By Claudia Schulz and Francesca Toni. Communicated by Pedro Cabalar Fernandez and Michael Fink.
Category: Feature Articles
Conterfactual in Critical Morality – A Summary
By Luís Moniz Pereira and Ari Saptawijaya. Communicated by Editors.
Infinitary Formulas in Answer Set Programming
By Amelia Harrison, Vladimir Lifschitz, and Miroslaw Truszczynski. Communicated by Pedro Cabalar Fernandez and Michael Fink.
MetaProbLog
By Theofrastos Mantadelis, Univ of Porto, and Gerda Janssens, KU Leuven. Communicated by Vitor Santos Costa and Fabrizio Riguzzi.
Bound Founded Answer Set Programming
By Rehan Abdul Aziz, Geoffrey Chu, and Peter James Stuckey. Communicated by Martin Gebser and Ricardo Rocha.
Linear Ordering in the SAT Encoding of the All-Different Constraint over Bit-Vectors
By Pavel Surynek. Communicated by Roman Bartak and Tom Schrijvers.
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
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.
Engineering Domain-Specific Languages with FORMULA 2.0
By Ethan K. Jackson, Microsoft Research, Redmond, WA. Communicated by John Gallagher and Michael Leuschel.