FGCS

Keyphrases

Publications

1992

Ronald J. Brachman, Alexander Borgida, Deborah L. McGuinness, Peter F. Patel-Schneider, Lori Alperin Resnick
The CLASSIC Knowledge Representation System or, KL-ONE: The Next Generation. FGCS (1992)
Hideki Isozaki, Yoav Shoham
A Mechanism for Reasoning about Time and Belief. FGCS (1992)
Kentaro Shimada, Hanpei Koike, Hidehiko Tanaka
UNIRED II: The High Performance Inference Processor for the Parallel Inference Machine PIE64. FGCS (1992)
Hideki Yasukawa, Hiroshi Tsuda, Kazumasa Yokota
Objects, Properties, and Modules in QUIXOTE. FGCS (1992)
Satoshi Terasaki, David J. Hawley, Hiroyuki Sawada, Ken Satoh, Satoshi Menju, Taro Kawagishi, Noboru Iwayama, Akira Aiba
Parallel Constraint Logic Programming Language GDCC and its Parallel Constraint Solvers. FGCS (1992)
Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, June 1-5, Tokyo, Japan. FGCS (1992)
Seiichi Aikawa, Mayumi Kamiko, Hideyuki Kubo, Fumiko Matsuzawa, Takashi Chikayama
Paragraph: A Graphical Tuning Tool for Multiprocessor Systems. FGCS (1992)
Francisco Bueno, Manuel V. Hermenegildo
An Automatic Translation Scheme from Prolog to the Andorra Kernel Language. FGCS (1992)
Shigeru Watari, Yasuaki Honda, Mario Tokoro
Morphe: A Constraint-Based Object-Oriented Language Supporting Situated Knowledge. FGCS (1992)
Yuetsu Kodama, Shuichi Sakai, Yoshinori Yamaguchi
Evaluation of the EM-4 Highly Parallel Computer using a Game Tree Searching Problem. FGCS (1992)
Chris Evans, Antonis C. Kakas
Hypothetico-deductive Reasoning. FGCS (1992)
Teruo Ikeda, Akira Kotani, Kaoru Hagiwara, Yukihiro Kubo
Argument Text Generation System (Dulcinea). FGCS (1992)
Fumihide Itoh, Takashi Chikayama, Takeshi Mori, Masa-aki Sato, Tatsuo Kato, Tadashi Sato
The Design of the PIMOS File System. FGCS (1992)
Phan Minh Dung
Acyclic Disjunctive Logic Programs with Abductive Procedures as Proof Procedure. FGCS (1992)
Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício
Adding Closed World Assumptions to Well Founded Semantics. FGCS (1992)
Hiroshi Nakashima, Katsuto Nakajima, Seiichi Kondo, Yasutaka Takeda, Yu Inamura, Satoshi Onishi, Kanae Masuda
Architecture and Implementation of PIM/m. FGCS (1992)
Hiroshi Date, Yukinori Matsumoto, Kouichi Kimura, Kazuo Taki, Hiroo Kato, Masahiro Hoshi
LSI-CAD Programs on Parallel Inference Machine. FGCS (1992)
Yaron Goldberg, William Silverman, Ehud Shapiro
Logic Programs with Inheritance. FGCS (1992)
Jonas Barklund, Håkan Millroth
Providing Iteration and concurrency in Logic Programs Through Bounded Quantifications. FGCS (1992)
Stephen Muggleton
Developments in Inductive Logic Programming, Panel Position Paper. FGCS (1992)
Dines Bjørner, Jørgen Fischer Nilsson
Algorithmic & Knowledge Based Methods - Do they "Unify" ? With some Programme Remarks for UNU/IIST. FGCS (1992)
Zheng Lin
Self-Organizing Task Scheduling for Parallel Execution of Logic Programs. FGCS (1992)
Ronald J. Brachman
Knowledge Representation Theory Meets Reality: Some Brief Lessons from the CLASSIC, Panel Position Paper. FGCS (1992)
Yukinori Matsumoto, Kazuo Taki
Parallel Logic Simulator based on Time Warp and its Evaluation. FGCS (1992)
Yoshiteru Ishida
Logical Implementation of Dynamical Models. FGCS (1992)
David A. Rosenblueth
Chart Parsers as Proof Procedures for Fixed-Mode Logic Programs. FGCS (1992)
Shunichi Uchida
Summary of the Parallel Inference Machine and its Basic Software. FGCS (1992)
David Poole
Logic Programming, Abduction and Probability. FGCS (1992)
Munenori Maeda
Implementing a Process Oriented Debugger with Reflection and Program Transformation. FGCS (1992)
Peter Idestam-Almquist
Learning Missing Clauses by Inverse Resolution. FGCS (1992)
Kazuo Taki
Parallel Inference Machine PIM. FGCS (1992)
Nobuyuki Ichiyoshi, Kouichi Kimura
Asymptotic Load Balance of Distributed Hash Tables. FGCS (1992)
Andreas Hamfelt, Åke Hansson
A Semiformal Metatheory for Fragmentary and Multilayered Knowledge as an Interactive Metalogic Program. FGCS (1992)
Marc Denecker, Danny De Schreye
On the Duality of Abduction and Model Generation. FGCS (1992)
Jimmy Ho-Man Lee, Maarten H. van Emden
Adapting CLP to Floating-Point Arithmetic. FGCS (1992)
Alexandre Lefebvre
Towards an Efficient Evaluation of Recursive Aggregates in Deductive Databases. FGCS (1992)
Kazuhiro Fuchi
Launching the New Era. FGCS (1992)
Paolo Ciancarini, David Gelernter
A Distributed Programming Environment based on Logic Tuple Spaces. FGCS (1992)
Jacqueline Castaing
A Hybrid Reasoning System for Explaining Mistakes in Chinese Writing. FGCS (1992)
Katsumi Nitta, Yoshihisa Ohtake, Shigeru Maeda, Masayuki Ono, Hiroshi Ohsaki, Kiyokazu Sakane
HELIC-II: A Legal Reasoning System on the Parallel Inference Machine. FGCS (1992)
Danny De Schreye, Kristof Verschaetse, Maurice Bruynooghe
A Framework for Analyzing the Termination of Definite Logic Programs with respect to Call Patterns. FGCS (1992)
Xiaoxiong Zhong, Evan Tick, S. Duvvuru, L. Hansen, A. V. S. Sastry, R. Sundararajan
Towards an Efficient Compile-Time Granularity Analysis Algorithm. FGCS (1992)
Maarten H. van Emden
Mental Ergonomics as Basis for New-Generation Computer Systems. FGCS (1992)
Yoichiro Nakakuki, Yoshiyuki Koseki, Midori Tanaka
A Parallel Inductive Learning Algorithm for Adaptive Diagnosis. FGCS (1992)
Masaru Ohki, Eiji Oohira, Hiroshi Shinjo, Masahiro Abe
Range Determinationof Design Parameters by Qualitative Reasoning and its Application to Electronic Circuits. FGCS (1992)
C. A. R. Hoare
Programs are Predicates. FGCS (1992)
Yukihide Takayama
Defining Concurrent Processes Constructively. FGCS (1992)
Jean-Marc Alliot, Andreas Herzig, Mamede Lima-Marques
Implementing Prolog Extensions: a Parallel Inference Machine. FGCS (1992)
Tadashi Kawamura
Logic Program Synthesis from First Order Logic Specifications. FGCS (1992)
Gopal Gupta, Manuel V. Hermenegildo
Recomputation based Implementations of And-Or Parallel Prolog. FGCS (1992)