000 06418nam a22005171i 4500
001 011453191315
003 MOCL
005 20260528133338.0
006 m eo d
007 cr cn |||m|||a
008 181002s2018 nyua fob 001 0deng d
020 _a9781970001976
_qebook
020 _z9781970001983
_qePub
020 _z9781970001969
_qpaperback
020 _z9781970001990
_qhardcover
024 7 _a10.1145/3191315
_2doi
035 _a(CaBNVSL)swl000408712
035 _a(OCoLC)1055420111
040 _aCaBNVSL
_beng
_erda
_cCaBNVSL
_dCaBNVSL
050 4 _aQA76.63
_b.K543 2018
082 0 4 _a005.115
_223
100 1 _aKifer, M.
_q(Michael),
_d1954-,
_eeditor,
_eauthor.
245 1 0 _aDeclarative logic programming :
_btheory, systems, and applications /
_cMichael Kifer, Yanhong Annie Liu.
250 _aFirst edition.
264 1 _a[New York] :
_bAssociation for Computing Machinery ;
_a[San Rafael, California] :
_bMorgan & Claypool,
_c2018.
300 _a1 PDF (xx, 595 pages) :
_billustrations.
336 _atext
_2rdacontent
337 _aelectronic
_2isbdmedia
338 _aonline resource
_2rdacarrier
490 1 _aACM books,
_x2374-6777 ;
_v#20
538 _aMode of access: World Wide Web.
538 _aSystem requirements: Adobe Acrobat Reader.
504 _aIncludes bibliographical references and index.
505 0 _aPart I. Theory -- 1. Datalog: concepts, history, and outlook / David Maier, K. Tuncay Tekle, Michael Kifer, David S. Warren -- 1.1 Introduction -- 1.2 The emergence of datalog -- 1.3 Coining "datalog" -- 1.4 Extensions to datalog -- 1.5 Evaluation techniques -- 1.6 Early datalog and deductive database systems -- 1.7 The decline and resurgence of datalog -- 1.8 Current systems and comparison -- 1.9 Conclusions -- Acknowledgments -- References -- 2. An introduction to the stable and well-founded semantics of logic programs / Miroslaw Truszczynski -- 2.1 Introduction -- 2.2 Terminology, notation, and other preliminaries -- 2.3 The case of horn logic programs -- 2.4 Moving beyond horn programs: an informal introduction -- 2.5 The stable model semantics -- 2.6 The well-founded model semantics -- 2.7 Concluding remarks -- Acknowledgments -- References -- 3. A survey of probabilistic logic programming / Fabrizio Riguzzi, Theresa Swift -- 3.1 Introduction -- 3.2 Languages with the distribution semantics -- 3.3 Defining the distribution semantics -- 3.4 Other semantics for probabilistic logics -- 3.5 Probabilistic logic programs and Bayesian networks -- 3.6 Inferencing in probabilistic logic programs -- 3.7 Discussion -- Acknowledgments -- References --
505 8 _aPart II. Systems -- 4. WAM for everyone: a virtual machine for logic programming / David S. Warren -- 4.1 Introduction -- 4.2 The run-time environment of a traditional procedural language -- 4.3 Deterministic datalog -- 4.4 Deterministic prolog -- 4.5 Nondeterministic prolog -- 4.6 Last call optimization -- 4.7 Indexing -- 4.8 Environment trimming -- 4.9 Features required for full prolog -- 4.10 WAM extensions for tabling -- 4.11 Concluding remarks -- Acknowledgments -- References -- 5. Predicate logic as a modeling language: the IDP system / Broes De Cat, Bart Bogaerts, Maurice Bruynooghe, Gerda Janssens, Marc Denecker -- 5.1 Introduction -- 5.2 FO(ID, AGG, PF, T), the formal base language -- 5.3 IDP as a knowledge base system -- 5.4 The IDP language -- 5.5 Advanced features -- 5.6 Under the hood -- 5.7 In practice -- 5.8 Related work -- 5.9 Conclusion -- References -- 6. SolverBlox: algebraic modeling in datalog / Conrado Borraz-Sanchez, Diego Klabjan, Emir Pasalic, Molham Aref -- 6.1 Introduction -- 6.2 Datalog -- 6.3 LogicBlox and LogiQL -- 6.4 Mathematical programming with LogiQL -- 6.5 The traveling salesman problem (TSP) test case -- 6.6 Conclusions and future work -- References --
505 8 _aPart III. Applications -- 7. Exploring life: answer set programming in bioinformatics / Alessandro Dal Palu, Agostino Dovier, Andrea Formisano, Enrico Pontelli -- 7.1 Introduction -- 7.2 Biology in a nutshell -- 7.3 Answer set programming in a nutshell -- 7.4 Phylogenetics -- 7.5 Haplotype inference -- 7.6 RNA secondary structure prediction -- 7.7 Protein structure prediction -- 7.8 Systems biology -- 7.9 Other logic programming approaches -- 7.10 Conclusions -- Acknowledgments -- References -- 8. State-space search with tabled logic programs / C. R. Ramakrishnan -- 8.1 Introduction -- 8.2 Finite-state model checking -- 8.3 Infinite-state model checking -- 8.4 Simple planning via tabled search -- 8.5 Discussion -- Acknowledgments -- References -- 9. Natural language processing with (tabled and constraint) logic programming / Henning Christiansen, Veronica Dahl -- 9.1 Introduction -- 9.2 Tabling, LP, and NLP -- 9.3 Tabled logic programming and definite clause grammars -- 9.4 Using extra arguments for linguistic information -- 9.5 Assumption grammars: DCGs plus global memory -- 9.6 Constraint handling rules and their application to language processing -- 9.7 Hypothetical reasoning with CHR and Prolog: Hyprolog -- 9.8 A note on the usefulness of probabilistic logic programming for language processing -- 9.9 Conclusion -- References -- 10. Logic programming applications: what are the abstractions and implementations? / Yanhong A. Liu -- 10.1 Introduction -- 10.2 Logic language abstractions -- 10.3 Join and database-style queries -- 10.4 Recursion and inductive analysis -- 10.5 Constraint and combinatorial search -- 10.6 Further extensions, applications, and discussion -- 10.7 Related literature and future work -- Acknowledgments -- References -- Index -- Biographies.
520 3 _aThe goal of this book is to help fill in the previously mentioned void in the LP literature. It offers a number of overviews on key aspects of LP that are suitable for researchers and practitioners as well as graduate students. The following chapters in theory, systems, and applications of LP are included.
530 _aAlso available in print.
588 _aTitle from PDF title page (viewed on October 2, 2018).
650 0 _aLogic programming.
650 0 _aDeclarative programming.
700 1 _aLiu, Yanhong Annie,
_d1965-,
_eeditor,
_eauthor.
776 0 8 _iPrint version:
_z9781970001990
_z9781970001969
830 0 _aACM books ;
_v#20.
_x2374-6777
856 4 0 _3Abstract with links to full text
_uhttp://dx.doi.org/10.1145/3191315
999 _c370
_d370