close
1.

図書
図書
1. 1985 Symposium on Logic Programming : July 15-18, 1985, Sheraton Boston Hotel, Boston, Massachusetts (pbk. ; hard ; microfiche)
sponsored by IEEE Computer Society, Technical Committee on Computer Languages
出版情報: Washington, D.C. : IEEE Computer Society Press , Los Angeles, CA : Order from IEEE Computer Society, c1985  x, 271 p. ; 28 cm
所蔵情報: loading…
2.

図書
図書
2. Proceedings : 1986 Symposium on Logic Programming, September 22-25, 1986, Westin Hotel Utah, Salt Lake City, Utah (: pbk. ; : microfiche ; : case)
Symposium on Logic Programming ; IEEE Computer Society
出版情報: Washington, D.C. : IEEE Computer Society Press , Los Angeles, CA : Order from IEEE Computer Society, c1986  x, 285 p. ; 28 cm
所蔵情報: loading…
3.

図書
図書
3. Proceedings : 1987 Symposium on Logic Programming, August 31-September 4, 1987, Hyatt on Union Square, San Francisco, California (pbk. ; microfiche ; case)
sponsored by the Computer Society of the IEEE
出版情報: Washington, D.C. : IEEE Computer Society Press , Los Angeles, CA : Order from IEEE Computer Society, c1987  xii, 530 p. ; 28 cm
所蔵情報: loading…
4.

図書
図書
4. 1984 International Symposium on Logic Programming, February 6-9, 1984, Bally's Park Place Casino, Atlantic City, New Jersey (microfiche ; casebound)
sponsored by IEEE Computer Society, Technical Committee on Computer Languages
出版情報: Silver Spring, MD : IEEE Computer Society Press, c1984  xi, 311 p. ; 28 cm
所蔵情報: loading…
5.

図書
図書
5. Logic programming '87 : proceedings of the 6th conference, Tokyo, Japan, June 22-24, 1987 (: gw ; : us)
K. Furukawa, H. Tanaka, T. Fujisaki (eds.)
出版情報: Berlin ; Tokyo : Springer-Verlag, c1988  vi, 327 p. ; 25 cm
シリーズ名: Lecture notes in computer science ; 315
所蔵情報: loading…
目次情報: 続きを見る
Constraint Logic Programming
Program Synthesis
Programming Languages and Implementation
Parallel Architecture and Programming
Foundation
Natural Language Processing
Applications
Constraint Logic Programming
Program Synthesis
Programming Languages and Implementation
6.

図書
図書
6. Logic for programming and automated reasoning : 6th International Conference, LPAR '99, Tbilisi, Georgia, September 6-10, 1999 : proceedings
Harald Ganzinger, David McAllester, Andrei Voronkov (eds.)
出版情報: Berlin ; New York : Springer-Verlag, c1999  xii, 395 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1705 . Lecture notes in artificial intelligence
所蔵情報: loading…
7.

図書
図書
7. Logic-based program synthesis and transformation : 9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 : selected papers
Annalisa Bossi (ed.)
出版情報: Berlin : Springer, c2000  viii, 312 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1817
所蔵情報: loading…
目次情報: 続きを見る
Invited Talk
Algebraic Specification and Program Development by Stepwise Refinement Extended Abstract / Donald Sannella
Tutorials
Proof Obligations of the B Formal Method: Local Proofs Ensure Global Consistency / Mireille Ducasse ; Laurence Roze
Constraint Logic Programming Applied to Model Checking / Laurent Fribourg
Software Development
On Dynamic Aspects of OOD Frameworks in Component-Based Software Development in Computational Logic / Juliana Kuster Filipe ; Kung-Kiu Lau ; Mario Ornaghi ; Hirokazu Yatsu
Analysis and Specialisation
Infinite State Model Checking by Abstract Interpretation and Program Specialisation / Michael Leuschel ; Thierry Massart
Mode Analysis Domains for Typed Logic Programs / Jan-Georg Smaus ; Patricia M. Hill ; Andy King
Imperative Program Specialisation: An Approach Using CLP / Julio C. Peralta ; John P. Gallagher
Specialising Finite Domain Programs Using Polyhedra / Jacob M. Howe
Transformation
Roles of Program Extension / Ralf Lammel ; Gunter Riedewald ; Wolfgang Lohmann
Transformation of Left Terminating Programs / Annalisa Bossi ; Nicoletta Cocco ; Sandro Etalle
Transformation Rules for Logic Programs with Goals as Arguments / Alberto Pettorossi ; Maurizio Proietti
Making Mercury Programs Tail Recursive / Peter Ross ; David Overton ; Zoltan Somogyi
The Replacement Operation for CCP Programs / Marco Bertolino ; Catuscia Palamidessi
Verification
Annotations for Prolog - A Concept and Runtime Handling / Marija Kulas
Verification by Testing for Recursive Program Schemes / Daniel Le Metayer ; Valerie-Anne Nicolas ; Olivier Ridoux
Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs / German Puebla ; Francisco Bueno ; Manuel Hermenegildo
Context-Moving Transformations for Function Verification / Jurgen Giesl
Invited Talk
Algebraic Specification and Program Development by Stepwise Refinement Extended Abstract / Donald Sannella
Tutorials
8.

