@inproceedings{StathisEtAlAT2AI2004,
  author =        {Kostas Stathis and Antonis Kakas and Wenjin Lu and Neophytos Demetriou and Ulle Endriss and Andrea Bracciali},
  title =         {PROSOCS: A Platform for Programming Software Agents in Computational Logic},
  editor =        {J.~M\"uller and P.~Petta},
  booktitle =     {Proceedings of the 4th International Symposium ``From Agent Theory to Agent Implementation'' (AT2AI-2004)},
  month =         {April},
  year =          {2004}
}