Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings

این جلد شامل مجموعه مقالات پنجمین کنفرانس مشترک بین المللی در مورد استدلال خودکار (IJCAR 2010) است. IJCAR 2010 طی 16 تا 19 ژوئیه به عنوان بخشی از کنفرانس منطق فدرال 2010، به میزبانی دانشکده انفورماتیک در دانشگاه ادینبورگ، اسکاتلند برگزار شد. پشتیبانی حامیان کنفرانس - EPSRC، NSF، تحقیقات مایکروسافت، انجمن منطق نمادین، CADE Inc.، Google، Hewlett-Packard، Intel - با سپاس قدردانی می شود. IJCAR کنفرانس مشترک بین المللی برتر در مورد همه موضوعات در استدلال خودکار، از جمله مبانی، پیاده سازی و برنامه های کاربردی. کنفرانس های قبلی IJCAR در سینا (ایتالیا) در سال 2001، کورک (ایرلند) در سال 2004، سیاتل (ایالات متحده آمریکا) در سال 2006 و سیدنی (استرالیا) در سال 2008 برگزار شد. در سال 2010، IJCAR تلفیقی از رویدادهای زیر بود: -CADE: کنفرانس بین‌المللی کسر خودکار -FroCoS: سمپوزیوم بین‌المللی مرزهای سیستم‌های ترکیبی -FTP: کارگاه بین‌المللی برای اثبات قضیه مرتبه اول - TABLEAUX: InternationalConferenceonAutomated Reasoningwith روش‌ها 89 مقاله ارسالی (63 مقاله معمولی و 26 شرح سیستم) وجود داشت که 40 مورد پذیرفته شد (28 مقاله معمولی و 12 شرح سیستم). هر ارسال به حداقل سه عضو کمیته برنامه اختصاص داده شد که با کمک 92 داور خارجی، مقالات را به دقت بررسی کردند. پس از آن، مطالب ارسالی توسط کمیته برنامه طی دو هفته با استفاده از سیستم EasyChair آندری ورونکوف مورد بحث قرار گرفت. ما می‌خواهیم از آندری برای ارائه سیستم خود بسیار تشکر کنیم، که برای مدیریت ارسال‌ها و بررسی‌ها و بحث کمیته برنامه بسیار مفید بود.

This volume contains the proceedings of the 5th International Joint Conference on Automated Reasoning (IJCAR 2010). IJCAR 2010 was held during July 16-19 as part of the 2010 Federated Logic Conference, hosted by the School of Informatics at the University ofEdinburgh,Scotland. Support by the conference sponsors – EPSRC, NSF, Microsoft Research, Association for Symbolic Logic, CADE Inc. , Google, Hewlett-Packard, Intel – is gratefully acknowledged. IJCARisthepremierinternationaljointconferenceonalltopicsinautomated reasoning, including foundations, implementations, and applications. Previous IJCAR conferences were held at Siena (Italy) in 2001, Cork (Ireland) in 2004, Seattle (USA) in 2006, and Sydney (Australia) in 2008. IJCAR comprises s- eral leading conferences and workshops. In 2010, IJCAR was the fusion of the following events: –CADE: International Conference on Automated Deduction –FroCoS: International Symposium on Frontiers of Combining Systems –FTP: International Workshop on First-Order Theorem Proving – TABLEAUX: InternationalConferenceonAutomatedReasoningwith- alytic Tableaux and Related Methods There were 89 submissions (63 regular papers and 26 system descriptions) of which 40 were accepted (28 regular papers and 12 system descriptions). Each submission was assigned to at least three Program Committee members, who carefully reviewed the papers, with the help of 92 external referees. Afterwards, the submissions were discussed by the ProgramCommittee during two weeks by means of Andrei Voronkov’s EasyChair system. We want to thank Andrei very much for providing his system, which was very helpful for the management of the submissions and reviews and for the discussion of the Program Committee.