New Generation Computing, Volume 12

Volume 12, Number 1, 1993

Setsuo Ohsuga: Knowledge Science. 1-5 BibTeX
Dan Sahlin: Mixtus: An Automatic Partial Avaluator for Full Prolog. 7-51 BibTeX
J. W. de Bakker, Erik P. de Vink: Rendez-Vous with Metric Semantics. 53-90 BibTeX
Nicola Leone, Giuseppe Rossi: Well-Founded Semantics and Stratification for Ordered Logic Programs. 91-121 BibTeX
Takashi Chikayama: KLIC: A KL1 Implementation for Unix Systems. 123-124 BibTeX

Alexandre Lefebvre: Towards an Efficient Evaluation of Recursive Aggregates in Deductive Databases. 131-160 BibTeX
Jonas Barklund: Bounded Quantifications for Iteration and Concurrency in Logic Programming. 161-182 BibTeX
Amir Tomer: Implementing Specifications by Dynamic Inheritance. 183-208 BibTeX
Marc Bezem, Jan Keuzenkamp: Undecidable Goals for Completed Acyclic Programs. 209-213 BibTeX
Hugo de Garis: An Artificial Brain: ATR's CAM-Brain Project Aims to Build/Evolve an Artificial Brain with a Million Neural Net Modules Inside a Trillion Cell Cellular Automata Machine. 215-221 BibTeX

Surapong Auwatanamongkol, Andrzej Ciepielewski, Prasenjit Biswas: Cut and Side-Effects in a Data-Driven Implementation of Prolog. 223-250 BibTeX
Paolo Ciancarini: Distributed Programming with Logic Tuple Spaces. 251-284 BibTeX
Kôiti Hasida: Dynamics of Symbos Systems. 285-310 BibTeX
Hiroshi Suematsu: Current Status of the EDR Electronic Dictionary Project and Its Evaluation Research. 311-316 BibTeX

Koichi Furukawa, Takeshi Shinohara, Yuji Takada: Special Issue on Algorithmic Learning Theory. 319-320 BibTeX
Rolf Wiehagen: From Inductive Inference to Algorithmic Learning Theory (Invented). 321-335 BibTeX
José L. Balcázar, Josep Díaz, Ricard Gavaldà, Osamu Watanabe: The Query Complexity of Learning DFA. 337-358 BibTeX
Tatsuya Akutsu, Atsuhiro Takasu: On PAC Learnability of Functional Depencies. 359-374 BibTeX
Takio Kurita: Iterative Weighted Least Squares Algorithms for Neural Networks Classifiers. 375-394 BibTeX
Koichi Niijima: Domains of Attraction in Autoassociative Memory Networks. 395-407 BibTeX
Yoshiaki Okubo, Makoto Haraguchi: Planning with Abstraction Based on Partial Predicate Mappings. 409-437 BibTeX