Jürgen Dix;João Leite;Ken Satoh
TU Clausthal, Germany;New University of Lisbon, Portugal;National Inst. for Informatics, Japan
Where logic and agents meet
Annals of Mathematics and Artificial Intelligence