default search action
FGCS 1988: Tokyo, Japan
- Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988. OHMSHA Ltd. Tokyo and Springer-Verlag 1988, ISBN 3-540-19558-0
Keynote Speech
- Kazuhiro Fuchi:
HOP, STEP and JUMP. FGCS 1988: 1-2
ICOT Research and Development
- Takashi Kurozumi:
Present Status and Plans for Research and Development. FGCS 1988: 3-15 - Shunichi Uchida, Kazuo Taki, Katsuto Nakajima, Atsuhiro Goto, Takashi Chikayama:
Research and Development of the Parallel Inference System in the Intermediate Stage of the FGCS Project. FGCS 1988: 16-36 - Hidenori Itoh, Hidetoshi Monoi, Shigeki Shibayama, Nobuyoshi Miyazaki, Haruo Yokota, Akihiko Konagaya:
Knowledge Base System in Logic Programming Paradigm. FGCS 1988: 37-53 - Ryuzo Hasegawa:
Problem-Solving and Inference Software. FGCS 1988: 54-69 - Shunichi Uchida, Tsutomu Yoshioka, Ryôichi Sugimura, Yuiti Tanaka, Kôiti Hasida, Kuniaki Mukai:
The Research and Development of Natural Language Processing Systems in The Intermediate Stage of the FGCS Project. FGCS 1988: 70-84 - Yuichi Fujii, Hirokazu Taki:
Experimental Knowledge Processing System. FGCS 1988: 85-108
Invited Talks
- Herbert A. Simon:
Prospects for Cognitive Science. FGCS 1988: 111-119 - Keith L. Clark:
Logic Programming Schemes. FGCS 1988: 120-139
Panel Discussion: Social Impact of Information Technology and International Collaboration
- Hajime Karatsu:
Social Impact of Information Technology and International Collaboration. FGCS 1988: 143-144 - Jörg H. Siekmann:
Artificial Intelligence: Perspectives and Predictions. FGCS 1988: 145-146 - Timothy Walker:
International Collaboration in IT. FGCS 1988: 147-150 - Fred W. Weingarten:
Social Impacts of Advanced Computers. FGCS 1988: 151
Panel Discussion: Theory and Practice of Concurrent Systems
- Ehud Shapiro:
The Panel on Theory and Practice of Concurrent Systems. FGCS 1988: 152-153 - William J. Dally:
Mechanisms for Concurrent Computing. FGCS 1988: 154-156 - Geoffrey C. Fox:
Theory and Practice of Concurrent Systems. FGCS 1988: 157-160 - Carl Hewitt:
Knowledge Processing. FGCS 1988: 161-162 - Robin Milner:
Some Directions in Concurrency Theory. FGCS 1988: 163-164 - Kazunori Ueda:
Theory and Practice of Concurrent Systems - The Role of Kernel Language in the FGCS Project. FGCS 1988: 165-166 - David H. D. Warren:
Theory and Practice of Concurrent Systems - A Position Paper. FGCS 1988: 167-168
Progress and Future Plans of Knowledge Information Processing
- Jean-Marie Cadiou:
Advanced Information Processing in ESPRIT - Status and Plans. FGCS 1988: 171-179 - Eugene I. Lowenthal:
A Review of MCC's Accomplishments and Strategic Outlook for Knowledge-Based Systems. FGCS 1988: 180-188 - Timothy Walker:
UK IKBS Programmes. FGCS 1988: 189-194
ICOT Research Topics
- Shigeki Shibayama, Hiroshi Sakai, Toshiaki Takewaki, Hidetoshi Monoi, Yukihiro Morita, Hidenori Itoh:
Overview of Knowledge Base Mechanism. FGCS 1988: 197-207 - Atsuhiro Goto, Masatoshi Sato, Katsuto Nakajima, Kazuo Taki, Akira Matsumoto:
Overview of the Parallel Inference Machine Architecture (PIM). FGCS 1988: 208-229 - Takashi Chikayama, Hiroyuki Sato, Toshihiko Miyazaki:
Overview of the Parallel Inference Machine Operating System (PIMOS). FGCS 1988: 230-251 - Kazumasa Yokota, Moto Kawamura, Atsushi Kanaegami:
Overview of the Knowledge Base Management System (KAPPA). FGCS 1988: 252-262 - Akira Aiba, Kô Sakai, Yosuke Sato, David J. Hawley, Ryuzo Hasegawa:
Constraints Logic Programming Language CAL. FGCS 1988: 263-276 - Yuichi Tanaka, Tsutomu Yoshioka:
Overview of the Dictionary and Lexical Knowledge Base Research. FGCS 1988: 277-284 - Ryôichi Sugimura, Kôiti Hasida, Kouji Akasaka, Kôzi Hatano, Yukihiro Kubo, Toshiyuki Okunishi:
A Software Environment for Research into Discourse Understanding Systems. FGCS 1988: 285-295 - Yasuo Nagai, Satoshi Terasaki, Takanori Yokoyama, Hirokazu Taki:
Expert System Architecture for Design Tasks. FGCS 1988: 296-317
Foundation
Invited Paper
- Robin Milner:
Interpreting One Concurrent Calculus in Another. FGCS 1988: 321-326
Functional Logic Programming
- D. W. Shin, Jong H. Nang, Seungryul Maeng, Jung Wan Cho:
The Semantics of a Functional Logic Language with Input Mode. FGCS 1988: 327-336 - Nachum Dershowitz, Mitsuhiro Okada:
Conditional Equational Programming and the Theory of Conditional Term Rewriting. FGCS 1988: 337-346
Theory of Parallel Computation
- J. W. de Bakker, Joost N. Kok:
Uniform Abstraction, Atomicity and Contractions in the Comparative Semantics of Concurrent Prolog. FGCS 1988: 347-355 - Yasuo Okabe, Shuzo Yajima:
Parallel Computational Complexity of Logic Programs and Alternating Turing Machines. FGCS 1988: 356-363 - Moreno Falaschi, Giorgio Levi:
Finite Failures and Partial Computations in Concurrent Logic Languages. FGCS 1988: 364-373 - Masaki Murakami:
A Declarative Semantics of Parallel Logic Programs with Perpetual Processes. FGCS 1988: 374-381
Formal Semantics
- Susumu Yamasaki:
Semantics of Logic Programs over Sequence Domains. FGCS 1988: 382-388 - Laura Giordano, Alberto Martelli, Gianfranco Rossi:
Local Definitions with Static Scope Rules in Logic Programming. FGCS 1988: 389-396 - Philippe Devienne:
WEIGHTED GRAPHS, A Tool for Expressing the Behavious of Recursive Rules in Logic Programming. FGCS 1988: 397-404
Program Analysis and Transformation (2)
- Steffen Hölldobler:
Horn Equality Theories and Complete Sets of Transformations. FGCS 1988: 405-412 - Tadashi Kawamura, Tadashi Kanamori:
Preserving of Stronger Equivalence in Unfold/Fold Logic Program Transformation. FGCS 1988: 413-421 - Arvind K. Bansal, Leon Sterling:
An Abstract Interpretation Scheme for Logic Programming Based on Type Expressions. FGCS 1988: 422-429 - Mizuhito Ogawa, Satoshi Ono:
Transformation of Strictness-Related Analyses Nased on Abstract Interpretation. FGCS 1988: 430-438
Reasoning and Learning
- Michael Reinfrank, Hartmut Freitag:
Rules and Justifications: A Uniform Approach to Reason Maintenance and Non-Monotonic Inference. FGCS 1988: 439-446 - Yasubumi Sakakibara:
An Efficient Learning of Context-Free Grammars for Bottom-Up Parsers. FGCS 1988: 447-454 - Ken Satoh:
Nonmonotonic Reasoning by Minimal Belief Revision. FGCS 1988: 455-462 - Jun Arima:
Generating Rules with Exceptions. FGCS 1988: 463-470
Situation Semantics
- Per-Kristian Halvorsen:
Situation Semantics and Semantic Interpretation in Constraint-Based Grammars. FGCS 1988: 471-478 - Kaniaki Mukai:
Partially Specified Term in Logic Programming for Linguistic Analysis. FGCS 1988: 479-488 - Hideyuki Nakashima, Hiroyuki Suzuki, Per-Kristian Halvorsen, Stanley Peters:
Towards a Computational Interpretation of Situation Theory. FGCS 1988: 489-498
Logic and Theorem Proving
- Koji Iwanuma, Masateru Harao:
Knowledge Representation and Inference Based on First-Order Modal Logic. FGCS 1988: 499-506 - Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig:
Declarative Semantics for Modal Logic Programs. FGCS 1988: 507-514 - Yuejun Jiang:
Epistemic Logic Programming. FGCS 1988: 515-523 - Michaël Rusinowitch:
Theorem-Proving with Resolution and Superposition: An Extension of the Knuth and Bendic Procedure to a Complete Set of Inference Rules. FGCS 1988: 524-531
Messages from Parallel Complexity Theory: Does Parallelism Help?
- Satoru Miyano:
Parallel Complexity and P-Complete Problems. FGCS 1988: 532-541 - Ernst W. Mayr:
Parallel Approximation Algorithms. FGCS 1988: 542-551
Software
Program Analysis and Transformation (1)
- Georges Louis, Marc Vauclair:
Algebraic Meta-Level Programming in Prolog. FGCS 1988: 555-564 - Norihiko Yoshida:
Program Transformation Applied to the Derivation of Systoloc Arrays. FGCS 1988: 565-572 - Wlodzimierz Drabent, Simin Nadjm-Tehrani, Jan Maluszynski:
The Use of Assertions in Algorithmic Debugging. FGCS 1988: 573-581 - Kazunori Ueda, Koichi Furukawa:
Transformation Rules for GHC Programs. FGCS 1988: 582-591
Meta-Computation and Reflection
- Pierre Cointe:
A Tutorial Introduction to Metaclass Architecture as provides by Class Oriented Languages. FGCS 1988: 592-608 - John W. Lloyd:
Directions for Meta-Programming. FGCS 1988: 609-617 - Luigia Carlucci Aiello, Daniele Nardi, Marco Schaerf:
Reasoning About Knowledge and Ignorance. FGCS 1988: 618-627
Computation Models
- Joseph A. Goguen, José Meseguer:
Software for the Rewrite Rule Machine. FGCS 1988: 628-637 - Kaoru Yoshida, Takashi Chikayama:
A'UM - A Stream-Based Concurrent Object-Oriented Language. FGCS 1988: 638-649 - Carl Hewitt, Gul Agha:
Guarded Horn Clause Languages: Are They Deductive and Logical? FGCS 1988: 650-657
Functional Programming
- Yi-Hsiu Wei, Jean-Luc Gaudiot:
Lazy Evaluation of FP Programs: A Data-Flow Approach. FGCS 1988: 658-665 - Göran Båge, Gary Lindstrom:
Committed Choice Functional Programming. FGCS 1988: 666-674 - Bruno Bertolino, Paolo Mancarella, Luigi Meo, Luca Nini, Dino Pedreschi, Franco Turini:
A Progress Report on the LML Project. FGCS 1988: 675-684
Invited Paper
- Yoshihiko Futamura:
Program Evaluation and Generalized Partial Computation. FGCS 1988: 685-692
Constraint Logic Programming
- Mehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis, Abderrahmane Aggoun, Thomas Graf, Françoise Berthier:
The Constraint Logic Programming Language CHIP. FGCS 1988: 693-702 - Jean-Louis Lassez, Ken McAloon:
Applications of a Canonical Form of Gerneralized Linear Constraints. FGCS 1988: 703-710
Deductive Data Bases
- Isaac Balbin, Krishnamurthy Meenakshi, Kotagiri Ramamohanarao:
A Query Independent Method for Magic Set Computation on Stratified Databases. FGCS 1988: 711-718 - Jean-Marc Kerisit, Jean-Marc Pugin:
Efficient Query Answering on Stratified Databases. FGCS 1988: 719-726 - Ching-Shyan Wu, Lawrence J. Henschen:
Answering Linear Recursive Queries in Cyclic Databases. FGCS 1988: 727-734 - Chan Chi, Lawrence J. Henschen:
CAP - A Three-Phase Query Processing Technique for Indefinite Databases. FGCS 1988: 735-744
Parallel Programming Languages
- Seif Haridi, Per Brand:
ANDORRA Prolog - An Integration of Prolog and Committed Choice Languages. FGCS 1988: 745-754 - Jacques Ferber, Jean-Pierre Briot:
Design of a Concurrent Language for Distributed Artificial Intelligence. FGCS 1988: 755-762 - Shmuel Kliger, Eyal Yardeni, Kenneth M. Kahn, Ehud Shapiro:
The Language FCP(: , ?). FGCS 1988: 763-773 - Jiro Tanaka:
Meta-Interpreters and Reflective Operations in GHC. FGCS 1988: 774-783
Logic Programming Languages
- Mantis H. M. Cheng, Maarten H. van Emden, Jimmy Ho-Man Lee:
Tables as a User Interface for Logic Programs. FGCS 1988: 784-791 - Nabiel A. Elshiewy:
Modular and Communicating Objects in SICStus Prolog. FGCS 1988: 792-799 - Micha Meier:
Benchmarking of Prolog Procedures for Indexing Purposes. FGCS 1988: 800-807 - Patrick Saint-Dizier:
Foundations of DISLOG, Programming in Logic with Discontinuities. FGCS 1988: 808-815
Architecture
Parallel Prolog Systems
- Ewing L. Lusk, Ralph Butler, Terry Disz, Robert Olson, Ross A. Overbeek, Rick L. Stevens, David H. D. Warren, Alan Calderwood, Péter Szeredi, Seif Haridi, Per Brand, Mats Carlsson, Andrzej Ciepielewski, Bogumil Hausman:
The Aurora Or-Parallel Prolog System. FGCS 1988: 819-830 - Bogumil Hausman, Andrzej Ciepielewski, Alan Calderwood:
Cut and Side-Effects in Or-Parallel Prolog. FGCS 1988: 831-840 - 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. FGCS 1988: 841-850 - Yow-Jian Lin, Vipin Kumar:
Performance of And-Paralle Execution of Logic Programs on a Shared-Memory Multiprocessor. FGCS 1988: 851-860
Parallel Architectures (1)
- Guang R. Gao, René Tio, Herbert H. J. Hum:
Design of an Efficient Dataflow Architecture without Data Flow. FGCS 1988: 861-868 - Sany Leinwand, Joseph A. Goguen, Timothy C. Winkler:
Cell and Ensemble Architecture for the Rewrite Rule Machine. FGCS 1988: 869-878 - Abhaya Asthana, Boyd Mathews, Cheryl J. Briggs, Mark R. Cravats:
A VLSI Building Block for Massively Parallel Computation. FGCS 1988: 879-886 - Yuzuru Tanaka:
Multiport Memory Architectures. FGCS 1988: 887-895
Parallel Architectures (2)
- Hidetoshi Monoi, Yukihiro Morita, Hidenori Itoh, Toshiaki Takewaki, Hiroshi Sakai, Shigeki Shibayama:
Unification-Based Query Language for Relational Knowledge Bases and Its Parallel Execution. FGCS 1988: 896-903 - Nobuyuki Ichiyoshi, Kazuaki Rokusawa, Katsuto Nakajima, Yu Inamura:
A New External Reference Management and Distributed Unification for KL1. FGCS 1988: 904-913 - Franz Schreiner, Gerhard Zimmermann:
Parallelism in the PESA I Multiprocessor. FGCS 1988: 914-921
Implementation Techniques for Inference Machines
- Hervé J. Touati, Toshiyuki Hama:
A Light-Weight Prolog Garbage Collector. FGCS 1988: 922-930 - Kemal Ebcioglu, Manoj Kumar:
A Wide Instruction Word Architecture for Parallel Execution of Logic Programs Coded in BSL. FGCS 1988: 931-942
Invited Paper
- David H. D. Warren, Seif Haridi:
Data Diffusion Machine - A Scalable Shared Virtual Memory Multiprocessor. FGCS 1988: 943-952
Parallel Inference Machines
- Tsuyoshi Shinogi, Kouichi Kumon, Akira Hattori, Atsuhiro Goto, Yasunori Kimura, Takashi Chikayama:
Macro-Call Instruction for the Efficient KL1 Implementation on PIM. FGCS 1988: 953-961 - Arie Harsat, Ran Ginosar:
CARMEL-2: A Second Generation VLSI Architecture for Flat Concurrent Prolog. FGCS 1988: 962-969 - Hanpei Koike, Hidehiko Tanaka:
Multi-Context Processing and Data Balancing Mechanism of the Parallel Inference Machine PIE64. FGCS 1988: 970-977 - Yasutaka Takeda, Hiroshi Nakashima, Kanae Masuda, Takashi Chikayama, Kazuo Taki:
A Load Balancing Mechanism for Large Scale Multiprocessor Systems and its Implementation. FGCS 1988: 978-986
Scheduling for Parallel Machines
- Mamoru Sugie, M. Yoneyama, Noriyasu Ido, Toshiaki Tarui:
Load-Dispatching Strategy on Parallel Inference Machines. FGCS 1988: 987-993 - Evan Tick:
Compile-Time Granularity Analysis for Paralle Logic Programming Languages. FGCS 1988: 994-1000 - Edward W. Felten, Steve W. Otto:
A Highly Parallel Chess Program. FGCS 1988: 1001-1009
Parallelism in AI
- David L. Waltz, Craig Stanfill:
Artificial Intelligence Related Research on the Connection Machine. FGCS 1988: 1010-1024 - Yuichiro Anzai:
Artificial Intelligence and Neural Computing. FGCS 1988: 1025-1030
Implementation Model for Parallel Logic Languages
- Martin Nilsson, Hidehiko Tanaka:
Massively Parallel Implementation of Flat GHC on the Connection Machine. FGCS 1988: 1031-1040 - Jonas Barklund, Nils Hagner, Malik Wafin:
KL1 in Condition Graphs on a Connection Machine. FGCS 1988: 1041-1050 - John R. W. Glauert, George A. Papadopoulos:
A Parallel Implementation of GHC. FGCS 1988: 1051-1058 - Prasenjit Biswas, Chien-Chao Tseng:
LogDf: A Data-Driven Abstract Machine Model for Parallel Execution of Logic Programs. FGCS 1988: 1059-1070
Applications
Graphics and Music
- Henry Lieberman:
Toward Intelligent Interfaces for Graphic Design Applications. FGCS 1988: 1073-1080 - Keiji Hirata, Tatsuya Aoyagi, Hiroki Konaka:
How to Realize Jazz Feelings - A Logic Programming Approach. FGCS 1988: 1081-1088
Invited Paper
- Hervé Gallaire:
Multiple Reasoning Styles in Logic Programming. FGCS 1988: 1089-1099
Natural Language (1)
- Hideto Tomabechi, Teruko Mitamura, Masaru Tomita:
Direct Memory Access Translation for Speech Input. FGCS 1988: 1100-1107 - Hiyan Alshawi, David M. Carter, Jan van Eijck, Robert C. Moore, Douglas B. Moran, Stephen G. Pulman:
Overview of the Core Language Engine. FGCS 1988: 1108-1115 - Per-Kristian Halvorsen, Ronald M. Kaplan:
Projections and Semantic Description in Lexical-Functional Grammar. FGCS 1988: 1116-1122 - Chisato Numaoka, Mario Tokoro:
ADAM: An Extension of Situation Semantics for Practical Use. FGCS 1988: 1123-1132
Natural Language (2)
- Teruhiko Ukita, Kazuo Sumita, Satoshi Kinoshita, Hiroshi Sano, Shin'ya Amano:
Preference Judgement in Comprehending Conversational Sentences using Mult-Paradigm World Knowledge. FGCS 1988: 1133-1140 - Michael C. McCord:
A Multi-Target Machine Translation System. FGCS 1988: 1141-1149 - David E. Johnson:
The Design of Post-Analysis in the Jets Japanese/English Machine Translation System. FGCS 1988: 1150-1158
Knowledge Representation
- Bob Jansen, Paul Compton:
The Knowledge Dictionary: A Relational Tool for the Maintenance of Expert Systems. FGCS 1988: 1159-1167 - Takuo Koguchi, Hidefumi Kondo, Masahiro Oba, Hidenori Itoh:
Knowledge Representation with Abstractive Layers for Information Retrieval. FGCS 1988: 1168-1175 - Tatsuya Akutsu, Setsuo Ohsuga:
CHEMILOG - A Logic Programming Language/System for Chemical Information Processing. FGCS 1988: 1176-1183
Qualitative Reasoning
- Boi Faltings:
A Symbolic Framework for Qualitative Kinematics. FGCS 1988: 1184-1192 - Hayato Ohwada, Fumio Mizoguchi:
An Examination for Applicability of FGHC: The Experience of Designing Qualitative Reasoning System. FGCS 1988: 1193-1200 - Kiyokazu Sakane, Masaru Ohki, Jun Sawamoto, Yuichi Fujii:
Methods for Partition of Target Systems in Qualitative Reasoning. FGCS 1988: 1201-1210 - Sangki Han, Jung Wan Cho:
SPHINX - A Hybrid Knowledge Representation System. FGCS 1988: 1211-1220
New Paradigms of Knowledge Acquisition
- John H. Boose:
Knowledge Acquisition Techniques and Tools: Current Research Strategies and Approaches. FGCS 1988: 1221-1235 - Susumu Kunifuji:
Comments on Knowledge Acquisition and Learning. FGCS 1988: 1236-1238 - Douglas B. Lenat:
When will Machines Learn? FGCS 1988: 1239-1245 - Mitsuru Ishizuka:
A Next-generation Knowledge-Base from the Viewpoint of Extending Logic Framework. FGCS 1988: 1246-1249
Knowledge Acquisition
- Hirokazu Taki:
Knowledge Acquisition by Observation. FGCS 1988: 1250-1258 - Mildred L. G. Shaw:
Validation in a Knowledge Acquisition System with Multiple Experts. FGCS 1988: 1259-1266 - Manny Rayner:
Applying Explanation-Based Generalization to Natural-Language Processing. FGCS 1988: 1267-1274
Knowledge Maintenance
- Katsumi Inoue:
Problem Solving with Hypothetical Reasoning. FGCS 1988: 1275-1281 - David Poole:
Representing Knowledge for Logic-Based Diagnosis. FGCS 1988: 1282-1290 - Shin-ichi Wada, Yoshiyuki Koseki, Tetsurou Nishida:
Human Strategy-Based Troubleshooting Expert System for Switching System. FGCS 1988: 1291-1298 - Fumihiro Maruyama, Taeko Kakuda, Yusuke Matsunaga, Yoriko Minoda, Shuho Sawada, Nobuaki Kawato:
co-LODEX: A Cooperative Expert System for Logic design. FGCS 1988: 1299-1306
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-25 22:30 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: