OPAC

検索結果一覧に戻る

Declarative logic programming : theory, systems, and applications / Michael Kifer, Yanhong Annie Liu
(ACM books. ISSN:23746777 ; #20)

データ種別	電子ブック
版	First edition.
出版者	([New York] ; [San Rafael, California] : Association for Computing Machinery : Morgan & Claypool)
出版年	2018
大きさ	1 PDF (xx, 595 pages) : illustrations
著者標目	*Kifer, M 1954- author Liu, Yanhong Annie 1965- author

所蔵情報を非表示

URL	巻　次	配架場所	請求記号	登録番号	コメント	刷　年	状　態	利用注記	ISBN	予約	請求メモ
URL		射水-電子	007	EB0005038	ACM Books Collection 1				9781970001976

書誌詳細を非表示

一般注記	Mode of access: World Wide Web System requirements: Adobe Acrobat Reader Includes bibliographical references and index 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 -- 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 -- 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 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 Also available in print Title from PDF title page (viewed on October 2, 2018) HTTP:URL=http://dx.doi.org/10.1145/3191315 Information=Abstract with links to full text
件　名	LCSH:Logic programming LCSH:Declarative programming
分　類	LCC:QA76.63 DC23:005.115
書誌ID	EB00004426
ISBN	9781970001976