FGCS - researchr conference series publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 350

1992

FGCS1992.

Proceedings of the International Conference on Fifth Generation Computer Systems. FGCS 1992, June 1-5, Tokyo, JapanIOS Press, 1992.

Constraint Logic Programming System: CAL, GDCC and Their Constraint SolversAkira Aiba, Ryuzo Hasegawa. fgcs 1992: 113-131

Paragraph: A Graphical Tuning Tool for Multiprocessor SystemsSeiichi Aikawa, Mayumi Kamiko, Hideyuki Kubo, Fumiko Matsuzawa, Takashi Chikayama. fgcs 1992: 286-293

OR-Parallel Speedups in a Knowledge Based System: on Muse and AuroraKhayri A. M. Ali, Roland Karlsson. fgcs 1992: 739-745

Logical Structure of Analogy: Preliminary ReportJun Arima. fgcs 1992: 505-513

A Feature-Based Constraint System for Logic Programming with EntailmentHassan Aït-Kaci, Andreas Podelski, Gert Smolka. fgcs 1992: 1012-1021

A New Parallelization Method for Production SystemsE. Bahr, Franz Barachini, Hans Mistelberger. fgcs 1992: 969-976

Providing Iteration and concurrency in Logic Programs Through Bounded QuantificationsJonas Barklund, Håkan Millroth. fgcs 1992: 817-824

Knowledge Representation Theory Meets Reality: Some Brief Lessons from the CLASSIC, Panel Position PaperRonald J. Brachman. fgcs 1992: 1063-1065

Applications of Machine Learning: Towards Knowledge SynthesisIvan Bratko. fgcs 1992: 1207-1218

Theorem Proving Engine and Strategy Description LanguageMassimo Bruschi. fgcs 1992: 634-642

Efficient Induction of Version Spaces Through Constrained Language ShiftClaudio Carpineto. fgcs 1992: 626-633

A Hybrid Reasoning System for Explaining Mistakes in Chinese WritingJacqueline Castaing. fgcs 1992: 1076-1083

An Implementation for a Higher Level Logic Programming LanguageAnthony S. K. Cheng, Ross A. Paterson. fgcs 1992: 825-832

Operating System PIMOS and Kernel Language KL1Takashi Chikayama. fgcs 1992: 73-88

SHARM: Concurrency and Hiding in an Abstract Rewriting MachineAndrea Corradini, Ugo Montanari, Francesca Rossi. fgcs 1992: 887-896

Abduction in Logic Programming with EqualityPhilip T. Cox, Emanuel Knill, Tomasz Pietrzykowski. fgcs 1992: 539-545

A Universal Parallel Computer ArchitectureWilliam J. Dally. fgcs 1992: 746-758

LSI-CAD Programs on Parallel Inference MachineHiroshi Date, Yukinori Matsumoto, Kouichi Kimura, Kazuo Taki, Hiroo Kato, Masahiro Hoshi. fgcs 1992: 237-247

On the Duality of Abduction and Model GenerationMarc Denecker, Danny De Schreye. fgcs 1992: 650-657

Launching the New EraKazuhiro Fuchi. fgcs 1992: 3-8

Concurrent Logic Programming as a Basis for Large-Scale Knowledge Information Processing - Panel Position PaperKoichi Furukawa. fgcs 1992: 230-231

Summary of Basic Research Activities of the FGCS ProjectKoichi Furukawa. fgcs 1992: 20-32

An Integrated Knowledge Support SystemBrian R. Gaines, Marc Linster, Mildred L. G. Shaw. fgcs 1992: 1157-1164

Modeling the Generational Infrastructure of Information TechnologyBrian R. Gaines. fgcs 1992: 1165-1172

Finding the Best Route for Logic Programming - Panel Position PaperHervé Gallaire. fgcs 1992: 220-222

Logic Programs with InheritanceYaron Goldberg, William Silverman, Ehud Y. Shapiro. fgcs 1992: 951-960

A Semiformal Metatheory for Fragmentary and Multilayered Knowledge as an Interactive Metalogic ProgramAndreas Hamfelt, Åke Hansson. fgcs 1992: 1107-1114

Dynamics of Symbol Systems: An Integrated Architecture of CognitionKôiti Hasida. fgcs 1992: 1141-1148

Parallel and Distributed Implementation of Concurrent Logic Programming Language KL1Keiji Hirata, Reki Yamamoto, Akira Imai, Hideo Kawai, Kiyoshi Hirano, Tsuneyoshi Takagi, Kazuo Taki, Akihiko Nakase, Kazuaki Rokusawa. fgcs 1992: 436-459

Programs are PredicatesC. A. R. Hoare. fgcs 1992: 211-218

Less Abstract Semantics for Abstract Interpretation of FGHC ProgramsKenji Horiuchi. fgcs 1992: 897-906

Asymptotic Load Balance of Distributed Hash TablesNobuyuki Ichiyoshi, Kouichi Kimura. fgcs 1992: 869-876

Learning Missing Clauses by Inverse ResolutionPeter Idestam-Almquist. fgcs 1992: 610-617

