{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T18:29:50Z","timestamp":1730226590147,"version":"3.28.0"},"reference-count":30,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/iat.2003.1241079","type":"proceedings-article","created":{"date-parts":[[2004,3,2]],"date-time":"2004-03-02T02:26:50Z","timestamp":1078194410000},"page":"275-281","source":"Crossref","is-referenced-by-count":0,"title":["A task-oriented agent-based mechanism for theorem proving"],"prefix":"10.1109","author":[{"family":"Quoc Bao Vo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/64.621227"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-58156-1_53"},{"key":"ref11","first-page":"277","article-title":"Planning mathematical proofs with methods","volume":"30","author":"huang","year":"1994","journal-title":"EIK"},{"journal-title":"Information Agents Group - University of Southern California Information Sciences Institute","year":"0","key":"ref12"},{"key":"ref13","first-page":"142","article-title":"Towards learning new methods in proof planning","author":"jamnik","year":"2000","journal-title":"Proceedings of the Calculemus Symposium 2000"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/362001.362021"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1006\/jsco.2000.0468"},{"journal-title":"Large-scale Interoperation and Composition (LIC) Projects","year":"0","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1177\/1063293X9300100301"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-44957-4_43"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(99)00076-4"},{"key":"ref28","article-title":"An approach to assertion application via generalized resolution","author":"yo","year":"2003","journal-title":"International Joint Conference on Artificial Intelligence (IJCAI"},{"key":"ref4","article-title":"Tutorial dialogs on mathematical proofs","author":"benzm\u00fcller","year":"2003","journal-title":"To appear"},{"journal-title":"University of Maryland Information Mediation Project","year":"0","key":"ref27"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)00285-3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0012826"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/2.121508"},{"key":"ref5","first-page":"81","article-title":"Oants an open approach at combining interactive and automated theorem proving","author":"benzmtiller","year":"2000","journal-title":"Automation of Reasoning Symbolic Computation"},{"key":"ref8","first-page":"156","article-title":"Agent-Oriented integration of distributed mathematical services","volume":"5","author":"franke","year":"1999","journal-title":"Journal of Universal Computer Science"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/2.179153"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10009-1_22"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/BF01201363"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011289701371"},{"journal-title":"OpenMath","year":"0","key":"ref20"},{"key":"ref22","first-page":"101","article-title":"An interactive proof development environment + anticipation = a mathematical assistant?","volume":"3","author":"siekmann","year":"1999","journal-title":"International Journal of Computing and Anticipatory Systems"},{"key":"ref21","first-page":"144","author":"siekmann","year":"2002","journal-title":"Proc 18th CADE number 2392 in LNAI"},{"journal-title":"The Mizar homepage","year":"0","key":"ref24"},{"journal-title":"Software Agents Group MIT Media Laboratory","year":"0","key":"ref23"},{"journal-title":"The THEOREMA homepage","year":"0","key":"ref26"},{"journal-title":"The Retsina Project","year":"0","key":"ref25"}],"event":{"name":"2003 IEEE\/WIC International Conference on Intelligent Agent Technology","acronym":"IAT-03","location":"Halifax, NS, Canada"},"container-title":["IEEE\/WIC International Conference on Intelligent Agent Technology, 2003. IAT 2003."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8789\/27820\/01241079.pdf?arnumber=1241079","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,14]],"date-time":"2017-03-14T01:03:29Z","timestamp":1489453409000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1241079\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/iat.2003.1241079","relation":{},"subject":[]}}