<電子ブック>
Extensions of Logic Programming : 5th International Workshop, ELP '96, Leipzig, Germany, March 28 - 30, 1996. Proceedings. / edited by Roy Dyckhoff, Heinrich Herre, Peter Schroeder-Heister
(Lecture Notes in Artificial Intelligence. ISSN:29459141 ; 1050)
版 | 1st ed. 1996. |
---|---|
出版者 | Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer |
出版年 | 1996 |
本文言語 | 英語 |
大きさ | X, 322 p : online resource |
著者標目 | Dyckhoff, Roy editor Herre, Heinrich editor Schroeder-Heister, Peter editor SpringerLink (Online service) |
件 名 | LCSH:Compilers (Computer programs) LCSH:Computer systems LCSH:Artificial intelligence LCSH:Computer programming LCSH:Machine theory FREE:Compilers and Interpreters FREE:Computer System Implementation FREE:Artificial Intelligence FREE:Programming Techniques FREE:Formal Languages and Automata Theory |
一般注記 | Semantics of constraint logic programs with bounded quantifiers -- Translating a modal language with embedded implication into Horn clause logic -- Pruning the search space of logic programs -- A significant extension of logic programming by adapting model building rules -- Efficient resource management for linear logic proof search -- A logic language based on GAMMA-like multiset rewriting -- Default negated conclusions: Why not? -- Handling equality in logic programming via basic folding -- An abstract machine for reasoning about situations, actions, and causality -- On the computational complexity of propositional logic programs with nested implications -- Proof-theory for extensions of Logic Programming -- A fibrational semantics for logic programs -- Higher Order Babel: Language and implementation -- A new framework for declarative programming: Categorical perspectives -- Extending constructive negation for partial functions in lazy functional-logic languages -- Super logic programs and negation as belief -- Total correctness of logic programs: A formal approach -- A declarative semantics for the Prolog cut operator -- A definitional approach to functional logic programming -- Soundness and completeness of non-classical extended SLD-resolution -- Some postulates for nonmonotonic theory revision applied to logic programming This book constitutes the refereed proceedings of the 5th International Workshop on Extensions of Logic Programming, ELP '96, held in Leipzig, Germany in March 1996. The 18 full papers included were carefully selected by the program committee and are presented together with three invited papers. Among the topics addressed in this book are categorical logic programming, correctness of logic programs, functional-logic languages, implementation issues, linear logic programming, nonmonotonic reasoning, and proof search HTTP:URL=https://doi.org/10.1007/3-540-60983-0 |
目次/あらすじ
所蔵情報を非表示
電子ブック | 配架場所 | 資料種別 | 巻 次 | 請求記号 | 状 態 | 予約 | コメント | ISBN | 刷 年 | 利用注記 | 指定図書 | 登録番号 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
電子ブック | オンライン | 電子ブック |
|
|
Springer eBooks | 9783540497516 |
|
電子リソース |
|
EB00225851 |
書誌詳細を非表示
データ種別 | 電子ブック |
---|---|
分 類 | LCC:QA76.76.C65 DC23:005.45 |
書誌ID | 4001090625 |
ISBN | 9783540497516 |