كتاب إلكتروني
Mathematical Aspects of Logic Programming Semantics
العنوان: | Mathematical Aspects of Logic Programming Semantics |
---|---|
المؤلفون: | Hitzler, Pascal, Seda, Anthony |
بيانات النشر: | Taylor & Francis; CRC Press, 2011. |
سنة النشر: | 2011 |
المجموعة: | Books Imported or submitted locally |
Original Material: | 7b3c7b10-5b1e-40b3-860e-c6dd5197f0bb |
مصطلحات موضوعية: | Computer Science (General), Intelligent Systems, Machine Learning, SCI-TECH, COMPUTERSCIENCE, ITECH, INFORMATIONSCIENCE, STM, complete, fixed, ground, level, mappings, order, partial, point, predicate, symbol, bic Book Industry Communication::U Computing & information technology::UM Computer programming / software development::UMK Games development & programming, bic Book Industry Communication::U Computing & information technology::UY Computer science::UYZ Human-computer interaction::UYZM Information architecture, bic Book Industry Communication::U Computing & information technology::UY Computer science::UYA Mathematical theory of computation, bic Book Industry Communication::U Computing & information technology::UY Computer science::UYD Systems analysis & design |
الوصف: | Covering the authors' own state-of-the-art research results, this book presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs. It significantly extends the tools and methods from traditional order theory to include nonconventional methods from mathematical analysis that depend on topology, domain theory, generalized distance functions, and associated fixed-point theory. The authors closely examine the interrelationships between various semantics as well as the integration of logic programming and connectionist systems/neural networks. |
نوع الوثيقة: | book |
وصف الملف: | application/pdf |
اللغة: | English |
ردمك: | 978-0-429-09423-1 0-429-09423-X |
DOI: | 10.1201/b10397 |
الوصول الحر: | https://library.oapen.org/handle/20.500.12657/41648Test |
حقوق: | URL: http://creativecommons.org/licenses/by-nc-nd/4.0Test |
ملاحظات: | ONIX_20200921_9781439829622_8 https://www.taylorfrancis.com/books/9780429094231Test |
رقم الانضمام: | edsoap.20.500.12657.41648 |
قاعدة البيانات: | OAPEN Library |
ردمك: | 9780429094231 042909423X |
---|---|
DOI: | 10.1201/b10397 |