دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Artificial Intelligence and Symbolic Computation: International Conference AISC’98 Plattsburg, New York, USA, September 16–18, 1998 Proceedings
دانلود کتاب هوش مصنوعی و محاسبات نمادین: کنفرانس بین المللی AISC’98 Plattsburg ، نیویورک ، ایالات متحده آمریکا ، 16 تا 18 سپتامبر ، مجموعه مقالات
مشخصات کتاب
Artificial Intelligence and Symbolic Computation: International Conference AISC’98 Plattsburg, New York, USA, September 16–18, 1998 Proceedings
دسته بندی: ریاضیات محاسباتی ویرایش: 1 نویسندگان: Luc De Raedt (auth.), Jacques Calmet, Jan Plaza (eds.) سری: Lecture Notes in Computer Science 1476 : Lecture Notes in Artificial Intelligence ISBN (شابک) : 3540649603, 9783540649601 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1998 تعداد صفحات: 623 زبان: English فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 8 مگابایت
قیمت کتاب (تومان) : 46,000
کلمات کلیدی مربوط به کتاب هوش مصنوعی و محاسبات نمادین: کنفرانس بین المللی AISC’98 Plattsburg ، نیویورک ، ایالات متحده آمریکا ، 16 تا 18 سپتامبر ، مجموعه مقالات: هوش مصنوعی (شامل رباتیک)، دستکاری نمادین و جبری، منطق ریاضی و زبان های رسمی، الگوریتم ها
در صورت تبدیل فایل کتاب Artificial Intelligence and Symbolic Computation: International Conference AISC’98 Plattsburg, New York, USA, September 16–18, 1998 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب هوش مصنوعی و محاسبات نمادین: کنفرانس بین المللی AISC’98 Plattsburg ، نیویورک ، ایالات متحده آمریکا ، 16 تا 18 سپتامبر ، مجموعه مقالات نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
توضیحاتی در مورد کتاب هوش مصنوعی و محاسبات نمادین: کنفرانس بین المللی AISC’98 Plattsburg ، نیویورک ، ایالات متحده آمریکا ، 16 تا 18 سپتامبر ، مجموعه مقالات
این کتاب مجموعه مقالات داوری کنفرانس بین المللی هوش مصنوعی و
محاسبات نمادین، AISC'98، که در پلاتسبورگ، نیویورک، در سپتامبر
1998 برگزار شد، تشکیل می شود.
24 مقاله کامل اصلاح شده ارائه شده به دقت برای گنجاندن در
کتاب. این مقالات جنبه‌های مختلف محاسبات نمادین و استدلال رسمی
مانند برنامه‌ریزی منطق استقرایی، استدلال زمینه، جبر
رایانه‌ای، نظریه اثبات و اثبات قضیه، بازنویسی اصطلاح، دستکاری
جبری، تأیید رسمی، حل محدودیت، و کشف دانش را مورد بررسی قرار
می‌دهند.
توضیحاتی درمورد کتاب به خارجی
This book constitutes the refereed proceedings of the
International Conference on Artificial Intelligence and
Symbolic Computation, AISC'98, held in Plattsburgh, NY, in
September 1998.
The 24 revised full papers presented were carefully selected
for inclusion in the book. The papers address various aspects
of symbolic computation and formal reasoning such as
inductive logic programming, context reasoning, computer
algebra, proof theory and theorem proving, term rewriting,
algebraic manipulation, formal verification, constraint
solving, and knowledge discovery.
فهرست مطالب
An inductive logic programming query language for database mining....Pages 1-13
Bertrand Russell, Herbrand’s theorem, and the assignment statement....Pages 14-28
Representing and reasoning with context....Pages 29-41
From integrated reasoning specialists to “plug-and-play≓ reasoning components....Pages 42-54
Reasoning about coding theory: The benefits we get from computer algebra....Pages 55-66
Automatic generation of epsilon-delta proofs of continuity....Pages 67-83
Finite model search for equational theories (FMSET)....Pages 84-93
Specification and integration of theorem provers and computer algebra systems....Pages 94-106
COLETTE, prototyping CSP solvers using a rule-based language....Pages 107-119
An evolutionary algorithm for welding task sequence ordering....Pages 120-131
Intuitionistic proof transformations and their application to constructive program synthesis....Pages 132-144
Combining algebraic computing and term-rewriting for geometry theorem proving....Pages 145-156
Cooperation between top-down and bottom-up theorem provers by subgoal clause transfer....Pages 157-169
Polymorphic call-by-value calculus based on classical proofs....Pages 170-182
Inference and verification in Medical Appropriateness Criteria using Gröbner Bases....Pages 183-194
The unification problem for one relation Thue Systems....Pages 195-208
Basic Completion with E-cycle Simplification....Pages 209-221
SoleX: A domain-independent scheme for constraint solver extension....Pages 222-233
Optimising propositional modal satisfiability for description logic subsumption....Pages 234-246
Instantiation of existentially quantified variables in inductive specification proofs....Pages 247-258
Knowledge discovery objects and queries in Distributed Knowledge Systems....Pages 259-269
ALLTYPES: An algebraic language and TYPE system....Pages 270-283
Real parametrization of algebraic curves....Pages 284-295
Non-clausal reasoning with propositional definite theories....Pages 296-307
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Algorithms, graphs, and computers, Volume 62
دانلود کتاب Design of an object oriented Finite Element package for parallel computers
دانلود کتاب Fourier transforms and convolutions for the experimentalist
دانلود کتاب Parameterized and Exact Computation: Third International Workshop, IWPEC 2008, Victoria, Canada, May 14-16, 2008. Proceedings
دانلود کتاب Graph-based Knowledge Representation: Computational Foundations of Conceptual Graphs
دانلود کتاب Mathematics and CAD: Numerical Methods for CAD
دانلود کتاب Cálculo Numérico
دانلود کتاب Computational Intelligence: International Conference on Intelligent Computing, ICIC 2006, Kunming, China, August 16-19, 2006. Proceedings, Part II
