Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Uri Baron, Jacques Chassin de Kergommeaux, Max Hailperin, Michael Ratcliffe, Philippe Robert, Jean-Claude Syre, Harald Westphal |
The Parallel ECRC Prolog System PEPSys: An Overview and Evaluation Results. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 841-850, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Bruno Bertolino, Paolo Mancarella, Luigi Meo, Luca Nini, Dino Pedreschi, Franco Turini |
A Progress Report on the LML Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 675-684, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Georges Louis, Marc Vauclair |
Algebraic Meta-Level Programming in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 555-564, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Martin Nilsson 0001, Hidehiko Tanaka |
Massively Parallel Implementation of Flat GHC on the Connection Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 1031-1040, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Takuo Koguchi, Hidefumi Kondo, Masahiro Oba, Hidenori Itoh |
Knowledge Representation with Abstractive Layers for Information Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 1168-1175, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Luigia Carlucci Aiello, Daniele Nardi, Marco Schaerf |
Reasoning About Knowledge and Ignorance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 618-627, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Arvind K. Bansal, Leon Sterling |
An Abstract Interpretation Scheme for Logic Programming Based on Type Expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 422-429, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Hiyan Alshawi, David M. Carter, Jan van Eijck, Robert C. Moore, Douglas B. Moran, Stephen G. Pulman |
Overview of the Core Language Engine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 1108-1115, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Ryuzo Hasegawa |
Problem-Solving and Inference Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 54-69, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Carl Hewitt, Gul Agha |
Guarded Horn Clause Languages: Are They Deductive and Logical? ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 650-657, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Kazunori Ueda |
Theory and Practice of Concurrent Systems - The Role of Kernel Language in the FGCS Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 165-166, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | |
Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0 The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Norihiko Yoshida |
Program Transformation Applied to the Derivation of Systoloc Arrays. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 565-572, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Chisato Numaoka, Mario Tokoro |
ADAM: An Extension of Situation Semantics for Practical Use. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 1123-1132, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig |
Declarative Semantics for Modal Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 507-514, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | William J. Dally |
Mechanisms for Concurrent Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 154-156, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Kiyokazu Sakane, Masaru Ohki, Jun Sawamoto, Yuichi Fujii |
Methods for Partition of Target Systems in Qualitative Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 1201-1210, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Sany Leinwand, Joseph A. Goguen, Timothy C. Winkler |
Cell and Ensemble Architecture for the Rewrite Rule Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 869-878, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | John W. Lloyd |
Directions for Meta-Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 609-617, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Boi Faltings |
A Symbolic Framework for Qualitative Kinematics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 1184-1192, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Hervé Gallaire |
Multiple Reasoning Styles in Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 1089-1099, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Wlodzimierz Drabent, Simin Nadjm-Tehrani, Jan Maluszynski |
The Use of Assertions in Algorithmic Debugging. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 573-581, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Yuichiro Anzai |
Artificial Intelligence and Neural Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 1025-1030, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Fred W. Weingarten |
Social Impacts of Advanced Computers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 151, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Patrick Saint-Dizier |
Foundations of DISLOG, Programming in Logic with Discontinuities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 808-815, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Robin Milner |
Interpreting One Concurrent Calculus in Another. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 321-326, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Ryôichi Sugimura, Kôiti Hasida, Kouji Akasaka, Kôzi Hatano, Yukihiro Kubo, Toshiyuki Okunishi |
A Software Environment for Research into Discourse Understanding Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 285-295, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Pierre Cointe |
A Tutorial Introduction to Metaclass Architecture as provides by Class Oriented Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 592-608, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Yasubumi Sakakibara |
An Efficient Learning of Context-Free Grammars for Bottom-Up Parsers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 447-454, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Tadashi Kawamura, Tadashi Kanamori |
Preserving of Stronger Equivalence in Unfold/Fold Logic Program Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 413-421, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Akira Aiba, Kô Sakai, Yosuke Sato, David J. Hawley, Ryuzo Hasegawa |
Constraints Logic Programming Language CAL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 263-276, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Katsumi Inoue |
Problem Solving with Hypothetical Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 1275-1281, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Douglas B. Lenat |
When will Machines Learn? ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 1239-1245, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Jacques Ferber, Jean-Pierre Briot |
Design of a Concurrent Language for Distributed Artificial Intelligence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 755-762, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Ehud Shapiro |
The Panel on Theory and Practice of Concurrent Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 152-153, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Keith L. Clark |
Logic Programming Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 120-139, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Michael Reinfrank, Hartmut Freitag |
Rules and Justifications: A Uniform Approach to Reason Maintenance and Non-Monotonic Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 439-446, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Yuichi Tanaka, Tsutomu Yoshioka |
Overview of the Dictionary and Lexical Knowledge Base Research. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 277-284, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Atsuhiro Goto, Masatoshi Sato, Katsuto Nakajima, Kazuo Taki, Akira Matsumoto |
Overview of the Parallel Inference Machine Architecture (PIM). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 208-229, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Henry Lieberman |
Toward Intelligent Interfaces for Graphic Design Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 1073-1080, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Kemal Ebcioglu, Manoj Kumar |
A Wide Instruction Word Architecture for Parallel Execution of Logic Programs Coded in BSL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 931-942, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Teruhiko Ukita, Kazuo Sumita, Satoshi Kinoshita, Hiroshi Sano, Shin'ya Amano |
Preference Judgement in Comprehending Conversational Sentences using Mult-Paradigm World Knowledge. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 1133-1140, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Per-Kristian Halvorsen, Ronald M. Kaplan |
Projections and Semantic Description in Lexical-Functional Grammar. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 1116-1122, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Hidetoshi Monoi, Yukihiro Morita, Hidenori Itoh, Toshiaki Takewaki, Hiroshi Sakai, Shigeki Shibayama |
Unification-Based Query Language for Relational Knowledge Bases and Its Parallel Execution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 896-903, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | J. W. de Bakker, Joost N. Kok |
Uniform Abstraction, Atomicity and Contractions in the Comparative Semantics of Concurrent Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 347-355, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Yuejun Jiang |
Epistemic Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 515-523, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Timothy Walker |
International Collaboration in IT. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 147-150, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Susumu Kunifuji |
Comments on Knowledge Acquisition and Learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 1236-1238, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Yow-Jian Lin, Vipin Kumar 0001 |
Performance of And-Paralle Execution of Logic Programs on a Shared-Memory Multiprocessor. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 851-860, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Mantis H. M. Cheng, Maarten H. van Emden, Jimmy Ho-Man Lee |
Tables as a User Interface for Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 784-791, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Sangki Han, Jung Wan Cho |
SPHINX - A Hybrid Knowledge Representation System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 1211-1220, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Yasutaka Takeda, Hiroshi Nakashima, Kanae Masuda, Takashi Chikayama, Kazuo Taki |
A Load Balancing Mechanism for Large Scale Multiprocessor Systems and its Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 978-986, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | David H. D. Warren |
Theory and Practice of Concurrent Systems - A Position Paper. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 167-168, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Susumu Yamasaki |
Semantics of Logic Programs over Sequence Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 382-388, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Abhaya Asthana, Boyd Mathews, Cheryl J. Briggs, Mark R. Cravats |
A VLSI Building Block for Massively Parallel Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 879-886, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Yoshihiko Futamura |
Program Evaluation and Generalized Partial Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 685-692, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Hanpei Koike, Hidehiko Tanaka |
Multi-Context Processing and Data Balancing Mechanism of the Parallel Inference Machine PIE64. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 970-977, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Hideto Tomabechi, Teruko Mitamura, Masaru Tomita |
Direct Memory Access Translation for Speech Input. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 1100-1107, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Chan Chi, Lawrence J. Henschen |
CAP - A Three-Phase Query Processing Technique for Indefinite Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 735-744, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Mehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis, Abderrahmane Aggoun, Thomas Graf, Françoise Berthier |
The Constraint Logic Programming Language CHIP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 693-702, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Evan Tick |
Compile-Time Granularity Analysis for Paralle Logic Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 994-1000, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Mildred L. G. Shaw |
Validation in a Knowledge Acquisition System with Multiple Experts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 1259-1266, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Kazumasa Yokota, Moto Kawamura, Atsushi Kanaegami |
Overview of the Knowledge Base Management System (KAPPA). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 252-262, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Yasuo Nagai, Satoshi Terasaki, Takanori Yokoyama, Hirokazu Taki |
Expert System Architecture for Design Tasks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 296-317, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Kazunori Ueda, Koichi Furukawa |
Transformation Rules for GHC Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 582-591, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Takashi Chikayama, Hiroyuki Sato, Toshihiko Miyazaki |
Overview of the Parallel Inference Machine Operating System (PIMOS). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 230-251, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Satoru Miyano |
Parallel Complexity and P-Complete Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 532-541, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Joseph A. Goguen, José Meseguer 0001 |
Software for the Rewrite Rule Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 628-637, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Edward W. Felten, Steve W. Otto |
A Highly Parallel Chess Program. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 1001-1009, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Hayato Ohwada, Fumio Mizoguchi |
An Examination for Applicability of FGHC: The Experience of Designing Qualitative Reasoning System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 1193-1200, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | John R. W. Glauert, George A. Papadopoulos |
A Parallel Implementation of GHC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 1051-1058, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | David E. Johnson 0002 |
The Design of Post-Analysis in the Jets Japanese/English Machine Translation System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 1150-1158, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Hervé J. Touati, Toshiyuki Hama |
A Light-Weight Prolog Garbage Collector. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988., pp. 922-930, 1988, OHMSHA Ltd. Tokyo and Springer-Verlag, 3-540-19558-0. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Rod M. Burstall |
Programming with Modules as Typed Functional Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1984, Tokyo, Japan, November 6-9, 1984., pp. 103-112, 1984, OHMSHA Ltd. Tokyo and North-Holland, 4-274-07221-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | David Scott Warren |
Database Updates in Pure Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1984, Tokyo, Japan, November 6-9, 1984., pp. 244-253, 1984, OHMSHA Ltd. Tokyo and North-Holland, 4-274-07221-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Doug DeGroot |
Restricted AND-Parallelism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1984, Tokyo, Japan, November 6-9, 1984., pp. 471-478, 1984, OHMSHA Ltd. Tokyo and North-Holland, 4-274-07221-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Kenneth M. Kahn, Mats Carlsson |
The Compilation of Prolog Programs without the Use of a Prolog Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1984, Tokyo, Japan, November 6-9, 1984., pp. 348-355, 1984, OHMSHA Ltd. Tokyo and North-Holland, 4-274-07221-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Norbert Heck, Jürgen Avenhaus |
Automatic Implementation of Abstract Data Types Specified by the Logic Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1984, Tokyo, Japan, November 6-9, 1984., pp. 210-219, 1984, OHMSHA Ltd. Tokyo and North-Holland, 4-274-07221-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Joxan Jaffar, Jean-Louis Lassez, Michael J. Maher |
A Theory of Complete Logic Programs with Equality. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1984, Tokyo, Japan, November 6-9, 1984., pp. 175-184, 1984, OHMSHA Ltd. Tokyo and North-Holland, 4-274-07221-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Fumihiro Maruyama, Tamio Mano, Kazushi Hayashi, Taeko Kakuda, Nobuaki Kawato, Takao Uehara |
Prolog-Based Expert System for Logic Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1984, Tokyo, Japan, November 6-9, 1984., pp. 563-571, 1984, OHMSHA Ltd. Tokyo and North-Holland, 4-274-07221-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Mario Tokoro, Yutaka Ishikawa |
An Object-Oriented Approach to Knowledge Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1984, Tokyo, Japan, November 6-9, 1984., pp. 623-631, 1984, OHMSHA Ltd. Tokyo and North-Holland, 4-274-07221-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Alain Colmerauer |
Equations and Inequations on Finite and Infinite Trees. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1984, Tokyo, Japan, November 6-9, 1984., pp. 85-99, 1984, OHMSHA Ltd. Tokyo and North-Holland, 4-274-07221-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Alan Bundy |
Incidence Calculus: A Mechanism for Probabilistic Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1984, Tokyo, Japan, November 6-9, 1984., pp. 166-174, 1984, OHMSHA Ltd. Tokyo and North-Holland, 4-274-07221-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | António Porto |
Two-Level Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1984, Tokyo, Japan, November 6-9, 1984., pp. 356-360, 1984, OHMSHA Ltd. Tokyo and North-Holland, 4-274-07221-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Ryuzo Hasegawa, Makoto Amamiya |
Parallel Execution of Logic Programs based on Dataflow Concept. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1984, Tokyo, Japan, November 6-9, 1984., pp. 507-516, 1984, OHMSHA Ltd. Tokyo and North-Holland, 4-274-07221-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Fumio Mizoguchi, Hayato Ohwada, Yoshinori Katatama |
LOOKS: Knowledge Representation System for Designing Expert Systems in a Logic Programming Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1984, Tokyo, Japan, November 6-9, 1984., pp. 606-612, 1984, OHMSHA Ltd. Tokyo and North-Holland, 4-274-07221-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Masahiro Fujita, Hidehiko Tanaka, Tohru Moto-Oka |
Specifying Hardware in temporal Logic & Efficient Synthesis of State-Diagrams Using Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1984, Tokyo, Japan, November 6-9, 1984., pp. 572-581, 1984, OHMSHA Ltd. Tokyo and North-Holland, 4-274-07221-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Lubomir Bic |
A Data-Driven Model for Parallel Interpretation of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1984, Tokyo, Japan, November 6-9, 1984., pp. 517-523, 1984, OHMSHA Ltd. Tokyo and North-Holland, 4-274-07221-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Jordan B. Pollack, David L. Waltz |
Parallel Interpretation of Natural Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1984, Tokyo, Japan, November 6-9, 1984., pp. 686-691, 1984, OHMSHA Ltd. Tokyo and North-Holland, 4-274-07221-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Werner Dilger, Hans-Albert Schneider |
ASSIP-T: A Theorem Proving Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1984, Tokyo, Japan, November 6-9, 1984., pp. 497-506, 1984, OHMSHA Ltd. Tokyo and North-Holland, 4-274-07221-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Pentti Vataja, Esko Ukkonen |
Finding Temporary Terms in Prolog Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1984, Tokyo, Japan, November 6-9, 1984., pp. 275-282, 1984, OHMSHA Ltd. Tokyo and North-Holland, 4-274-07221-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Kazuo Taki, Minoru Yokota, Akira Yamamoto, Hiroshi Nishikawa, Shunichi Uchida, Hiroshi Nakashima, Akitoshi Mitsuishi |
Hardware Design and Implementation of the Personal Sequential Inference Machine (PSI). ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1984, Tokyo, Japan, November 6-9, 1984., pp. 398-409, 1984, OHMSHA Ltd. Tokyo and North-Holland, 4-274-07221-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Harvey Abramson |
Definite Clause Translation Grammars and the Logical Specification of Data Types as Unambiguous Context Free Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1984, Tokyo, Japan, November 6-9, 1984., pp. 678-685, 1984, OHMSHA Ltd. Tokyo and North-Holland, 4-274-07221-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Minoru Yokota, Akira Yamamoto, Kazuo Taki, Hiroshi Nishikawa, Shunichi Uchida, Katsuto Nakajima, Masaki Mitsui |
A Microprogrammed Interpreter for the Personal Sequential Inference Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1984, Tokyo, Japan, November 6-9, 1984., pp. 410-418, 1984, OHMSHA Ltd. Tokyo and North-Holland, 4-274-07221-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | |
Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1984, Tokyo, Japan, November 6-9, 1984. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![OHMSHA Ltd. Tokyo and North-Holland, 4-274-07221-5 The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Paul J. Voda, Benjamin Yu |
RF-Maple: A Logic Programming Language with Functions, Types, and Concurrency. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1984, Tokyo, Japan, November 6-9, 1984., pp. 341-347, 1984, OHMSHA Ltd. Tokyo and North-Holland, 4-274-07221-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Yoshinori Yamaguchi, Kenji Toda, Jayantha A. Herath, Toshitsugu Yuba |
EM-3: A Lisp-Based Data-Driven Machine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1984, Tokyo, Japan, November 6-9, 1984., pp. 524-532, 1984, OHMSHA Ltd. Tokyo and North-Holland, 4-274-07221-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Henry J. Kohoutek |
Quality Issues in New Generation Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1984, Tokyo, Japan, November 6-9, 1984., pp. 695-702, 1984, OHMSHA Ltd. Tokyo and North-Holland, 4-274-07221-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Hideyuki Nakashima, Satoru Tomura, Kazunori Ueda |
What is a Variable in Prolog? ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1984, Tokyo, Japan, November 6-9, 1984., pp. 327-332, 1984, OHMSHA Ltd. Tokyo and North-Holland, 4-274-07221-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|
1 | Toshio Yokoi, Shunichi Uchida |
Sequential Inference Machine: SIM its Programming and Operating System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCS ![In: Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1984, Tokyo, Japan, November 6-9, 1984., pp. 70-81, 1984, OHMSHA Ltd. Tokyo and North-Holland, 4-274-07221-5. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP BibTeX RDF |
|