@InCollection{shapiro02,
  Title                    = {The Cognitive Agents Specification Language and
 Verification Environment for Multiagent Systems},
  Author                   = {Shapiro, Steven and Lesp\'{e}rance, Yves and Levesque,
 Hector J.},
  Booktitle                = { Proc. of the First Int. Joint Conference on
 Autonomous Agents and Multiagent Systems (AAMAS-02)},
  Publisher                = {ACM Press},
  Year                     = {2002},
  Editor                   = {Christiano Castelfranchi and W. L. Johnson},
  Pages                    = {19--26},

  File                     = {aamas02.ps:http\://www.cs.toronto.edu/cogrobo/Papers/aamas02.ps:PostScript},
  Key                      = {CogRobo},
  Timestamp                = {2018.09.23},
  Url                      = {aamas02.pdf}
}

{"_id":{"_str":"5342b4530e946d920a003345"},"__v":44,"authorIDs":["54573f5f2abc8e9f37000208","54579a322abc8e9f37000561","545aa113b43425b77200103d","5e3902d7dc5b8ade010000a8","5e3902f4dc5b8ade010000a9","7i58WkympYMAymedx","HKYWGwQsWsEQeD2pP","RmQT3J2e7NKqkbbbe","yqCMzqTg8XXdRCHgn"],"author_short":["Shapiro, S.","Lespérance, Y.","Levesque, H. J."],"bibbaseid":"shapiro-lesprance-levesque-thecognitiveagentsspecificationlanguageandverificationenvironmentformultiagentsystems-2002","bibdata":{"bibtype":"incollection","type":"incollection","title":"The Cognitive Agents Specification Language and Verification Environment for Multiagent Systems","author":[{"propositions":[],"lastnames":["Shapiro"],"firstnames":["Steven"],"suffixes":[]},{"propositions":[],"lastnames":["Lespérance"],"firstnames":["Yves"],"suffixes":[]},{"propositions":[],"lastnames":["Levesque"],"firstnames":["Hector","J."],"suffixes":[]}],"booktitle":"Proc. of the First Int. Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS-02)","publisher":"ACM Press","year":"2002","editor":[{"firstnames":["Christiano"],"propositions":[],"lastnames":["Castelfranchi"],"suffixes":[]},{"firstnames":["W.","L."],"propositions":[],"lastnames":["Johnson"],"suffixes":[]}],"pages":"19–26","file":"aamas02.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/aamas02.ps:PostScript","key":"shapiro02","timestamp":"2018.09.23","url":"aamas02.pdf","bibtex":"@InCollection{shapiro02,\n Title = {The Cognitive Agents Specification Language and\n Verification Environment for Multiagent Systems},\n Author = {Shapiro, Steven and Lesp\\'{e}rance, Yves and Levesque,\n Hector J.},\n Booktitle = { Proc. of the First Int. Joint Conference on\n Autonomous Agents and Multiagent Systems (AAMAS-02)},\n Publisher = {ACM Press},\n Year = {2002},\n Editor = {Christiano Castelfranchi and W. L. Johnson},\n Pages = {19--26},\n\n File = {aamas02.ps:http\\://www.cs.toronto.edu/cogrobo/Papers/aamas02.ps:PostScript},\n Key = {CogRobo},\n Timestamp = {2018.09.23},\n Url = {aamas02.pdf}\n}\n\n","author_short":["Shapiro, S.","Lespérance, Y.","Levesque, H. J."],"editor_short":["Castelfranchi, C.","Johnson, W. L."],"id":"shapiro02","bibbaseid":"shapiro-lesprance-levesque-thecognitiveagentsspecificationlanguageandverificationenvironmentformultiagentsystems-2002","role":"author","urls":{"Paper":"http://www.cs.toronto.edu/kr/publications/aamas02.pdf"},"metadata":{"authorlinks":{}},"downloads":3,"html":""},"bibtype":"incollection","biburl":"http://www.cs.toronto.edu/kr/publications/list.bib","downloads":3,"keywords":[],"search_terms":["cognitive","agents","specification","language","verification","environment","multiagent","systems","shapiro","lespérance","levesque"],"title":"The Cognitive Agents Specification Language and Verification Environment for Multiagent Systems","year":2002,"dataSources":["2LLKDfkxMDdABm58M","optQ3PYGE2PxhriFJ","vAo9zFmkx4MpPsgha"]}