Editorial Board
Applicability conditions for plans with loops: Computability results and algorithms
On truth-gaps, bipolar belief and the assertability of vague propositions
On minimal constraint networks
GAMoN: Discovering M-of-N{¬,∨} hypotheses for text classification by a lattice-based Genetic Algorithm
Computational Logic and Human Thinking: How to Be Artificially Intelligent, Robert Kowalski. (2011)