図書
図書
8. Functional and logic programming : 4th Fuji International Symposium, FLOPS '99, Tsukuba, Japan, November 11-13, 1999 : proceedings
Aart Middeldorp, Taisuke Sato (eds.)
出版情報: Berlin : Springer, c1999  x, 368 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1722
所蔵情報: loading…
目次情報: 続きを見る
Semantics and Types in Functional Logic Programming / J. C. González-Moreno ; M. T. Hortalá-González ; M. Rodríguez-Artalejo
Polytypic Programming With Ease (Extended Abstract) / Ralf Hinze
Type Inference for Overloading without Restrictions, Declarations or Annotations / Carlos Camarao ; Lucília Figueiredo
Partial Evaluation and Non-interference for Object Calculi / Gilles Barthe ; Bernard P. Serpette
Lazy Lexing is Fast / Manuel M. T. Chakravarty
A Functional-Logic Perspective of Parsing / Rafael Caballero ; Francisco J. López-Fraguas
Implementing Encapsulated Search for a Lazy Functional Logic Language / Wolfgang Lux
Comparison of Deforestation Techniques for Functional Programs and for Tree Transducers / Armin Kühnemann
Automatic Verification Based on Abstract Interpretation / Mizuhito Ogawa
A Transformation System for Lazy Functional Logic Programs / María Alpuente ; Moreno Falaschi ; Ginés Moreno ; Germán Vidal
Termination Analysis of Tabled Logic Programs Using Mode and Type Information / Sofie Verbaeten ; Danny De Schreye
On Quasi-Reductive and Quasi-Simplifying Deterministic Conditional Rewrite Systems / Enno Ohlebusch
An Interval Lattice-Based Constraint Solving Framework for Lattices / Antonio J. Fernández ; Patricia M. Hill
Higher Order Matching for Program Transformation / Oege de Moor ; Ganesh Sittampalam
Automated Generalisation of Function Definitions / Adam Bakewell ; Colin Runciman
An Extensional Characterization of Lambda-Lifting and Lambda-Dropping / Olivier Danvy
Using Types as Approximations for Type Checking Prolog Programs / Christoph Beierle ; Gregor Meyer
Typed Static Analysis: Application to Groundness Analysis of Prolog and ?Prolog / Olivier Ridoux ; Patrice Boizumault ; Frédéric Malésieux
A Space Efficient Engine for Subsumption-Based Tabled Evaluation of Logic Programs / Ernie Johnson ; C. R. Ramakrishnan ; I. V. Ramakrishnan ; Prasad Rao
The Logical Abstract Machine: A Curry-Howard Isomorphism for Machine Code / Atsushi Ohori
On Reducing the Search Space of Higher-Order Lazy Narrowing.. / Mircea Marin ; Tetsuo Ida ; Taro Suzuki
Typed Higher-Order Narrowing without Higher-Order Strategies / Sergio Antoy ; Andrew Tolmach
A Semantics for Program Analysis in Narrowing-Based Functional Logic Languages / Michael Hanus ; Salvador Lucas
Author Index
Semantics and Types in Functional Logic Programming / J. C. González-Moreno ; M. T. Hortalá-González ; M. Rodríguez-Artalejo
Polytypic Programming With Ease (Extended Abstract) / Ralf Hinze
Type Inference for Overloading without Restrictions, Declarations or Annotations / Carlos Camarao ; Lucília Figueiredo
9.

