Answer set solving in practice:
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 s...
Gespeichert in:
| Hauptverfasser: | , , , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cham, Switzerland
Springer
[2022]
|
| Schriftenreihe: | Synthesis lectures on artificial intelligence and machine learning
#19 |
| Schlagworte: | |
| Online-Zugang: | DE-1050 |
| Zusammenfassung: | 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 |
| Beschreibung: | Reprint of original edition © Morgan & Claypool 2013 |
| Beschreibung: | 1 Online-Ressource (xxv, 212 Seiten) |
| ISBN: | 9783031015618 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV050066208 | ||
| 003 | DE-604 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 241203s2022 xx o|||| 00||| eng d | ||
| 020 | |a 9783031015618 |9 978-3-031-01561-8 | ||
| 035 | |a (DE-599)BVBBV050066208 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1050 | ||
| 100 | 1 | |a Gebser, Martin |e Verfasser |0 (DE-588)1208768662 |4 aut | |
| 245 | 1 | 0 | |a Answer set solving in practice |c Martin Gebser, Roland Kaminski, Benjamin Kaufmann, and Torsten Schaub, University of Potsdam |
| 264 | 1 | |a Cham, Switzerland |b Springer |c [2022] | |
| 300 | |a 1 Online-Ressource (xxv, 212 Seiten) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Synthesis lectures on artificial intelligence and machine learning |v #19 | |
| 500 | |a Reprint of original edition © Morgan & Claypool 2013 | ||
| 505 | 8 | |a Motivation -- Introduction -- Basic modeling -- Grounding -- Characterizations -- Solving -- Systems -- Advanced modeling -- Conclusions | |
| 520 | |a 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 | ||
| 650 | 4 | |a answer set programming | |
| 650 | 4 | |a declarative problem solving | |
| 650 | 4 | |a logic programming | |
| 650 | 4 | |a Declarative programming | |
| 650 | 4 | |a Logic programming | |
| 650 | 4 | |a Programmation déclarative | |
| 650 | 4 | |a Programmation logique | |
| 650 | 7 | |a MATHEMATICS / Algebra / Elementary |2 bisacsh | |
| 650 | 7 | |a Declarative programming |2 fast | |
| 650 | 7 | |a Logic programming |2 fast | |
| 700 | 1 | |a Kaminski, Roland |e Verfasser |0 (DE-588)128155295X |4 aut | |
| 700 | 1 | |a Kaufmann, Benjamin |d 1979- |e Verfasser |0 (DE-588)1067680187 |4 aut | |
| 700 | 1 | |a Schaub, Torsten |e Verfasser |0 (DE-588)1166347826 |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe, paperback |z 978-3-031-00433-9 |
| 830 | 0 | |a Synthesis lectures on artificial intelligence and machine learning |v #19 |w (DE-604)BV043983076 |9 19 | |
| 912 | |a ZDB-30-PQE | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-035403704 | |
| 966 | e | |u https://ebookcentral.proquest.com/lib/th-deggendorf/detail.action?docID=1104604 |l DE-1050 |p ZDB-30-PQE |q FHD01_PQE_Kauf |x Aggregator |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1817424343734419456 |
|---|---|
| adam_text | |
| any_adam_object | |
| author | Gebser, Martin Kaminski, Roland Kaufmann, Benjamin 1979- Schaub, Torsten |
| author_GND | (DE-588)1208768662 (DE-588)128155295X (DE-588)1067680187 (DE-588)1166347826 |
| author_facet | Gebser, Martin Kaminski, Roland Kaufmann, Benjamin 1979- Schaub, Torsten |
| author_role | aut aut aut aut |
| author_sort | Gebser, Martin |
| author_variant | m g mg r k rk b k bk t s ts |
| building | Verbundindex |
| bvnumber | BV050066208 |
| collection | ZDB-30-PQE |
| contents | Motivation -- Introduction -- Basic modeling -- Grounding -- Characterizations -- Solving -- Systems -- Advanced modeling -- Conclusions |
| ctrlnum | (DE-599)BVBBV050066208 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV050066208</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">241203s2022 xx o|||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783031015618</subfield><subfield code="9">978-3-031-01561-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV050066208</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-1050</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Gebser, Martin</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1208768662</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Answer set solving in practice</subfield><subfield code="c">Martin Gebser, Roland Kaminski, Benjamin Kaufmann, and Torsten Schaub, University of Potsdam</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham, Switzerland</subfield><subfield code="b">Springer</subfield><subfield code="c">[2022]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xxv, 212 Seiten)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Synthesis lectures on artificial intelligence and machine learning</subfield><subfield code="v">#19</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Reprint of original edition © Morgan & Claypool 2013</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">Motivation -- Introduction -- Basic modeling -- Grounding -- Characterizations -- Solving -- Systems -- Advanced modeling -- Conclusions</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">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</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">answer set programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">declarative problem solving</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">logic programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Declarative programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmation déclarative</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmation logique</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS / Algebra / Elementary</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Declarative programming</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Logic programming</subfield><subfield code="2">fast</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kaminski, Roland</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)128155295X</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kaufmann, Benjamin</subfield><subfield code="d">1979-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1067680187</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Schaub, Torsten</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1166347826</subfield><subfield code="4">aut</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe, paperback</subfield><subfield code="z">978-3-031-00433-9</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Synthesis lectures on artificial intelligence and machine learning</subfield><subfield code="v">#19</subfield><subfield code="w">(DE-604)BV043983076</subfield><subfield code="9">19</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-30-PQE</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-035403704</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://ebookcentral.proquest.com/lib/th-deggendorf/detail.action?docID=1104604</subfield><subfield code="l">DE-1050</subfield><subfield code="p">ZDB-30-PQE</subfield><subfield code="q">FHD01_PQE_Kauf</subfield><subfield code="x">Aggregator</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV050066208 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-03T13:01:58Z |
| institution | BVB |
| isbn | 9783031015618 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-035403704 |
| open_access_boolean | |
| owner | DE-1050 |
| owner_facet | DE-1050 |
| physical | 1 Online-Ressource (xxv, 212 Seiten) |
| psigel | ZDB-30-PQE ZDB-30-PQE FHD01_PQE_Kauf |
| publishDate | 2022 |
| publishDateSearch | 2022 |
| publishDateSort | 2022 |
| publisher | Springer |
| record_format | marc |
| series | Synthesis lectures on artificial intelligence and machine learning |
| series2 | Synthesis lectures on artificial intelligence and machine learning |
| spelling | Gebser, Martin Verfasser (DE-588)1208768662 aut Answer set solving in practice Martin Gebser, Roland Kaminski, Benjamin Kaufmann, and Torsten Schaub, University of Potsdam Cham, Switzerland Springer [2022] 1 Online-Ressource (xxv, 212 Seiten) txt rdacontent c rdamedia cr rdacarrier Synthesis lectures on artificial intelligence and machine learning #19 Reprint of original edition © Morgan & Claypool 2013 Motivation -- Introduction -- Basic modeling -- Grounding -- Characterizations -- Solving -- Systems -- Advanced modeling -- Conclusions 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 answer set programming declarative problem solving logic programming Declarative programming Logic programming Programmation déclarative Programmation logique MATHEMATICS / Algebra / Elementary bisacsh Declarative programming fast Logic programming fast Kaminski, Roland Verfasser (DE-588)128155295X aut Kaufmann, Benjamin 1979- Verfasser (DE-588)1067680187 aut Schaub, Torsten Verfasser (DE-588)1166347826 aut Erscheint auch als Druck-Ausgabe, paperback 978-3-031-00433-9 Synthesis lectures on artificial intelligence and machine learning #19 (DE-604)BV043983076 19 |
| spellingShingle | Gebser, Martin Kaminski, Roland Kaufmann, Benjamin 1979- Schaub, Torsten Answer set solving in practice Synthesis lectures on artificial intelligence and machine learning Motivation -- Introduction -- Basic modeling -- Grounding -- Characterizations -- Solving -- Systems -- Advanced modeling -- Conclusions answer set programming declarative problem solving logic programming Declarative programming Logic programming Programmation déclarative Programmation logique MATHEMATICS / Algebra / Elementary bisacsh Declarative programming fast Logic programming fast |
| title | Answer set solving in practice |
| title_auth | Answer set solving in practice |
| title_exact_search | Answer set solving in practice |
| title_full | Answer set solving in practice Martin Gebser, Roland Kaminski, Benjamin Kaufmann, and Torsten Schaub, University of Potsdam |
| title_fullStr | Answer set solving in practice Martin Gebser, Roland Kaminski, Benjamin Kaufmann, and Torsten Schaub, University of Potsdam |
| title_full_unstemmed | Answer set solving in practice Martin Gebser, Roland Kaminski, Benjamin Kaufmann, and Torsten Schaub, University of Potsdam |
| title_short | Answer set solving in practice |
| title_sort | answer set solving in practice |
| topic | answer set programming declarative problem solving logic programming Declarative programming Logic programming Programmation déclarative Programmation logique MATHEMATICS / Algebra / Elementary bisacsh Declarative programming fast Logic programming fast |
| topic_facet | answer set programming declarative problem solving logic programming Declarative programming Logic programming Programmation déclarative Programmation logique MATHEMATICS / Algebra / Elementary |
| volume_link | (DE-604)BV043983076 |
| work_keys_str_mv | AT gebsermartin answersetsolvinginpractice AT kaminskiroland answersetsolvinginpractice AT kaufmannbenjamin answersetsolvinginpractice AT schaubtorsten answersetsolvinginpractice |