LIDOS BibTeX Database File
newgencomp.bib

@article{Chikayama83,
  AUTHOR = {T. Chikayama},
  TITLE = {ESP-Extended Self-Contained PROLOG-as a Preliminary Kernel Language of Fifth Generation Computers},
  YEAR = 1983,
  JOURNAL = {New Generation Computing},
  VOLUME = {1},
  PAGES = {11-24},
  KEYWORDS = {}}

@article{Shapiro:83,
  AUTHOR = {E. Shapiro and A. Takeuchi},
  TITLE = {Object Oriented Programming in Concurent Prolog},
  YEAR = 1983,
  JOURNAL = {New Generation Computing},
  VOLUME = {1},
  PAGES = {25-48},
  KEYWORDS = {}}

@article{Nakashima:83,
  AUTHOR = {H. Nakashima and N. Suzuki},
  TITLE = {Data Abstraction in Prolog/KR},
  YEAR = 1983,
  JOURNAL = {New Generation Computing},
  VOLUME = {1},
  PAGES = {49-62},
  KEYWORDS = {}}

@article{Kitsuregawa:83,
  AUTHOR = {M. Kitsuregawa and H. Tanaka and T. Moto-oka},
  TITLE = {Application of Hash to Data Base Machine and its Architecture},
  YEAR = 1983,
  JOURNAL = {New Generation Computing},
  VOLUME = {1},
  PAGES = {63-74},
  KEYWORDS = {}}

@article{Uchida:83,
  AUTHOR = {S. Uchida and M. Yokota and A. Yamamoto and K. Taki and H. Nishikawa},
  TITLE = {Outline of the Personal Sequential Inference Machine : PSI},
  YEAR = 1983,
  JOURNAL = {New Generation Computing},
  VOLUME = {1},
  PAGES = {75-79},
  KEYWORDS = {}}

@article{Hattori:83,
  AUTHOR = {T. Hattori and T. Yokoi},
  TITLE = {Basic Constructs of the SIM Operating System},
  YEAR = 1983,
  JOURNAL = {New Generation Computing},
  VOLUME = {1},
  PAGES = {81-85},
  KEYWORDS = {}}

@article{Aida:83,
  AUTHOR = {H. Aida and H. Tanaka and T. Moto-oka},
  TITLE = {A Prolog Extention for Handling Negative Knowledge},
  YEAR = 1983,
  JOURNAL = {New Generation Computing},
  VOLUME = {1},
  PAGES = {87-91},
  KEYWORDS = {}}

@article{Tamaka:83,
  AUTHOR = {H. Tamaka and T. Sato},
  TITLE = {Program Transformation Through Meta-Shifting},
  YEAR = 1983,
  JOURNAL = {New Generation Computing},
  VOLUME = {1},
  PAGES = {93-98},
  KEYWORDS = {}}

@article{Mizoguchi83,
  AUTHOR = {F. Mizoguchi},
  TITLE = {PROLOG Based Expert System},
  YEAR = 1983,
  JOURNAL = {New Generation Computing},
  VOLUME = {1},
  PAGES = {99-104},
  KEYWORDS = {}}

@article{Kitagawa83,
  AUTHOR = {T. Kitagawa},
  TITLE = {Culture Creation and a New Generation Computer System},
  YEAR = 1983,
  JOURNAL = {New Generation Computing},
  VOLUME = {1},
  PAGES = {105-106},
  KEYWORDS = {}}

@article{Robinson83,
  AUTHOR = {J. A. Robinson},
  TITLE = {Logic Programming -Past, Present and Future-},
  YEAR = 1983,
  JOURNAL = {New Generation Computing},
  VOLUME = {1},
  PAGES = {107-124},
  KEYWORDS = {}}

@article{Yokota:83,
  AUTHOR = {M. Yokota and A. Yamamoto and K. Taki and H. Nishikawa and S. Uchida},
  TITLE = {The Design and Implementation of a Personal Sequential Inference Machine: PSI},
  YEAR = 1983,
  JOURNAL = {New Generation Computing},
  VOLUME = {1},
  PAGES = {125-144},
  KEYWORDS = {}}

@article{Matsumoto:83,
  AUTHOR = {Y. Matsumoto and H. Tanaka and H. Hirakawa and H. Miyoshi and H. Yasukawa},
  TITLE = {BUP: A Bottom-Up Parser Embedded in Prolog},
  YEAR = 1983,
  JOURNAL = {New Generation Computing},
  VOLUME = {1},
  PAGES = {145-158},
  KEYWORDS = {}}

