default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNew Generation Computing, Volume 4, 1986
Volume 4, Number 1, 1986
- Hideo Asio:
Proof of Originality: Remembrances of Professor Moto-Oka. 1-2 - Kazuhiro Fuchi:
Toward a New Age of Computing: Succeeding to the Editor-in-Chief. 3-4 - Zahran Halim:
A Data-Driven Machine for OR-Parallel Evaluation of Logic Programs. 5-33 - Luis Fariñas del Cerro:
MOLOG: A System That Extends PROLOG with Modal Logic. 35-50 - Yukio Kaneda, Naoyuki Tamura
, Koichi Wada, Hideo Matsuda, Shumin Kuo, Sadao Maekawa:
Sequential Prolog Machine PEK. 51-66 - Robert A. Kowalski, Marek J. Sergot:
A Logic-based Calculus of Events. 67-95 - Akira Yamamoto, Hozumi Tanaka:
Translating Production Rules into a Forward Reasoning Prolog Program. 97-105
Volume 4, Number 2, 1986
- Yutaka Ohno:
Evolutional Multiplication of Software Environments. 113-114 - Wolfgang Bibel:
A Deductive Solution for Plan Generation. 115-132 - T. Y. Chen, Jean-Louis Lassez, Graeme S. Port:
Maximal Unifiable Subsets and Minimal Nonunifiable Subsets. 133-152 - Paul J. Voda:
Computation of Full Logic Programs Using One-Variable Environments. 153-187 - Anthony J. Kusalik:
Specification and Initialization of a Logic Computer System. 189-209 - Ehud Shapiro, Shmuel Safra:
Multiway Merge with Constant Delay in Concurrent Prolog. 211-216
Volume 4, Number 3, 1986
- Setsuo Ohsuga:
Artificial Intelligence as New Gneration Computing Technology. 223-224 - Dik Lun Lee:
ALTEP - A Cellular Processor for High-Speed Pattern Matching. 225-244 - Kay-Ulrich Felgentreu, Wolfram-Manfred Lippe:
Low Cost Environment Changing in a Shallow Binding System. 245-272 - Jean Rohmer, R. Lescoeur, Jean-Marc Kerisit:
The Alexander Method - A Technique for The Processing of Recursive Axioms in Deductive Databases. 273-285 - Maarten H. van Emden, Masaru Ohki, Akikazu Takeuchi:
Spreadsheets with Incremental Queries as a User Interface for Logic Programming. 287-304 - Takashi Yokomori:
Logic Program Forms. 305-319 - Gianfranco Rossi:
Uses of Prolog in Implementation of Expert Systems. 321-329
Volume 4, Number 4, 1986
- Shoichi Noguchi:
Toward a Highly Intelligent Communication. 337-338 - Ian Toyn, Colin Runciman:
Adapting Combinator and SEC Machines to Display Snapshots of Functional Computations. 339-363 - Masato Takeichi:
Inserting Injection Operations to Denotational Specifications. 365-381 - Ulf Nilsson:
AID: An Alternative Implementation of DCGs. 383-399 - Ikuo Takeuchi, Hiroshi G. Okuno, Nobuyasu Ohsato:
A List Processing Language TAO with Multiple Programming Paradigms. 401-444
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-15 19:22 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
