Matches in Harvard for { <http://id.lib.harvard.edu/aleph/002594684/catalog> ?p ?o. }
Showing items 1 to 39 of
39
with 100 items per page.
- catalog abstract ""This volume contains the proceedings of two Russian conferences on logic programming, held in 1990 in Irkutsk and in 1991 in St. Petersburg. The aim of the conferences was to bring together researchers from the Russian and the international logic programming communities. Topics covered in the volume include: logic programming, automated theorem proving, non-monotonic reasoning, applications of mathematical logic to computer science, deductivedatabases, implementation of declarative concepts, and programming in non-classical logics. This is the first volume to represent activity in the field of logic programming in the countries of the former Soviet Union."--PUBLISHER'S WEBSITE.".
- catalog contributor b3756147.
- catalog contributor b3756148.
- catalog contributor b3756149.
- catalog contributor b3756150.
- catalog contributor b3756151.
- catalog created "c1992.".
- catalog date "1992".
- catalog date "c1992.".
- catalog dateCopyrighted "c1992.".
- catalog description ""This volume contains the proceedings of two Russian conferences on logic programming, held in 1990 in Irkutsk and in 1991 in St. Petersburg. The aim of the conferences was to bring together researchers from the Russian and the international logic programming communities. Topics covered in the volume include: logic programming, automated theorem proving, non-monotonic reasoning, applications of mathematical logic to computer science, deductivedatabases, implementation of declarative concepts, and programming in non-classical logics. This is the first volume to represent activity in the field of logic programming in the countries of the former Soviet Union."--PUBLISHER'S WEBSITE.".
- catalog description "A simple transformation from prolog-written metalevel interpreters into compilers and its implementation / Gustaf Neumann -- Free deduction / Michel Parigot -- Gentzen-type calculi for modal logic S4 with Barcan formula / Aida Pliuskeviciene -- Logical foundation for logic programming based on first order linear temporal logic / Regimantas Pliuskevicius -- Logic programming with pseudo-resolution / David M. Powers -- BRAVE: an OR-parallel dialect of prolog and its application to artificial intelligence / T.J. Reynolds, P. Kefals -- A declarative debugging environment for DATALOG / Francesco Russo, Mirko Sancassani -- A sequent calculus for a first order linear temporal logic with explicit time / Jurate Sakalauskaite -- A logical-based language for feature specification and transmission control / P. Sebillot -- Program transformations and WAM-support for the compilation of definite metaprograms / Paul Tarau -- Some considerations on the logic / Wiebe van der Hoek -- ".
- catalog description "Includes bibliographical references.".
- catalog description "Logic programming with bounded quantifiers / Andrei Voronkov.".
- catalog description "Or-parallel prolog with heuristic task distribution / Wai-Keong Foong -- A WAM compilation scheme / Hans-Gunther Hein, Manfred Meyer -- Safe positive induction in the programming logic TK / Martin C. Henson -- WAM specification for parallel execution on SIMD computer / S. Ivanets, N. Ilinsky, M. Krylov -- On abstracting the procedural behaviour of logic programs / G. Janssens, M. Bruynooghe -- Treating enhanced entity relationship models in a declarative style / Norbert Kehrer, Gustaf Neumann -- Processing of ground regular terms in prolog / Evgeny L. Kitaev -- Compiling flang / Andrei Mantsivoda, Vyacheslav Petukhin -- FIDO: finite domain consistency techniques in logic programming / Manfred Meyer, Hans-Gunther Hein, Jorg Muller -- A constructive logic approach to database theory / Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi -- Abstract syntax and logic programming / Dale Miller -- Deduction search with generalized terms / Vladimir S. Neiman -- ".
- catalog description "Real-time memory management for prolog / Yves Bekkers, Lucien Ungaro -- A process semantics of logic programs / M. Belmesk -- Logical operational semantics of Parlog, part 2 / Egon Borger, Elvinia Riccobene -- WAM algebras, part 2 / Egon Borger, Dean Rosenzweig -- Abductive systems for non-monotonic reasoning / A.G. Bondarenko -- Properties of algorithmic operators / Vladimir B. Borshchev -- Deep logic program transformation using abstract interpretation / Dmitri Yu. Boulanger -- Objects in a logic programming framework / Antonio Brogi, Evelina Lamma, Paola Mello -- Integrity verification in knowledge bases / Francois Bry, Rainer Manthey, Bern Martens -- On procedural semantics of metalevel negation / Stefania Costantini, Gaetano Lanzarone -- Probabilistic logic programs and their semantics / Eugene Dantsin -- Implementation of prolog as binary definite programs / Bart Demoen, Andre Marien -- Prolog semantics for measuring space consumption / A. Ja. Dikowski -- ".
- catalog extent "ix, 514 p. :".
- catalog hasFormat "Logic programming.".
- catalog identifier "0387554602 (New York : acid-free paper)".
- catalog identifier "3540554602 (Berlin : acid-free paper)".
- catalog isFormatOf "Logic programming.".
- catalog isPartOf "Lecture notes in computer science ; 592. Lecture notes in artificial intelligence".
- catalog isPartOf "Lecture notes in computer science ; 592.".
- catalog isPartOf "Lecture notes in computer science. Lecture notes in artificial intelligence.".
- catalog issued "1992".
- catalog issued "c1992.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer-Verlag,".
- catalog relation "Logic programming.".
- catalog subject "005.1/1 20".
- catalog subject "Logic programming Congresses.".
- catalog subject "QA76.63 .R87 1990".
- catalog tableOfContents "A simple transformation from prolog-written metalevel interpreters into compilers and its implementation / Gustaf Neumann -- Free deduction / Michel Parigot -- Gentzen-type calculi for modal logic S4 with Barcan formula / Aida Pliuskeviciene -- Logical foundation for logic programming based on first order linear temporal logic / Regimantas Pliuskevicius -- Logic programming with pseudo-resolution / David M. Powers -- BRAVE: an OR-parallel dialect of prolog and its application to artificial intelligence / T.J. Reynolds, P. Kefals -- A declarative debugging environment for DATALOG / Francesco Russo, Mirko Sancassani -- A sequent calculus for a first order linear temporal logic with explicit time / Jurate Sakalauskaite -- A logical-based language for feature specification and transmission control / P. Sebillot -- Program transformations and WAM-support for the compilation of definite metaprograms / Paul Tarau -- Some considerations on the logic / Wiebe van der Hoek -- ".
- catalog tableOfContents "Logic programming with bounded quantifiers / Andrei Voronkov.".
- catalog tableOfContents "Or-parallel prolog with heuristic task distribution / Wai-Keong Foong -- A WAM compilation scheme / Hans-Gunther Hein, Manfred Meyer -- Safe positive induction in the programming logic TK / Martin C. Henson -- WAM specification for parallel execution on SIMD computer / S. Ivanets, N. Ilinsky, M. Krylov -- On abstracting the procedural behaviour of logic programs / G. Janssens, M. Bruynooghe -- Treating enhanced entity relationship models in a declarative style / Norbert Kehrer, Gustaf Neumann -- Processing of ground regular terms in prolog / Evgeny L. Kitaev -- Compiling flang / Andrei Mantsivoda, Vyacheslav Petukhin -- FIDO: finite domain consistency techniques in logic programming / Manfred Meyer, Hans-Gunther Hein, Jorg Muller -- A constructive logic approach to database theory / Pierangelo Miglioli, Ugo Moscato, Mario Ornaghi -- Abstract syntax and logic programming / Dale Miller -- Deduction search with generalized terms / Vladimir S. Neiman -- ".
- catalog tableOfContents "Real-time memory management for prolog / Yves Bekkers, Lucien Ungaro -- A process semantics of logic programs / M. Belmesk -- Logical operational semantics of Parlog, part 2 / Egon Borger, Elvinia Riccobene -- WAM algebras, part 2 / Egon Borger, Dean Rosenzweig -- Abductive systems for non-monotonic reasoning / A.G. Bondarenko -- Properties of algorithmic operators / Vladimir B. Borshchev -- Deep logic program transformation using abstract interpretation / Dmitri Yu. Boulanger -- Objects in a logic programming framework / Antonio Brogi, Evelina Lamma, Paola Mello -- Integrity verification in knowledge bases / Francois Bry, Rainer Manthey, Bern Martens -- On procedural semantics of metalevel negation / Stefania Costantini, Gaetano Lanzarone -- Probabilistic logic programs and their semantics / Eugene Dantsin -- Implementation of prolog as binary definite programs / Bart Demoen, Andre Marien -- Prolog semantics for measuring space consumption / A. Ja. Dikowski -- ".
- catalog title "Logic programming : First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990 : Second Russian Conference on Logic Programming, St. Petersburg, Russia, September 11-16, 1991 : proceedings / A. Voronkov (ed.).".
- catalog type "Conference proceedings. fast".
- catalog type "text".