Argument Text Generation System (Dulcinea)Teruo Ikeda, Akira Kotani, Kaoru Hagiwara, Yukihiro Kubo. fgcs 1992: 385-394

A Mechanism for Reasoning about Time and BeliefHideki Isozaki, Yoav Shoham. fgcs 1992: 694-701

The Design of the PIMOS File SystemFumihide Itoh, Takashi Chikayama, Takeshi Mori, Masa-aki Sato, Tatsuo Kato, Tadashi Sato. fgcs 1992: 278-285

Concurrent Constraint Programs to Parse and Animate Pictures of Concurrent Constraint ProgramsKenneth M. Kahn. fgcs 1992: 943-950

Logic Program Synthesis from First Order Logic SpecificationsTadashi Kawamura. fgcs 1992: 463-472

On the Evolution of Objects in a Logic Programming FrameworkF. Nihan Kesim, Marek J. Sergot. fgcs 1992: 1052-1060

Implementing Streams on Parallel Machines with Distributed MemoryKoichi Konishi, Tsutomu Maruyama, Akihiko Konagaya, Kaoru Yoshida, Takashi Chikayama. fgcs 1992: 791-798

Architecture and Implementation of PIM/pKouichi Kumon, Akira Asato, Susumu Arai, Tsuyoshi Shinogi, Akira Hattori, Hiroyoshi Hatazawa, Kiyoshi Hirano. fgcs 1992: 414-424

Overview of the Ten Years of the FGSC ProjectTakashi Kurozumi. fgcs 1992: 9-19

Reasoning with Constraints, Panel Position PaperCatherine Lassez. fgcs 1992: 1066-1070

Adapting CLP to Floating-Point ArithmeticJimmy Ho-Man Lee, Maarten H. van Emden. fgcs 1992: 996-1003

Towards an Efficient Evaluation of Recursive Aggregates in Deductive DatabasesAlexandre Lefebvre. fgcs 1992: 915-925

Parallel Optimization and Execution of Large Join QueriesEileen Tien Lin, Edward Omiecinski, Sudhakar Yalamanchili. fgcs 1992: 907-914

Implementing a Process Oriented Debugger with Reflection and Program TransformationMunenori Maeda. fgcs 1992: 961-968

Sound and Complete Partial Deduction with Unfolding Based on Well-Founded MeasuresBern Martens, Danny De Schreye, Maurice Bruynooghe. fgcs 1992: 473-480

Parallel Logic Simulator based on Time Warp and its EvaluationYukinori Matsumoto, Kazuo Taki. fgcs 1992: 1198-1206

A Cooperative Logic Design Expert System on a MultiprocessorYoriko Minoda, Shuho Sawada, Yuka Takizawa, Fumihiro Maruyama, Nobuaki Kawato. fgcs 1992: 1181-1189

The Panel on A Future Direction of New Generation ApplicationsFumio Mizoguchi. fgcs 1992: 1061-1062

Developments in Inductive Logic Programming, Panel Position PaperStephen Muggleton. fgcs 1992: 1071-1073

Hardware Implementation of Dynamic Load Balancing in the Parallel Inference Machine PIM/cTakayuki Nakagawa, Noriyasu Ido, Toshiaki Tarui, Machiko Asaie, Mamoru Sugie. fgcs 1992: 723-730

Architecture and Implementation of PIM/mHiroshi Nakashima, Katsuto Nakajima, Seiichi Kondo, Yasutaka Takeda, Yu Inamura, Satoshi Onishi, Kanae Masuda. fgcs 1992: 425-435

A Parallel Execution of Functional Logic Language with Lazy EvaluationJong H. Nang, D. W. Shin, Seungryul R. Maeng, Jung Wan Cho. fgcs 1992: 851-858

Experimental Parallel Inference SoftwareKatsumi Nitta, Kazuo Taki, Nobuyuki Ichiyoshi. fgcs 1992: 166-190

HELIC-II: A Legal Reasoning System on the Parallel Inference MachineKatsumi Nitta, Yoshihisa Ohtake, Shigeru Maeda, Masayuki Ono, Hiroshi Ohsaki, Kiyokazu Sakane. fgcs 1992: 1115-1124

Knowledge-Based Functional Testing for Large Software SystemsUwe Nonnenmann, John K. Eddy. fgcs 1992: 1091-1098

Analogical GeneralizationTakenao Ohkawa, Toshiaki Mori, Noboru Babaguchi, Yoshikazu Tezuka. fgcs 1992: 497-504

Range Determinationof Design Parameters by Qualitative Reasoning and its Application to Electronic CircuitsMasaru Ohki, Eiji Oohira, Hiroshi Shinjo, Masahiro Abe. fgcs 1992: 1022-1029

The Role of Logic Programming in the 21st Century - Panel Position PaperRoss A. Overbeek. fgcs 1992: 223-224

Adding Closed World Assumptions to Well Founded SemanticsLuís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício. fgcs 1992: 562-569

