Logic programs, norms and action: essays in honor of Marek J. Sergot on the occasion of his 60th birthday

Logic for programming, artificial intelligence, and reasoning : 18th international conference, LPAR-18, Merida, Venezuela, March 11-15, 2012 : proceedings

Correct reasoning: essays on logic-based AI in honor of Vladimir Lifschitz

Machine intelligence 12: toward an automated logic of human thought

Advances in information and communication networks: proceedings of the 2018 future of information and communication conference (FICC),vol. 2