Abstract is missing.
- HOP, STEP and JUMPKazuhiro Fuchi. 1-2
- Research and Development of the Parallel Inference System in the Intermediate Stage of the FGCS ProjectShunichi Uchida, Kazuo Taki, Katsuto Nakajima, Atsuhiro Goto, Takashi Chikayama. 16-36
- Knowledge Base System in Logic Programming ParadigmHidenori Itoh, Hidetoshi Monoi, Shigeki Shibayama, Nobuyoshi Miyazaki, Haruo Yokota, Akihiko Konagaya. 37-53
- Problem-Solving and Inference SoftwareRyuzo Hasegawa. 54-69
- The Research and Development of Natural Language Processing Systems in The Intermediate Stage of the FGCS ProjectShunichi Uchida, Tsutomu Yoshioka, Ryôichi Sugimura, Yuiti Tanaka, Kôiti Hasida, Kuniaki Mukai. 70-84
- Experimental Knowledge Processing SystemYuichi Fujii, Hirokazu Taki. 85-108
- Prospects for Cognitive ScienceHerbert A. Simon. 111-119
- Logic Programming SchemesKeith L. Clark. 120-139
- Artificial Intelligence: Perspectives and PredictionsJörg H. Siekmann. 145-146
- The Panel on Theory and Practice of Concurrent SystemsEhud Y. Shapiro. 152-153
- Mechanisms for Concurrent ComputingWilliam J. Dally. 154-156
- Theory and Practice of Concurrent SystemsGeoffrey Fox. 157-160
- Knowledge ProcessingCarl Hewitt. 161-162
- Some Directions in Concurrency TheoryRobin Milner. 163-164
- Theory and Practice of Concurrent Systems - The Role of Kernel Language in the FGCS ProjectKazunori Ueda. 165-166
- Theory and Practice of Concurrent Systems - A Position PaperDavid H. D. Warren. 167-168
- A Review of MCC s Accomplishments and Strategic Outlook for Knowledge-Based SystemsEugene I. Lowenthal. 180-188
- Overview of Knowledge Base MechanismShigeki Shibayama, Hiroshi Sakai, Toshiaki Takewaki, Hidetoshi Monoi, Yukihiro Morita, Hidenori Itoh. 197-207
- Overview of the Parallel Inference Machine Architecture (PIM)Atsuhiro Goto, Masatoshi Sato, Katsuto Nakajima, Kazuo Taki, Akira Matsumoto. 208-229
- Overview of the Parallel Inference Machine Operating System (PIMOS)Takashi Chikayama, Hiroyuki Sato, Toshihiko Miyazaki. 230-251
- Overview of the Knowledge Base Management System (KAPPA)Kazumasa Yokota, Moto Kawamura, Atsushi Kanaegami. 252-262
- Constraints Logic Programming Language CALAkira Aiba, Kô Sakai, Yosuke Sato, David J. Hawley, Ryuzo Hasegawa. 263-276
- Overview of the Dictionary and Lexical Knowledge Base ResearchYuichi Tanaka, Tsutomu Yoshioka. 277-284
- A Software Environment for Research into Discourse Understanding SystemsRyôichi Sugimura, Kôiti Hasida, Kouji Akasaka, Kôzi Hatano, Yukihiro Kubo, Toshiyuki Okunishi. 285-295
- Expert System Architecture for Design TasksYasuo Nagai, Satoshi Terasaki, Takanori Yokoyama, Hirokazu Taki. 296-317
- Interpreting One Concurrent Calculus in AnotherRobin Milner. 321-326
- The Semantics of a Functional Logic Language with Input ModeD. W. Shin, Jong H. Nang, Seungryul R. Maeng, Jung Wan Cho. 327-336
- Conditional Equational Programming and the Theory of Conditional Term RewritingNachum Dershowitz, Mitsuhiro Okada. 337-346
- Uniform Abstraction, Atomicity and Contractions in the Comparative Semantics of Concurrent PrologJ. W. de Bakker, Joost N. Kok. 347-355
- Parallel Computational Complexity of Logic Programs and Alternating Turing MachinesYasuo Okabe, Shuzo Yajima. 356-363
- Finite Failures and Partial Computations in Concurrent Logic LanguagesMoreno Falaschi, Giorgio Levi. 364-373
- A Declarative Semantics of Parallel Logic Programs with Perpetual ProcessesMasaki Murakami. 374-381
- Semantics of Logic Programs over Sequence DomainsSusumu Yamasaki. 382-388
- Local Definitions with Static Scope Rules in Logic ProgrammingLaura Giordano, Alberto Martelli, Gianfranco Rossi. 389-396
- WEIGHTED GRAPHS, A Tool for Expressing the Behavious of Recursive Rules in Logic ProgrammingPhilippe Devienne. 397-404
- Horn Equality Theories and Complete Sets of TransformationsSteffen Hölldobler. 405-412
- Preserving of Stronger Equivalence in Unfold/Fold Logic Program TransformationTadashi Kawamura, Tadashi Kanamori. 413-421
- An Abstract Interpretation Scheme for Logic Programming Based on Type ExpressionsArvind K. Bansal, Leon Sterling. 422-429
- Transformation of Strictness-Related Analyses Nased on Abstract InterpretationMizuhito Ogawa, Satoshi Ono. 430-438
- Rules and Justifications: A Uniform Approach to Reason Maintenance and Non-Monotonic InferenceMichael Reinfrank, Hartmut Freitag. 439-446
- An Efficient Learning of Context-Free Grammars for Bottom-Up ParsersYasubumi Sakakibara. 447-454
- Nonmonotonic Reasoning by Minimal Belief RevisionKen Satoh. 455-462
- Generating Rules with ExceptionsJun Arima. 463-470
- Situation Semantics and Semantic Interpretation in Constraint-Based GrammarsPer-Kristian Halvorsen. 471-478
- Towards a Computational Interpretation of Situation TheoryHideyuki Nakashima, Hiroyuki Suzuki, Per-Kristian Halvorsen, Stanley Peters. 489-498
- Knowledge Representation and Inference Based on First-Order Modal LogicKoji Iwanuma, Masateru Harao. 499-506
- Declarative Semantics for Modal Logic ProgramsPhilippe Balbiani, Luis Fariñas del Cerro, Andreas Herzig. 507-514
- Epistemic Logic ProgrammingY. J. Jiang. 515-523
- Theorem-Proving with Resolution and Superposition: An Extension of the Knuth and Bendic Procedure to a Complete Set of Inference RulesMichaël Rusinowitch. 524-531
- Parallel Complexity and P-Complete ProblemsSatoru Miyano. 532-541
- Parallel Approximation AlgorithmsErnst W. Mayr. 542-551
- Algebraic Meta-Level Programming in PrologGeorges Louis, Marc Vauclair. 555-564
- Program Transformation Applied to the Derivation of Systoloc ArraysNorihiko Yoshida. 565-572
- The Use of Assertions in Algorithmic DebuggingWlodzimierz Drabent, Simin Nadjm-Tehrani, Jan Maluszynski. 573-581
- Transformation Rules for GHC ProgramsKazunori Ueda, Koichi Furukawa. 582-591
- A Tutorial Introduction to Metaclass Architecture as provides by Class Oriented LanguagesPierre Cointe. 592-608
- Directions for Meta-ProgrammingJohn W. Lloyd. 609-617
- Reasoning About Knowledge and IgnoranceLuigia Carlucci Aiello, Daniele Nardi, Marco Schaerf. 618-627
- Software for the Rewrite Rule MachineJoseph A. Goguen, José Meseguer. 628-637
- A UM - A Stream-Based Concurrent Object-Oriented LanguageKaoru Yoshida, Takashi Chikayama. 638-649
- Guarded Horn Clause Languages: Are They Deductive and Logical?Carl Hewitt, Gul Agha. 650-657
- Lazy Evaluation of FP Programs: A Data-Flow ApproachYi-Hsiu Wei, Jean-Luc Gaudiot. 658-665
- Committed Choice Functional ProgrammingGöran Båge, Gary Lindstrom. 666-674
- A Progress Report on the LML ProjectBruno Bertolino, Paolo Mancarella, Luigi Meo, Luca Nini, Dino Pedreschi, Franco Turini. 675-684
- Program Evaluation and Generalized Partial ComputationYoshihiko Futamura. 685-692
- The Constraint Logic Programming Language CHIPMehmet Dincbas, Pascal Van Hentenryck, Helmut Simonis, Abderrahmane Aggoun, Thomas Graf, Françoise Berthier. 693-702
- Applications of a Canonical Form of Gerneralized Linear ConstraintsJean-Louis Lassez, Ken McAloon. 703-710
- A Query Independent Method for Magic Set Computation on Stratified DatabasesIsaac Balbin, Krishnamurthy Meenakshi, Kotagiri Ramamohanarao. 711-718
- Efficient Query Answering on Stratified DatabasesJean-Marc Kerisit, Jean-Marc Pugin. 719-726
- Answering Linear Recursive Queries in Cyclic DatabasesChing-Shyan Wu, Lawrence J. Henschen. 727-734
- CAP - A Three-Phase Query Processing Technique for Indefinite DatabasesChan Chi, Lawrence J. Henschen. 735-744
- ANDORRA Prolog - An Integration of Prolog and Committed Choice LanguagesSeif Haridi, Per Brand. 745-754
- Design of a Concurrent Language for Distributed Artificial IntelligenceJacques Ferber, Jean-Pierre Briot. 755-762
- The Language FCP(: , ?)Shmuel Kliger, Eyal Yardeni, Kenneth M. Kahn, Ehud Y. Shapiro. 763-773
- Meta-Interpreters and Reflective Operations in GHCJiro Tanaka. 774-783
- Tables as a User Interface for Logic ProgramsMantis H. M. Cheng, Maarten H. van Emden, Jimmy Ho-Man Lee. 784-791
- Modular and Communicating Objects in SICStus PrologNabiel A. Elshiewy. 792-799
- Benchmarking of Prolog Procedures for Indexing PurposesMicha Meier. 800-807
- Foundations of DISLOG, Programming in Logic with DiscontinuitiesPatrick Saint-Dizier. 808-815
- The Aurora Or-Parallel Prolog SystemEwing 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. 819-830
- The Parallel ECRC Prolog System PEPSys: An Overview and Evaluation ResultsUri Baron, Jacques Chassin de Kergommeaux, Max Hailperin, Michael Ratcliffe, Philippe Robert, Jean-Claude Syre, Harald Westphal. 841-850
- Performance of And-Paralle Execution of Logic Programs on a Shared-Memory MultiprocessorYow-Jian Lin, Vipin Kumar. 851-860
- Design of an Efficient Dataflow Architecture without Data FlowGuang R. Gao, René Tio, Herbert H. J. Hum. 861-868
- Cell and Ensemble Architecture for the Rewrite Rule MachineSany Leinwand, Joseph A. Goguen, Timothy C. Winkler. 869-878
- A VLSI Building Block for Massively Parallel ComputationAbhaya Asthana, Boyd Mathews, Cheryl J. Briggs, Mark R. Cravats. 879-886
- Multiport Memory ArchitecturesYuzuru Tanaka. 887-895
- Unification-Based Query Language for Relational Knowledge Bases and Its Parallel ExecutionHidetoshi Monoi, Yukihiro Morita, Hidenori Itoh, Toshiaki Takewaki, Hiroshi Sakai, Shigeki Shibayama. 896-903
- A New External Reference Management and Distributed Unification for KL1Nobuyuki Ichiyoshi, Kazuaki Rokusawa, Katsuto Nakajima, Yu Inamura. 904-913
- Parallelism in the PESA I MultiprocessorFranz Schreiner, Gerhard Zimmermann. 914-921
- A Wide Instruction Word Architecture for Parallel Execution of Logic Programs Coded in BSLKemal Ebcioglu, Manoj Kumar. 931-942
- Data Diffusion Machine - A Scalable Shared Virtual Memory MultiprocessorDavid H. D. Warren, Seif Haridi. 943-952
- Macro-Call Instruction for the Efficient KL1 Implementation on PIMTsuyoshi Shinogi, Kouichi Kumon, Akira Hattori, Atsuhiro Goto, Yasunori Kimura, Takashi Chikayama. 953-961
- Multi-Context Processing and Data Balancing Mechanism of the Parallel Inference Machine PIE64Hanpei Koike, Hidehiko Tanaka. 970-977
- A Load Balancing Mechanism for Large Scale Multiprocessor Systems and its ImplementationYasutaka Takeda, Hiroshi Nakashima, Kanae Masuda, Takashi Chikayama, Kazuo Taki. 978-986
- Load-Dispatching Strategy on Parallel Inference MachinesMamoru Sugie, M. Yoneyama, Noriyasu Ido, Toshiaki Tarui. 987-993
- Compile-Time Granularity Analysis for Paralle Logic Programming LanguagesEvan Tick. 994-1000
- A Highly Parallel Chess ProgramEdward W. Felten, Steve W. Otto. 1001-1009
- Artificial Intelligence Related Research on the Connection MachineDavid L. Waltz, Craig Stanfill. 1010-1024
- Artificial Intelligence and Neural ComputingYuichiro Anzai. 1025-1030
- Massively Parallel Implementation of Flat GHC on the Connection MachineMartin Nilsson, Hidehiko Tanaka. 1031-1040
- KL1 in Condition Graphs on a Connection MachineJonas Barklund, Nils Hagner, Malik Wafin. 1041-1050
- A Parallel Implementation of GHCJohn R. W. Glauert, George A. Papadopoulos. 1051-1058
- LogDf: A Data-Driven Abstract Machine Model for Parallel Execution of Logic ProgramsPrasenjit Biswas, Chien-Chao Tseng. 1059-1070
- Toward Intelligent Interfaces for Graphic Design ApplicationsHenry Lieberman. 1073-1080
- How to Realize Jazz Feelings - A Logic Programming ApproachKeiji Hirata, Tatsuya Aoyagi, Hiroki Konaka. 1081-1088
- Multiple Reasoning Styles in Logic ProgrammingHervé Gallaire. 1089-1099
- Direct Memory Access Translation for Speech InputHideto Tomabechi, Teruko Mitamura, Masaru Tomita. 1100-1107
- Overview of the Core Language EngineHiyan Alshawi, David M. Carter, Jan van Eijck, Robert C. Moore, Douglas B. Moran, Stephen G. Pulman. 1108-1115
- Projections and Semantic Description in Lexical-Functional GrammarPer-Kristian Halvorsen, Ronald M. Kaplan. 1116-1122
- ADAM: An Extension of Situation Semantics for Practical UseChisato Numaoka, Mario Tokoro. 1123-1132
- Preference Judgement in Comprehending Conversational Sentences using Mult-Paradigm World KnowledgeTeruhiko Ukita, Kazuo Sumita, Satoshi Kinoshita, Hiroshi Sano, Shin ya Amano. 1133-1140
- A Multi-Target Machine Translation SystemMichael C. McCord. 1141-1149
- The Design of Post-Analysis in the Jets Japanese/English Machine Translation SystemDavid E. Johnson. 1150-1158
- The Knowledge Dictionary: A Relational Tool for the Maintenance of Expert SystemsBob Jansen, Paul Compton. 1159-1167
- Knowledge Representation with Abstractive Layers for Information RetrievalTakuo Koguchi, Hidefumi Kondo, Masahiro Oba, Hidenori Itoh. 1168-1175
- CHEMILOG - A Logic Programming Language/System for Chemical Information ProcessingTatsuya Akutsu, Setsuo Ohsuga. 1176-1183
- A Symbolic Framework for Qualitative KinematicsBoi Faltings. 1184-1192
- An Examination for Applicability of FGHC: The Experience of Designing Qualitative Reasoning SystemHayato Ohwada, Fumio Mizoguchi. 1193-1200
- Methods for Partition of Target Systems in Qualitative ReasoningKiyokazu Sakane, Masaru Ohki, Jun Sawamoto, Yuichi Fujii. 1201-1210
- SPHINX - A Hybrid Knowledge Representation SystemSangki Han, Jung Wan Cho. 1211-1220
- Knowledge Acquisition Techniques and Tools: Current Research Strategies and ApproachesJohn H. Boose. 1221-1235
- Comments on Knowledge Acquisition and LearningSusumu Kunifuji. 1236-1238
- When will Machines Learn?Douglas B. Lenat. 1239-1245
- A Next-generation Knowledge-Base from the Viewpoint of Extending Logic FrameworkMitsuru Ishizuka. 1246-1249
- Knowledge Acquisition by ObservationHirokazu Taki. 1250-1258
- Validation in a Knowledge Acquisition System with Multiple ExpertsMildred L. G. Shaw. 1259-1266
- Problem Solving with Hypothetical ReasoningKatsumi Inoue. 1275-1281
- Representing Knowledge for Logic-Based DiagnosisDavid Poole. 1282-1290
- Human Strategy-Based Troubleshooting Expert System for Switching SystemShin-ichi Wada, Yoshiyuki Koseki, Tetsurou Nishida. 1291-1298
- co-LODEX: A Cooperative Expert System for Logic designFumihiro Maruyama, Taeko Kakuda, Yusuke Matsunaga, Yoriko Minoda, Shuho Sawada, Nobuaki Kawato. 1299-1306