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...
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | E-Book |
| Sprache: | Englisch |
| Veröffentlicht: |
San Rafael
Association for Computing Machinery
2018
|
| Ausgabe: | 1 |
| Schlagworte: | |
| ISBN: | 1970001968, 9781970001969 |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Inhaltsangabe:
- 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