High performance answer set solving: kumulative Dissertation
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Buch |
| Sprache: | English |
| Veröffentlicht: |
2015
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | II, 182 S. |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV042480858 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 150401s2015 m||| 00||| eng d | ||
| 035 | |a (OCoLC)909903103 | ||
| 035 | |a (DE-599)GBV819076651 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-188 |a DE-12 | ||
| 100 | 1 | |a Kaufmann, Benjamin |d 1979- |e Verfasser |0 (DE-588)1067680187 |4 aut | |
| 245 | 1 | 0 | |a High performance answer set solving |b kumulative Dissertation |c vorgelegt von Benjamin Kaufmann |
| 264 | 1 | |c 2015 | |
| 300 | |a II, 182 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 502 | |a Potsdam, Univ., Diss., 2015 | ||
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027915836&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027915836 | ||
Datensatz im Suchindex
| _version_ | 1804153209636257792 |
|---|---|
| adam_text | CONTENTS
1 INTRODUCTION 1
1.1 OVERVIEW OF PUBLICATIONS 3
1.2 AUTHOR CONTRIBUTIONS 6
2 CONFLICT-DRIVEN ANSWER SET SOLVING: FROM THEORY TO PRACTICE 9
2.1 INTRODUCTION 11
2.2 BACKGROUND 12
2.3 NOGOODS OF LOGIC PROGRAMS 13
2.4 CONFLICT-DRIVEN ASP SOLVING 19
2.5 THE CLASP SYSTEM 28
2.6 EXPERIMENTAL RESULTS 31
2.7 RELATED WORK 36
2.8 SUMMARY 37
3 ADVANCED PREPROCESSING FOR ANSWER SET SOLVING 49
3.1 INTRODUCTION 51
3.2 BACKGROUND 51
3.3 PREPROCESSING 52
3.4 EXPERIMENTS 54
3.5 DISCUSSION 54
4 ON THE IMPLEMENTATION OF WEIGHT CONSTRAINT RULES IN CONFLICT-DRIVEN
ASP SOLVERS 57
4.1 INTRODUCTION 59
4.2 BACKGROUND 60
4.3 INFERENCES FROM WEIGHT CONSTRAINT PROGRAMS 60
4.4 IMPLEMENTATION OF WEIGHT CONSTRAINTS IN CLASP 65
4.5 EXPERIMENTS 71
4.6 DISCUSSION 72
5 MULTI-THREADED ASP SOLVING WITH CLASP 75
5.1 INTRODUCTION 77
5.2 PARALLEL ASP SOLVING 78
5.3 COMPONENT ARCHITECTURE 80
5.4 COMMUNICATION ARCHITECTURE 83
5.5 IMPLEMENTATION 87
5.6 EXPERIMENTS 89
5.7 RELATED WORK 92
5.8 DISCUSSION 93
HTTP://D-NB.INFO/1069782130
6 ADVANCED CONFLICT-DRIVEN DISJUNCTIVE ANSWER SET SOLVING 99
6.1 INTRODUCTION 101
6.2 BACKGROUND 101
6.3 BOOLEAN CONSTRAINTS 102
6.4 THE CLASPD-2 SYSTEM 105
6.5 EXPERIMENTS 106
6.6 DISCUSSION 106
7 SOLUTION ENUMERATION FOR PROJECTED BOOLEAN SEARCH PROBLEMS 109
7.1 INTRODUCTION ILL
7.2 BACKGROUND 112
7.3 ALGORITHMS FOR SOLUTION PROJECTION 113
7.4 EXPERIMENTS 121
7.5 DISCUSSION 124
8 MULTI-CRITERIA OPTIMIZATION IN ANSWER SET PROGRAMMING 127
8.1 INTRODUCTION 129
8.2 BACKGROUND 130
8.3 MULTI-CRITERIA OPTIMIZATION ALGORITHM 130
8.4 EXPERIMENTS 134
8.5 DISCUSSION 137
9 DISCUSSION 139
9.1 ADVANCED PREPROCESSING 140
9.2 CONFLICT-DRIVEN ANSWER SET SOLVING 142
9.3 PARALLEL ANSWER SET SOLVING 150
9.4 DISJUNCTIVE ANSWER SET SOLVING 155
9.5 COMPLEX REASONING 158
9.6 ONGOING AND FURTHER WORK 162
10 SUMMARY 165
BIBLIOGRAPHY 169
II
|
| any_adam_object | 1 |
| author | Kaufmann, Benjamin 1979- |
| author_GND | (DE-588)1067680187 |
| author_facet | Kaufmann, Benjamin 1979- |
| author_role | aut |
| author_sort | Kaufmann, Benjamin 1979- |
| author_variant | b k bk |
| building | Verbundindex |
| bvnumber | BV042480858 |
| ctrlnum | (OCoLC)909903103 (DE-599)GBV819076651 |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01047nam a2200277 c 4500</leader><controlfield tag="001">BV042480858</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">150401s2015 m||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)909903103</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)GBV819076651</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-188</subfield><subfield code="a">DE-12</subfield></datafield><datafield tag="100" 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="245" ind1="1" ind2="0"><subfield code="a">High performance answer set solving</subfield><subfield code="b">kumulative Dissertation</subfield><subfield code="c">vorgelegt von Benjamin Kaufmann</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="c">2015</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">II, 182 S.</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Potsdam, Univ., Diss., 2015</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027915836&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027915836</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV042480858 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:22:58Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027915836 |
| oclc_num | 909903103 |
| open_access_boolean | |
| owner | DE-188 DE-12 |
| owner_facet | DE-188 DE-12 |
| physical | II, 182 S. |
| publishDate | 2015 |
| publishDateSearch | 2015 |
| publishDateSort | 2015 |
| record_format | marc |
| spelling | Kaufmann, Benjamin 1979- Verfasser (DE-588)1067680187 aut High performance answer set solving kumulative Dissertation vorgelegt von Benjamin Kaufmann 2015 II, 182 S. txt rdacontent n rdamedia nc rdacarrier Potsdam, Univ., Diss., 2015 (DE-588)4113937-9 Hochschulschrift gnd-content DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027915836&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Kaufmann, Benjamin 1979- High performance answer set solving kumulative Dissertation |
| subject_GND | (DE-588)4113937-9 |
| title | High performance answer set solving kumulative Dissertation |
| title_auth | High performance answer set solving kumulative Dissertation |
| title_exact_search | High performance answer set solving kumulative Dissertation |
| title_full | High performance answer set solving kumulative Dissertation vorgelegt von Benjamin Kaufmann |
| title_fullStr | High performance answer set solving kumulative Dissertation vorgelegt von Benjamin Kaufmann |
| title_full_unstemmed | High performance answer set solving kumulative Dissertation vorgelegt von Benjamin Kaufmann |
| title_short | High performance answer set solving |
| title_sort | high performance answer set solving kumulative dissertation |
| title_sub | kumulative Dissertation |
| topic_facet | Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027915836&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT kaufmannbenjamin highperformanceanswersetsolvingkumulativedissertation |