{"_id":"Kne3TDKMadj65FYp9","bibbaseid":"stathis-kakas-lu-demetriou-endriss-bracciali-prosocsaplatformforprogrammingsoftwareagentsincomputationallogic-2004","authorIDs":[],"author_short":["Stathis, K.","Kakas, A.","Lu, W.","Demetriou, N.","Endriss, U.","Bracciali, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Kostas"],"propositions":[],"lastnames":["Stathis"],"suffixes":[]},{"firstnames":["Antonis"],"propositions":[],"lastnames":["Kakas"],"suffixes":[]},{"firstnames":["Wenjin"],"propositions":[],"lastnames":["Lu"],"suffixes":[]},{"firstnames":["Neophytos"],"propositions":[],"lastnames":["Demetriou"],"suffixes":[]},{"firstnames":["Ulle"],"propositions":[],"lastnames":["Endriss"],"suffixes":[]},{"firstnames":["Andrea"],"propositions":[],"lastnames":["Bracciali"],"suffixes":[]}],"title":"PROSOCS: A Platform for Programming Software Agents in Computational Logic","booktitle":"Proceedings of the 4th International Symposium ``From Agent Theory to Agent Implementation'' (AT2AI-2004)","month":"April","year":"2004","editor":[{"firstnames":[],"propositions":[],"lastnames":["J.~Müller"],"suffixes":[]},{"firstnames":[],"propositions":[],"lastnames":["P.~Petta"],"suffixes":[]}],"url":"http://www.illc.uva.nl/~ulle/pubs/files/StathisEtAlAT2AI2004.ps.gz","bibtex":"@InProceedings{StathisEtAlAT2AI2004,\n author = \t {Kostas Stathis and Antonis Kakas and Wenjin Lu and Neophytos Demetriou and Ulle Endriss and Andrea Bracciali},\n title = \t {PROSOCS: A Platform for Programming Software Agents in Computational Logic},\n booktitle = \t {Proceedings of the 4th International Symposium ``From Agent Theory to Agent Implementation'' (AT2AI-2004)},\n month = {April},\n year = \t {2004},\n editor = \t {J.~M\\\"uller and P.~Petta},\n url = {http://www.illc.uva.nl/~ulle/pubs/files/StathisEtAlAT2AI2004.ps.gz}\n}\n\n\n","author_short":["Stathis, K.","Kakas, A.","Lu, W.","Demetriou, N.","Endriss, U.","Bracciali, A."],"editor_short":["J.~Müller","P.~Petta"],"key":"StathisEtAlAT2AI2004","id":"StathisEtAlAT2AI2004","bibbaseid":"stathis-kakas-lu-demetriou-endriss-bracciali-prosocsaplatformforprogrammingsoftwareagentsincomputationallogic-2004","role":"author","urls":{"Paper":"http://www.illc.uva.nl/~ulle/pubs/files/StathisEtAlAT2AI2004.ps.gz"},"downloads":0},"bibtype":"inproceedings","biburl":"https://staff.science.uva.nl/u.endriss/pubs/data/endriss.bib","creationDate":"2020-01-27T17:22:24.369Z","downloads":0,"keywords":[],"search_terms":["prosocs","platform","programming","software","agents","computational","logic","stathis","kakas","lu","demetriou","endriss","bracciali"],"title":"PROSOCS: A Platform for Programming Software Agents in Computational Logic","year":2004,"dataSources":["tttdepmzM7nTNGhka"]}