A guided tour of artificial intelligence research: volume 2 AI algorithms
Saved in:
| Other Authors: | , , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Cham
Springer
[2020]
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis Klappentext |
| Physical Description: | xv, 523 Seiten Illustrationen, Diagramme 24 cm |
| ISBN: | 9783030061661 |
Staff View
MARC
| LEADER | 00000nam a2200000 cc4500 | ||
|---|---|---|---|
| 001 | BV046915869 | ||
| 003 | DE-604 | ||
| 005 | 20220715 | ||
| 007 | t | ||
| 008 | 200928s2020 a||| |||| 00||| eng d | ||
| 020 | |a 9783030061661 |9 978-3-030-06166-1 | ||
| 035 | |a (OCoLC)1226706035 | ||
| 035 | |a (DE-599)BVBBV046915869 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-355 |a DE-210 | ||
| 245 | 1 | 0 | |a A guided tour of artificial intelligence research |n volume 2 |p AI algorithms |c Pierre Marquis, Odile Papini, Henri Prade (editors) |
| 264 | 1 | |a Cham |b Springer |c [2020] | |
| 300 | |a xv, 523 Seiten |b Illustrationen, Diagramme |c 24 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 0 | 7 | |a Wissensextraktion |0 (DE-588)4546354-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Algorithmus |0 (DE-588)4001183-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 689 | 0 | 0 | |a Künstliche Intelligenz |0 (DE-588)4033447-8 |D s |
| 689 | 0 | 1 | |a Algorithmus |0 (DE-588)4001183-5 |D s |
| 689 | 0 | 2 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 0 | 3 | |a Wissensextraktion |0 (DE-588)4546354-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Marquis, Pierre |0 (DE-588)138224048 |4 edt | |
| 700 | 1 | |a Papini, Odile |4 edt | |
| 700 | 1 | |a Prade, Henri |d 1953- |0 (DE-588)170518280 |4 edt | |
| 773 | 0 | 8 | |w (DE-604)BV046915800 |g 2 |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-030-06167-8 |
| 856 | 4 | 2 | |m Digitalisierung UB Regensburg - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=032325196&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Digitalisierung UB Regensburg - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=032325196&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Klappentext |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-032325196 | ||
Record in the Search Index
| _version_ | 1804181799769735169 |
|---|---|
| adam_text | Contents Heuristically Ordered Search in State Graphs............................................ Henri Farreny 1 Meta-heuristics and Artificial Intelligence................................................... Jin-Као Hao and Christine Solnon 27 Automated Deduction........................................................................................ Thierry Boy de la Tour, Ricardo Caferra, Nicola Olivetti, Nicolas Peltier and Camilla Schwind 53 Logic Programming.......................................................................................... Arnaud Lallouet, Yves Moinard, Pascal Nicolas and Igor Stéphan 83 Reasoning with Propositional Logic: From SAT Solvers to Knowledge Compilation .............................................................................. Laurent Simon 115 Constraint Reasoning........................................................................................ Christian Bessiere 153 Valued Constraint Satisfaction Problems ................................................... Martin C. Cooper, Simon de Givry and Thomas Schiex 185 Belief Graphical Models for Uncertainty Representation and Reasoning..................................................................................................... Salem Benferhat, Philippe Leray and Karim Tabia 209 Languages for Probabilistic Modeling Over Structured and Relational Domains..................................................................................... Fabio Gagliardi Cozman 247 Planning in Artificial Intelligence..................................................................... Régis
Sabbadin, Florent Teichteil-Königsbuch and Vincent Vidal 285 ix
x Contents Artificial Intelligence for Games...................................................................... Bruno Bouzy, Tristan Cazenave, Vincent Comible and Olivier Teytaud 313 Designing Algorithms for Machine Learning and Data Mining.............. Antoine Comuéjols and Christel Vrain 339 Formal Concept Analysis: From Knowledge Discovery to Knowledge Processing................................................................................. Sébastien Ferré, Marianne Huchard, Mehdi Kaytoue, Sergei O. Kuznetsov and Amedeo Napoli 411 Constrained Clustering: Current and New Trends..................................... Pierre Gançarski, Thi-Bich-Hanh Dao, Bruno Crémilleux, Germain Forestier and Thomas Lampert 447 Afterword—Artificial Intelligence and Operations Research.................... Philippe Chrétienne 485 Index..................................................................................................................... 493
Pierre Marquis * Odile Papini · Henri Prade Editors A Guided Tour of Artificial Intelligence Research 1 ^ Aí Algorithms The purpose of this book is to provide an overview of AI research, ranging from basic work to interfaces and applications, with as much emphasis on results as on current issues. It is aimed at an audience of master students and Ph.D, students, and can be of interest as well for researchers and engineers who want to know more about AI. The book is split into three volumes: • • • the first volume brings together twenty-three chapters dealing with the foun dations of knowledge representation and the formalization of reasoning and learning (Volume 1. Knowledge representation, reasoning and learning) the second volume offers a view of AI, in fourteen chapters, from the side of the algorithms (Volume 2. AI algorithms) the third volume, composed of sixteen chapters, describes the main interfaces and applications of AI (Volume 3. Interfaces and applications of AI). This second volume presents the main families of algorithms developed or used in AI to learn, to infer, to decide. Generic approaches to problem solving are present ed: ordered heuristic search, as well as metaheuristics are considered. Algorithms for processing logic-based representations of various types (first-order formulae, propositional formulae, logic programs, etc.) and graphical models of various types (standard constraint networks, valued ones, Bayes nets, Markov random fields, etc.) are presented. The volume also focuses on algorithms which have been developed to simulate specific
intelligent’ processes such as planning, playing, learning, and extracting knowledge from data. Finally, an afterword draws a parallel between algo rithmic problems in operations research and in AI.
|
| adam_txt |
Contents Heuristically Ordered Search in State Graphs. Henri Farreny 1 Meta-heuristics and Artificial Intelligence. Jin-Као Hao and Christine Solnon 27 Automated Deduction. Thierry Boy de la Tour, Ricardo Caferra, Nicola Olivetti, Nicolas Peltier and Camilla Schwind 53 Logic Programming. Arnaud Lallouet, Yves Moinard, Pascal Nicolas and Igor Stéphan 83 Reasoning with Propositional Logic: From SAT Solvers to Knowledge Compilation . Laurent Simon 115 Constraint Reasoning. Christian Bessiere 153 Valued Constraint Satisfaction Problems . Martin C. Cooper, Simon de Givry and Thomas Schiex 185 Belief Graphical Models for Uncertainty Representation and Reasoning. Salem Benferhat, Philippe Leray and Karim Tabia 209 Languages for Probabilistic Modeling Over Structured and Relational Domains. Fabio Gagliardi Cozman 247 Planning in Artificial Intelligence. Régis
Sabbadin, Florent Teichteil-Königsbuch and Vincent Vidal 285 ix
x Contents Artificial Intelligence for Games. Bruno Bouzy, Tristan Cazenave, Vincent Comible and Olivier Teytaud 313 Designing Algorithms for Machine Learning and Data Mining. Antoine Comuéjols and Christel Vrain 339 Formal Concept Analysis: From Knowledge Discovery to Knowledge Processing. Sébastien Ferré, Marianne Huchard, Mehdi Kaytoue, Sergei O. Kuznetsov and Amedeo Napoli 411 Constrained Clustering: Current and New Trends. Pierre Gançarski, Thi-Bich-Hanh Dao, Bruno Crémilleux, Germain Forestier and Thomas Lampert 447 Afterword—Artificial Intelligence and Operations Research. Philippe Chrétienne 485 Index. 493
Pierre Marquis * Odile Papini · Henri Prade Editors A Guided Tour of Artificial Intelligence Research 1 ^ Aí Algorithms The purpose of this book is to provide an overview of AI research, ranging from basic work to interfaces and applications, with as much emphasis on results as on current issues. It is aimed at an audience of master students and Ph.D, students, and can be of interest as well for researchers and engineers who want to know more about AI. The book is split into three volumes: • • • the first volume brings together twenty-three chapters dealing with the foun dations of knowledge representation and the formalization of reasoning and learning (Volume 1. Knowledge representation, reasoning and learning) the second volume offers a view of AI, in fourteen chapters, from the side of the algorithms (Volume 2. AI algorithms) the third volume, composed of sixteen chapters, describes the main interfaces and applications of AI (Volume 3. Interfaces and applications of AI). This second volume presents the main families of algorithms developed or used in AI to learn, to infer, to decide. Generic approaches to problem solving are present ed: ordered heuristic search, as well as metaheuristics are considered. Algorithms for processing logic-based representations of various types (first-order formulae, propositional formulae, logic programs, etc.) and graphical models of various types (standard constraint networks, valued ones, Bayes nets, Markov random fields, etc.) are presented. The volume also focuses on algorithms which have been developed to simulate specific
'intelligent’ processes such as planning, playing, learning, and extracting knowledge from data. Finally, an afterword draws a parallel between algo rithmic problems in operations research and in AI. |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author2 | Marquis, Pierre Papini, Odile Prade, Henri 1953- |
| author2_role | edt edt edt |
| author2_variant | p m pm o p op h p hp |
| author_GND | (DE-588)138224048 (DE-588)170518280 |
| author_facet | Marquis, Pierre Papini, Odile Prade, Henri 1953- |
| building | Verbundindex |
| bvnumber | BV046915869 |
| ctrlnum | (OCoLC)1226706035 (DE-599)BVBBV046915869 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02183nam a2200445 cc4500</leader><controlfield tag="001">BV046915869</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20220715 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">200928s2020 a||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783030061661</subfield><subfield code="9">978-3-030-06166-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1226706035</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV046915869</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-355</subfield><subfield code="a">DE-210</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">A guided tour of artificial intelligence research</subfield><subfield code="n">volume 2</subfield><subfield code="p">AI algorithms</subfield><subfield code="c">Pierre Marquis, Odile Papini, Henri Prade (editors)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham</subfield><subfield code="b">Springer</subfield><subfield code="c">[2020]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xv, 523 Seiten</subfield><subfield code="b">Illustrationen, Diagramme</subfield><subfield code="c">24 cm</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="650" ind1="0" ind2="7"><subfield code="a">Wissensextraktion</subfield><subfield code="0">(DE-588)4546354-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Algorithmus</subfield><subfield code="0">(DE-588)4001183-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Künstliche Intelligenz</subfield><subfield code="0">(DE-588)4033447-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Algorithmus</subfield><subfield code="0">(DE-588)4001183-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Wissensextraktion</subfield><subfield code="0">(DE-588)4546354-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Marquis, Pierre</subfield><subfield code="0">(DE-588)138224048</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Papini, Odile</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Prade, Henri</subfield><subfield code="d">1953-</subfield><subfield code="0">(DE-588)170518280</subfield><subfield code="4">edt</subfield></datafield><datafield tag="773" ind1="0" ind2="8"><subfield code="w">(DE-604)BV046915800</subfield><subfield code="g">2</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-030-06167-8</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Regensburg - ADAM Catalogue Enrichment</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=032325196&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Regensburg - ADAM Catalogue Enrichment</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=032325196&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Klappentext</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-032325196</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Aufsatzsammlung |
| id | DE-604.BV046915869 |
| illustrated | Illustrated |
| index_date | 2024-07-03T15:29:38Z |
| indexdate | 2024-07-10T08:57:24Z |
| institution | BVB |
| isbn | 9783030061661 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-032325196 |
| oclc_num | 1226706035 |
| open_access_boolean | |
| owner | DE-355 DE-BY-UBR DE-210 |
| owner_facet | DE-355 DE-BY-UBR DE-210 |
| physical | xv, 523 Seiten Illustrationen, Diagramme 24 cm |
| publishDate | 2020 |
| publishDateSearch | 2020 |
| publishDateSort | 2020 |
| publisher | Springer |
| record_format | marc |
| spelling | A guided tour of artificial intelligence research volume 2 AI algorithms Pierre Marquis, Odile Papini, Henri Prade (editors) Cham Springer [2020] xv, 523 Seiten Illustrationen, Diagramme 24 cm txt rdacontent n rdamedia nc rdacarrier Wissensextraktion (DE-588)4546354-2 gnd rswk-swf Künstliche Intelligenz (DE-588)4033447-8 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Algorithmus (DE-588)4001183-5 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content Künstliche Intelligenz (DE-588)4033447-8 s Algorithmus (DE-588)4001183-5 s Logische Programmierung (DE-588)4195096-3 s Wissensextraktion (DE-588)4546354-2 s DE-604 Marquis, Pierre (DE-588)138224048 edt Papini, Odile edt Prade, Henri 1953- (DE-588)170518280 edt (DE-604)BV046915800 2 Erscheint auch als Online-Ausgabe 978-3-030-06167-8 Digitalisierung UB Regensburg - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=032325196&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis Digitalisierung UB Regensburg - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=032325196&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Klappentext |
| spellingShingle | A guided tour of artificial intelligence research Wissensextraktion (DE-588)4546354-2 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd Logische Programmierung (DE-588)4195096-3 gnd Algorithmus (DE-588)4001183-5 gnd |
| subject_GND | (DE-588)4546354-2 (DE-588)4033447-8 (DE-588)4195096-3 (DE-588)4001183-5 (DE-588)4143413-4 |
| title | A guided tour of artificial intelligence research |
| title_auth | A guided tour of artificial intelligence research |
| title_exact_search | A guided tour of artificial intelligence research |
| title_exact_search_txtP | A guided tour of artificial intelligence research |
| title_full | A guided tour of artificial intelligence research volume 2 AI algorithms Pierre Marquis, Odile Papini, Henri Prade (editors) |
| title_fullStr | A guided tour of artificial intelligence research volume 2 AI algorithms Pierre Marquis, Odile Papini, Henri Prade (editors) |
| title_full_unstemmed | A guided tour of artificial intelligence research volume 2 AI algorithms Pierre Marquis, Odile Papini, Henri Prade (editors) |
| title_short | A guided tour of artificial intelligence research |
| title_sort | a guided tour of artificial intelligence research ai algorithms |
| topic | Wissensextraktion (DE-588)4546354-2 gnd Künstliche Intelligenz (DE-588)4033447-8 gnd Logische Programmierung (DE-588)4195096-3 gnd Algorithmus (DE-588)4001183-5 gnd |
| topic_facet | Wissensextraktion Künstliche Intelligenz Logische Programmierung Algorithmus Aufsatzsammlung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=032325196&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=032325196&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV046915800 |
| work_keys_str_mv | AT marquispierre aguidedtourofartificialintelligenceresearchvolume2 AT papiniodile aguidedtourofartificialintelligenceresearchvolume2 AT pradehenri aguidedtourofartificialintelligenceresearchvolume2 |