dblp.uni-trier.de www.uni-trier.de

FGCS 1992: Tokyo, Japan

ICOT Staff (Eds.): Fifth Generation Computer Systems '92: Proceedings of the International Conference on Fifth Generation Computer Systems. 1992, June 1-5, Tokyo, Japan. 1262p, IOS Press 1992, ISBN 90-5199-099-5

Plenary Sessions

Keynote Speech

General Report on ICOT Research and Development

Report on ICOT Research Results

Invited Lectures

Panel

ICOT Sessions

Parallel VLSI-CAD and KBM Systems

Parallel Operating System, PIMOS

Genetic Information Processing

Constraint Logic Programming and Parallel Theorem Proving

Natural Language Progressing

Parallel Inference Machine (PIM)

Foundations

Reasoning about Programs

Analogy

Abduction (1)

Abduction (2)

Semantics of Logic Programming

Invited Paper

Machine Learning

Theorem Proving

Functional Programming and Constructive Logic

Temporal Reasoning

Architectures & Software

Hardware Architecture and Evaluation

Invited Paper

AND-Parallelism and OR-Parallelism

Implementations Techniques

Extension of Logic Programming

Task Scheduling and Load Analysis

Concurrency

Databases and Distributed Systems

Programming Environment

Production Systems

Applications & Social Implications

Constraint Logic Programming

Qualitative Reasoning

Knowledge Representation

Panel Discussion: Future Direction of Next Generation Applications

Knowledge-Based Systems

Legal Reasoning

Natural Language Processing

Knowledge Support Systems

Parallel Applications

Invited Paper

Copyright © Mon Nov 2 20:36:16 2009 by Michael Ley (ley@uni-trier.de)