عنوان
پدید آورنده
موضوع
رده
QA76.615 .A58 2013eb
QA76
.
615
.
A58
2013eb
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
1608459713
(Number (ISBN
1608459721
(Number (ISBN
9781608459711
(Number (ISBN
9781608459728
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Answer set solving in practice /
General Material Designation
[Book]
First Statement of Responsibility
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, and Torsten Schaub, University of Potsdam.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
San Rafael :
Name of Publisher, Distributor, etc.
Morgan & Claypool Publishers,
Date of Publication, Distribution, etc.
©2013.
Date of Publication, Distribution, etc.
©2013
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (xxv, 212 pages) :
Other Physical Details
illustrations
SERIES
Series Title
Synthesis lectures on artificial intelligence and machine learning,
Volume Designation
#19
ISSN of Series
1939-4616 ;
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references (pages 183-205) and index.
CONTENTS NOTE
Text of Note
Motivation -- Introduction -- Basic modeling -- Grounding -- Characterizations -- Solving -- Systems -- Advanced modeling -- Conclusions.
0
SUMMARY OR ABSTRACT
Text of Note
Answer Set Programming (ASP) is a declarative problem solving approach, initially tailored to modeling problems in the area of Knowledge Representation and Reasoning (KRR). More recently, its attractive combination of a rich yet simple modeling language with high-performance solving capacities has sparked interest in many other areas even beyond KRR. This book presents a practical introduction to ASP, aiming at using ASP languages and systems for solving application problems. Starting from the essential formal foundations, it introduces ASP's solving technology, modeling language and methodology, while illustrating the overall solving process by practical examples.
ACQUISITION INFORMATION NOTE
Source for Acquisition/Subscription Address
Safari Books Online
Stock Number
CL0500000340
OTHER EDITION IN ANOTHER MEDIUM
Title
Answer set solving in practice.
International Standard Book Number
1608459713
TOPICAL NAME USED AS SUBJECT
Declarative programming.
Logic programming.
Declarative programming.
Logic programming.
MATHEMATICS-- Algebra-- Elementary.
(SUBJECT CATEGORY (Provisional
MAT-- 002030
DEWEY DECIMAL CLASSIFICATION
Number
512
.
9
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
615
Book number
.
A58
2013eb
PERSONAL NAME - PRIMARY RESPONSIBILITY
Gebser, Martin
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Kaminski, Roland
Kaufmann, Benjamin
Schaub, Torsten
ORIGINATING SOURCE
Date of Transaction
20200823045625.0
Cataloguing Rules (Descriptive Conventions))
pn
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
