{"_id":{"_str":"51f79aa459ced8df44001912"},"__v":32,"authorIDs":["54573f5f2abc8e9f37000208","54579a322abc8e9f37000561","545aa113b43425b77200103d"],"author_short":["Shapiro, S.","Lespérance, Y.","Levesque, H. J.","Castelfranchi, C.","Johnson, W. L."],"bibbaseid":"shapiro-lesprance-levesque-castelfranchi-johnson-thecognitiveagentsspecificationlanguageandverificationenvironmentformultiagentsystems-2002","bibdata":{"bibtype":"incollection","type":"incollection","author":[{"firstnames":["Steven"],"propositions":[],"lastnames":["Shapiro"],"suffixes":[]},{"firstnames":["Yves"],"propositions":[],"lastnames":["Lespérance"],"suffixes":[]},{"firstnames":["Hector","J."],"propositions":[],"lastnames":["Levesque"],"suffixes":[]},{"firstnames":["Christiano"],"propositions":[],"lastnames":["Castelfranchi"],"suffixes":[]},{"firstnames":["W.","L."],"propositions":[],"lastnames":["Johnson"],"suffixes":[]}],"title":"The Cognitive Agents Specification Language and Verification Environment for Multiagent Systems","booktitle":"Proc. of the First Int. Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-02)","key":"shapiro02","pages":"19--26","url":"aamas02.pdf","year":"2002","bibtex":"@incollection{ shapiro02,\n author = {Steven Shapiro and Yves Lespérance and Hector J. Levesque and Christiano Castelfranchi and W. L. Johnson},\n title = {The Cognitive Agents Specification Language and Verification Environment for Multiagent Systems},\n booktitle = {Proc. of the First Int. Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-02)},\n key = {CogRobo},\n pages = {19--26},\n url = {aamas02.pdf} ,\n year = {2002}\n}\n\n\n","author_short":["Shapiro, S.","Lespérance, Y.","Levesque, H. J.","Castelfranchi, C.","Johnson, W. L."],"id":"shapiro02","bibbaseid":"shapiro-lesprance-levesque-castelfranchi-johnson-thecognitiveagentsspecificationlanguageandverificationenvironmentformultiagentsystems-2002","role":"author","urls":{"Paper":"http://data.bibbase.org/provenance/httpwwwcstorontoedukrpublicationslistbib/aamas02.pdf"},"downloads":0,"html":""},"bibtype":"incollection","biburl":"http://data.bibbase.org/provenance/httpwwwcstorontoedukrpublicationslistbib/?format=bibtex","downloads":0,"keywords":[],"search_terms":["cognitive","agents","specification","language","verification","environment","multiagent","systems","shapiro","lespérance","levesque","castelfranchi","johnson"],"title":"The Cognitive Agents Specification Language and Verification Environment for Multiagent Systems","title_words":["cognitive","agents","specification","language","verification","environment","multiagent","systems"],"year":2002,"dataSources":["YjG8LNSHJbrQothJ5"]}