Journal articles

• Ludwig Krippahl and Pedro Barahona, Protein docking with predicted constraints, Algorithms for Molecular Biology, Vol. 10, No. 1, Pag. 9, BioMed Central Ltd, 2015.
• Ari Saptawijaya and Luís Moniz Pereira, Tabdual: a tabled abduction system for logic programs, IfCoLog Journal of Logics and their Applications, College Publications, (url), 2015.
• Maurıcio D. L. Reis, Pavlos Peppas and Eduardo Fermé, Two axiomatic characterizations for the system of spheres-based (and the epistemic entrenchment-based) multiple contractions, Annals of Mathematics and Artificial Intelligence, Springer, DOI: 10.1007/s10472-015-9454-x, 2015.
• Reinhard Kahle, What is a proof?, Axiomathes, Vol. 25, No. 1, Pag. 79-91, (url), 2015.

This year's information may not be complete.