Conferences in DBLP
Kazuhiro Fuchi HOP, STEP and JUMP. [Citation Graph (0, 0)][DBLP ] Conf ] Takashi Kurozumi Present Status and Plans for Research and Development. [Citation Graph (0, 0)][DBLP ] Conf ] Shunichi Uchida , Kazuo Taki , Katsuto Nakajima , Atsuhiro Goto , Takashi Chikayama Research and Development of the Parallel Inference System in the Intermediate Stage of the FGCS Project. [Citation Graph (0, 0)][DBLP ] Conf ] Hidenori Itoh , Hidetoshi Monoi , Shigeki Shibayama , Nobuyoshi Miyazaki , Haruo Yokota , Akihiko Konagaya Knowledge Base System in Logic Programming Paradigm. [Citation Graph (0, 0)][DBLP ] Conf ] Ryuzo Hasegawa Problem-Solving and Inference Software. [Citation Graph (0, 0)][DBLP ] Conf ] Shunichi Uchida , Tsutomu Yoshioka , Ryôichi Sugimura , Yuiti Tanaka , Kôiti Hasida , Kuniaki Mukai The Research and Development of Natural Language Processing Systems in The Intermediate Stage of the FGCS Project. [Citation Graph (0, 0)][DBLP ] Conf ] Yuichi Fujii , Hirokazu Taki Experimental Knowledge Processing System. [Citation Graph (0, 0)][DBLP ] Conf ] Herbert A. Simon Prospects for Cognitive Science. [Citation Graph (0, 0)][DBLP ] Conf ] Keith L. Clark Logic Programming Schemes. [Citation Graph (0, 0)][DBLP ] Conf ] Hajime Karatsu Social Impact of Information Technology and International Collaboration. [Citation Graph (0, 0)][DBLP ] Conf ] Jörg H. Siekmann Artificial Intelligence: Perspectives and Predictions. [Citation Graph (0, 0)][DBLP ] Conf ] Timothy Walker International Collaboration in IT. [Citation Graph (0, 0)][DBLP ] Conf ] Fred W. Weingarten Social Impacts of Advanced Computers. [Citation Graph (0, 0)][DBLP ] Conf ] Ehud Y. Shapiro The Panel on Theory and Practice of Concurrent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] William J. Dally Mechanisms for Concurrent Computing. [Citation Graph (0, 0)][DBLP ] Conf ] Geoffrey Fox Theory and Practice of Concurrent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Carl Hewitt Knowledge Processing. [Citation Graph (0, 0)][DBLP ] Conf ] Robin Milner Some Directions in Concurrency Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Kazunori Ueda Theory and Practice of Concurrent Systems - The Role of Kernel Language in the FGCS Project. [Citation Graph (0, 0)][DBLP ] Conf ] David H. D. Warren Theory and Practice of Concurrent Systems - A Position Paper. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Marie Cadiou Advanced Information Processing in ESPRIT - Status and Plans. [Citation Graph (0, 0)][DBLP ] Conf ] Eugene I. Lowenthal A Review of MCC's Accomplishments and Strategic Outlook for Knowledge-Based Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Timothy Walker UK IKBS Programmes. [Citation Graph (0, 0)][DBLP ] Conf ] Shigeki Shibayama , Hiroshi Sakai , Toshiaki Takewaki , Hidetoshi Monoi , Yukihiro Morita , Hidenori Itoh Overview of Knowledge Base Mechanism. [Citation Graph (0, 0)][DBLP ] Conf ] Atsuhiro Goto , Masatoshi Sato , Katsuto Nakajima , Kazuo Taki , Akira Matsumoto Overview of the Parallel Inference Machine Architecture (PIM). [Citation Graph (0, 0)][DBLP ] Conf ] Takashi Chikayama , Hiroyuki Sato , Toshihiko Miyazaki Overview of the Parallel Inference Machine Operating System (PIMOS). [Citation Graph (0, 0)][DBLP ] Conf ] Kazumasa Yokota , Moto Kawamura , Atsushi Kanaegami Overview of the Knowledge Base Management System (KAPPA). [Citation Graph (0, 0)][DBLP ] Conf ] Akira Aiba , Kô Sakai , Yosuke Sato , David J. Hawley , Ryuzo Hasegawa Constraints Logic Programming Language CAL. [Citation Graph (0, 0)][DBLP ] Conf ] Yuichi Tanaka , Tsutomu Yoshioka Overview of the Dictionary and Lexical Knowledge Base Research. [Citation Graph (0, 0)][DBLP ] Conf ] Ryôichi Sugimura , Kôiti Hasida , Kouji Akasaka , Kôzi Hatano , Yukihiro Kubo , Toshiyuki Okunishi A Software Environment for Research into Discourse Understanding Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Yasuo Nagai , Satoshi Terasaki , Takanori Yokoyama , Hirokazu Taki Expert System Architecture for Design Tasks. [Citation Graph (0, 0)][DBLP ] Conf ] Robin Milner Interpreting One Concurrent Calculus in Another. [Citation Graph (0, 0)][DBLP ] Conf ] D. W. Shin , Jong H. Nang , Seungryul R. Maeng , Jung Wan Cho The Semantics of a Functional Logic Language with Input Mode. [Citation Graph (0, 0)][DBLP ] Conf ] Nachum Dershowitz , Mitsuhiro Okada Conditional Equational Programming and the Theory of Conditional Term Rewriting. [Citation Graph (0, 0)][DBLP ] Conf ] J. W. de Bakker , Joost N. Kok Uniform Abstraction, Atomicity and Contractions in the Comparative Semantics of Concurrent Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Yasuo Okabe , Shuzo Yajima Parallel Computational Complexity of Logic Programs and Alternating Turing Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Moreno Falaschi , Giorgio Levi Finite Failures and Partial Computations in Concurrent Logic Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Masaki Murakami A Declarative Semantics of Parallel Logic Programs with Perpetual Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Susumu Yamasaki Semantics of Logic Programs over Sequence Domains. [Citation Graph (0, 0)][DBLP ] Conf ] Laura Giordano , Alberto Martelli , Gianfranco Rossi Local Definitions with Static Scope Rules in Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Devienne WEIGHTED GRAPHS, A Tool for Expressing the Behavious of Recursive Rules in Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Steffen Hölldobler Horn Equality Theories and Complete Sets of Transformations. [Citation Graph (0, 0)][DBLP ] Conf ] Tadashi Kawamura , Tadashi Kanamori Preserving of Stronger Equivalence in Unfold/Fold Logic Program Transformation. [Citation Graph (0, 0)][DBLP ] Conf ] Arvind K. Bansal , Leon Sterling An Abstract Interpretation Scheme for Logic Programming Based on Type Expressions. [Citation Graph (0, 0)][DBLP ] Conf ] Mizuhito Ogawa , Satoshi Ono Transformation of Strictness-Related Analyses Nased on Abstract Interpretation. [Citation Graph (0, 0)][DBLP ] Conf ] Michael Reinfrank , Hartmut Freitag Rules and Justifications: A Uniform Approach to Reason Maintenance and Non-Monotonic Inference. [Citation Graph (0, 0)][DBLP ] Conf ] Yasubumi Sakakibara An Efficient Learning of Context-Free Grammars for Bottom-Up Parsers. [Citation Graph (0, 0)][DBLP ] Conf ] Ken Satoh Nonmonotonic Reasoning by Minimal Belief Revision. [Citation Graph (5, 0)][DBLP ] Conf ] Jun Arima Generating Rules with Exceptions. [Citation Graph (0, 0)][DBLP ] Conf ] Per-Kristian Halvorsen Situation Semantics and Semantic Interpretation in Constraint-Based Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] Kaniaki Mukai Partially Specified Term in Logic Programming for Linguistic Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Hideyuki Nakashima , Hiroyuki Suzuki , Per-Kristian Halvorsen , Stanley Peters Towards a Computational Interpretation of Situation Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Koji Iwanuma , Masateru Harao Knowledge Representation and Inference Based on First-Order Modal Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Balbiani , Luis Fariñas del Cerro , Andreas Herzig Declarative Semantics for Modal Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Y. J. Jiang Epistemic Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Michaël Rusinowitch Theorem-Proving with Resolution and Superposition: An Extension of the Knuth and Bendic Procedure to a Complete Set of Inference Rules. [Citation Graph (0, 0)][DBLP ] Conf ] Satoru Miyano Parallel Complexity and P-Complete Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Ernst W. Mayr Parallel Approximation Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Georges Louis , Marc Vauclair Algebraic Meta-Level Programming in Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Norihiko Yoshida Program Transformation Applied to the Derivation of Systoloc Arrays. [Citation Graph (0, 0)][DBLP ] Conf ] Wlodzimierz Drabent , Simin Nadjm-Tehrani , Jan Maluszynski The Use of Assertions in Algorithmic Debugging. [Citation Graph (0, 0)][DBLP ] Conf ] Kazunori Ueda , Koichi Furukawa Transformation Rules for GHC Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre Cointe A Tutorial Introduction to Metaclass Architecture as provides by Class Oriented Languages. [Citation Graph (0, 0)][DBLP ] Conf ] John W. Lloyd Directions for Meta-Programming. [Citation Graph (2, 0)][DBLP ] Conf ] Luigia Carlucci Aiello , Daniele Nardi , Marco Schaerf Reasoning About Knowledge and Ignorance. [Citation Graph (0, 0)][DBLP ] Conf ] Joseph A. Goguen , José Meseguer Software for the Rewrite Rule Machine. [Citation Graph (0, 0)][DBLP ] Conf ] Kaoru Yoshida , Takashi Chikayama A'UM - A Stream-Based Concurrent Object-Oriented Language. [Citation Graph (0, 0)][DBLP ] Conf ] Carl Hewitt , Gul Agha Guarded Horn Clause Languages: Are They Deductive and Logical? [Citation Graph (0, 0)][DBLP ] Conf ] Yi-Hsiu Wei , Jean-Luc Gaudiot Lazy Evaluation of FP Programs: A Data-Flow Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Göran Båge , Gary Lindstrom Committed Choice Functional Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Bruno Bertolino , Paolo Mancarella , Luigi Meo , Luca Nini , Dino Pedreschi , Franco Turini A Progress Report on the LML Project. [Citation Graph (0, 0)][DBLP ] Conf ] Yoshihiko Futamura Program Evaluation and Generalized Partial Computation. [Citation Graph (0, 0)][DBLP ] Conf ] Mehmet Dincbas , Pascal Van Hentenryck , Helmut Simonis , Abderrahmane Aggoun , Thomas Graf , Françoise Berthier The Constraint Logic Programming Language CHIP. [Citation Graph (6, 0)][DBLP ] Conf ] Jean-Louis Lassez , Ken McAloon Applications of a Canonical Form of Gerneralized Linear Constraints. [Citation Graph (1, 0)][DBLP ] Conf ] Isaac Balbin , Krishnamurthy Meenakshi , Kotagiri Ramamohanarao A Query Independent Method for Magic Set Computation on Stratified Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Marc Kerisit , Jean-Marc Pugin Efficient Query Answering on Stratified Databases. [Citation Graph (5, 0)][DBLP ] Conf ] Ching-Shyan Wu , Lawrence J. Henschen Answering Linear Recursive Queries in Cyclic Databases. [Citation Graph (1, 0)][DBLP ] Conf ] Chan Chi , Lawrence J. Henschen CAP - A Three-Phase Query Processing Technique for Indefinite Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Seif Haridi , Per Brand ANDORRA Prolog - An Integration of Prolog and Committed Choice Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Jacques Ferber , Jean-Pierre Briot Design of a Concurrent Language for Distributed Artificial Intelligence. [Citation Graph (0, 0)][DBLP ] Conf ] Shmuel Kliger , Eyal Yardeni , Kenneth M. Kahn , Ehud Y. Shapiro The Language FCP(: , ?). [Citation Graph (0, 0)][DBLP ] Conf ] Jiro Tanaka Meta-Interpreters and Reflective Operations in GHC. [Citation Graph (0, 0)][DBLP ] Conf ] Mantis H. M. Cheng , Maarten H. van Emden , Jimmy Ho-Man Lee Tables as a User Interface for Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Nabiel A. Elshiewy Modular and Communicating Objects in SICStus Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Micha Meier Benchmarking of Prolog Procedures for Indexing Purposes. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick Saint-Dizier Foundations of DISLOG, Programming in Logic with Discontinuities. [Citation Graph (0, 0)][DBLP ] Conf ] Ewing 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 The Aurora Or-Parallel Prolog System. [Citation Graph (0, 0)][DBLP ] Conf ] Bogumil Hausman , Andrzej Ciepielewski , Alan Calderwood Cut and Side-Effects in Or-Parallel Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] 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. [Citation Graph (0, 0)][DBLP ] Conf ] Yow-Jian Lin , Vipin Kumar Performance of And-Paralle Execution of Logic Programs on a Shared-Memory Multiprocessor. [Citation Graph (0, 0)][DBLP ] Conf ] Guang R. Gao , René Tio , Herbert H. J. Hum Design of an Efficient Dataflow Architecture without Data Flow. [Citation Graph (0, 0)][DBLP ] Conf ] Sany Leinwand , Joseph A. Goguen , Timothy C. Winkler Cell and Ensemble Architecture for the Rewrite Rule Machine. [Citation Graph (0, 0)][DBLP ] Conf ] Abhaya Asthana , Boyd Mathews , Cheryl J. Briggs , Mark R. Cravats A VLSI Building Block for Massively Parallel Computation. [Citation Graph (0, 0)][DBLP ] Conf ] Yuzuru Tanaka Multiport Memory Architectures. [Citation Graph (0, 0)][DBLP ] Conf ] Hidetoshi Monoi , Yukihiro Morita , Hidenori Itoh , Toshiaki Takewaki , Hiroshi Sakai , Shigeki Shibayama Unification-Based Query Language for Relational Knowledge Bases and Its Parallel Execution. [Citation Graph (1, 0)][DBLP ] Conf ] Nobuyuki Ichiyoshi , Kazuaki Rokusawa , Katsuto Nakajima , Yu Inamura A New External Reference Management and Distributed Unification for KL1. [Citation Graph (0, 0)][DBLP ] Conf ] Franz Schreiner , Gerhard Zimmermann Parallelism in the PESA I Multiprocessor. [Citation Graph (0, 0)][DBLP ] Conf ] Hervé J. Touati , Toshiyuki Hama A Light-Weight Prolog Garbage Collector. [Citation Graph (0, 0)][DBLP ] Conf ] Kemal Ebcioglu , Manoj Kumar A Wide Instruction Word Architecture for Parallel Execution of Logic Programs Coded in BSL. [Citation Graph (0, 0)][DBLP ] Conf ] David H. D. Warren , Seif Haridi Data Diffusion Machine - A Scalable Shared Virtual Memory Multiprocessor. [Citation Graph (0, 0)][DBLP ] Conf ] Tsuyoshi Shinogi , Kouichi Kumon , Akira Hattori , Atsuhiro Goto , Yasunori Kimura , Takashi Chikayama Macro-Call Instruction for the Efficient KL1 Implementation on PIM. [Citation Graph (0, 0)][DBLP ] Conf ] Arie Harsat , Ran Ginosar CARMEL-2: A Second Generation VLSI Architecture for Flat Concurrent Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] Hanpei Koike , Hidehiko Tanaka Multi-Context Processing and Data Balancing Mechanism of the Parallel Inference Machine PIE64. [Citation Graph (0, 0)][DBLP ] Conf ] Yasutaka Takeda , Hiroshi Nakashima , Kanae Masuda , Takashi Chikayama , Kazuo Taki A Load Balancing Mechanism for Large Scale Multiprocessor Systems and its Implementation. [Citation Graph (0, 0)][DBLP ] Conf ] Mamoru Sugie , M. Yoneyama , Noriyasu Ido , Toshiaki Tarui Load-Dispatching Strategy on Parallel Inference Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Evan Tick Compile-Time Granularity Analysis for Paralle Logic Programming Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Edward W. Felten , Steve W. Otto A Highly Parallel Chess Program. [Citation Graph (0, 0)][DBLP ] Conf ] David L. Waltz , Craig Stanfill Artificial Intelligence Related Research on the Connection Machine. [Citation Graph (0, 0)][DBLP ] Conf ] Yuichiro Anzai Artificial Intelligence and Neural Computing. [Citation Graph (0, 0)][DBLP ] Conf ] Martin Nilsson , Hidehiko Tanaka Massively Parallel Implementation of Flat GHC on the Connection Machine. [Citation Graph (0, 0)][DBLP ] Conf ] Jonas Barklund , Nils Hagner , Malik Wafin KL1 in Condition Graphs on a Connection Machine. [Citation Graph (0, 0)][DBLP ] Conf ] John R. W. Glauert , George A. Papadopoulos A Parallel Implementation of GHC. [Citation Graph (0, 0)][DBLP ] Conf ] Prasenjit Biswas , Chien-Chao Tseng LogDf: A Data-Driven Abstract Machine Model for Parallel Execution of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Henry Lieberman Toward Intelligent Interfaces for Graphic Design Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Keiji Hirata , Tatsuya Aoyagi , Hiroki Konaka How to Realize Jazz Feelings - A Logic Programming Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Hervé Gallaire Multiple Reasoning Styles in Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Hideto Tomabechi , Teruko Mitamura , Masaru Tomita Direct Memory Access Translation for Speech Input. [Citation Graph (0, 0)][DBLP ] Conf ] Hiyan Alshawi , David M. Carter , Jan van Eijck , Robert C. Moore , Douglas B. Moran , Stephen G. Pulman Overview of the Core Language Engine. [Citation Graph (0, 0)][DBLP ] Conf ] Per-Kristian Halvorsen , Ronald M. Kaplan Projections and Semantic Description in Lexical-Functional Grammar. [Citation Graph (0, 0)][DBLP ] Conf ] Chisato Numaoka , Mario Tokoro ADAM: An Extension of Situation Semantics for Practical Use. [Citation Graph (0, 0)][DBLP ] Conf ] Teruhiko Ukita , Kazuo Sumita , Satoshi Kinoshita , Hiroshi Sano , Shin'ya Amano Preference Judgement in Comprehending Conversational Sentences using Mult-Paradigm World Knowledge. [Citation Graph (0, 0)][DBLP ] Conf ] Michael C. McCord A Multi-Target Machine Translation System. [Citation Graph (0, 0)][DBLP ] Conf ] David E. Johnson The Design of Post-Analysis in the Jets Japanese/English Machine Translation System. [Citation Graph (0, 0)][DBLP ] Conf ] Bob Jansen , Paul Compton The Knowledge Dictionary: A Relational Tool for the Maintenance of Expert Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Takuo Koguchi , Hidefumi Kondo , Masahiro Oba , Hidenori Itoh Knowledge Representation with Abstractive Layers for Information Retrieval. [Citation Graph (1, 0)][DBLP ] Conf ] Tatsuya Akutsu , Setsuo Ohsuga CHEMILOG - A Logic Programming Language/System for Chemical Information Processing. [Citation Graph (0, 0)][DBLP ] Conf ] Boi Faltings A Symbolic Framework for Qualitative Kinematics. [Citation Graph (0, 0)][DBLP ] Conf ] Hayato Ohwada , Fumio Mizoguchi An Examination for Applicability of FGHC: The Experience of Designing Qualitative Reasoning System. [Citation Graph (0, 0)][DBLP ] Conf ] Kiyokazu Sakane , Masaru Ohki , Jun Sawamoto , Yuichi Fujii Methods for Partition of Target Systems in Qualitative Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Sangki Han , Jung Wan Cho SPHINX - A Hybrid Knowledge Representation System. [Citation Graph (0, 0)][DBLP ] Conf ] John H. Boose Knowledge Acquisition Techniques and Tools: Current Research Strategies and Approaches. [Citation Graph (0, 0)][DBLP ] Conf ] Susumu Kunifuji Comments on Knowledge Acquisition and Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Douglas B. Lenat When will Machines Learn? [Citation Graph (0, 0)][DBLP ] Conf ] Mitsuru Ishizuka A Next-generation Knowledge-Base from the Viewpoint of Extending Logic Framework. [Citation Graph (0, 0)][DBLP ] Conf ] Hirokazu Taki Knowledge Acquisition by Observation. [Citation Graph (0, 0)][DBLP ] Conf ] Mildred L. G. Shaw Validation in a Knowledge Acquisition System with Multiple Experts. [Citation Graph (0, 0)][DBLP ] Conf ] Manny Rayner Applying Explanation-Based Generalization to Natural-Language Processing. [Citation Graph (0, 0)][DBLP ] Conf ] Katsumi Inoue Problem Solving with Hypothetical Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] David Poole Representing Knowledge for Logic-Based Diagnosis. [Citation Graph (0, 0)][DBLP ] Conf ] Shin-ichi Wada , Yoshiyuki Koseki , Tetsurou Nishida Human Strategy-Based Troubleshooting Expert System for Switching System. [Citation Graph (0, 0)][DBLP ] Conf ] Fumihiro Maruyama , Taeko Kakuda , Yusuke Matsunaga , Yoriko Minoda , Shuho Sawada , Nobuaki Kawato co-LODEX: A Cooperative Expert System for Logic design. [Citation Graph (0, 0)][DBLP ] Conf ] 