Automatic Verification of GHC-Programs: TerminationLutz Plümer. fgcs 1992: 489-496

MLOG: A Strongly Typed Confluent Functional Language with Logical VariablesVincent Poirriez. fgcs 1992: 674-681

Logic Programming, Abduction and ProbabilityDavid Poole. fgcs 1992: 530-538

Consistency-Based and Abductive Diagnoses as Generalised Stable ModelsChris Preist, Kave Eshghi. fgcs 1992: 514-521

Domain Independent PropagationThierry Le Provost, Mark Wallace. fgcs 1992: 1004-1011

Formalizing Database Evolution in the Situation CalculusRaymond Reiter. fgcs 1992: 600-609

The Role of Logic in Computer Science and Artificial IntelligenceJohn Alan Robinson. fgcs 1992: 199-210

Chart Parsers as Proof Procedures for Fixed-Mode Logic ProgramsDavid A. Rosenblueth. fgcs 1992: 1125-1132

Extended Well-Founded Semantics for Paraconsistent Logic ProgramsChiaki Sakama. fgcs 1992: 592-599

A Framework for Analyzing the Termination of Definite Logic Programs with respect to Call PatternsDanny De Schreye, Kristof Verschaetse, Maurice Bruynooghe. fgcs 1992: 481-488

UNIRED II: The High Performance Inference Processor for the Parallel Inference Machine PIE64Kentaro Shimada, Hanpei Koike, Hidehiko Tanaka. fgcs 1992: 715-722

A Discourse Structure Analyzer for Japanese TextKazuo Sumita, Kenji Ono, Tetsuro Chino, Teruhiko Ukita, Shin ya Amano. fgcs 1992: 1133-1140

A Diagnostic and Control Expert System Based on a Plant ModelJunzo Suzuki, Chiho Konuma, Mikito Iwamasa, Naomichi Sueda, Shigeru Mochiji, Akimoto Kamiya. fgcs 1992: 1099-1106

Defining Concurrent Processes ConstructivelyYukihide Takayama. fgcs 1992: 658-665

Towards the General-Purpose Parallel Processing System, Panel Position PaperKazuo Taki. fgcs 1992: 1074-1075

Parallel Inference Machine PIMKazuo Taki. fgcs 1992: 50-72

Integrated System for Protein Information ProcessingHidetoshi Tanaka. fgcs 1992: 321-329

Constructing and Collapsing a Reflective Tower in Reflective Guarded Horn ClausesJiro Tanaka, Fumio Matono. fgcs 1992: 877-886

Natural Language Processing SoftwareYuichi Tanaka. fgcs 1992: 155-165

Realizability Interpretation of Coinductive Definitions and Program Synthesis with StreamsMakoto Tatsuta. fgcs 1992: 666-673

Visualizing Parallel Logic Programs with VISTAEvan Tick. fgcs 1992: 934-942

cu-Prolog for Constraint-Based GrammarHiroshi Tsuda. fgcs 1992: 347-356

Knowledge Information Processing in the 21st Century - Panel Position PaperShunichi Uchida. fgcs 1992: 232-234

Summary of the Parallel Inference Machine and its Basic SoftwareShunichi Uchida. fgcs 1992: 33-49

Do-HLEX: Co-Operative Recursive LSI Layout Problem Solver on Japan s Fifth Generation Parallel Inference MachineToshinori Watanabe, Keiko Komatsu. fgcs 1992: 1173-1180

Morphe: A Constraint-Based Object-Oriented Language Supporting Situated KnowledgeShigeru Watari, Yasuaki Honda, Mario Tokoro. fgcs 1992: 1044-1051

Object-Based Versus Logic Programming - Panel Position PaperPeter Wegner. fgcs 1992: 225-229

A Parallel Cooperation Model for Natural Language ProcessingShigeichiro Yamasaki, Michiko Turuta, Ikuko Nagasawa, Kenji Sugiyama. fgcs 1992: 405-413

Objects, Properties, and Modules in QUIXOTEHideki Yasukawa, Hiroshi Tsuda, Kazumasa Yokota. fgcs 1992: 257-268

Towards an Integrated Knowledge-Base Management System: Overview of R&D on Databases and Knowledge-Bases in the FGCS ProjectKazumasa Yokota, Hideki Yasukawa. fgcs 1992: 89-112

Toward a Human Genome EncyclopediaKaoru Yoshida, Cassandra Smith, Toni Kazic, George Michaels, Ronald Taylor, David Zawada, Ray Hagstrom, Ross A. Overbeek. fgcs 1992: 307-320

Towards an Efficient Compile-Time Granularity Analysis AlgorithmX. Zhong, Evan Tick, S. Duvvuru, L. Hansen, A. V. S. Sastry, R. Sundararajan. fgcs 1992: 809-816

Links

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1

FGCS (fgcs)

Viewing Publication 1 - 100 from 350

1992

Links

Filter by YearOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top terms [+]OR AND NOT 1

FGCS (fgcs)

Viewing Publication 1 - 100 from 350

1992

Filter by Year
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top terms

[+]
OR AND NOT 1