Declarative Logic Programming Theory, Systems, and Applications
Logic Programming (LP) is at the nexus of knowledge representation, AI, mathematical logic, databases, and programming languages. It allows programming to be more declarative, by specifying "what" to do instead of "how" to do it. This field is fascinating and intellectually stimu...
Uložené v:
| Hlavní autori: | , |
|---|---|
| Médium: | E-kniha |
| Jazyk: | English |
| Vydavateľské údaje: |
San Rafael
Association for Computing Machinery
2018
|
| Vydanie: | 1 |
| Predmet: | |
| ISBN: | 1970001968, 9781970001969 |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
| Abstract | Logic Programming (LP) is at the nexus of knowledge representation, AI, mathematical logic, databases, and programming languages. It allows programming to be more declarative, by specifying "what" to do instead of "how" to do it. This field is fascinating and intellectually stimulating due to the fundamental interplay among theory, systems, and applications brought about by logic. The goal of this book is to help fill in the void in the literature with state-of-the-art surveys on key aspects of LP. Much attention was paid to making these surveys accessible to researchers, practitioners, and graduate students alike. |
|---|---|
| AbstractList | Logic Programming (LP) is at the nexus of knowledge representation, AI, mathematical logic, databases, and programming languages. It allows programming to be more declarative, by specifying "what" to do instead of "how" to do it. This field is fascinating and intellectually stimulating due to the fundamental interplay among theory, systems, and applications brought about by logic. The goal of this book is to help fill in the void in the literature with state-of-the-art surveys on key aspects of LP. Much attention was paid to making these surveys accessible to researchers, practitioners, and graduate students alike. |
| Author | Liu, Yanhong Michael, Kifer |
| Author_xml | – sequence: 1 fullname: Michael, Kifer – sequence: 2 fullname: Liu, Yanhong |
| BookMark | eNpFjktLw0AUhUd8YFuLv0DozlV07tx5ZJYaaxUCuhC35c7kNkTTjCbR329Awc05fHxwOHNx1KWOhTgHeQWgzTWCBwRzIObgnZRySnv4DzY_mQBBW-WkU6diOQxvk0FUXlk7Exd3HFvqaWy-eVWmuomr5z7VPe33TVefieMdtQMv_3ohXu_XL8VDVj5tHoubMiNlvDMZWF1RbisFpCCa6JyMjjB6bWhHOF2sFIYQQDGT9UxBemIMklSlK8m4EJe_wx99-vziYdxySOk9cjf21G7Xt4X1Ruc54g_Ku0OB |
| ContentType | eBook |
| DEWEY | 005.131 |
| DOI | 10.1145/3191315 |
| DatabaseTitleList | |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Computer Science |
| EISBN | 1970001976 9781970001976 |
| Edition | 1 |
| ExternalDocumentID | EBC6954883 |
| GroupedDBID | AABBV AAZEP ABARN ABMRC ABQPQ ADVEM AEIUR AERYV AFOJC AHWGJ AJFER ALMA_UNASSIGNED_HOLDINGS BBABE COGBH CZZ GEOUK QD8 |
| ID | FETCH-LOGICAL-a25975-164da86d21a21c5c770c7a3c945afa3913d23bbb12eea69eab09ae3b0a2d4d0e3 |
| ISBN | 1970001968 9781970001969 |
| IngestDate | Wed Nov 26 04:54:40 EST 2025 |
| IsPeerReviewed | false |
| IsScholarly | false |
| LCCallNum_Ident | QA76.615 .D435 2018 |
| Language | English |
| LinkModel | OpenURL |
| MergedId | FETCHMERGED-LOGICAL-a25975-164da86d21a21c5c770c7a3c945afa3913d23bbb12eea69eab09ae3b0a2d4d0e3 |
| OCLC | 1314627072 |
| PQID | EBC6954883 |
| PageCount | 617 |
| ParticipantIDs | proquest_ebookcentral_EBC6954883 |
| PublicationCentury | 2000 |
| PublicationDate | 2018 |
| PublicationDateYYYYMMDD | 2018-01-01 |
| PublicationDate_xml | – year: 2018 text: 2018 |
| PublicationDecade | 2010 |
| PublicationPlace | San Rafael |
| PublicationPlace_xml | – name: San Rafael |
| PublicationYear | 2018 |
| Publisher | Association for Computing Machinery |
| Publisher_xml | – name: Association for Computing Machinery |
| SSID | ssj0003329266 |
| Score | 2.071607 |
| Snippet | Logic Programming (LP) is at the nexus of knowledge representation, AI, mathematical logic, databases, and programming languages. It allows programming to be... |
| SourceID | proquest |
| SourceType | Publisher |
| SubjectTerms | Declarative programming Logic programming |
| Subtitle | Theory, Systems, and Applications |
| TableOfContents | Intro -- Contents -- Preface -- Part I. THEORY -- 1. Datalog: Concepts, History, and Outlook -- 2. An Introduction to the Stable and Well-Founded Semantics of Logic Programs -- 3. A Survey of Probabilistic Logic Programming -- Part II. SYSTEMS -- 4. WAM for Everyone: A Virtual Machine for Logic Programming -- 5. Predicate Logic as a Modeling Language: The IDP System -- 6. SolverBlox: Algebraic Modeling in Datalog -- Part III. APPLICATIONS -- 7. Exploring Life: Answer Set Programming in Bioinformatics -- 8. State-Space Search withTabled Logic Programs -- 9. Natural Language Processing with (Tabled and Constraint) Logic Programming -- 10. Logic Programming Applications: What Are the Abstractions and Implementations? -- Index -- Biographies -- Blank Page |
| Title | Declarative Logic Programming |
| URI | https://ebookcentral.proquest.com/lib/[SITE_ID]/detail.action?docID=6954883 |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV05T8MwFLagZWDiFrcyILaI-Ehsr0ABiXMoVbfKdhxRCVKuov58nh0nVO2AGFgs27Ji530-np_fgdARA54VywLHhkPCmBWxNjyFXME0pqyQ_qG9d8Pv7kS_Lx-C14UPH06Al6WYTOTrv0INdQC2M539A9zNR6EC8gA6pAA7pDMccVOsED-35rl25O1CKBtnBeCUr17q48nb_nk1eb--nVZLo5AzHPvdWJVPo9A6yAKwmJEFTCHqlRSrwBBO5HDrNTNrK-v6-ogl9zxeFYFlfjNlzu8ErFFMK5PLGc_UndOzzPmLE_T49S12gbzcg3eIarKI2oSlNG2h9mXn_vG6EXxRSiRwBc7ILnSfieB7qy7LyrrZDeAkdD93VPrzv7uK2tYZhayhBVuuo5U6FEYUdsYNdDBF_MgTP5oi_ibqXXS6Z1dxiDwRK7gOwlSFS2SuRJYTrAg2qeE8MVxRI1mqCkVhSDmhWmtMrFWZtEonUlmqE0VylieWbqFWOSrtNooSYoGLBi7X5AUroF1mCeVWGpGLVEm9g6L6zwb-gTxo5Q5-yLv7e5M9tPwzIfZR6_N9bA_Qkvn6HH68HwYMvgFP_RXt |
| linkProvider | ProQuest Ebooks |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.title=Declarative+Logic+Programming&rft.au=Michael%2C+Kifer&rft.au=Liu%2C+Yanhong&rft.date=2018-01-01&rft.pub=Association+for+Computing+Machinery&rft.isbn=9781970001976&rft_id=info:doi/10.1145%2F3191315&rft.externalDocID=EBC6954883 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9781970001969/lc.gif&client=summon&freeimage=true |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9781970001969/mc.gif&client=summon&freeimage=true |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9781970001969/sc.gif&client=summon&freeimage=true |