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ženo v:
| Hlavní autoři: | , |
|---|---|
| Médium: | E-kniha |
| Jazyk: | angličtina |
| Vydáno: |
San Rafael
Association for Computing Machinery
2018
|
| Vydání: | 1 |
| Témata: | |
| ISBN: | 1970001968, 9781970001969 |
| On-line přístup: | Získat plný text |
| Tagy: |
Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
|
Obsah:
- 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