دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings
دانلود کتاب استدلال خودکار: 5th کنفرانس بین المللی مشترک، IJCAR 2010، ادینبورگ، انگلستان، 16-19 ژوئیه 2010. پرونده ها
مشخصات کتاب
Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings
ویرایش: 1 نویسندگان: Anders Schack-Nielsen, Carsten Schürmann (auth.), Jürgen Giesl, Reiner Hähnle (eds.) سری: Lecture Notes in Computer Science 6173 : Lecture Notes in Artificial Intelligence ISBN (شابک) : 3642142028, 9783642142024 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 2010 تعداد صفحات: 545 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 6 مگابایت
قیمت کتاب (تومان) : 56,000
کلمات کلیدی مربوط به کتاب استدلال خودکار: 5th کنفرانس بین المللی مشترک، IJCAR 2010، ادینبورگ، انگلستان، 16-19 ژوئیه 2010. پرونده ها: هوش مصنوعی (شامل رباتیک)، منطق ریاضی و زبان های رسمی، منطق و معانی برنامه ها، طراحی منطق، ریاضیات گسسته در علوم کامپیوتر، ریاضیات محاسبات
در صورت تبدیل فایل کتاب Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب استدلال خودکار: 5th کنفرانس بین المللی مشترک، IJCAR 2010، ادینبورگ، انگلستان، 16-19 ژوئیه 2010. پرونده ها نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب استدلال خودکار: 5th کنفرانس بین المللی مشترک، IJCAR 2010، ادینبورگ، انگلستان، 16-19 ژوئیه 2010. پرونده ها
توضیحاتی درمورد کتاب به خارجی
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.
فهرست مطالب
Front Matter....Pages -
Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus....Pages 1-14
Beluga: A Framework for Programming and Reasoning with Deductive Systems (System Description)....Pages 15-21
MCMT: A Model Checker Modulo Theories....Pages 22-29
On Hierarchical Reasoning in Combinations of Theories....Pages 30-45
Global Caching for Coalgebraic Description Logics....Pages 46-60
Tractable Extensions of the Description Logic $\cal EL$ with Numerical Datatypes....Pages 61-75
Analytic Tableaux for Higher-Order Logic with Choice....Pages 76-90
Monotonicity Inference for Higher-Order Formulas....Pages 91-106
Sledgehammer: Judgement Day....Pages 107-121
Logic between Expressivity and Complexity....Pages 122-126
Multi-Prover Verification of Floating-Point Programs....Pages 127-141
Verifying Safety Properties with the TLA + Proof System....Pages 142-148
MUNCH - Automated Reasoner for Sets and Multisets....Pages 149-155
A Slice-Based Decision Procedure for Type-Based Partial Orders....Pages 156-170
Hierarchical Reasoning for the Verification of Parametric Systems....Pages 171-187
Interpolation and Symbol Elimination in Vampire....Pages 188-195
iProver-Eq: An Instantiation-Based Theorem Prover with Equality....Pages 196-202
Classical Logic with Partial Functions....Pages 203-217
Automated Reasoning for Relational Probabilistic Knowledge Representation....Pages 218-224
Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse....Pages 225-239
Terminating Tableaux for Hybrid Logic with Eventualities....Pages 240-254
Herod and Pilate: Two Tableau Provers for Basic Hybrid Logic....Pages 255-262
Automated Synthesis of Induction Axioms for Programs with Second-Order Recursion....Pages 263-277
Focused Inductive Theorem Proving....Pages 278-292
A Decidable Class of Nested Iterated Schemata....Pages 293-308
RegSTAB: A SAT Solver for Propositional Schemata....Pages 309-315
Linear Quantifier Elimination as an Abstract Decision Procedure....Pages 316-330
A Decision Procedure for CTL * Based on Tableaux and Automata....Pages 331-345
URBiVA: Uniform Reduction to Bit-Vector Arithmetic....Pages 346-352
Induction, Invariants, and Abstraction....Pages 353-353
A Single-Significant-Digit Calculus for Semi-Automated Guesstimation....Pages 354-368
Perfect Discrimination Graphs: Indexing Terms with Integer Exponents....Pages 369-383
An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic....Pages 384-399
Bugs, Moles and Skeletons: Symbolic Reasoning for Software Development....Pages 400-411
Automating Security Analysis: Symbolic Equivalence of Constraint Systems....Pages 412-426
System Description: The Proof Transformation System CERES ....Pages 427-433
Premise Selection in the Naproche System....Pages 434-440
On the Saturation of YAGO....Pages 441-456
Optimized Description Logic Reasoning via Core Blocking....Pages 457-471
An Extension of Complex Role Inclusion Axioms in the Description Logic $\mathcal{SROIQ}$ ....Pages 472-486
Decreasing Diagrams and Relative Termination....Pages 487-501
Monotonicity Criteria for Polynomial Interpretations over the Naturals....Pages 502-517
Termination Tools in Ordered Completion....Pages 518-532
Back Matter....Pages -
نظرات کاربران
کتاب های تصادفی
دانلود کتاب Sustainable IT Architecture: The Progressive Way of Overhauling Information Systems with SOA
دانلود کتاب Foucault's 'History of Sexuality Volume I, The Will to Knowledge'
دانلود کتاب Main Benefits from 30 Years of Joint Projects in Nuclear Safety
دانلود کتاب An analysis of Charles P. Kindleberger's Manias, panics, and crashes: a history of financial crises
