Mathematical aspects of logic programming semantics:
Gespeichert in:
| Beteilige Person: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | Englisch |
| Schriftenreihe: | Chapman & Hall/CRC studies in informatics series
|
| Schlagwörter: | |
| Links: | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=935008 |
| Abstract: | "Covering the authors' own state-of-the-art research results, Mathematical Aspects of Logic Programming Semantics presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs. It significantly extends the tools and methods from traditional order theory to include nonconventional methods from mathematical analysis that depend on topology, domain theory, generalized distance functions, and associated fixed-point theory. The book covers topics spanning the period from the early days of logic programming to current times. It discusses applications to computational logic and potential applications to the integration of models of computation, knowledge representation and reasoning, and the Semantic Web. The authors develop well-known and important semantics in logic programming from a unified point of view using both order theory and new, nontraditional methods. They closely examine the interrelationships between various semantics as well as the integration of logic programming and connectionist systems/neural networks. For readers interested in the interface between mathematics and computer science, this book offers a detailed development of the mathematical techniques necessary for studying the semantics of logic programs. It illustrates the main semantics of logic programs and applies the methods in the context of neural-symbolic integration"--Provided by publisher "Presenting the methods required to study the semantics of logic programs, this book significantly extends these tools from the order theory traditionally used in the subject to include nontraditional methods depending on topology, generalized distance functions, and their associated fixed-point theory. The authors provide a self-contained, detailed overview of the development of both conventional and nonconventional methods and techniques, fulfilling a significant gap in the literature on theoretical computer science. They examine the interaction between logic programming and connectionist systems from the point of view of semantics"--Provided by publisher |
| Umfang: | 1 Online-Ressource (xxx, 274 Seiten) illustrations |
| ISBN: | 1439829624 9781439829622 |
| Zugangsbedingungen: | Open Access |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV048282989 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 220610s2011 xx a||| ob||| 00||| eng d | ||
| 020 | |a 1439829624 |q (electronic bk.) |9 1439829624 | ||
| 020 | |a 9781439829622 |q (electronic bk.) |9 9781439829622 | ||
| 020 | |z 1439829616 |q (hardback) |9 1439829616 | ||
| 020 | |z 9781439829615 |q (hardback) |9 9781439829615 | ||
| 035 | |a (OCoLC)814374374 | ||
| 035 | |a (DE-599)BVBBV048282989 | ||
| 040 | |a DE-604 |b ger | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-355 | ||
| 084 | |a ST 125 |0 (DE-625)143586: |2 rvk | ||
| 100 | 1 | |a Hitzler, Pascal |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Mathematical aspects of logic programming semantics |c Pascal Hitzler, Anthony Seda |
| 264 | 0 | |a Boca Raton, FL |b CRC Press |c ©2011 | |
| 300 | |a 1 Online-Ressource (xxx, 274 Seiten) |b illustrations | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Chapman & Hall/CRC studies in informatics series | |
| 505 | 8 | |a 1. Order and logic -- 2. The semantics of logic problems -- 3. Topology and logic programming -- 4. Fixed-point theory for generalized metric spaces -- 5. Supported model semantics -- 6. Stable and perfect model semantics -- 7. Logic programming and artificial neural networks -- 8. Final thoughts | |
| 506 | 0 | |a Open Access |5 EbpS | |
| 520 | 3 | |a "Covering the authors' own state-of-the-art research results, Mathematical Aspects of Logic Programming Semantics presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs. It significantly extends the tools and methods from traditional order theory to include nonconventional methods from mathematical analysis that depend on topology, domain theory, generalized distance functions, and associated fixed-point theory. The book covers topics spanning the period from the early days of logic programming to current times. It discusses applications to computational logic and potential applications to the integration of models of computation, knowledge representation and reasoning, and the Semantic Web. The authors develop well-known and important semantics in logic programming from a unified point of view using both order theory and new, nontraditional methods. They closely examine the interrelationships between various semantics as well as the integration of logic programming and connectionist systems/neural networks. For readers interested in the interface between mathematics and computer science, this book offers a detailed development of the mathematical techniques necessary for studying the semantics of logic programs. It illustrates the main semantics of logic programs and applies the methods in the context of neural-symbolic integration"--Provided by publisher | |
| 520 | 3 | |a "Presenting the methods required to study the semantics of logic programs, this book significantly extends these tools from the order theory traditionally used in the subject to include nontraditional methods depending on topology, generalized distance functions, and their associated fixed-point theory. The authors provide a self-contained, detailed overview of the development of both conventional and nonconventional methods and techniques, fulfilling a significant gap in the literature on theoretical computer science. They examine the interaction between logic programming and connectionist systems from the point of view of semantics"--Provided by publisher | |
| 546 | |a English | ||
| 650 | 7 | |a Langages de programmation |2 Sémantique | |
| 650 | 4 | |a Programmation logique | |
| 650 | 7 | |a COMPUTERS |2 Programming | |
| 650 | 4 | |a Logic programming | |
| 650 | 7 | |a MATHEMATICS |2 Logic | |
| 650 | 7 | |a Programming languages (Electronic computers) |2 Semantics | |
| 650 | 4 | |a Logic programming | |
| 650 | 4 | |a Programming languages (Electronic computers) |x Semantics | |
| 650 | 0 | 7 | |a Semantische Analyse |0 (DE-588)4169748-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Methode |0 (DE-588)4155620-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 653 | 6 | |a Electronic books | |
| 689 | 0 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 0 | 1 | |a Semantische Analyse |0 (DE-588)4169748-0 |D s |
| 689 | 0 | 2 | |a Mathematische Methode |0 (DE-588)4155620-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Seda, Anthony |e Sonstige |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |a Hitzler, Pascal |t Mathematical aspects of logic programming semantics |d Boca Raton, FL : CRC Press, ©2011 |z 9781439829615 |
| 856 | 4 | 0 | |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=935008 |x Verlag |z kostenfrei |3 Volltext |
| 912 | |a ZDB-4-EOAC | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-033663155 | |
Datensatz im Suchindex
| _version_ | 1818989580967215104 |
|---|---|
| any_adam_object | |
| author | Hitzler, Pascal |
| author_facet | Hitzler, Pascal |
| author_role | aut |
| author_sort | Hitzler, Pascal |
| author_variant | p h ph |
| building | Verbundindex |
| bvnumber | BV048282989 |
| classification_rvk | ST 125 |
| collection | ZDB-4-EOAC |
| contents | 1. Order and logic -- 2. The semantics of logic problems -- 3. Topology and logic programming -- 4. Fixed-point theory for generalized metric spaces -- 5. Supported model semantics -- 6. Stable and perfect model semantics -- 7. Logic programming and artificial neural networks -- 8. Final thoughts |
| ctrlnum | (OCoLC)814374374 (DE-599)BVBBV048282989 |
| discipline | Informatik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04790nam a2200613 c 4500</leader><controlfield tag="001">BV048282989</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">220610s2011 xx a||| ob||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1439829624</subfield><subfield code="q">(electronic bk.)</subfield><subfield code="9">1439829624</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781439829622</subfield><subfield code="q">(electronic bk.)</subfield><subfield code="9">9781439829622</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">1439829616</subfield><subfield code="q">(hardback)</subfield><subfield code="9">1439829616</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9781439829615</subfield><subfield code="q">(hardback)</subfield><subfield code="9">9781439829615</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)814374374</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV048282989</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-355</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 125</subfield><subfield code="0">(DE-625)143586:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Hitzler, Pascal</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Mathematical aspects of logic programming semantics</subfield><subfield code="c">Pascal Hitzler, Anthony Seda</subfield></datafield><datafield tag="264" ind1=" " ind2="0"><subfield code="a">Boca Raton, FL</subfield><subfield code="b">CRC Press</subfield><subfield code="c">©2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xxx, 274 Seiten)</subfield><subfield code="b">illustrations</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="0" ind2=" "><subfield code="a">Chapman & Hall/CRC studies in informatics series</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">1. Order and logic -- 2. The semantics of logic problems -- 3. Topology and logic programming -- 4. Fixed-point theory for generalized metric spaces -- 5. Supported model semantics -- 6. Stable and perfect model semantics -- 7. Logic programming and artificial neural networks -- 8. Final thoughts</subfield></datafield><datafield tag="506" ind1="0" ind2=" "><subfield code="a">Open Access</subfield><subfield code="5">EbpS</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">"Covering the authors' own state-of-the-art research results, Mathematical Aspects of Logic Programming Semantics presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs. It significantly extends the tools and methods from traditional order theory to include nonconventional methods from mathematical analysis that depend on topology, domain theory, generalized distance functions, and associated fixed-point theory. The book covers topics spanning the period from the early days of logic programming to current times. It discusses applications to computational logic and potential applications to the integration of models of computation, knowledge representation and reasoning, and the Semantic Web. The authors develop well-known and important semantics in logic programming from a unified point of view using both order theory and new, nontraditional methods. They closely examine the interrelationships between various semantics as well as the integration of logic programming and connectionist systems/neural networks. For readers interested in the interface between mathematics and computer science, this book offers a detailed development of the mathematical techniques necessary for studying the semantics of logic programs. It illustrates the main semantics of logic programs and applies the methods in the context of neural-symbolic integration"--Provided by publisher</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">"Presenting the methods required to study the semantics of logic programs, this book significantly extends these tools from the order theory traditionally used in the subject to include nontraditional methods depending on topology, generalized distance functions, and their associated fixed-point theory. The authors provide a self-contained, detailed overview of the development of both conventional and nonconventional methods and techniques, fulfilling a significant gap in the literature on theoretical computer science. They examine the interaction between logic programming and connectionist systems from the point of view of semantics"--Provided by publisher</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">English</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Langages de programmation</subfield><subfield code="2">Sémantique</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programmation logique</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS</subfield><subfield code="2">Programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">MATHEMATICS</subfield><subfield code="2">Logic</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Programming languages (Electronic computers)</subfield><subfield code="2">Semantics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield><subfield code="x">Semantics</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Semantische Analyse</subfield><subfield code="0">(DE-588)4169748-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Methode</subfield><subfield code="0">(DE-588)4155620-3</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="653" ind1=" " ind2="6"><subfield code="a">Electronic books</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><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="1"><subfield code="a">Semantische Analyse</subfield><subfield code="0">(DE-588)4169748-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Mathematische Methode</subfield><subfield code="0">(DE-588)4155620-3</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">Seda, Anthony</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="a">Hitzler, Pascal</subfield><subfield code="t">Mathematical aspects of logic programming semantics</subfield><subfield code="d">Boca Raton, FL : CRC Press, ©2011</subfield><subfield code="z">9781439829615</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=935008</subfield><subfield code="x">Verlag</subfield><subfield code="z">kostenfrei</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EOAC</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-033663155</subfield></datafield></record></collection> |
| id | DE-604.BV048282989 |
| illustrated | Illustrated |
| indexdate | 2024-12-20T19:40:45Z |
| institution | BVB |
| isbn | 1439829624 9781439829622 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-033663155 |
| oclc_num | 814374374 |
| open_access_boolean | 1 |
| owner | DE-355 DE-BY-UBR |
| owner_facet | DE-355 DE-BY-UBR |
| physical | 1 Online-Ressource (xxx, 274 Seiten) illustrations |
| psigel | ZDB-4-EOAC |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| record_format | marc |
| series2 | Chapman & Hall/CRC studies in informatics series |
| spelling | Hitzler, Pascal Verfasser aut Mathematical aspects of logic programming semantics Pascal Hitzler, Anthony Seda Boca Raton, FL CRC Press ©2011 1 Online-Ressource (xxx, 274 Seiten) illustrations txt rdacontent c rdamedia cr rdacarrier Chapman & Hall/CRC studies in informatics series 1. Order and logic -- 2. The semantics of logic problems -- 3. Topology and logic programming -- 4. Fixed-point theory for generalized metric spaces -- 5. Supported model semantics -- 6. Stable and perfect model semantics -- 7. Logic programming and artificial neural networks -- 8. Final thoughts Open Access EbpS "Covering the authors' own state-of-the-art research results, Mathematical Aspects of Logic Programming Semantics presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs. It significantly extends the tools and methods from traditional order theory to include nonconventional methods from mathematical analysis that depend on topology, domain theory, generalized distance functions, and associated fixed-point theory. The book covers topics spanning the period from the early days of logic programming to current times. It discusses applications to computational logic and potential applications to the integration of models of computation, knowledge representation and reasoning, and the Semantic Web. The authors develop well-known and important semantics in logic programming from a unified point of view using both order theory and new, nontraditional methods. They closely examine the interrelationships between various semantics as well as the integration of logic programming and connectionist systems/neural networks. For readers interested in the interface between mathematics and computer science, this book offers a detailed development of the mathematical techniques necessary for studying the semantics of logic programs. It illustrates the main semantics of logic programs and applies the methods in the context of neural-symbolic integration"--Provided by publisher "Presenting the methods required to study the semantics of logic programs, this book significantly extends these tools from the order theory traditionally used in the subject to include nontraditional methods depending on topology, generalized distance functions, and their associated fixed-point theory. The authors provide a self-contained, detailed overview of the development of both conventional and nonconventional methods and techniques, fulfilling a significant gap in the literature on theoretical computer science. They examine the interaction between logic programming and connectionist systems from the point of view of semantics"--Provided by publisher English Langages de programmation Sémantique Programmation logique COMPUTERS Programming Logic programming MATHEMATICS Logic Programming languages (Electronic computers) Semantics Semantische Analyse (DE-588)4169748-0 gnd rswk-swf Mathematische Methode (DE-588)4155620-3 gnd rswk-swf Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Electronic books Logische Programmierung (DE-588)4195096-3 s Semantische Analyse (DE-588)4169748-0 s Mathematische Methode (DE-588)4155620-3 s DE-604 Seda, Anthony Sonstige oth Erscheint auch als Druck-Ausgabe Hitzler, Pascal Mathematical aspects of logic programming semantics Boca Raton, FL : CRC Press, ©2011 9781439829615 https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=935008 Verlag kostenfrei Volltext |
| spellingShingle | Hitzler, Pascal Mathematical aspects of logic programming semantics 1. Order and logic -- 2. The semantics of logic problems -- 3. Topology and logic programming -- 4. Fixed-point theory for generalized metric spaces -- 5. Supported model semantics -- 6. Stable and perfect model semantics -- 7. Logic programming and artificial neural networks -- 8. Final thoughts Langages de programmation Sémantique Programmation logique COMPUTERS Programming Logic programming MATHEMATICS Logic Programming languages (Electronic computers) Semantics Semantische Analyse (DE-588)4169748-0 gnd Mathematische Methode (DE-588)4155620-3 gnd Logische Programmierung (DE-588)4195096-3 gnd |
| subject_GND | (DE-588)4169748-0 (DE-588)4155620-3 (DE-588)4195096-3 |
| title | Mathematical aspects of logic programming semantics |
| title_auth | Mathematical aspects of logic programming semantics |
| title_exact_search | Mathematical aspects of logic programming semantics |
| title_full | Mathematical aspects of logic programming semantics Pascal Hitzler, Anthony Seda |
| title_fullStr | Mathematical aspects of logic programming semantics Pascal Hitzler, Anthony Seda |
| title_full_unstemmed | Mathematical aspects of logic programming semantics Pascal Hitzler, Anthony Seda |
| title_short | Mathematical aspects of logic programming semantics |
| title_sort | mathematical aspects of logic programming semantics |
| topic | Langages de programmation Sémantique Programmation logique COMPUTERS Programming Logic programming MATHEMATICS Logic Programming languages (Electronic computers) Semantics Semantische Analyse (DE-588)4169748-0 gnd Mathematische Methode (DE-588)4155620-3 gnd Logische Programmierung (DE-588)4195096-3 gnd |
| topic_facet | Langages de programmation Programmation logique COMPUTERS Logic programming MATHEMATICS Programming languages (Electronic computers) Programming languages (Electronic computers) Semantics Semantische Analyse Mathematische Methode Logische Programmierung |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=935008 |
| work_keys_str_mv | AT hitzlerpascal mathematicalaspectsoflogicprogrammingsemantics AT sedaanthony mathematicalaspectsoflogicprogrammingsemantics |