Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarFGCS 1988: Tokyo, Japan
Keynote Speech
ICOT Research and Development
- 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 - 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
Invited Talks
Panel Discussion: Social Impact of Information Technology and International Collaboration
- Hajime Karatsu:
Social Impact of Information Technology and International Collaboration. FGCS 1988: 143-144
Panel Discussion: Theory and Practice of Concurrent Systems
- 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
- Eugene I. Lowenthal:
A Review of MCC's Accomplishments and Strategic Outlook for Knowledge-Based Systems. FGCS 1988: 180-188
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
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
- 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)
- 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
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 - 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?
Software
Program Analysis and Transformation (1)
- 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
Meta-Computation and Reflection
- Pierre Cointe:
A Tutorial Introduction to Metaclass Architecture as provides by Class Oriented Languages. FGCS 1988: 592-608 - Luigia Carlucci Aiello, Daniele Nardi, Marco Schaerf:
Reasoning About Knowledge and Ignorance. FGCS 1988: 618-627
Computation Models
- 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 - 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
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 Y. Shapiro:
The Language FCP(: , ?). FGCS 1988: 763-773
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 - 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
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
Implementation Techniques for Inference Machines
- 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
Parallelism in AI
- David L. Waltz, Craig Stanfill:
Artificial Intelligence Related Research on the Connection Machine. FGCS 1988: 1010-1024
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 - 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
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 - 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
- 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
New Paradigms of Knowledge Acquisition
- John H. Boose:
Knowledge Acquisition Techniques and Tools: Current Research Strategies and Approaches. FGCS 1988: 1221-1235 - Mitsuru Ishizuka:
A Next-generation Knowledge-Base from the Viewpoint of Extending Logic Framework. FGCS 1988: 1246-1249
Knowledge Acquisition
- 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
- 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
maintained by 
at 
at 
last updated on 2018-07-12 22:06 CEST by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint