Search results for "FGCS"

Hits ?▲	Authors	Title	Venue	Year	Link
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.	FGCS	1988	DBLP BibTeX RDF
1	Bruno Bertolino, Paolo Mancarella, Luigi Meo, Luca Nini, Dino Pedreschi, Franco Turini	A Progress Report on the LML Project.	FGCS	1988	DBLP BibTeX RDF
1	Georges Louis, Marc Vauclair	Algebraic Meta-Level Programming in Prolog.	FGCS	1988	DBLP BibTeX RDF
1	Martin Nilsson 0001, Hidehiko Tanaka	Massively Parallel Implementation of Flat GHC on the Connection Machine.	FGCS	1988	DBLP BibTeX RDF
1	Takuo Koguchi, Hidefumi Kondo, Masahiro Oba, Hidenori Itoh	Knowledge Representation with Abstractive Layers for Information Retrieval.	FGCS	1988	DBLP BibTeX RDF
1	Luigia Carlucci Aiello, Daniele Nardi, Marco Schaerf	Reasoning About Knowledge and Ignorance.	FGCS	1988	DBLP BibTeX RDF
1	Arvind K. Bansal, Leon Sterling	An Abstract Interpretation Scheme for Logic Programming Based on Type Expressions.	FGCS	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.	FGCS	1988	DBLP BibTeX RDF
1	Ryuzo Hasegawa	Problem-Solving and Inference Software.	FGCS	1988	DBLP BibTeX RDF
1	Carl Hewitt, Gul Agha	Guarded Horn Clause Languages: Are They Deductive and Logical?	FGCS	1988	DBLP BibTeX RDF
1	Kazunori Ueda	Theory and Practice of Concurrent Systems - The Role of Kernel Language in the FGCS Project.	FGCS	1988	DBLP BibTeX RDF
1		Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1988, Tokyo, Japan, November 28-December 2, 1988.	FGCS	1988	DBLP BibTeX RDF
1	Norihiko Yoshida	Program Transformation Applied to the Derivation of Systoloc Arrays.	FGCS	1988	DBLP BibTeX RDF
1	Chisato Numaoka, Mario Tokoro	ADAM: An Extension of Situation Semantics for Practical Use.	FGCS	1988	DBLP BibTeX RDF
1	Philippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig	Declarative Semantics for Modal Logic Programs.	FGCS	1988	DBLP BibTeX RDF
1	William J. Dally	Mechanisms for Concurrent Computing.	FGCS	1988	DBLP BibTeX RDF
1	Kiyokazu Sakane, Masaru Ohki, Jun Sawamoto, Yuichi Fujii	Methods for Partition of Target Systems in Qualitative Reasoning.	FGCS	1988	DBLP BibTeX RDF
1	Sany Leinwand, Joseph A. Goguen, Timothy C. Winkler	Cell and Ensemble Architecture for the Rewrite Rule Machine.	FGCS	1988	DBLP BibTeX RDF
1	John W. Lloyd	Directions for Meta-Programming.	FGCS	1988	DBLP BibTeX RDF
1	Boi Faltings	A Symbolic Framework for Qualitative Kinematics.	FGCS	1988	DBLP BibTeX RDF
1	Hervé Gallaire	Multiple Reasoning Styles in Logic Programming.	FGCS	1988	DBLP BibTeX RDF
1	Wlodzimierz Drabent, Simin Nadjm-Tehrani, Jan Maluszynski	The Use of Assertions in Algorithmic Debugging.	FGCS	1988	DBLP BibTeX RDF
1	Yuichiro Anzai	Artificial Intelligence and Neural Computing.	FGCS	1988	DBLP BibTeX RDF
1	Fred W. Weingarten	Social Impacts of Advanced Computers.	FGCS	1988	DBLP BibTeX RDF
1	Patrick Saint-Dizier	Foundations of DISLOG, Programming in Logic with Discontinuities.	FGCS	1988	DBLP BibTeX RDF
1	Robin Milner	Interpreting One Concurrent Calculus in Another.	FGCS	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.	FGCS	1988	DBLP BibTeX RDF
1	Pierre Cointe	A Tutorial Introduction to Metaclass Architecture as provides by Class Oriented Languages.	FGCS	1988	DBLP BibTeX RDF
1	Yasubumi Sakakibara	An Efficient Learning of Context-Free Grammars for Bottom-Up Parsers.	FGCS	1988	DBLP BibTeX RDF
1	Tadashi Kawamura, Tadashi Kanamori	Preserving of Stronger Equivalence in Unfold/Fold Logic Program Transformation.	FGCS	1988	DBLP BibTeX RDF
1	Akira Aiba, Kô Sakai, Yosuke Sato, David J. Hawley, Ryuzo Hasegawa	Constraints Logic Programming Language CAL.	FGCS	1988	DBLP BibTeX RDF
1	Katsumi Inoue	Problem Solving with Hypothetical Reasoning.	FGCS	1988	DBLP BibTeX RDF
1	Douglas B. Lenat	When will Machines Learn?	FGCS	1988	DBLP BibTeX RDF
1	Jacques Ferber, Jean-Pierre Briot	Design of a Concurrent Language for Distributed Artificial Intelligence.	FGCS	1988	DBLP BibTeX RDF
1	Ehud Shapiro	The Panel on Theory and Practice of Concurrent Systems.	FGCS	1988	DBLP BibTeX RDF
1	Keith L. Clark	Logic Programming Schemes.	FGCS	1988	DBLP BibTeX RDF
1	Michael Reinfrank, Hartmut Freitag	Rules and Justifications: A Uniform Approach to Reason Maintenance and Non-Monotonic Inference.	FGCS	1988	DBLP BibTeX RDF
1	Yuichi Tanaka, Tsutomu Yoshioka	Overview of the Dictionary and Lexical Knowledge Base Research.	FGCS	1988	DBLP BibTeX RDF
1	Atsuhiro Goto, Masatoshi Sato, Katsuto Nakajima, Kazuo Taki, Akira Matsumoto	Overview of the Parallel Inference Machine Architecture (PIM).	FGCS	1988	DBLP BibTeX RDF
1	Henry Lieberman	Toward Intelligent Interfaces for Graphic Design Applications.	FGCS	1988	DBLP BibTeX RDF
1	Kemal Ebcioglu, Manoj Kumar	A Wide Instruction Word Architecture for Parallel Execution of Logic Programs Coded in BSL.	FGCS	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.	FGCS	1988	DBLP BibTeX RDF
1	Per-Kristian Halvorsen, Ronald M. Kaplan	Projections and Semantic Description in Lexical-Functional Grammar.	FGCS	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.	FGCS	1988	DBLP BibTeX RDF
1	J. W. de Bakker, Joost N. Kok	Uniform Abstraction, Atomicity and Contractions in the Comparative Semantics of Concurrent Prolog.	FGCS	1988	DBLP BibTeX RDF
1	Yuejun Jiang	Epistemic Logic Programming.	FGCS	1988	DBLP BibTeX RDF
1	Timothy Walker	International Collaboration in IT.	FGCS	1988	DBLP BibTeX RDF
1	Susumu Kunifuji	Comments on Knowledge Acquisition and Learning.	FGCS	1988	DBLP BibTeX RDF
1	Yow-Jian Lin, Vipin Kumar 0001	Performance of And-Paralle Execution of Logic Programs on a Shared-Memory Multiprocessor.	FGCS	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.	FGCS	1988	DBLP BibTeX RDF
1	Sangki Han, Jung Wan Cho	SPHINX - A Hybrid Knowledge Representation System.	FGCS	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.	FGCS	1988	DBLP BibTeX RDF
1	David H. D. Warren	Theory and Practice of Concurrent Systems - A Position Paper.	FGCS	1988	DBLP BibTeX RDF
1	Susumu Yamasaki	Semantics of Logic Programs over Sequence Domains.	FGCS	1988	DBLP BibTeX RDF
1	Abhaya Asthana, Boyd Mathews, Cheryl J. Briggs, Mark R. Cravats	A VLSI Building Block for Massively Parallel Computation.	FGCS	1988	DBLP BibTeX RDF
1	Yoshihiko Futamura	Program Evaluation and Generalized Partial Computation.	FGCS	1988	DBLP BibTeX RDF
1	Hanpei Koike, Hidehiko Tanaka	Multi-Context Processing and Data Balancing Mechanism of the Parallel Inference Machine PIE64.	FGCS	1988	DBLP BibTeX RDF
1	Hideto Tomabechi, Teruko Mitamura, Masaru Tomita	Direct Memory Access Translation for Speech Input.	FGCS	1988	DBLP BibTeX RDF
1	Chan Chi, Lawrence J. Henschen	CAP - A Three-Phase Query Processing Technique for Indefinite Databases.	FGCS	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.	FGCS	1988	DBLP BibTeX RDF
1	Evan Tick	Compile-Time Granularity Analysis for Paralle Logic Programming Languages.	FGCS	1988	DBLP BibTeX RDF
1	Mildred L. G. Shaw	Validation in a Knowledge Acquisition System with Multiple Experts.	FGCS	1988	DBLP BibTeX RDF
1	Kazumasa Yokota, Moto Kawamura, Atsushi Kanaegami	Overview of the Knowledge Base Management System (KAPPA).	FGCS	1988	DBLP BibTeX RDF
1	Yasuo Nagai, Satoshi Terasaki, Takanori Yokoyama, Hirokazu Taki	Expert System Architecture for Design Tasks.	FGCS	1988	DBLP BibTeX RDF
1	Kazunori Ueda, Koichi Furukawa	Transformation Rules for GHC Programs.	FGCS	1988	DBLP BibTeX RDF
1	Takashi Chikayama, Hiroyuki Sato, Toshihiko Miyazaki	Overview of the Parallel Inference Machine Operating System (PIMOS).	FGCS	1988	DBLP BibTeX RDF
1	Satoru Miyano	Parallel Complexity and P-Complete Problems.	FGCS	1988	DBLP BibTeX RDF
1	Joseph A. Goguen, José Meseguer 0001	Software for the Rewrite Rule Machine.	FGCS	1988	DBLP BibTeX RDF
1	Edward W. Felten, Steve W. Otto	A Highly Parallel Chess Program.	FGCS	1988	DBLP BibTeX RDF
1	Hayato Ohwada, Fumio Mizoguchi	An Examination for Applicability of FGHC: The Experience of Designing Qualitative Reasoning System.	FGCS	1988	DBLP BibTeX RDF
1	John R. W. Glauert, George A. Papadopoulos	A Parallel Implementation of GHC.	FGCS	1988	DBLP BibTeX RDF
1	David E. Johnson 0002	The Design of Post-Analysis in the Jets Japanese/English Machine Translation System.	FGCS	1988	DBLP BibTeX RDF
1	Hervé J. Touati, Toshiyuki Hama	A Light-Weight Prolog Garbage Collector.	FGCS	1988	DBLP BibTeX RDF
1	Rod M. Burstall	Programming with Modules as Typed Functional Programming.	FGCS	1984	DBLP BibTeX RDF
1	David Scott Warren	Database Updates in Pure Prolog.	FGCS	1984	DBLP BibTeX RDF
1	Doug DeGroot	Restricted AND-Parallelism.	FGCS	1984	DBLP BibTeX RDF
1	Kenneth M. Kahn, Mats Carlsson	The Compilation of Prolog Programs without the Use of a Prolog Compiler.	FGCS	1984	DBLP BibTeX RDF
1	Norbert Heck, Jürgen Avenhaus	Automatic Implementation of Abstract Data Types Specified by the Logic Programming Language.	FGCS	1984	DBLP BibTeX RDF
1	Joxan Jaffar, Jean-Louis Lassez, Michael J. Maher	A Theory of Complete Logic Programs with Equality.	FGCS	1984	DBLP BibTeX RDF
1	Fumihiro Maruyama, Tamio Mano, Kazushi Hayashi, Taeko Kakuda, Nobuaki Kawato, Takao Uehara	Prolog-Based Expert System for Logic Design.	FGCS	1984	DBLP BibTeX RDF
1	Mario Tokoro, Yutaka Ishikawa	An Object-Oriented Approach to Knowledge Systems.	FGCS	1984	DBLP BibTeX RDF
1	Alain Colmerauer	Equations and Inequations on Finite and Infinite Trees.	FGCS	1984	DBLP BibTeX RDF
1	Alan Bundy	Incidence Calculus: A Mechanism for Probabilistic Reasoning.	FGCS	1984	DBLP BibTeX RDF
1	António Porto	Two-Level Prolog.	FGCS	1984	DBLP BibTeX RDF
1	Ryuzo Hasegawa, Makoto Amamiya	Parallel Execution of Logic Programs based on Dataflow Concept.	FGCS	1984	DBLP BibTeX RDF
1	Fumio Mizoguchi, Hayato Ohwada, Yoshinori Katatama	LOOKS: Knowledge Representation System for Designing Expert Systems in a Logic Programming Framework.	FGCS	1984	DBLP BibTeX RDF
1	Masahiro Fujita, Hidehiko Tanaka, Tohru Moto-Oka	Specifying Hardware in temporal Logic & Efficient Synthesis of State-Diagrams Using Prolog.	FGCS	1984	DBLP BibTeX RDF
1	Lubomir Bic	A Data-Driven Model for Parallel Interpretation of Logic Programs.	FGCS	1984	DBLP BibTeX RDF
1	Jordan B. Pollack, David L. Waltz	Parallel Interpretation of Natural Language.	FGCS	1984	DBLP BibTeX RDF
1	Werner Dilger, Hans-Albert Schneider	ASSIP-T: A Theorem Proving Machine.	FGCS	1984	DBLP BibTeX RDF
1	Pentti Vataja, Esko Ukkonen	Finding Temporary Terms in Prolog Programs.	FGCS	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).	FGCS	1984	DBLP BibTeX RDF
1	Harvey Abramson	Definite Clause Translation Grammars and the Logical Specification of Data Types as Unambiguous Context Free Grammars.	FGCS	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.	FGCS	1984	DBLP BibTeX RDF
1		Proceedings of the International Conference on Fifth Generation Computer Systems, FGCS 1984, Tokyo, Japan, November 6-9, 1984.	FGCS	1984	DBLP BibTeX RDF
1	Paul J. Voda, Benjamin Yu	RF-Maple: A Logic Programming Language with Functions, Types, and Concurrency.	FGCS	1984	DBLP BibTeX RDF
1	Yoshinori Yamaguchi, Kenji Toda, Jayantha A. Herath, Toshitsugu Yuba	EM-3: A Lisp-Based Data-Driven Machine.	FGCS	1984	DBLP BibTeX RDF
1	Henry J. Kohoutek	Quality Issues in New Generation Computing.	FGCS	1984	DBLP BibTeX RDF
1	Hideyuki Nakashima, Satoru Tomura, Kazunori Ueda	What is a Variable in Prolog?	FGCS	1984	DBLP BibTeX RDF
1	Toshio Yokoi, Shunichi Uchida	Sequential Inference Machine: SIM its Programming and Operating System.	FGCS	1984	DBLP BibTeX RDF

Publications at "FGCS"( http://dblp.L3S.de/Venues/FGCS )