@article{Ishizuka83,
  AUTHOR = {M. Ishizuka},
  TITLE = {Inference Methods Based on Extended Dempster \& Shafer's Theory for Problems with Uncertainty/Fuzziness},
  YEAR = 1983,
  JOURNAL = {New Generation Computing},
  VOLUME = {1},
  PAGES = {159-168},
  KEYWORDS = {}}

@article{Furukawa:83,
  AUTHOR = {K. Furukawa and R. Nakajima and A. Yonezawa},
  TITLE = {Modularization and Abstraction in Logic Programming},
  YEAR = 1983,
  JOURNAL = {New Generation Computing},
  VOLUME = {1},
  PAGES = {169-177},
  KEYWORDS = {}}

@article{Tanaka:83,
  AUTHOR = {H. Tanaka and H. Isahara and H. Yasukawa},
  TITLE = {An English-Japanese Machine Translation System Using the Active Dictionary},
  YEAR = 1983,
  JOURNAL = {New Generation Computing},
  VOLUME = {1},
  PAGES = {179-185},
  KEYWORDS = {}}

@article{Uehara:83,
  AUTHOR = {T. Uehara and N. Kawato},
  TITLE = {Logic Circuit Synthesis Using Prolog},
  YEAR = 1983,
  JOURNAL = {New Generation Computing},
  VOLUME = {1},
  PAGES = {187-193},
  KEYWORDS = {}}

@article{Fujita:83,
  AUTHOR = {M. Fujita and H. Tanaka and T. Moto-oka},
  TITLE = {Temporal Logic Based Hardware Description and its Verification with Prolog},
  YEAR = 1983,
  JOURNAL = {New Generation Computing},
  VOLUME = {1},
  PAGES = {195-203},
  KEYWORDS = {}}

@article{Hamada83,
  AUTHOR = {H. Hamada},
  TITLE = {URR: Universal Representation of Real Numbers},
  YEAR = 1983,
  JOURNAL = {New Generation Computing},
  VOLUME = {1},
  PAGES = {205-209},
  KEYWORDS = {}}

@article{Brandin84,
  AUTHOR = {D. H. Brandin},
  TITLE = {Number Rules the Universe: The Pythagoreans},
  YEAR = 1984,
  JOURNAL = {New Generation Computing},
  VOLUME = {2},
  PAGES = {1-2},
  KEYWORDS = {}}

@article{Abramson84,
  AUTHOR = {H. Abramson},
  TITLE = {A Prological Definition of HASL a Purely Functional Language with Unification Based Conditional Binding Expressions},
  YEAR = 1984,
  JOURNAL = {New Generation Computing},
  VOLUME = {2},
  PAGES = {3-35},
  KEYWORDS = {}}

@article{Goto:84,
  AUTHOR = {A. Goto and H. Tanaka and T. Moto-oka},
  TITLE = {Highly Parallel Inference Engine PIE: Goal Rewriting Model and Machine Architecture},
  YEAR = 1984,
  JOURNAL = {New Generation Computing},
  VOLUME = {2},
  PAGES = {37-58},
  KEYWORDS = {}}

@article{Hagiya:84,
  AUTHOR = {M. Hagiya and T. Sakurai},
  TITLE = {Foundation of Logic Programming Based on Inductive Definition},
  YEAR = 1984,
  JOURNAL = {New Generation Computing},
  VOLUME = {2},
  PAGES = {59-77},
  KEYWORDS = {}}

@article{Fusaoka:84,
  AUTHOR = {A. Fusaoka and H. Seki and K. Takahashi},
  TITLE = {Description and Reasoning of VLSI Circuit in Temporal Logic},
  YEAR = 1984,
  JOURNAL = {New Generation Computing},
  VOLUME = {2},
  PAGES = {79-90},
  KEYWORDS = {}}

@article{Maruyama:84,
  AUTHOR = {H. Maruyama and A. Yonezawa},
  TITLE = {A Prolog-Based Natural Language Front-End System},
  YEAR = 1984,
  JOURNAL = {New Generation Computing},
  VOLUME = {2},
  PAGES = {91-99},
  KEYWORDS = {}}

@article{Fukumura84,
  AUTHOR = {T. Fukumura},
  TITLE = {Towards the Integration of the Knowledge Information Processing},
  YEAR = 1984,
  JOURNAL = {New Generation Computing},
  VOLUME = {2},
  PAGES = {103-104},
  KEYWORDS = {}}

@article{Amamiya:84,
  AUTHOR = {M. Amamiya and R. Hasegawa},
  TITLE = {Dataflow Computing and Eager and Lazy Evaluations},
  YEAR = 1984,
  JOURNAL = {New Generation Computing},
  VOLUME = {2},
  PAGES = {105-129},
  KEYWORDS = {}}

@article{Shibayama:84,
  AUTHOR = {S. Shibayama and T. Kakuta and N. Miyazaki and H. Yokota and K. Murakami},
  TITLE = {A Relation Database Machine with Large Semiconductor Disk and Hardware Relation Algebra Processor},
  YEAR = 1984,
  JOURNAL = {New Generation Computing},
  VOLUME = {2},
  PAGES = {131-155},
  KEYWORDS = {}}

@article{Kusalik84,
  AUTHOR = {A. J. Kusalik},
  TITLE = {Bounded-Wait Merge in Shapiro's Concurrent Prolog},
  YEAR = 1984,
  JOURNAL = {New Generation Computing},
  VOLUME = {2},
  PAGES = {157-169},
  KEYWORDS = {}}

@article{Arikawa:84,
  AUTHOR = {S. Arikawa and T. Shinohara},
  TITLE = {A Run-Time Efficient Realization of Aho-Corasick Pattern Matching Machines},
  YEAR = 1984,
  JOURNAL = {New Generation Computing},
  VOLUME = {2},
  PAGES = {171-186},
  KEYWORDS = {}}

@article{Oliveira84,
  AUTHOR = {E. Oliveira},
  TITLE = {Developing Expert System Builders in Logic Programming},
  YEAR = 1984,
  JOURNAL = {New Generation Computing},
  VOLUME = {2},
  PAGES = {187-194},
  KEYWORDS = {}}

@article{Konagaya:84,
  AUTHOR = {A. Konagaya and M. Umemura},
  TITLE = {Knowledge Information Processing Language: ShapeUp},
  YEAR = 1984,
  JOURNAL = {New Generation Computing},
  VOLUME = {2},
  PAGES = {195-201},
  KEYWORDS = {}}

@article{Toda84,
  AUTHOR = {I. Toda},
  TITLE = {Communication and Knowledge Engineering},
  YEAR = 1984,
  JOURNAL = {New Generation Computing},
  VOLUME = {2},
  PAGES = {205-206},
  KEYWORDS = {}}

@article{Jaffar84,
  AUTHOR = {J. Jaffar},
  TITLE = {Efficient Unification over Infinite Terms},
  YEAR = 1984,
  JOURNAL = {New Generation Computing},
  VOLUME = {2},
  PAGES = {207-219},
  KEYWORDS = {}}

@article{Shapiro:84,
  AUTHOR = {E. Shapiro and C. Mierowsky},
  TITLE = {Fair, Biased, and Self-Balancing Merge Operators: Their Specification and Implementation in Concurrent Prolog},
  YEAR = 1984,
  JOURNAL = {New Generation Computing},
  VOLUME = {2},
  PAGES = {221-240},
  KEYWORDS = {}}

@article{Tanaka84,
  AUTHOR = {Y. Tanaka},
  TITLE = {A Multiport Page-Memory Architecture and A Multiport Disk-Cache System},
  YEAR = 1984,
  JOURNAL = {New Generation Computing},
  VOLUME = {2},
  PAGES = {241-260},
  KEYWORDS = {}}

@article{Ida:84,
  AUTHOR = {T. Ida and J. Tanaka},
  TITLE = {Functional Programming with Streams -Part II-},
  YEAR = 1984,
  JOURNAL = {New Generation Computing},
  VOLUME = {2},
  PAGES = {261-275},
  KEYWORDS = {}}

@article{Yasuhara:84,
  AUTHOR = {H. Yasuhara and K. Nitadori},
  TITLE = {ORBIT: A Parallel Computing Model of Prolog},
  YEAR = 1984,
  JOURNAL = {New Generation Computing},
  VOLUME = {2},
  PAGES = {277-288},
  KEYWORDS = {}}

@article{Kusalik84,
  AUTHOR = {A. J. Kusalik},
  TITLE = {Seralization of Process Reduction in Concurrent Prolog},
  YEAR = 1984,
  JOURNAL = {New Generation Computing},
  VOLUME = {2},
  PAGES = {289-298},
  KEYWORDS = {}}

@article{Degroot84,
  AUTHOR = {D. Degroot},
  TITLE = {Poking the Giant Eye Out},
  YEAR = 1984,
  JOURNAL = {New Generation Computing},
  VOLUME = {2},
  PAGES = {303-304},
  KEYWORDS = {}}

@article{Shapiro84,
  AUTHOR = {E. Shapiro},
  TITLE = {Guest Editor's Preface},
  YEAR = 1984,
  JOURNAL = {New Generation Computing},
  VOLUME = {2},
  PAGES = {305-308},
  KEYWORDS = {}}

@article{Plaisted84,
  AUTHOR = {D. A. Plaisted},
  TITLE = {The Occur-Check Problem in Prolog},
  YEAR = 1984,
  JOURNAL = {New Generation Computing},
  VOLUME = {2},
  PAGES = {309-322},
  KEYWORDS = {}}

@article{Tick:84,
  AUTHOR = {E. Tick and D. H. D. Warren},
  TITLE = {Towards a Pipelined Prolog Processor},
  YEAR = 1984,
  JOURNAL = {New Generation Computing},
  VOLUME = {2},
  PAGES = {323-345},
  KEYWORDS = {}}

@article{Carlsson84,
  AUTHOR = {M. Carlsson},
  TITLE = {On Implementing Prolog in Functional Programming},
  YEAR = 1984,
  JOURNAL = {New Generation Computing},
  VOLUME = {2},
  PAGES = {347-359},
  KEYWORDS = {}}

@article{Warren84,
  AUTHOR = {D. S. Warren},
  TITLE = {Efficient Prolog Memory Management for Flexible Control Strategies},
  YEAR = 1984,
  JOURNAL = {New Generation Computing},
  VOLUME = {2},
  PAGES = {361-369},
  KEYWORDS = {}}

@article{Stickel84,
  AUTHOR = {M. E. Stickel},
  TITLE = {A Prolog Technology Theorem Prover},
  YEAR = 1984,
  JOURNAL = {New Generation Computing},
  VOLUME = {2},
  PAGES = {371-383},
  KEYWORDS = {}}

@article{Miyachi:84,
  AUTHOR = {T. Miyachi and S. Kunifuji and H. Kitakami and K. Furukawa and A. Takeuchi and H. Yokota},
  TITLE = {A Knowledge Assimilation Method for Logic Databases},
  YEAR = 1984,
  JOURNAL = {New Generation Computing},
  VOLUME = {2},
  PAGES = {385-404},
  KEYWORDS = {}}

@article{Bell85,
  AUTHOR = {G. Bell},
  TITLE = {On Declaring and Reaching the Fifth Generation by 1990},
  YEAR = 1985,
  JOURNAL = {New Generation Computing},
  VOLUME = {3},
  PAGES = {1-2},
  KEYWORDS = {}}

@article{Ito85,
  AUTHOR = {T. Ito},
  TITLE = {A Step Towards Complementary Programming},
  YEAR = 1985,
  JOURNAL = {New Generation Computing},
  VOLUME = {3},
  PAGES = {3-13},
  KEYWORDS = {}}

@article{Ito:85,
  AUTHOR = {N. Ito and H. Shimizu and M. Kishi and E. Kuno and K. Rokusawa},
  TITLE = {Data-Flow Based Execution Mechanismus of Parallel and Concurrent Prolog},
  YEAR = 1985,
  JOURNAL = {New Generation Computing},
  VOLUME = {3},
  PAGES = {15-41},
  KEYWORDS = {}}

@article{Conery:85,
  AUTHOR = {J. S. Conery and D. F. Kibler},
  TITLE = {AND Parallelismus and Notdeterminism in Logic Programs},
  YEAR = 1985,
  JOURNAL = {New Generation Computing},
  VOLUME = {3},
  PAGES = {43-70},
  KEYWORDS = {}}

@article{Voda85,
  AUTHOR = {P. J. Voda},
  TITLE = {A View Of Programming Languages as Symbiosis of Meaning and Computations},
  YEAR = 1985,
  JOURNAL = {New Generation Computing},
  VOLUME = {3},
  PAGES = {71-100},
  KEYWORDS = {}}

@article{Clocksin85,
  AUTHOR = {W. F. Clocksin},
  TITLE = {Design and Simulation of a Sequential Prolog Machine},
  YEAR = 1985,
  JOURNAL = {New Generation Computing},
  VOLUME = {3},
  PAGES = {101-120},
  KEYWORDS = {}}

@article{Kikuchi85,
  AUTHOR = {A. Kikuchi},
  TITLE = {Opening of the International Conference on Fifth Generation Computer System 1984},
  YEAR = 1985,
  JOURNAL = {New Generation Computing},
  VOLUME = {3},
  PAGES = {121-124},
  KEYWORDS = {}}

@article{Enomoto85,
  AUTHOR = {H. Enomoto},
  TITLE = {Knowledge and Service},
  YEAR = 1985,
  JOURNAL = {New Generation Computing},
  VOLUME = {3},
  PAGES = {129-130},
  KEYWORDS = {}}

@article{Noshita:85,
  AUTHOR = {K. Noshita and T. Hikita},
  TITLE = {The BC-Chain Method for Representing Combinators in Linear Space},
  YEAR = 1985,
  JOURNAL = {New Generation Computing},
  VOLUME = {3},
  PAGES = {131-144},
  KEYWORDS = {}}

@article{Takeuchi:85,
  AUTHOR = {A. Takeuchi and K. Forukawa},
  TITLE = {Bounded Buffer Communication in Concurrent Prolog},
  YEAR = 1985,
  JOURNAL = {New Generation Computing},
  VOLUME = {3},
  PAGES = {145-155},
  KEYWORDS = {}}

@article{Quinlan85,
  AUTHOR = {J. R. Quinlan},
  TITLE = {Internal Consistency in Plausible Reasoning Systems},
  YEAR = 1985,
  JOURNAL = {New Generation Computing},
  VOLUME = {3},
  PAGES = {157-180},
  KEYWORDS = {}}

@article{Brailsford:85,
  AUTHOR = {D. F. Brailsford and R. J. Duckworth},
  TITLE = {The MUSE Machine: An Architecture for Structured Data Flow Computation},
  YEAR = 1985,
  JOURNAL = {New Generation Computing},
  VOLUME = {3},
  PAGES = {181-195},
  KEYWORDS = {}}

@article{Onal:85,
  AUTHOR = {R. Onal and M. Aso and H. Shimizu and K. Masuda and A. Matsumoto},
  TITLE = {Archtecture of a Reduction-Based Parallel Inference Machine: PIM-R},
  YEAR = 1985,
  JOURNAL = {New Generation Computing},
  VOLUME = {3},
  PAGES = {197-228},
  KEYWORDS = {}}

@article{Emden85,
  AUTHOR = {M. H. Emden},
  TITLE = {Book Review: ``Foundation of Logic Programming'' by J._W. Lloyd. Published by Springer-Verlag, 1984},
  YEAR = 1985,
  JOURNAL = {New Generation Computing},
  VOLUME = {3},
  PAGES = {229-229},
  KEYWORDS = {}}

@article{Galler85,
  AUTHOR = {B. A. Galler},
  TITLE = {A View of Artificial Intelligence},
  YEAR = 1985,
  JOURNAL = {New Generation Computing},
  VOLUME = {3},
  PAGES = {235-236},
  KEYWORDS = {}}

@article{Ozkarahan85,
  AUTHOR = {E. A. Ozkarahan},
  TITLE = {Evolution and Implementations of the RAP Database Machine},
  YEAR = 1985,
  JOURNAL = {New Generation Computing},
  VOLUME = {3},
  PAGES = {237-271},
  KEYWORDS = {}}

@article{Gazdar:85,
  AUTHOR = {G. Gazdar and G. K. Pullum},
  TITLE = {Computationally Relevant Properties of Natural Languages and Their Grammars},
  YEAR = 1985,
  JOURNAL = {New Generation Computing},
  VOLUME = {3},
  PAGES = {273-306},
  KEYWORDS = {}}

@article{Tanaka85,
  AUTHOR = {Y. Tanaka},
  TITLE = {A VLSI Algorithm for Variable-Length Character Strings},
  YEAR = 1985,
  JOURNAL = {New Generation Computing},
  VOLUME = {3},
  PAGES = {307-328},
  KEYWORDS = {}}

@article{Bolc85,
  AUTHOR = {L. Bolc},
  TITLE = {Book Review: ``A Practical Guide to Designing Expert Systems'' by S._M. Weiss and C._A. Kulikowski, Rowman and Allanheld Publishers, 186 pages, 1984},
  YEAR = 1985,
  JOURNAL = {New Generation Computing},
  VOLUME = {3},
  PAGES = {329-330},
  KEYWORDS = {}}

@article{Amamiya85,
  AUTHOR = {M. Amamiya},
  TITLE = {Report on US-Japan Seminar: Knowledge Systems: Cooperation through Competition},
  YEAR = 1985,
  JOURNAL = {New Generation Computing},
  VOLUME = {3},
  PAGES = {331-333},
  KEYWORDS = {}}

@article{Aida85,
  AUTHOR = {H. Aida},
  TITLE = {The Logic Programming Conference'85},
  YEAR = 1985,
  JOURNAL = {New Generation Computing},
  VOLUME = {3},
  PAGES = {334-335},
  KEYWORDS = {}}

@article{Sakai85,
  AUTHOR = {T. Sakai},
  TITLE = {Intelligent Sensor},
  YEAR = 1985,
  JOURNAL = {New Generation Computing},
  VOLUME = {3},
  PAGES = {339-340},
  KEYWORDS = {}}

@article{Mizoguchi:85,
  AUTHOR = {F. Mizoguchi and K. Furukawa},
  TITLE = {Guest Editors' Preface},
  YEAR = 1985,
  JOURNAL = {New Generation Computing},
  VOLUME = {3},
  PAGES = {341-344},
  KEYWORDS = {}}

@article{Rosenschein85,
  AUTHOR = {S. J. Rosenschein},
  TITLE = {Formal Theories of Knowledge in AI and Robotics},
  YEAR = 1985,
  JOURNAL = {New Generation Computing},
  VOLUME = {3},
  PAGES = {345-357},
  KEYWORDS = {}}

@article{Bowen85,
  AUTHOR = {K. A. Bowen},
  TITLE = {Meta-Level Programming and Knowledge Representation},
  YEAR = 1985,
  JOURNAL = {New Generation Computing},
  VOLUME = {3},
  PAGES = {359-383},
  KEYWORDS = {}}

@article{Goebel85,
  AUTHOR = {R. Goebel},
  TITLE = {The Design and Implementation of DLOG, a Prolog-Based Knowledge Representation System},
  YEAR = 1985,
  JOURNAL = {New Generation Computing},
  VOLUME = {3},
  PAGES = {385-401},
  KEYWORDS = {}}

@article{Ohsuga:85,
  AUTHOR = {S. Ohsuga and H. Yamauchi},
  TITLE = {Multi-Layer Logic: A Predicate Logic Including Data Structure as Knowledge Representation Language},
  YEAR = 1985,
  JOURNAL = {New Generation Computing},
  VOLUME = {3},
  PAGES = {403-439},
  KEYWORDS = {}}

@article{Mukai:85,
  AUTHOR = {K. Mukai and H. Yasukawa},
  TITLE = {Complex Indeterminates in Prolog and its Application to Discourse Models},
  YEAR = 1985,
  JOURNAL = {New Generation Computing},
  VOLUME = {3},
  PAGES = {441-466},
  KEYWORDS = {}}

@article{Shoham85,
  AUTHOR = {Y. Shoham},
  TITLE = {Ten Requirements for a Theory of Change},
  YEAR = 1985,
  JOURNAL = {New Generation Computing},
  VOLUME = {3},
  PAGES = {467-477},
  KEYWORDS = {}}

@article{Ishizuka:85,
  AUTHOR = {M. Ishizuka and N. Kanai},
  TITLE = {Prolog-ELF Incorporating Fuzzy Logic},
  YEAR = 1985,
  JOURNAL = {New Generation Computing},
  VOLUME = {3},
  PAGES = {479-486},
  KEYWORDS = {}}

@article{Nakamura85,
  AUTHOR = {K. Nakamura},
  TITLE = {Book Review: ``Introduction to Logic Programming'' by C._J. Hogger, Academic Press, Inc., 290 pages, 1984},
  YEAR = 1985,
  JOURNAL = {New Generation Computing},
  VOLUME = {3},
  PAGES = {487-487},
  KEYWORDS = {}}

@article{Nakashima:85,
  AUTHOR = {H. Nakashima and D. Degroot},
  TITLE = {A Report on 1985 International Symposium on Logic Programming},
  YEAR = 1985,
  JOURNAL = {New Generation Computing},
  VOLUME = {3},
  PAGES = {488-489},
  KEYWORDS = {}}

@article{Aiso86,
  AUTHOR = {H. Aiso},
  TITLE = {Proof of Originality: Remembrances of Professor Tohru Moto-oka},
  YEAR = 1986,
  JOURNAL = {New Generation Computing},
  VOLUME = {4},
  PAGES = {1-2},
  KEYWORDS = {}}

@article{Fuchi86,
  AUTHOR = {K. Fuchi},
  TITLE = {Toward a New Age of Computing: Succeeding to the Editor-in-Chief},
  YEAR = 1986,
  JOURNAL = {New Generation Computing},
  VOLUME = {4},
  PAGES = {3-4},
  KEYWORDS = {}}

@article{Halim86,
  AUTHOR = {Z. Halim},
  TITLE = {A Data-Driven Machine for OR-Parallel Evaluation of Logic Programs},
  YEAR = 1986,
  JOURNAL = {New Generation Computing},
  VOLUME = {4},
  PAGES = {5-33},
  KEYWORDS = {}}

@article{Farnias86,
  AUTHOR = {L. Farnias Del Cerro},
  TITLE = {MOLOG: A System that Extends PROLOG with Modal Logic},
  YEAR = 1986,
  JOURNAL = {New Generation Computing},
  VOLUME = {4},
  PAGES = {35-50},
  KEYWORDS = {}}

@article{Kaneda:86,
  AUTHOR = {Y. Kaneda and N. Tamura and K. Wada and H. Matsuda and S. Kuo and S. Maekawa},
  TITLE = {Sequential Prolog Machine PEK},
  YEAR = 1986,
  JOURNAL = {New Generation Computing},
  VOLUME = {4},
  PAGES = {51-66},
  KEYWORDS = {}}

@article{Kowalski:86,
  AUTHOR = {R. Kowalski and M. Sergot},
  TITLE = {A Logic-Based Calculus of Events},
  YEAR = 1986,
  JOURNAL = {New Generation Computing},
  VOLUME = {4},
  PAGES = {67-95},
  KEYWORDS = {}}

@article{Yamamoto:86,
  AUTHOR = {A. Yamamoto and H. Tanaka},
  TITLE = {Translating Production Rules into a Forward Reasoning Prolog Program},
  YEAR = 1986,
  JOURNAL = {New Generation Computing},
  VOLUME = {4},
  PAGES = {97-105},
  KEYWORDS = {}}

@article{Yokomori86,
  AUTHOR = {T. Yokomori},
  TITLE = {Report on IJCAI-85},
  YEAR = 1986,
  JOURNAL = {New Generation Computing},
  VOLUME = {4},
  PAGES = {107-109},
  KEYWORDS = {}}

@article{Satoh86,
  AUTHOR = {K. Satoh},
  TITLE = {Report on the 11th International Conference on Very Large Data Bases},
  YEAR = 1986,
  JOURNAL = {New Generation Computing},
  VOLUME = {4},
  PAGES = {109-110},
  KEYWORDS = {}}

@article{Ohno86,
  AUTHOR = {Y. Ohno},
  TITLE = {Evolutional Multiplication of Software Environments},
  YEAR = 1986,
  JOURNAL = {New Generation Computing},
  VOLUME = {4},
  PAGES = {113-114},
  KEYWORDS = {}}

@article{Bibel86,
  AUTHOR = {W. Bibel},
  TITLE = {A Deductive Solution for Plan Generation},
  YEAR = 1986,
  JOURNAL = {New Generation Computing},
  VOLUME = {4},
  PAGES = {115-132},
  KEYWORDS = {}}

@article{Chen:86,
  AUTHOR = {T. Y. Chen and J.-L. Lassez and G. S. Port},
  TITLE = {Maximal Unifiable Subsets and Minimal Nonunifiable Subsets},
  YEAR = 1986,
  JOURNAL = {New Generation Computing},
  VOLUME = {4},
  PAGES = {133-152},
  KEYWORDS = {}}

@article{Voda86,
  AUTHOR = {P. J. Voda},
  TITLE = {Computation of Full Logic Programs Using One-Variable Environments},
  YEAR = 1986,
  JOURNAL = {New Generation Computing},
  VOLUME = {4},
  PAGES = {153-187},
  KEYWORDS = {}}

@article{Kusalik86,
  AUTHOR = {A. J. Kusalik},
  TITLE = {Specification and Initialization of a Logic Computer System},
  YEAR = 1986,
  JOURNAL = {New Generation Computing},
  VOLUME = {4},
  PAGES = {189-209},
  KEYWORDS = {}}

@article{Shapiro:86,
  AUTHOR = {E. Shapiro and S. Safra},
  TITLE = {Multiway Merge with Constant Delay in Concurrent Prolog},
  YEAR = 1986,
  JOURNAL = {New Generation Computing},
  VOLUME = {4},
  PAGES = {211-216},
  KEYWORDS = {}}

@article{Ohsuga86,
  AUTHOR = {S. Ohsuga},
  TITLE = {Artificial Intelligence as New Generation Computing Technology},
  YEAR = 1986,
  JOURNAL = {New Generation Computing},
  VOLUME = {4},
  PAGES = {223-224},
  KEYWORDS = {}}

@article{Lee86,
  AUTHOR = {D. L. Lee},
  TITLE = {ALTEP: A Cellular Processor for High-Speed Pattern Matching},
  YEAR = 1986,
  JOURNAL = {New Generation Computing},
  VOLUME = {4},
  PAGES = {225-244},
  KEYWORDS = {}}

@article{Felgentreu:86,
  AUTHOR = {K.-U. Felgentreu and W.-M. Lippe},
  TITLE = {Low Cost Environment Changing in a Shallow Binding System},
  YEAR = 1986,
  JOURNAL = {New Generation Computing},
  VOLUME = {4},
  PAGES = {245-272},
  KEYWORDS = {}}

@article{Rohmer:86,
  AUTHOR = {J. Rohmer and R. Lescoeur and J. M. Kerisit},
  TITLE = {The Alexander Method: A Technique for the Processing of Recursive Axioms in Deductive Databases},
  YEAR = 1986,
  JOURNAL = {New Generation Computing},
  VOLUME = {4},
  PAGES = {273-285},
  KEYWORDS = {}}

@article{Emden:86,
  AUTHOR = {M. H. van Emden and M. Ohki and A. Takeuchi},
  TITLE = {Spreadsheets with Incremental Queries as a User Interface for Logic Programming},
  YEAR = 1986,
  JOURNAL = {New Generation Computing},
  VOLUME = {4},
  PAGES = {286-304},
  KEYWORDS = {}}

@article{Yokomori86,
  AUTHOR = {T. Yokomori},
  TITLE = {Logic Program Forms},
  YEAR = 1986,
  JOURNAL = {New Generation Computing},
  VOLUME = {4},
  PAGES = {305-319},
  KEYWORDS = {}}

@article{Rossi86,
  AUTHOR = {G. Rossi},
  TITLE = {Uses of Prolog in Implementation of Expert Systems},
  YEAR = 1986,
  JOURNAL = {New Generation Computing},
  VOLUME = {4},
  PAGES = {321-329},
  KEYWORDS = {}}

@article{Tomita:86,
  AUTHOR = {S. Tomita and K. Shibayama and H. Niimi},
  TITLE = {Report on the 13th Annual International Symposium on Computer Architecture},
  YEAR = 1986,
  JOURNAL = {New Generation Computing},
  VOLUME = {4},
  PAGES = {331-333},
  KEYWORDS = {}}

@article{Nitta86,
  AUTHOR = {K. Nitta},
  TITLE = {Report on the Logic Programming Conference '86},
  YEAR = 1986,
  JOURNAL = {New Generation Computing},
  VOLUME = {4},
  PAGES = {334-335},
  KEYWORDS = {}}

@article{Noguchi86,
  AUTHOR = {S. Noguchi},
  TITLE = {Toward a Highly Intelligent Communication},
  YEAR = 1986,
  JOURNAL = {New Generation Computing},
  VOLUME = {4},
  PAGES = {337-338},
  KEYWORDS = {}}

@article{Toyn:86,
  AUTHOR = {I. Toyn and C. Runciman},
  TITLE = {Adapting Combinator and SECD Machines to Display Snapshots of Functional Computations},
  YEAR = 1986,
  JOURNAL = {New Generation Computing},
  VOLUME = {4},
  PAGES = {339-363},
  KEYWORDS = {}}

@article{Takeichi86,
  AUTHOR = {M. Takeichi},
  TITLE = {Inserting Injection Operations to Denotational Specifications},
  YEAR = 1986,
  JOURNAL = {New Generation Computing},
  VOLUME = {4},
  PAGES = {365-381},
  KEYWORDS = {}}

@article{Nilsson86,
  AUTHOR = {U. Nilsson},
  TITLE = {AID: An Alternative Implementation of DCGs},
  YEAR = 1986,
  JOURNAL = {New Generation Computing},
  VOLUME = {4},
  PAGES = {383-399},
  KEYWORDS = {}}

@article{Takeuchi:86,
  AUTHOR = {I. Takeuchi and H. Okuno and N. Ohsato},
  TITLE = {A List Processing Language TAO with Multiple Programming Paradigms},
  YEAR = 1986,
  JOURNAL = {New Generation Computing},
  VOLUME = {4},
  PAGES = {401-444},
  KEYWORDS = {}}

@article{Sato86,
  AUTHOR = {T. Sato},
  TITLE = {Report on the Third International Conference on Logic Programming},
  YEAR = 1986,
  JOURNAL = {New Generation Computing},
  VOLUME = {4},
  PAGES = {445-446},
  KEYWORDS = {}}

@article{Kahn:87,
  AUTHOR = {K. M. Kahn and K. Furukawa},
  TITLE = {Preface to the Special Issue},
  YEAR = 1987,
  JOURNAL = {New Generation Computing},
  VOLUME = {5},
  PAGES = {1-2},
  KEYWORDS = {}}

@article{Fuchi:87,
  AUTHOR = {K. Fuchi and K. Furukawa},
  TITLE = {The Role of Logic Programming in the Fifth Generation Computer Project},
  YEAR = 1987,
  JOURNAL = {New Generation Computing},
  VOLUME = {5},
  PAGES = {3-28},
  KEYWORDS = {}}

@article{Ueda87,
  AUTHOR = {K. Ueda},
  TITLE = {Making Exhaustive Search Programs Deterministic},
  YEAR = 1987,
  JOURNAL = {New Generation Computing},
  VOLUME = {5},
  PAGES = {29-44},
  KEYWORDS = {}}

@article{Codish:87,
  AUTHOR = {M. Codish and E. Shapiro},
  TITLE = {Compiling OR-Parallelism into AND-Parallelism},
  YEAR = 1987,
  JOURNAL = {New Generation Computing},
  VOLUME = {5},
  PAGES = {45-61},
  KEYWORDS = {}}

@article{Matsumoto87,
  AUTHOR = {Y. Matsumoto},
  TITLE = {A Parallel Parsing System for Natural Language Analysis},
  YEAR = 1987,
  JOURNAL = {New Generation Computing},
  VOLUME = {5},
  PAGES = {63-78},
  KEYWORDS = {}}

@article{Yang:87,
  AUTHOR = {R. Yang and H. Aiso},
  TITLE = {P-Prolog: A Parallel Logic Language Based on Exclusive Relation},
  YEAR = 1987,
  JOURNAL = {New Generation Computing},
  VOLUME = {5},
  PAGES = {79-95},
  KEYWORDS = {}}

@article{Kursawe87,
  AUTHOR = {P. Kursawe},
  TITLE = {How to Invent a Prolog Machine},
  YEAR = 1987,
  JOURNAL = {New Generation Computing},
  VOLUME = {5},
  PAGES = {97-114},
  KEYWORDS = {}}

@article{Kawai:87,
  AUTHOR = {K. Kawai and R. Mizoguchi and O. Kakusho and J. Toyoda},
  TITLE = {A Framework for ICAI Systems Based on Inductive Inference and Logic Programming},
  YEAR = 1987,
  JOURNAL = {New Generation Computing},
  VOLUME = {5},
  PAGES = {115-129},
  KEYWORDS = {}}

@article{Terano87,
  AUTHOR = {T. Terano},
  TITLE = {Fuzzy Logic in Man-Machine Systems},
  YEAR = 1987,
  JOURNAL = {New Generation Computing},
  VOLUME = {5},
  PAGES = {131-132},
  KEYWORDS = {}}

@article{Lloyd87,
  AUTHOR = {J. W. Lloyd},
  TITLE = {Declarative Error Diagnosis},
  YEAR = 1987,
  JOURNAL = {New Generation Computing},
  VOLUME = {5},
  PAGES = {133-154},
  KEYWORDS = {}}

@article{Chan87,
  AUTHOR = {M. Chan},
  TITLE = {The Recursive Resolution Method for Modal Logic},
  YEAR = 1987,
  JOURNAL = {New Generation Computing},
  VOLUME = {5},
  PAGES = {155-183},
  KEYWORDS = {}}

@article{Taylor:87,
  AUTHOR = {S. Taylor and E. Av-Ron and E. Shapiro},
  TITLE = {A Layered Method for Process and Code Mapping},
  YEAR = 1987,
  JOURNAL = {New Generation Computing},
  VOLUME = {5},
  PAGES = {185-205},
  KEYWORDS = {}}

@article{Ito87,
  AUTHOR = {T. Ito},
  TITLE = {On Semantical Issues of Information},
  YEAR = 1987,
  JOURNAL = {New Generation Computing},
  VOLUME = {5},
  PAGES = {209-211},
  KEYWORDS = {}}

@article{Fronhoefer87,
  AUTHOR = {B. Fronh\"ofer},
  TITLE = {Linearity and Plan Generation},
  YEAR = 1987,
  JOURNAL = {New Generation Computing},
  VOLUME = {5},
  PAGES = {213-225},
  KEYWORDS = {}}

@article{Yokomori87,
  AUTHOR = {T. Yokomori},
  TITLE = {Set Abstraction: An Extension of All Solutions Predicate in Logic Programming Language},
  YEAR = 1987,
  JOURNAL = {New Generation Computing},
  VOLUME = {5},
  PAGES = {227-248},
  KEYWORDS = {}}

@article{Noshita:87,
  AUTHOR = {K. Noshita and X.-X. He},
  TITLE = {A Fast Algorithm for Translating Combinator Expressions with BC-Chains},
  YEAR = 1987,
  JOURNAL = {New Generation Computing},
  VOLUME = {5},
  PAGES = {249-257},
  KEYWORDS = {}}

@article{Harland:87,
  AUTHOR = {J. Harland and J. Jaffar},
  TITLE = {On Parallel Unification for Prolog},
  YEAR = 1987,
  JOURNAL = {New Generation Computing},
  VOLUME = {5},
  PAGES = {259-279},
  KEYWORDS = {}}

@article{Ozkarahan:87,
  AUTHOR = {E. A. Ozkarahan and M. A. Penaloza},
  TITLE = {On-the-Fly and Background Data Filtering System for Database Architectures},
  YEAR = 1987,
  JOURNAL = {New Generation Computing},
  VOLUME = {5},
  PAGES = {281-314},
  KEYWORDS = {}}

@article{Suzuki87,
  AUTHOR = {N. Suzuki},
  TITLE = {Application-Specific Shell},
  YEAR = 1987,
  JOURNAL = {New Generation Computing},
  VOLUME = {5},
  PAGES = {317-318},
  KEYWORDS = {}}

@article{Nitta:87,
  AUTHOR = {K. Nitta and J. Nagao and T. Mizutori},
  TITLE = {A Knowledge Representation and Inference System for Procedural Law},
  YEAR = 1987,
  JOURNAL = {New Generation Computing},
  VOLUME = {5},
  PAGES = {319-359},
  KEYWORDS = {}}

@article{Clocksin:87,
  AUTHOR = {W. F. Clocksin and H. Alshawi},
  TITLE = {A Method for Efficiently Executing Horn Clause Programs Using Multiple Processors},
  YEAR = 1987,
  JOURNAL = {New Generation Computing},
  VOLUME = {5},
  PAGES = {361-376},
  KEYWORDS = {}}

@article{Takeichi87,
  AUTHOR = {M. Takeichi},
  TITLE = {Lambda-Hoisting: A Transformation Technique for Fully Lazy Evaluation of Functional Programs},
  YEAR = 1987,
  JOURNAL = {New Generation Computing},
  VOLUME = {5},
  PAGES = {377-391},
  KEYWORDS = {}}

@article{Lin:87,
  AUTHOR = {Y.-J. Lin and V. Kumar},
  TITLE = {An Execution Model for Exploiting AND-Parallelism in Logic Programs},
  YEAR = 1987,
  JOURNAL = {New Generation Computing},
  VOLUME = {5},
  PAGES = {393-425},
  KEYWORDS = {}}

@article{Fuchi88,
  AUTHOR = {K. Fuchi},
  TITLE = {A New Beginning},
  YEAR = 1988,
  JOURNAL = {New Generation Computing},
  VOLUME = {6},
  PAGES = {1-2},
  KEYWORDS = {}}

@article{Murzin:88,
  AUTHOR = {F. A. Murzin and V. A. Sluev},
  TITLE = {A Memory Organization for Parallel Computers},
  YEAR = 1988,
  JOURNAL = {New Generation Computing},
  VOLUME = {6},
  PAGES = {3-18},
  KEYWORDS = {}}

@article{Ozkarahan:88,
  AUTHOR = {E. A. Ozkarahan and C. H. Bozsahin},
  TITLE = {Join Strategies Using Data Space Partitioning},
  YEAR = 1988,
  JOURNAL = {New Generation Computing},
  VOLUME = {6},
  PAGES = {19-39},
  KEYWORDS = {}}

@article{Rayward-Smith:88,
  AUTHOR = {V. J. Rayward-Smith and G. P. McKeown and F. W. Burton},
  TITLE = {The General Problem Solving Algorithm and its Implementation},
  YEAR = 1988,
  JOURNAL = {New Generation Computing},
  VOLUME = {6},
  PAGES = {41-66},
  KEYWORDS = {}}

@article{Bjorner88,
  AUTHOR = {D. Bjorner},
  TITLE = {Preface for the Special Issue},
  YEAR = 1988,
  JOURNAL = {New Generation Computing},
  VOLUME = {6},
  PAGES = {77-78},
  KEYWORDS = {}}

@article{Ershov88,
  AUTHOR = {A. P. Ershov},
  TITLE = {Opening Key-Note Speech},
  YEAR = 1988,
  JOURNAL = {New Generation Computing},
  VOLUME = {6},
  PAGES = {79-86},
  KEYWORDS = {}}

@article{Jones88,
  AUTHOR = {N. D. Jones},
  TITLE = {Scientific Foreword},
  YEAR = 1988,
  JOURNAL = {New Generation Computing},
  VOLUME = {6},
  PAGES = {87-90},
  KEYWORDS = {}}

@article{Fujita:88,
  AUTHOR = {H. Fujita and K. Furukawa},
  TITLE = {A Self-Applicable Partial Evaluator and its Use in Incremental Compilation},
  YEAR = 1988,
  JOURNAL = {New Generation Computing},
  VOLUME = {6},
  PAGES = {91-118},
  KEYWORDS = {}}

@article{Fuller:88,
  AUTHOR = {D. A. Fuller and S. Abramsky},
  TITLE = {Mixed Computation of Pro|og Programs},
  YEAR = 1988,
  JOURNAL = {New Generation Computing},
  VOLUME = {6},
  PAGES = {119-141},
  KEYWORDS = {}}

@article{Furukawa:88,
  AUTHOR = {K. Furukawa and A. Okumura and M. Murakami},
  TITLE = {Unfolding Rules for GHC Programs},
  YEAR = 1988,
  JOURNAL = {New Generation Computing},
  VOLUME = {6},
  PAGES = {143-157},
  KEYWORDS = {}}

@article{Gallagher:88,
  AUTHOR = {J. Gallagher and M. Codish and E. Shapiro},
  TITLE = {Specialisation of Prolog and FCP Programs Using Abstract Interpretation},
  YEAR = 1988,
  JOURNAL = {New Generation Computing},
  VOLUME = {6},
  PAGES = {159-186},
  KEYWORDS = {}}

@article{Hascoet88,
  AUTHOR = {L. Hascoet},
  TITLE = {Partial Evaluation with Inference Rules},
  YEAR = 1988,
  JOURNAL = {New Generation Computing},
  VOLUME = {6},
  PAGES = {187-209},
  KEYWORDS = {}}

@article{Lakhotia:88,
  AUTHOR = {A. Lakhotia and L. Sterling},
  TITLE = {Composing Recursive Logic Programs with Clausal Join},
  YEAR = 1988,
  JOURNAL = {New Generation Computing},
  VOLUME = {6},
  PAGES = {211-225},
  KEYWORDS = {}}

@article{Levi:88,
  AUTHOR = {G. Levi and G. Sardu},
  TITLE = {Partial Evaluation of Metaprograms in a ``Multiple Worlds'' Logic Language},
  YEAR = 1988,
  JOURNAL = {New Generation Computing},
  VOLUME = {6},
  PAGES = {227-247},
  KEYWORDS = {}}

@article{Sakama:88,
  AUTHOR = {C. Sakama and H. Itoh},
  TITLE = {Partial Evaluation of Queries in Deductive Databases},
  YEAR = 1988,
  JOURNAL = {New Generation Computing},
  VOLUME = {6},
  PAGES = {249-258},
  KEYWORDS = {}}

@article{Takeuchi:88,
  AUTHOR = {A. Takeuchi and H. Fujita},
  TITLE = {Competitive Partial Evaluation: Some Remaining Problems of Partial Evaluation},
  YEAR = 1988,
  JOURNAL = {New Generation Computing},
  VOLUME = {6},
  PAGES = {259-277},
  KEYWORDS = {}}

@article{Venken:88,
  AUTHOR = {R. Venken and B. Demoen},
  TITLE = {A Partial Evaluation System for Prolog: Some Practical Considerations},
  YEAR = 1988,
  JOURNAL = {New Generation Computing},
  VOLUME = {6},
  PAGES = {279-290},
  KEYWORDS = {}}

@article{Jones88,
  AUTHOR = {N. D. Jones},
  TITLE = {Challenging Problems in Partial Evaluation and Mixed Computation},
  YEAR = 1988,
  JOURNAL = {New Generation Computing},
  VOLUME = {6},
  PAGES = {291-302},
  KEYWORDS = {}}

@article{Mogensen:88,
  AUTHOR = {T. Mogensen and C. K. Holst},
  TITLE = {Terminology},
  YEAR = 1988,
  JOURNAL = {New Generation Computing},
  VOLUME = {6},
  PAGES = {303-307},
  KEYWORDS = {}}

@article{Sestoft:88,
  AUTHOR = {P. Sestoft and A. V. Zamulin},
  TITLE = {Annotated Bibliography on Partial Evaluation and Mixed Computation},
  YEAR = 1988,
  JOURNAL = {New Generation Computing},
  VOLUME = {6},
  PAGES = {309-354},
  KEYWORDS = {}}

@article{Yokoi88,
  AUTHOR = {T. Yokoi},
  TITLE = {Giving Priority to ``Information-Oriented Technology'' over ``Computer-Oriented Technology''},
  YEAR = 1988,
  JOURNAL = {New Generation Computing},
  VOLUME = {6},
  PAGES = {359-360},
  KEYWORDS = {}}

@article{Console:88,
  AUTHOR = {L. Console and G. Rossi},
  TITLE = {Using Prolog for Building Frog, a Hybrid Knowledge Representation System},
  YEAR = 1988,
  JOURNAL = {New Generation Computing},
  VOLUME = {6},
  PAGES = {361-388},
  KEYWORDS = {}}

@article{Gregory:88,
  AUTHOR = {S. Gregory and I. T. Foster and A. D. Burt and G. A. Ringwood},
  TITLE = {An Abstract Machine for the Implementation of PARLOG on Uniprocessors},
  YEAR = 1988,
  JOURNAL = {New Generation Computing},
  VOLUME = {6},
  PAGES = {389-420},
  KEYWORDS = {}}

@article{Sato:88,
  AUTHOR = {T. Sato and H. Tamaki},
  TITLE = {Existential Continuation},
  YEAR = 1988,
  JOURNAL = {New Generation Computing},
  VOLUME = {6},
  PAGES = {421-438},
  KEYWORDS = {}}

@article{Fuchi89,
  AUTHOR = {K. Fuchi},
  TITLE = {The Nucleus of Future Computing},
  YEAR = 1989,
  JOURNAL = {New Generation Computing},
  VOLUME = {7},
  PAGES = {1-2},
  KEYWORDS = {}}

@article{Mozaffari:89,
  AUTHOR = {M. Mozaffari and Y. Tanaka},
  TITLE = {ODM: An Object Oriented Data Model},
  YEAR = 1989,
  JOURNAL = {New Generation Computing},
  VOLUME = {7},
  PAGES = {3-35},
  KEYWORDS = {}}

@article{Hermenegildo:89,
  AUTHOR = {M. Hermenegildo and E. Tick},
  TITLE = {Memory Referencing Characteristics and Caching Performance of AND-Parallel Prolog on Shared-Memory Multiprocessors},
  YEAR = 1989,
  JOURNAL = {New Generation Computing},
  VOLUME = {7},
  PAGES = {37-58},
  KEYWORDS = {}}

@article{Ringwood89,
  AUTHOR = {G. A. Ringwood},
  TITLE = {Predicates and Pixels},
  YEAR = 1989,
  JOURNAL = {New Generation Computing},
  VOLUME = {7},
  PAGES = {59-80},
  KEYWORDS = {}}

@article{Furukawa89,
  AUTHOR = {K. Furukawa},
  TITLE = {Conference Report: FGCS'88},
  YEAR = 1989,
  JOURNAL = {New Generation Computing},
  VOLUME = {7},
  PAGES = {81-83},
  KEYWORDS = {}}

@article{Yardeni:90,
  AUTHOR = {E. Yardeni and S. Kliger and E. Shapiro},
  TITLE = {The Languages FCP(:) and FCP(:,?)},
  YEAR = 1990,
  JOURNAL = {New Generation Computing},
  VOLUME = {7},
  PAGES = {89-107},
  KEYWORDS = {}}

@article{Haridi90,
  AUTHOR = {S. Haridi},
  TITLE = {A Logic Programming Language Based on the Andorra Model},
  YEAR = 1990,
  JOURNAL = {New Generation Computing},
  VOLUME = {7},
  PAGES = {109-125},
  KEYWORDS = {}}

@article{Yoshida:90,
  AUTHOR = {K. Yoshida and T. Chikayama},
  TITLE = {A'UM: A Stream-Based Concurrent Object-Oriented Language},
  YEAR = 1990,
  JOURNAL = {New Generation Computing},
  VOLUME = {7},
  PAGES = {127-157},
  KEYWORDS = {}}

@article{Ichiyoshi:90,
  AUTHOR = {N. Ichiyoshi and K. Rokusawa and K. Nakajima and Y. Inamura},
  TITLE = {A New External Reference Management and Distributed Unification for KL1},
  YEAR = 1990,
  JOURNAL = {New Generation Computing},
  VOLUME = {7},
  PAGES = {158-177},
  KEYWORDS = {}}

@article{Takeda:90,
  AUTHOR = {Y. Takeda and H. Nakashima and K. Masuda and T. Chikayama and K. Taki},
  TITLE = {A Load Balancing Mechanism for Large Scale Multiprocessor Systems and Its Implementation},
  YEAR = 1990,
  JOURNAL = {New Generation Computing},
  VOLUME = {7},
  PAGES = {179-195},
  KEYWORDS = {}}

@article{Harsat:90,
  AUTHOR = {A. Harsat and R. Ginosar},
  TITLE = {CARMEL-2: A Second Generation VLSI Architecture for Flat Concurrent Prolog},
  YEAR = 1990,
  JOURNAL = {New Generation Computing},
  VOLUME = {7},
  PAGES = {197-218},
  KEYWORDS = {}}

@article{Ebcioglu:90,
  AUTHOR = {K. Ebcioglu and M. Kumar},
  TITLE = {A Wide Instruction Word Architecture for Parallel Execution of Logic Programs Coded in BSL},
  YEAR = 1990,
  JOURNAL = {New Generation Computing},
  VOLUME = {7},
  PAGES = {219-242},
  KEYWORDS = {}}

@article{Lusk:90,
  AUTHOR = {E. Lusk and R. Butler and T. Disz and R. Olson and R. Overbeek and R. Stevens and D. H. D. Warren and A. Calderwood and P. Szeredi and S. Haridi and P. Brand and M. Carlsson and A. Ciepielewski and B. Hausman},
  TITLE = {The Aurora Or-Parallel Prolog System},
  YEAR = 1990,
  JOURNAL = {New Generation Computing},
  VOLUME = {7},
  PAGES = {243-271},
  KEYWORDS = {}}

@article{Bansal:90,
  AUTHOR = {A. K. Bansal and L. S. Sterling},
  TITLE = {An Abstract Interpretation Scheme for Identifying Inherent Parallelism in Logic Programs},
  YEAR = 1990,
  JOURNAL = {New Generation Computing},
  VOLUME = {7},
  PAGES = {273-324},
  KEYWORDS = {}}

@article{Tick90,
  AUTHOR = {E. Tick},
  TITLE = {Compile-Time Granularity Analysis for Parallel Logic Programming Languages},
  YEAR = 1990,
  JOURNAL = {New Generation Computing},
  VOLUME = {7},
  PAGES = {325-337},
  KEYWORDS = {}}

@article{Goswami:90,
  AUTHOR = {A. K. Goswami and L. M. Patnaik},
  TITLE = {A Functional Style of Programming with CSP-Like Communication Mechanisms},
  YEAR = 1990,
  JOURNAL = {New Generation Computing},
  VOLUME = {7},
  PAGES = {341-364},
  KEYWORDS = {}}

@article{Sakakibara:90,
  AUTHOR = {Y. Sakakibara and F. Limited},
  TITLE = {Inductive Inference of Logic Programs Based on Algebraic Semantics},
  YEAR = 1990,
  JOURNAL = {New Generation Computing},
  VOLUME = {7},
  PAGES = {365-380},
  KEYWORDS = {}}

@article{Aronsson:90,
  AUTHOR = {M. Aronsson and L.-H. Eriksson and A. G\"aredal and L. Halln\"as and P. Olin},
  TITLE = {The Programming Language GCLA: A Definitional Approach to Logic Programming},
  YEAR = 1990,
  JOURNAL = {New Generation Computing},
  VOLUME = {7},
  PAGES = {381-404},
  KEYWORDS = {}}

@article{Tanaka90,
  AUTHOR = {H. Tanaka},
  TITLE = {Permeation of Knowledge Information Processing Systems},
  YEAR = 1990,
  JOURNAL = {New Generation Computing},
  VOLUME = {8},
  PAGES = {1-3},
  KEYWORDS = {}}

@article{Ling90,
  AUTHOR = {T. W. Ling},
  TITLE = {The Prolog Not-Predicate and Nagation as Failure Rule},
  YEAR = 1990,
  JOURNAL = {New Generation Computing},
  VOLUME = {8},
  PAGES = {5-31},
  KEYWORDS = {}}

@article{Jiang90,
  AUTHOR = {Y. J. Jiang},
  TITLE = {An Epistemic Model of Logic Programming},
  YEAR = 1990,
  JOURNAL = {New Generation Computing},
  VOLUME = {8},
  PAGES = {33-59},
  KEYWORDS = {}}

@article{Lakhotia:90,
  AUTHOR = {A. Lakhotia and L. Sterling},
  TITLE = {How to Control Unfolding when Specializing Interpreters},
  YEAR = 1990,
  JOURNAL = {New Generation Computing},
  VOLUME = {8},
  PAGES = {61-70},
  KEYWORDS = {}}

@article{Guessoum:90,
  AUTHOR = {A. Guessoum and J. W. Lloyd},
  TITLE = {Updating Knowledge Bases},
  YEAR = 1990,
  JOURNAL = {New Generation Computing},
  VOLUME = {8},
  PAGES = {71-89},
  KEYWORDS = {}}

@article{Kowalski90,
  AUTHOR = {R. Kowalski},
  TITLE = {English as a Logic Programming Language},
  YEAR = 1990,
  JOURNAL = {New Generation Computing},
  VOLUME = {8},
  PAGES = {91-93},
  KEYWORDS = {}}

@article{Numao:90,
  AUTHOR = {M. Numao and S. Morishita and H. Maruyama},
  TITLE = {How Should Prolog Computation Be Represented for Practical Use?},
  YEAR = 1990,
  JOURNAL = {New Generation Computing},
  VOLUME = {8},
  PAGES = {95-112},
  KEYWORDS = {}}

@article{Simpkins:90,
  AUTHOR = {N. K. Simpkins and P. Hancox},
  TITLE = {Chart Parsing in Prolog},
  YEAR = 1990,
  JOURNAL = {New Generation Computing},
  VOLUME = {8},
  PAGES = {113-138},
  KEYWORDS = {}}

@article{Snyder90,
  AUTHOR = {R. M. Snyder},
  TITLE = {Lazy Debugging of Lazy Functional Programs},
  YEAR = 1990,
  JOURNAL = {New Generation Computing},
  VOLUME = {8},
  PAGES = {139-161},
  KEYWORDS = {}}

@article{Kaneda:90,
  AUTHOR = {Y. Kaneda and H. Matsuda and K. Akiyoshi},
  TITLE = {Introduction of dosim Predicate to Prolog},
  YEAR = 1990,
  JOURNAL = {New Generation Computing},
  VOLUME = {8},
  PAGES = {163-181},
  KEYWORDS = {}}

@article{Hirose90,
  AUTHOR = {K. Hirose},
  TITLE = {On Computer Science Curricula at Universities},
  YEAR = 1990,
  JOURNAL = {New Generation Computing},
  VOLUME = {8},
  PAGES = {183-184},
  KEYWORDS = {}}

@article{Katsuno90,
  AUTHOR = {H. Katsuno},
  TITLE = {Closed World Assumptions Having Precedence in Predicates},
  YEAR = 1990,
  JOURNAL = {New Generation Computing},
  VOLUME = {8},
  PAGES = {185-209},
  KEYWORDS = {}}

@article{Wilmes90,
  AUTHOR = {T. Wilmes},
  TITLE = {A Generalized Approach to Metaprogramming in Logic Grammars},
  YEAR = 1990,
  JOURNAL = {New Generation Computing},
  VOLUME = {8},
  PAGES = {211-223},
  KEYWORDS = {}}

@article{Hoelldobler:90,
  AUTHOR = {S. H\"olldobler and J. Schneeberger},
  TITLE = {A New Deductive Approach to Planning},
  YEAR = 1990,
  JOURNAL = {New Generation Computing},
  VOLUME = {8},
  PAGES = {225-244},
  KEYWORDS = {}}

@article{Dahl:90,
  AUTHOR = {V. Dahl and F. Popowich},
  TITLE = {Parsing and Generation with Static Discontinuity Grammars},
  YEAR = 1990,
  JOURNAL = {New Generation Computing},
  VOLUME = {8},
  PAGES = {245-274},
  KEYWORDS = {}}

@article{Bibel91,
  AUTHOR = {W. Bibel},
  TITLE = {Predicative Programming},
  YEAR = 1991,
  JOURNAL = {New Generation Computing},
  VOLUME = {8},
  PAGES = {275-276},
  KEYWORDS = {}}

@article{Arikawa:91,
  AUTHOR = {S. Arikawa and K. P. Jantke and T. Yokomori},
  TITLE = {Introduction: SPecial Issue on Algorithmic Learning Theory},
  YEAR = 1991,
  JOURNAL = {New Generation Computing},
  VOLUME = {8},
  PAGES = {277-280},
  KEYWORDS = {}}

@article{Amari91,
  AUTHOR = {S. Amari},
  TITLE = {Mathematical Theory of Neural Learning},
  YEAR = 1991,
  JOURNAL = {New Generation Computing},
  VOLUME = {8},
  PAGES = {281-294},
  KEYWORDS = {}}

@article{Muggleton91,
  AUTHOR = {S. Muggleton},
  TITLE = {Inductive Logic Programming},
  YEAR = 1991,
  JOURNAL = {New Generation Computing},
  VOLUME = {8},
  PAGES = {295-318},
  KEYWORDS = {}}

@article{Abe91,
  AUTHOR = {N. Abe},
  TITLE = {Learning Commutative Deterministic Finite State Automata in Polynomial Time},
  YEAR = 1991,
  JOURNAL = {New Generation Computing},
  VOLUME = {8},
  PAGES = {319-335},
  KEYWORDS = {}}

@article{Shinehara:91,
  AUTHOR = {A. Shinehara and S. Miyano},
  TITLE = {Teachability in Computational Learning},
  YEAR = 1991,
  JOURNAL = {New Generation Computing},
  VOLUME = {8},
  PAGES = {337-347},
  KEYWORDS = {}}

@article{Jantke91,
  AUTHOR = {K. P. Jantke},
  TITLE = {Monotonic and Non-Monotonic Inductive Inference},
  YEAR = 1991,
  JOURNAL = {New Generation Computing},
  VOLUME = {8},
  PAGES = {349-360},
  KEYWORDS = {}}

@article{Lange:91,
  AUTHOR = {S. Lange and R. Wiehagen},
  TITLE = {Polynomial-Time Inference of Arbitrary Pattern Languages},
  YEAR = 1991,
  JOURNAL = {New Generation Computing},
  VOLUME = {8},
  PAGES = {361-370},
  KEYWORDS = {}}

@article{Shinohara91,
  AUTHOR = {T. Shinohara},
  TITLE = {Inductive Inference of Monotonic Formal Systems from Positive Data},
  YEAR = 1991,
  JOURNAL = {New Generation Computing},
  VOLUME = {8},
  PAGES = {371-384},
  KEYWORDS = {}}

@article{Indurkhya91,
  AUTHOR = {B. Indurkhya},
  TITLE = {On the Role of Interpretative Analogy in Learning},
  YEAR = 1991,
  JOURNAL = {New Generation Computing},
  VOLUME = {8},
  PAGES = {385-402},
  KEYWORDS = {}}

@article{Hagiya91,
  AUTHOR = {M. Hagiya},
  TITLE = {Synthesis of Rewrite Programs by Higher-Order and Semantic Unification},
  YEAR = 1991,
  JOURNAL = {New Generation Computing},
  VOLUME = {8},
  PAGES = {403-420},
  KEYWORDS = {}}

@article{Tanaka91,
  AUTHOR = {H. Tanaka},
  TITLE = {The Dawn of New Information World through Knowledge Processing},
  YEAR = 1991,
  JOURNAL = {New Generation Computing},
  VOLUME = {9},
  PAGES = {1-2},
  KEYWORDS = {}}

@article{Poole91,
  AUTHOR = {D. Poole},
  TITLE = {Compiling a Default Reasoning System into Prolog},
  YEAR = 1991,
  JOURNAL = {New Generation Computing},
  VOLUME = {9},
  PAGES = {3-38},
  KEYWORDS = {}}

@article{Dinsmore91,
  AUTHOR = {J. Dinsmore},
  TITLE = {Logic-Based Processing of Semantically Complex Natural Language Discourse},
  YEAR = 1991,
  JOURNAL = {New Generation Computing},
  VOLUME = {9},
  PAGES = {39-68},
  KEYWORDS = {}}

@article{Drabent:91,
  AUTHOR = {W. Drabent and M. Martelli},
  TITLE = {Strict Completion of Logic Programs},
  YEAR = 1991,
  JOURNAL = {New Generation Computing},
  VOLUME = {9},
  PAGES = {69-79},
  KEYWORDS = {}}

@article{Gao:91,
  AUTHOR = {Q. S. Gao and L. H. Li},
  TITLE = {The Principle of Selecten Jumping Searching and C, Co', C* Algorithms},
  YEAR = 1991,
  JOURNAL = {New Generation Computing},
  VOLUME = {9},
  PAGES = {81-104},
  KEYWORDS = {}}

@article{Brough:91,
  AUTHOR = {D. R. Brough and C. J. Hogger},
  TITLE = {Grammar-Related Transformations of Logic Programs},
  YEAR = 1991,
  JOURNAL = {New Generation Computing},
  VOLUME = {9},
  PAGES = {115-134},
  KEYWORDS = {}}

@article{Husheng:91,
  AUTHOR = {L. Husheng and M. Takeichi},
  TITLE = {Preliminary Arrangements of Arguments in Lazy Evaluation},
  YEAR = 1991,
  JOURNAL = {New Generation Computing},
  VOLUME = {9},
  PAGES = {135-147},
  KEYWORDS = {}}

@article{Matsumoto:91,
  AUTHOR = {A. Matsumoto and T. Nakagawa and M. Sato and Y. Kimura and K. Nishida and A. Goto},
  TITLE = {Locally Parallel Cache Design Based on KL1 Memory Access Characteristics},
  YEAR = 1991,
  JOURNAL = {New Generation Computing},
  VOLUME = {9},
  PAGES = {149-169},
  KEYWORDS = {}}

@article{Bolton:91,
  AUTHOR = {D. Bolton and C. Hankin and P. Kelly},
  TITLE = {An Operational Semantics for Paragon: A Design Notation for Parallel Architectures},
  YEAR = 1991,
  JOURNAL = {New Generation Computing},
  VOLUME = {9},
  PAGES = {171-197},
  KEYWORDS = {}}

@article{Ueda:91,
  AUTHOR = {K. Ueda and T. Chikayama},
  TITLE = {Preface for the Special Issue},
  YEAR = 1991,
  JOURNAL = {New Generation Computing},
  VOLUME = {9},
  PAGES = {199-200},
  KEYWORDS = {}}

@article{Korsloot:91,
  AUTHOR = {M. Korsloot and H. Mulder},
  TITLE = {Sequential Architecture Models for Prolog: A Performance Comparison},
  YEAR = 1991,
  JOURNAL = {New Generation Computing},
  VOLUME = {9},
  PAGES = {201-219},
  KEYWORDS = {}}

@article{Taylor91,
  AUTHOR = {A. Taylor},
  TITLE = {High Performance Prolog on a RISC},
  YEAR = 1991,
  JOURNAL = {New Generation Computing},
  VOLUME = {9},
  PAGES = {221-232},
  KEYWORDS = {}}

@article{Hermenegildo:91,
  AUTHOR = {M. V. Hermenegildo and K. J. Greene},
  TITLE = {The \&-Prolog System: Exploiting Independent And-Parallelism},
  YEAR = 1991,
  JOURNAL = {New Generation Computing},
  VOLUME = {9},
  PAGES = {233-256},
  KEYWORDS = {}}

@article{Van-Hentenryck:91,
  AUTHOR = {P. {Van Hentenryck} and T. {Le Provost}},
  TITLE = {Incremental Search in Constraint Logic Programming},
  YEAR = 1991,
  JOURNAL = {New Generation Computing},
  VOLUME = {9},
  PAGES = {257-275},
  KEYWORDS = {}}

@article{Shmueli:91,
  AUTHOR = {O. Shmueli and S. Tsur},
  TITLE = {Logical Diagnosis of LDL Programs},
  YEAR = 1991,
  JOURNAL = {New Generation Computing},
  VOLUME = {9},
  PAGES = {277-303},
  KEYWORDS = {}}

@article{Gallagher:91,
  AUTHOR = {J. Gallagher and M. Bruynooghe},
  TITLE = {The Derivation of an Algorithm for Program Specialisation},
  YEAR = 1991,
  JOURNAL = {New Generation Computing},
  VOLUME = {9},
  PAGES = {305-333},
  KEYWORDS = {}}

@article{Apt:91,
  AUTHOR = {K. R. Apt and M. Bezem},
  TITLE = {Acyclic Programs},
  YEAR = 1991,
  JOURNAL = {New Generation Computing},
  VOLUME = {9},
  PAGES = {335-363},
  KEYWORDS = {}}

@article{Gelfond:91,
  AUTHOR = {M. Gelfond and V. Lifschitz},
  TITLE = {Classical Negation in Logic Programs and Disjunctive Databases},
  YEAR = 1991,
  JOURNAL = {New Generation Computing},
  VOLUME = {9},
  PAGES = {365-385},
  KEYWORDS = {}}

@article{Kowalski:91,
  AUTHOR = {R. A. Kowalski and F. Sadri},
  TITLE = {Logic Programs with Exceptions},
  YEAR = 1991,
  JOURNAL = {New Generation Computing},
  VOLUME = {9},
  PAGES = {387-400},
  KEYWORDS = {}}

@article{Przymusinski91,
  AUTHOR = {T. C. Przymusinski},
  TITLE = {Stable Semantics for Disjunctive Programs},
  YEAR = 1991,
  JOURNAL = {New Generation Computing},
  VOLUME = {9},
  PAGES = {401-424},
  KEYWORDS = {}}

@article{Fages91,
  AUTHOR = {F. Fages},
  TITLE = {A New Fixpoint Semantics for General Logic Programs Compared with the Well-Founded and the Stable Model Semantics},
  YEAR = 1991,
  JOURNAL = {New Generation Computing},
  VOLUME = {9},
  PAGES = {425-443},
  KEYWORDS = {}}

@article{Andreoli:91,
  AUTHOR = {J.-M. Andreoli and R. Pareschi},
  TITLE = {Linear Objects: Logical Processes with Built-In Inheritance},
  YEAR = 1991,
  JOURNAL = {New Generation Computing},
  VOLUME = {9},
  PAGES = {445-473},
  KEYWORDS = {}}

@article{Nakashima91,
  AUTHOR = {H. Nakashima},
  TITLE = {New Models for Software Architecture Project},
  YEAR = 1991,
  JOURNAL = {New Generation Computing},
  VOLUME = {9},
  PAGES = {475-477},
  KEYWORDS = {}}

@article{Foster91,
  AUTHOR = {I. Foster},
  TITLE = {Efficient Computation Control in Concurrent Logic Languages},
  YEAR = 1991,
  JOURNAL = {New Generation Computing},
  VOLUME = {10},
  PAGES = {1-21},
  KEYWORDS = {}}

@article{Sastry:91,
  AUTHOR = {A. V. S. Sastry and L. M. Patnaik},
  TITLE = {OR-Parallel Evaluation of Logic Programs on a Multi-Ring Dataflow Machine},
  YEAR = 1991,
  JOURNAL = {New Generation Computing},
  VOLUME = {10},
  PAGES = {23-53},
  KEYWORDS = {}}

@article{Tirri91,
  AUTHOR = {H. Tirri},
  TITLE = {Implementing Expert System Rule Conditions by Neural Networks},
  YEAR = 1991,
  JOURNAL = {New Generation Computing},
  VOLUME = {10},
  PAGES = {55-71},
  KEYWORDS = {}}

@article{Guessoum:91,
  AUTHOR = {A. Guessoum and J. W. Lloyd},
  TITLE = {Updating Knowledge Bases II},
  YEAR = 1991,
  JOURNAL = {New Generation Computing},
  VOLUME = {10},
  PAGES = {73-100},
  KEYWORDS = {}}

@article{Inoue:91,
  AUTHOR = {K. Inoue and K. Torii},
  TITLE = {Implementation and Analysis of Compile-Time Garbage Collection},
  YEAR = 1991,
  JOURNAL = {New Generation Computing},
  VOLUME = {10},
  PAGES = {101-119},
  KEYWORDS = {}}

@article{Deransart:92,
  AUTHOR = {P. Deransart and G. Ferrant},
  TITLE = {An Operational Formal Definition of PROLOG: A Specification Method and Its Application},
  YEAR = 1992,
  JOURNAL = {New Generation Computing},
  VOLUME = {10},
  PAGES = {121-171},
  KEYWORDS = {}}

@article{Schmittgen:92,
  AUTHOR = {C. Schmittgen and H. Bl\"odorn and W. Kluge},
  TITLE = {Pi-RED: A Graph Reducer for a Full-Fledged lambda-Calculus},
  YEAR = 1992,
  JOURNAL = {New Generation Computing},
  VOLUME = {10},
  PAGES = {173-195},
  KEYWORDS = {}}

@article{Shin:92,
  AUTHOR = {D. W. Shin and J. H. Nang and S. R. Maeng and J. W. Cho},
  TITLE = {A Typed Functional Extension of Logic Programming},
  YEAR = 1992,
  JOURNAL = {New Generation Computing},
  VOLUME = {10},
  PAGES = {197-221},
  KEYWORDS = {}}

@article{Ohki:92,
  AUTHOR = {M. Ohki and K. Sakane and J. Sawamoto and Y. Fujii},
  TITLE = {Enchanced Qualitative Physical Reasoning System: Qupras},
  YEAR = 1992,
  JOURNAL = {New Generation Computing},
  VOLUME = {10},
  PAGES = {223-253},
  KEYWORDS = {}}

@article{Naish92,
  AUTHOR = {L. Naish},
  TITLE = {Declarative Diagnosis of Missing Answers},
  YEAR = 1992,
  JOURNAL = {New Generation Computing},
  VOLUME = {10},
  PAGES = {255-285},
  KEYWORDS = {}}

@article{Oflazer92,
  AUTHOR = {K. Oflazer},
  TITLE = {Highly Parallel Execution of Production Systems: A Model, Algorithms and Architecture},
  YEAR = 1992,
  JOURNAL = {New Generation Computing},
  VOLUME = {10},
  PAGES = {287-313},
  KEYWORDS = {}}

@article{Cheng:92,
  AUTHOR = {M. H. M. Cheng and R. N. Horspool and M. R. Levy and M. H. van Emden},
  TITLE = {Compositional Operational Semantics for Prolog Programs},
  YEAR = 1992,
  JOURNAL = {New Generation Computing},
  VOLUME = {10},
  PAGES = {315-328},
  KEYWORDS = {}}

@article{Tanaka92,
  AUTHOR = {H. Tanaka},
  TITLE = {Workshop: ``Application of Logic Progamming in Genetic Sequence Analysis''},
  YEAR = 1992,
  JOURNAL = {New Generation Computing},
  VOLUME = {10},
  PAGES = {329-333},
  KEYWORDS = {}}

@article{Mello:92,
  AUTHOR = {P. Mello and A. Natali},
  TITLE = {Extending Prolog with Modularity, Concurrency and Meta-Rules},
  YEAR = 1992,
  JOURNAL = {New Generation Computing},
  VOLUME = {10},
  PAGES = {335-359},
  KEYWORDS = {}}

@article{Hickey:92,
  AUTHOR = {T. J. Hickey and J. Cohen and V. Deschamps},
  TITLE = {Meta-Level Interpretation of Constraint Languages: A Case Study - Logical Primitives},
  YEAR = 1992,
  JOURNAL = {New Generation Computing},
  VOLUME = {10},
  PAGES = {361-384},
  KEYWORDS = {}}

@article{Crammond92,
  AUTHOR = {J. Crammond},
  TITLE = {The Abstract Machine and Implementation of Parallel Parlog},
  YEAR = 1992,
  JOURNAL = {New Generation Computing},
  VOLUME = {10},
  PAGES = {385-422},
  KEYWORDS = {}}

@article{Konagaya92,
  AUTHOR = {A. Konagaya},
  TITLE = {New Topics in Genetic Algorithm Research},
  YEAR = 1992,
  JOURNAL = {New Generation Computing},
  VOLUME = {10},
  PAGES = {423-427},
  KEYWORDS = {}}

@article{Tanaka:92,
  AUTHOR = {J. Tanaka and J. Barklund and N. Ichiyoshi and K. Kahn},
  TITLE = {Future Directions of Parallel Programming and Architecture},
  YEAR = 1992,
  JOURNAL = {New Generation Computing},
  VOLUME = {10},
  PAGES = {429-435},
  KEYWORDS = {}}

@article{Brogi:92,
  AUTHOR = {A. Brogi and E. Lamma and P. Mello},
  TITLE = {Compositional Model-Theoretic Semantics for Logic Programs},
  YEAR = 1992,
  JOURNAL = {New Generation Computing},
  VOLUME = {11},
  PAGES = {1-21},
  KEYWORDS = {}}

@article{Shen92,
  AUTHOR = {Y.-D. Shen},
  TITLE = {Verifying Local Stratifiability of Logic Programs and Databases},
  YEAR = 1992,
  JOURNAL = {New Generation Computing},
  VOLUME = {11},
  PAGES = {23-46},
  KEYWORDS = {}}

@article{Bruynooghe:92,
  AUTHOR = {M. Bruynooghe and D. {De Schreye} and B. Martens},
  TITLE = {A General Criterion for Avoiding Infinite Unfolding During Partial Deduction},
  YEAR = 1992,
  JOURNAL = {New Generation Computing},
  VOLUME = {11},
  PAGES = {47-79},
  KEYWORDS = {}}

@article{Ali:92,
  AUTHOR = {K. A. M. Ali and R. Karlsson and S. Mudambi},
  TITLE = {Performance of Muse on Switch-Based Multiprocessor Machines},
  YEAR = 1992,
  JOURNAL = {New Generation Computing},
  VOLUME = {11},
  PAGES = {81-103},
  KEYWORDS = {}}

@article{Furukawa93,
  AUTHOR = {K. Furukawa},
  TITLE = {Prospects for New Generation Computing},
  YEAR = 1993,
  JOURNAL = {New Generation Computing},
  VOLUME = {11},
  PAGES = {105-106},
  KEYWORDS = {}}

@article{Jiang93,
  AUTHOR = {Y. J. Jiang},
  TITLE = {On the Autoepistemic Reconstruction of Logic Programming},
  YEAR = 1993,
  JOURNAL = {New Generation Computing},
  VOLUME = {11},
  PAGES = {107-124},
  KEYWORDS = {}}

@article{Marriot:93,
  AUTHOR = {K. Marriot and H. Sondergaard},
  TITLE = {Difference-List Transformation for Prolog},
  YEAR = 1993,
  JOURNAL = {New Generation Computing},
  VOLUME = {11},
  PAGES = {125-157},
  KEYWORDS = {}}

@article{Nishida:93,
  AUTHOR = {T. Nishida and K. Mizutani and S. Doshida},
  TITLE = {Automated Analysis of Qualitative Behaviors of Piecewise Linear Ordinary Differential Equations},
  YEAR = 1993,
  JOURNAL = {New Generation Computing},
  VOLUME = {11},
  PAGES = {159-177},
  KEYWORDS = {}}

@article{Loogen93,
  AUTHOR = {R. Loogen},
  TITLE = {Relating the Implementation Techniques of Functional and Functional Logic Languages},
  YEAR = 1993,
  JOURNAL = {New Generation Computing},
  VOLUME = {11},
  PAGES = {179-215},
  KEYWORDS = {}}

@article{Dally93,
  AUTHOR = {W. J. Dally},
  TITLE = {A Universal Parallel Computer Architecture},
  YEAR = 1993,
  JOURNAL = {New Generation Computing},
  VOLUME = {11},
  PAGES = {227-249},
  KEYWORDS = {}}

@article{Shimada:93,
  AUTHOR = {K. Shimada and H. Koike and H. Tanaka},
  TITLE = {UNIRED II: The High Performance Inference Processor for the Parallel Inference Machine PIE64},
  YEAR = 1993,
  JOURNAL = {New Generation Computing},
  VOLUME = {11},
  PAGES = {251-269},
  KEYWORDS = {}}

@article{Tick:93,
  AUTHOR = {E. Tick and X. Zhong},
  TITLE = {A Compile-Time Granularity Analysis Algorithm and Its Performance Evaluation},
  YEAR = 1993,
  JOURNAL = {New Generation Computing},
  VOLUME = {11},
  PAGES = {271-295},
  KEYWORDS = {}}

@article{Gupta:93,
  AUTHOR = {G. Gupta and M. V. Hermenegildo and V. S. Costa},
  TITLE = {And-Or Parallel Prolog: A Recomputation Based Approach},
  YEAR = 1993,
  JOURNAL = {New Generation Computing},
  VOLUME = {11},
  PAGES = {297-321},
  KEYWORDS = {}}

@article{Ueda:93,
  AUTHOR = {K. Ueda and M. Morita},
  TITLE = {Message-Oriented Parallel Implementation of Moded Flat GHC},
  YEAR = 1993,
  JOURNAL = {New Generation Computing},
  VOLUME = {11},
  PAGES = {323-341},
  KEYWORDS = {}}

@article{Bratko93,
  AUTHOR = {I. Bratko},
  TITLE = {Applications of Machine Learning: Towards Knowledge Synthesis},
  YEAR = 1993,
  JOURNAL = {New Generation Computing},
  VOLUME = {11},
  PAGES = {343-360},
  KEYWORDS = {}}

@article{Arikawa:93,
  AUTHOR = {S. Arikawa and S. Miyano and A. Shinohara and S. Kuhara and Y. Mukouchi and T. Shinohara},
  TITLE = {A Machine Discovery from Amino Acid Sequences by Decision Trees over Regular Patterns},
  YEAR = 1993,
  JOURNAL = {New Generation Computing},
  VOLUME = {11},
  PAGES = {361-375},
  KEYWORDS = {}}

@article{Poole93,
  AUTHOR = {D. Poole},
  TITLE = {Logic Programming, Abduction and Probability: A Top-Down Anytime Algorithm for Estimating Prior and Posterior Probabilities},
  YEAR = 1993,
  JOURNAL = {New Generation Computing},
  VOLUME = {11},
  PAGES = {377-400},
  KEYWORDS = {}}

@article{Ohta:93,
  AUTHOR = {Y. Ohta and K. Inoue},
  TITLE = {Incorporating Top-Down Information into Bottom-Up Hypothetical Reasoning},
  YEAR = 1993,
  JOURNAL = {New Generation Computing},
  VOLUME = {11},
  PAGES = {401-421},
  KEYWORDS = {}}

@article{Nitta:93,
  AUTHOR = {K. Nitta and Y. Ohtake and S. Maeda and M. Ono and H. Ohsaki and K. Sakane},
  TITLE = {HELIC-II: Legal Reasoning System on the Parallel Inference Machine},
  YEAR = 1993,
  JOURNAL = {New Generation Computing},
  VOLUME = {11},
  PAGES = {423-448},
  KEYWORDS = {}}

@article{Jaffar:93,
  AUTHOR = {J. Jaffar and M. J. Maher and P. J. Stuckey and R. H. C. Yap},
  TITLE = {Projecting CLP (R) Constraints},
  YEAR = 1993,
  JOURNAL = {New Generation Computing},
  VOLUME = {11},
  PAGES = {449-469},
  KEYWORDS = {}}

@article{Ohsuga93,
  AUTHOR = {S. Ohsuga},
  TITLE = {Knowledge Science},
  YEAR = 1993,
  JOURNAL = {New Generation Computing},
  VOLUME = {12},
  PAGES = {1-5},
  KEYWORDS = {}}

@article{Sahlin93,
  AUTHOR = {D. Sahlin},
  TITLE = {Mixtus: An Automatic Partial Evaluator for Full Prolog},
  YEAR = 1993,
  JOURNAL = {New Generation Computing},
  VOLUME = {12},
  PAGES = {7-51},
  KEYWORDS = {}}

@article{Bakker:93,
  AUTHOR = {J. W. de Bakker and E. P. de Vink},
  TITLE = {Rendez-Vous with Metric Semantics},
  YEAR = 1993,
  JOURNAL = {New Generation Computing},
  VOLUME = {12},
  PAGES = {53-90},
  KEYWORDS = {}}

@article{Leone:93,
  AUTHOR = {N. Leone and G. Rossi},
  TITLE = {Well-Founded Semantics and Stratification for Ordered Logic Programs},
  YEAR = 1993,
  JOURNAL = {New Generation Computing},
  VOLUME = {12},
  PAGES = {91-121},
  KEYWORDS = {}}

@article{Lefebvre94,
  AUTHOR = {A. Lefebvre},
  TITLE = {Towards an Efficient Evaluation of Recursive Aggregates in Deductive Databases},
  YEAR = 1994,
  JOURNAL = {New Generation Computing},
  VOLUME = {12},
  PAGES = {131-160},
  KEYWORDS = {}}

@article{Barklund94,
  AUTHOR = {J. Barklund},
  TITLE = {Bounded Quantifications for Iteration and Concurrency in Logic Programming},
  YEAR = 1994,
  JOURNAL = {New Generation Computing},
  VOLUME = {12},
  PAGES = {161-182},
  KEYWORDS = {}}

@article{Tomer:94,
  AUTHOR = {A. Tomer and C. J. Hogger},
  TITLE = {Implementing Specifications by Dynamic Inheritance},
  YEAR = 1994,
  JOURNAL = {New Generation Computing},
  VOLUME = {12},
  PAGES = {183-208},
  KEYWORDS = {}}

@article{Bezem:94,
  AUTHOR = {M. Bezem and J. Keuzenkamp},
  TITLE = {Undecidable Goals for Completed Acyclic Programs},
  YEAR = 1994,
  JOURNAL = {New Generation Computing},
  VOLUME = {12},
  PAGES = {209-213},
  KEYWORDS = {}}

@article{Garis94,
  AUTHOR = {H. de Garis},
  TITLE = {An Artificial Brain},
  YEAR = 1994,
  JOURNAL = {New Generation Computing},
  VOLUME = {12},
  PAGES = {215-221},
  KEYWORDS = {}}

@article{Auwatanamongkol:94,
  AUTHOR = {S. Auwatanamongkol and A. Ciepielewski and P. Biswas},
  TITLE = {Cut and Side-Effects in a Data-Driven Implementation of Prolog},
  YEAR = 1994,
  JOURNAL = {New Generation Computing},
  VOLUME = {12},
  PAGES = {223-250},
  KEYWORDS = {}}

@article{Ciancarini94,
  AUTHOR = {P. Ciancarini},
  TITLE = {Distributed Programming with Logic Tuple Spaces},
  YEAR = 1994,
  JOURNAL = {New Generation Computing},
  VOLUME = {12},
  PAGES = {251-284},
  KEYWORDS = {}}

@article{Hasida94,
  AUTHOR = {K. Hasida},
  TITLE = {Dynamics of Symbol Systems},
  YEAR = 1994,
  JOURNAL = {New Generation Computing},
  VOLUME = {12},
  PAGES = {285-310},
  KEYWORDS = {}}

@article{Suematsu94,
  AUTHOR = {H. Suematsu},
  TITLE = {Current Status of the EDR Electronic Dictionary Project and its Evaluation Research},
  YEAR = 1994,
  JOURNAL = {New Generation Computing},
  VOLUME = {12},
  PAGES = {311-316},
  KEYWORDS = {}}

@article{Furukawa:94,
  AUTHOR = {K. Furukawa and T. Shinohara and Y. Takada},
  TITLE = {Special Issue on Algorithmic Learning Theory},
  YEAR = 1994,
  JOURNAL = {New Generation Computing},
  VOLUME = {12},
  PAGES = {319-320},
  KEYWORDS = {}}

@article{Wiehagen94,
  AUTHOR = {R. Wiehagen},
  TITLE = {From Inductive Inference to Algorithmic Learning Theory},
  YEAR = 1994,
  JOURNAL = {New Generation Computing},
  VOLUME = {12},
  PAGES = {321-335},
  KEYWORDS = {}}

@article{Balcazar:94,
  AUTHOR = {J. L. Balcazar and J. Diaz and R. Gavalda and O. Watanabe},
  TITLE = {The Query Complexity of Learning DFA},
  YEAR = 1994,
  JOURNAL = {New Generation Computing},
  VOLUME = {12},
  PAGES = {337-358},
  KEYWORDS = {}}

@article{Akutsu:94,
  AUTHOR = {T. Akutsu and A. Takasu},
  TITLE = {On PAC Learnability of Functional Dependencies},
  YEAR = 1994,
  JOURNAL = {New Generation Computing},
  VOLUME = {12},
  PAGES = {359-374},
  KEYWORDS = {}}

@article{Kurita94,
  AUTHOR = {T. Kurita},
  TITLE = {Iterative Weighted Least Squares Algorithms for Neural Networks Classifiers},
  YEAR = 1994,
  JOURNAL = {New Generation Computing},
  VOLUME = {12},
  PAGES = {375-394},
  KEYWORDS = {}}

@article{Niijima94,
  AUTHOR = {K. Niijima},
  TITLE = {Domains of Attraction in Autoassociative Memory Networks},
  YEAR = 1994,
  JOURNAL = {New Generation Computing},
  VOLUME = {12},
  PAGES = {395-407},
  KEYWORDS = {}}

@article{Okubo:94,
  AUTHOR = {Y. Okubo and M. Haraguchi},
  TITLE = {Planning with Abstraction Based on Partial Predicate Mappings},
  YEAR = 1994,
  JOURNAL = {New Generation Computing},
  VOLUME = {12},
  PAGES = {409-437},
  KEYWORDS = {}}

@article{Shimada94,
  AUTHOR = {J. Shimada},
  TITLE = {The Targets of Real World Computing},
  YEAR = 1994,
  JOURNAL = {New Generation Computing},
  VOLUME = {13},
  PAGES = {1-2},
  KEYWORDS = {}}

@article{Ueda:94,
  AUTHOR = {K. Ueda and M. Morita},
  TITLE = {Moded Flat GHC and Its Message-Oriented Implementation Technique},
  YEAR = 1994,
  JOURNAL = {New Generation Computing},
  VOLUME = {13},
  PAGES = {3-43},
  KEYWORDS = {}}

@article{Aravindan:94,
  AUTHOR = {C. Aravindan and P. M. Dung},
  TITLE = {Partial Deduction of Logic Programs wrt Well-Founded Semantics},
  YEAR = 1994,
  JOURNAL = {New Generation Computing},
  VOLUME = {13},
  PAGES = {45-74},
  KEYWORDS = {}}

@article{Xu:94,
  AUTHOR = {L. Xu and H. Iwasaki and M. Takeichi},
  TITLE = {Derivation of Algorithms by Introduction of Generation Functions},
  YEAR = 1994,
  JOURNAL = {New Generation Computing},
  VOLUME = {13},
  PAGES = {75-98},
  KEYWORDS = {}}

@article{Gu:94,
  AUTHOR = {J. Gu and X. Huang and B. Du},
  TITLE = {A Quantitative Solution to Constraint Satisfaction Problem (CSP)},
  YEAR = 1994,
  JOURNAL = {New Generation Computing},
  VOLUME = {13},
  PAGES = {99-115},
  KEYWORDS = {}}

@article{De-Schreye:95,
  AUTHOR = {D. {De Schreye} and K. Verschaetse},
  TITLE = {Deriving Linear Size Relations for Logic Programs by Abstract Interpretation},
  YEAR = 1995,
  JOURNAL = {New Generation Computing},
  VOLUME = {13},
  PAGES = {117-154},
  KEYWORDS = {}}

@article{Hanus95,
  AUTHOR = {M. Hanus},
  TITLE = {Compile-Time Analysis of Nonlinear Constraints in CLP (R)},
  YEAR = 1995,
  JOURNAL = {New Generation Computing},
  VOLUME = {13},
  PAGES = {155-186},
  KEYWORDS = {}}

@article{Wolff95,
  AUTHOR = {J. G. Wolff},
  TITLE = {Computing as Compression: An Overview of the SP Theory and System},
  YEAR = 1995,
  JOURNAL = {New Generation Computing},
  VOLUME = {13},
  PAGES = {187-214},
  KEYWORDS = {}}

@article{Wolff95,
  AUTHOR = {J. G. Wolff},
  TITLE = {Computing as Compression: SP20},
  YEAR = 1995,
  JOURNAL = {New Generation Computing},
  VOLUME = {13},
  PAGES = {215-241},
  KEYWORDS = {}}

@article{Muggleton:95,
  AUTHOR = {S. Muggleton and F. Mizoguchi and K. Furukawa},
  TITLE = {Special Issue on Inductive Logic Programming},
  YEAR = 1995,
  JOURNAL = {New Generation Computing},
  VOLUME = {13},
  PAGES = {243-244},
  KEYWORDS = {}}

@article{Muggleton95,
  AUTHOR = {S. Muggleton},
  TITLE = {Inverse Entailment and Progol},
  YEAR = 1995,
  JOURNAL = {New Generation Computing},
  VOLUME = {13},
  PAGES = {245-286},
  KEYWORDS = {}}

@article{Quinlan:95,
  AUTHOR = {J. R. Quinlan and R. M. Cameron-Jones},
  TITLE = {Induction of Logic Programs: FOIL and Related Systems},
  YEAR = 1995,
  JOURNAL = {New Generation Computing},
  VOLUME = {13},
  PAGES = {287-312},
  KEYWORDS = {}}

@article{Bratko:95,
  AUTHOR = {I. Bratko and S. Dzeroski},
  TITLE = {Engineering Applications of ILP},
  YEAR = 1995,
  JOURNAL = {New Generation Computing},
  VOLUME = {13},
  PAGES = {313-333},
  KEYWORDS = {}}

@article{Mizoguchi:95,
  AUTHOR = {F. Mizoguchi and H. Ohwada},
  TITLE = {Constrained Relative Least General Generalization for Inducing Constraint Logic Programs},
  YEAR = 1995,
  JOURNAL = {New Generation Computing},
  VOLUME = {13},
  PAGES = {335-368},
  KEYWORDS = {}}

@article{Cohen:95,
  AUTHOR = {W. W. Cohen and C. D. Page},
  TITLE = {Polynomial Learnability and Inductive Logic Programming Methods and Results},
  YEAR = 1995,
  JOURNAL = {New Generation Computing},
  VOLUME = {13},
  PAGES = {369-409},
  KEYWORDS = {}}

@article{King:95,
  AUTHOR = {R. D. King and M. J. E. Sternberg and A. Srinivasan},
  TITLE = {Relating Chemical Activity to Structure: An Examination of OLP Successes},
  YEAR = 1995,
  JOURNAL = {New Generation Computing},
  VOLUME = {13},
  PAGES = {411-433},
  KEYWORDS = {}}

@article{Kowalski95,
  AUTHOR = {R. Kowalski},
  TITLE = {Workshop Report: Application of Logic Programming to Legal Reasoning},
  YEAR = 1995,
  JOURNAL = {New Generation Computing},
  VOLUME = {13},
  PAGES = {435-439},
  KEYWORDS = {}}

@article{Aiba:95,
  AUTHOR = {A. Aiba and K. Yokota},
  TITLE = {Reports on FGCS'94 Workshop on Heterogeneous Cooperative Knowledge-Bases},
  YEAR = 1995,
  JOURNAL = {New Generation Computing},
  VOLUME = {13},
  PAGES = {441-444},
  KEYWORDS = {}}