• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History
  • ورود / ثبت نام

عنوان
Graph structures for knowledge representation and reasoning :

پدید آورنده
Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton (eds.).

موضوع
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.

رده
Q387

کتابخانه
Center and Library of Islamic Studies in European Languages

محل استقرار
استان: Qom ـ شهر: Qom

Center and Library of Islamic Studies in European Languages

تماس با کتابخانه : 32910706-025

INTERNATIONAL STANDARD BOOK NUMBER

(Number (ISBN
3319781014
(Number (ISBN
3319781022
(Number (ISBN
3319781030
(Number (ISBN
9783319781013
(Number (ISBN
9783319781020
(Number (ISBN
9783319781037
Erroneous ISBN
9783319781013

TITLE AND STATEMENT OF RESPONSIBILITY

Title Proper
Graph structures for knowledge representation and reasoning :
General Material Designation
[Book]
Other Title Information
5th International Workshop, GKR 2017, Melbourne, VIC, Australia, August 21, 2017, Revised selected papers /
First Statement of Responsibility
Madalina Croitoru, Pierre Marquis, Sebastian Rudolph, Gem Stapleton (eds.).

.PUBLICATION, DISTRIBUTION, ETC

Place of Publication, Distribution, etc.
Cham :
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
2018.

PHYSICAL DESCRIPTION

Specific Material Designation and Extent of Item
1 online resource (vii, 139 pages)

SERIES

Series Title
Lecture notes in artificial intelligence
Series Title
Lecture notes in computer science,
Series Title
LNCS sublibrary. SL 7, Artificial intelligence
Volume Designation
10775
ISSN of Series
0302-9743 ;

GENERAL NOTES

Text of Note
Includes author index.

CONTENTS NOTE

Text of Note
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

SUMMARY OR ABSTRACT

Text of Note
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.

ACQUISITION INFORMATION NOTE

Source for Acquisition/Subscription Address
Springer Nature
Stock Number
com.springer.onix.9783319781020

OTHER EDITION IN ANOTHER MEDIUM

International Standard Book Number
9783319781013

PARALLEL TITLE PROPER

Parallel Title
GKR 2017

TOPICAL NAME USED AS SUBJECT

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.

(SUBJECT CATEGORY (Provisional

COM004000
TJFM1
UYQ
UYQ

DEWEY DECIMAL CLASSIFICATION

Number
006
.
3/32
Edition
23

LIBRARY OF CONGRESS CLASSIFICATION

Class number
Q387

PERSONAL NAME - ALTERNATIVE RESPONSIBILITY

Croitoru, Madalina
Marquis, Pierre, (Professor of Computer Science)
Rudolph, Sebastian, (Computer scientist)
Stapleton, Gem

CORPORATE BODY NAME - PRIMARY RESPONSIBILITY

GKR (Conference)(5th :2017 :, Melbourne, Vic.)

ORIGINATING SOURCE

Date of Transaction
20200823112931.0
Cataloguing Rules (Descriptive Conventions))
pn

ELECTRONIC LOCATION AND ACCESS

Electronic name
 مطالعه متن کتاب 

[Book]

Y

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival