Answer Set Solving in Practice (Record no. 86117)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 03290nam a22005535i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 978-3-031-01561-8 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20240730165129.0 |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 220601s2013 sz | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| ISBN | 9783031015618 |
| -- | 978-3-031-01561-8 |
| 082 04 - CLASSIFICATION NUMBER | |
| Call Number | 006.3 |
| 100 1# - AUTHOR NAME | |
| Author | Gebser, Martin. |
| 245 10 - TITLE STATEMENT | |
| Title | Answer Set Solving in Practice |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1st ed. 2013. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Number of Pages | XXV, 212 p. |
| 490 1# - SERIES STATEMENT | |
| Series statement | Synthesis Lectures on Artificial Intelligence and Machine Learning, |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Remark 2 | List of Figures -- List of Tables -- Motivation -- Introduction -- Basic modeling -- Grounding -- Characterizations -- Solving -- Systems -- Advanced modeling -- Conclusions. |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc | 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. Table of Contents: List of Figures / List of Tables / Motivation / Introduction / Basic modeling / Grounding / Characterizations / Solving / Systems / Advanced modeling / Conclusions. |
| 700 1# - AUTHOR 2 | |
| Author 2 | Kaminski, Roland. |
| 700 1# - AUTHOR 2 | |
| Author 2 | Kaufmann, Benjamin. |
| 700 1# - AUTHOR 2 | |
| Author 2 | Schaub, Torsten. |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | https://doi.org/10.1007/978-3-031-01561-8 |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Koha item type | eBooks |
| 264 #1 - | |
| -- | Cham : |
| -- | Springer International Publishing : |
| -- | Imprint: Springer, |
| -- | 2013. |
| 336 ## - | |
| -- | text |
| -- | txt |
| -- | rdacontent |
| 337 ## - | |
| -- | computer |
| -- | c |
| -- | rdamedia |
| 338 ## - | |
| -- | online resource |
| -- | cr |
| -- | rdacarrier |
| 347 ## - | |
| -- | text file |
| -- | |
| -- | rda |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Artificial intelligence. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Machine learning. |
| 650 #0 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Neural networks (Computer science) . |
| 650 14 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Artificial Intelligence. |
| 650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Machine Learning. |
| 650 24 - SUBJECT ADDED ENTRY--SUBJECT 1 | |
| -- | Mathematical Models of Cognitive Processes and Neural Networks. |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| -- | 1939-4616 |
| 912 ## - | |
| -- | ZDB-2-SXSC |
No items available.