Jürgen Dix, Michael Fisher. Where logic and agents meet. Annals of Mathematics and Artificial Intelligence, 61(1):15-28, 2011. [doi]
@article{DixF11, title = {Where logic and agents meet}, author = {Jürgen Dix and Michael Fisher}, year = {2011}, doi = {10.1007/s10472-010-9223-9}, url = {http://dx.doi.org/10.1007/s10472-010-9223-9}, researchr = {https://researchr.org/publication/DixF11}, cites = {0}, citedby = {0}, journal = {Annals of Mathematics and Artificial Intelligence}, volume = {61}, number = {1}, pages = {15-28}, }