عنوان
پدید آورنده
موضوع
رده
QA76.63
QA76
.
63
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3030246582
(Number (ISBN
3030246590
(Number (ISBN
3030246604
(Number (ISBN
9783030246587
(Number (ISBN
9783030246594
(Number (ISBN
9783030246600
Erroneous ISBN
3030246574
Erroneous ISBN
9783030246570
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Answer set programming /
General Material Designation
[Book]
First Statement of Responsibility
by Vladimir Lifschitz.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cham, Switzerland :
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
[2019]
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (xi, 190 pages) :
Other Physical Details
illustrations
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index.
CONTENTS NOTE
Text of Note
Introduction -- Input Language of CLINGO -- Combinatorial Search -- Propositional Programs and Minimal Models -- Programs with Negation -- Mathematics of Stable Models -- More about the Language of CLINGO -- Dynamic Systems -- Conclusion.
0
SUMMARY OR ABSTRACT
Text of Note
Answer set programming (ASP) is a programming methodology oriented towards combinatorial search problems. In such a problem, the goal is to find a solution among a large but finite number of possibilities. The idea of ASP came from research on artificial intelligence and computational logic. ASP is a form of declarative programming: an ASP program describes what is counted as a solution to the problem, but does not specify an algorithm for solving it. Search is performed by sophisticated software systems called answer set solvers. Combinatorial search problems often arise in science and technology, and ASP has found applications in diverse areas?in historical linguistic, in bioinformatics, in robotics, in space exploration, in oil and gas industry, and many others. The importance of this programming method was recognized by the Association for the Advancement of Artificial Intelligence in 2016, when AI Magazine published a special issue on answer set programming. The book will introduce the reader to the theory and practice of ASP. It will describe the input language of the answer set solver CLINGO, which was designed at the University of Potsdam in Germany and is used today by ASP programmers in many countries. It will include numerous examples of ASP programs and present the mathematical theory that ASP is based on. There will be many exercises with complete solutions.
ACQUISITION INFORMATION NOTE
Source for Acquisition/Subscription Address
Springer Nature
Stock Number
com.springer.onix.9783030246587
OTHER EDITION IN ANOTHER MEDIUM
Title
Answer set programming.
International Standard Book Number
9783030246570
TOPICAL NAME USED AS SUBJECT
Artificial intelligence.
Logic programming.
Artificial intelligence.
Logic programming.
(SUBJECT CATEGORY (Provisional
COM051010
UMC
UMX
UMX
DEWEY DECIMAL CLASSIFICATION
Number
005
.
13
Edition
23
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
63
PERSONAL NAME - PRIMARY RESPONSIBILITY
Lifschitz, Vladimir
ORIGINATING SOURCE
Date of Transaction
20200823093220.0
Cataloguing Rules (Descriptive Conventions))
pn
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
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
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