図書
図書
9. Logic programming and nonmonotonic reasoning : 5th International Conference, LPNMR '99, El Paso, Texas, USA, December 2-4, 1999 : proceedings
Michael Gelfond, Nicola Leone, Gerald Pfeifer (eds.)
出版情報: Berlin : Springer, c1999  xi, 388 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1730 . Lecture notes in artificial intelligence
所蔵情報: loading…
目次情報: 続きを見る
Contributed Papers
Fixed Parameter Complexity in AI and Nonmonotonic Reasoning / G. Gottlob ; F. Scarcello ; M. Sideri
Classifying Semi-Normal Default Logic on the Basis of its Expressive Power / T. Janhunen19
Locally Determined Logic Programs / D. Cenzer ; J. B. Remmel ; A. Vanderbilt
Annotated Revision Programs / V. Marek ; I. Pivkina ; M. Truszczynski
Belief, Knowledge, Revisions, and a Semantics of Non-Monotonic Reasoning / J. Sefranek
An Argumentation Framework for Reasoning about Actions and Changes / A. Kakas ; R. Miller ; F. Toni
Representing Transition Systems by Logic Programs / V. Lifschitz ; H. Turner
Transformations of Logic Programs Related to Causality and Planning / E. Erdem
From Causal Theories to Logic Programs (Sometimes) / F. Lin ; K. Wang
Monotone Expansion of Updates in Logical Databases / M. Dekhtyar ; A. Dikovsky ; S. Dudakov ; N. Spyratos
Updating Extended Logic Programs through Abduction / C. Sakama ; K. Inoue
LUPS - A Language for Updating Logic Programs / J. J. Alferes ; L. M. Pereira ; H. Przymusinska ; T. Przymusinski
Pushing Goal Derivation in DLP Computations / W. Faber ; N. Leone ; G. Pfeifer
Linear Tabulated Resolution for Well Founded Semantics / Y. Shen ; L. Yuan ; J. You ; N. Zhou
A Case Study in Using Preference Logic Grammars for Knowledge Representation / B. Cui ; T. Swift ; D. S. Warren
Minimal Founded Semantics for Disjunctive Logic Programming / S. Greco
On the Role of Negation in Choice Logic Programs / M. De Vos ; D. Vermeir
Approximating Reiter's Default Logic / T. Linke ; T. Schaub
Coherent Well-founded Annotated Logic Programs / C. V. Damasio
Many-Valued Disjunctive Logic Programs with Probabilistic Semantics / T. Lukasiewicz
Extending Disjunctive Logic Programming by T-norms / C. Mateis
Extending the Stable Model Semantics with More Expressive Rules / P. Simons
Stable Model Semantics for Weight Constraint Rules / I. Niemelä ; T. Soininen
Towards First-Order Nonmonotonic Reasoning / R. Rosati
Comparison of Sceptical NAF-Free Logic Programming Approaches / G. Antoniou ; M.J. Maher ; Billington ; G. Governatori
Characterizations of Classes of Programs by Three-Valued Operators / P. Hitzler ; A. K. Seda
Invited Talks
Using LPNMR for Problem Specification and Code Generation (Abstract) / M. Cadoli
Answer Set Planning (Abstract)
World-Modeling vs. World-Axiomatizing / D. McAllester
Practical Nonmonotonic Reasoning: Extended Inheritance Techniques to Solve Real-World Problems / L. Morgenstern
Author Index
Contributed Papers
Fixed Parameter Complexity in AI and Nonmonotonic Reasoning / G. Gottlob ; F. Scarcello ; M. Sideri
Classifying Semi-Normal Default Logic on the Basis of its Expressive Power / T. Janhunen19
10.

図書
図書
10. Inductive logic programming : 10th International Conference, ILP 2000, London, UK, July 24-27, 2000 : proceedings
James Cussens, Alan Frisch (eds.)
出版情報: Berlin : Springer, c2000  x, 264 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1866 . Lecture notes in artificial intelligence
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