عنوان
پدید آورنده
موضوع
رده
Q387
Q387
کتابخانه
محل استقرار
شابک
شابک
3319781014
شابک
3319781022
شابک
3319781030
شابک
9783319781013
شابک
9783319781020
شابک
9783319781037
شابک اشتباه
9783319781013
عنوان و نام پديدآور
عنوان اصلي
Graph structures for knowledge representation and reasoning :
نام عام مواد
[Book]
ساير اطلاعات عنواني
5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised selected papers /
نام نخستين پديدآور
Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton (eds.).
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Cham :
نام ناشر، پخش کننده و غيره
Springer,
تاریخ نشرو بخش و غیره
2018.
مشخصات ظاهری
نام خاص و کميت اثر
1 online resource (vii, 139 pages)
فروست
عنوان فروست
Lecture notes in artificial intelligence
عنوان فروست
Lecture notes in computer science,
عنوان فروست
LNCS sublibrary. SL 7, Artificial intelligence
مشخصه جلد
10775
شاپا ي ISSN فروست
0302-9743 ;
يادداشت کلی
متن يادداشت
Includes author index.
یادداشتهای مربوط به مندرجات
متن يادداشت
Exploring, Reasoning With and Validating Directed Graphs by Applying Formal Concept Analysis to Conceptual Graphs -- Subjective Bayesian Networks and Human-in-the-Loop Situational Understanding -- Counting and Conjunctive Queries in the Lifted Junction Tree Algorithm -- Representing and Reasoning about Logical Network Topologies -- From Enterprise Concepts to Formal Concepts: A University Case Study -- Visualizing ALC Using Concept Diagrams -- Graph Theoretical Properties of Logic Based Argumentation Frameworks: Proofs and General Results.
بدون عنوان
0
یادداشتهای مربوط به خلاصه یا چکیده
متن يادداشت
This book constitutes the thoroughly refereed post-conference proceedings of the 5th International Workshop on Graph Structures for Knowledge Representation and Reasoning, GKR 2017, held in Melbourne, VIC, Australia, in August 2017, associated with IJCAI 2017, the 26th International Joint Conference on Artificial Intelligence. The 7 revised full papers presented were reviewed and selected from 9 submissions. The contributions address various issues for knowledge representation and reasoning and the common graph-theoretic background allows to bridge the gap between the different communities.
یادداشتهای مربوط به سفارشات
منبع سفارش / آدرس اشتراک
Springer Nature
شماره انبار
com.springer.onix.9783319781020
ویراست دیگر از اثر در قالب دیگر رسانه
شماره استاندارد بين المللي کتاب و موسيقي
9783319781013
عنوان اصلی به زبان دیگر
عنوان اصلي به زبان ديگر
GKR 2017
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Data structures (Computer science), Congresses.
موضوع مستند نشده
Knowledge representation (Information theory), Congresses.
موضوع مستند نشده
Artificial intelligence.
موضوع مستند نشده
Computers-- Hardware-- Network Hardware.
موضوع مستند نشده
Computers-- Information Technology.
موضوع مستند نشده
Computers-- Intelligence (AI) & Semantics.
موضوع مستند نشده
Computers-- Mathematical & Statistical Software.
موضوع مستند نشده
Computers-- System Administration-- Storage & Retrieval.
موضوع مستند نشده
Data structures (Computer science)
موضوع مستند نشده
Information retrieval.
موضوع مستند نشده
Knowledge representation (Information theory)
موضوع مستند نشده
Mathematical theory of computation.
موضوع مستند نشده
Mathematics-- Logic.
موضوع مستند نشده
Maths for computer scientists.
موضوع مستند نشده
Network hardware.
مقوله موضوعی
موضوع مستند نشده
COM004000
موضوع مستند نشده
TJFM1
موضوع مستند نشده
UYQ
موضوع مستند نشده
UYQ
رده بندی ديویی
شماره
006
.
3/32
ويراست
23
رده بندی کنگره
شماره رده
Q387
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Croitoru, Madalina
مستند نام اشخاص تاييد نشده
Marquis, Pierre, (Professor of Computer Science)
مستند نام اشخاص تاييد نشده
Rudolph, Sebastian, (Computer scientist)
مستند نام اشخاص تاييد نشده
Stapleton, Gem
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
GKR (Conference)(5th :2017 :, Melbourne, Vic.)
مبدا اصلی
تاريخ عمليات
20200823112931.0
قواعد فهرست نويسي ( بخش توصيفي )
pn
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
