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!
|
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