Declarative Logic Programming: Theory, Systems, and Applications 9781970001983

752 115 12MB

English Year 2018

Declarative Logic Programming: Theory, Systems, and Applications
9781970001983

Author / Uploaded
Michael Kifer and Yanhong Annie Liu

Table of contents :
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

Polecaj historie

Declarative Logic Programming: Theory, Systems, and Applications 9781970001983

518 46 16MB Read more

Declarative Logic Programming: Theory, Systems, and Applications 9781970001983

The idea of this book grew out of a symposium that was held at Stony Brook in September 2012 in celebration of David S.W

469 67 5MB Read more

Declarative Logic Programming: Theory, Systems, and Applications 9781970001983

The idea of this book grew out of a symposium that was held at Stony Brook in September 2012 in celebration of David S.W

959 45 3MB Read more

Control Systems: Theory and Applications 8770220247, 9788770220248

In recent years, a considerable amount of effort has been devoted, both in industry and academia, towards the developmen

1,451 315 25MB Read more

Systems programming: designing and developing distributed applications 9780128007297, 012800729X

1,307 239 24MB Read more

Logic and Set Theory

229 137 536KB Read more

Multidimensional systems theory and applications [2 ed.] 9789048164240, 9789401702751

467 90 3MB Read more

Distributed Systems. Theory and Applications 2022055650, 2022055651, 9781119825937, 9781119825944, 9781119825951

787 69 8MB Read more

Systems Engineering Models : Theory, Methods, and Applications. 9781351266512, 1351266519

2,251 456 9MB Read more

Positive Linear Systems: Theory and Applications 0471384569, 9780471384564

A complete study on an important class of linear dynamicalsystems-positive linear systems One of the most often-encounte

172 93 10MB Read more