J. Dix

Computational Logic in Multi-Agent Systems

Nonmonotonic and inductive logic