検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Electronic DC OPAC T1 Declarative logic programming : theory, systems, and applications / Michael Kifer, Yanhong Annie Liu T2 ACM books. ISSN:23746777 A1 Kifer, M 1954- A1 Liu, Yanhong Annie 1965- YR 2018 FD 2018 SP 1 PDF (xx, 595 pages) K1 Logic programming K1 Declarative programming ED First edition. PB Association for Computing Machinery : Morgan & Claypool PP [New York] ; [San Rafael, California] SN 9781970001976 LA English (英語) CL LCC:QA76.63 CL DC23:005.115 NO Mode of access: World Wide Web NO System requirements: Adobe Acrobat Reader NO Includes bibliographical references and index NO Part 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 -- NO Part 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 -- NO Part 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 NO The 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 NO Also available in print NO Title from PDF title page (viewed on October 2, 2018) NO HTTP:URL=http://dx.doi.org/10.1145/3191315 Information=Abstract with links to full text NO 書誌ID=EB00004426; LK [E Book]http://dx.doi.org/10.1145/3191315 OL 30