Conferences in DBLP
Kazuhiro Fuchi Launching the New Era. [Citation Graph (0, 0)][DBLP ] Conf ] Takashi Kurozumi Overview of the Ten Years of the FGSC Project. [Citation Graph (0, 0)][DBLP ] Conf ] Koichi Furukawa Summary of Basic Research Activities of the FGCS Project. [Citation Graph (0, 0)][DBLP ] Conf ] Shunichi Uchida Summary of the Parallel Inference Machine and its Basic Software. [Citation Graph (0, 0)][DBLP ] Conf ] Kazuo Taki Parallel Inference Machine PIM. [Citation Graph (1, 0)][DBLP ] Conf ] Takashi Chikayama Operating System PIMOS and Kernel Language KL1. [Citation Graph (1, 0)][DBLP ] Conf ] Kazumasa Yokota , Hideki Yasukawa Towards an Integrated Knowledge-Base Management System: Overview of R&D on Databases and Knowledge-Bases in the FGCS Project. [Citation Graph (1, 0)][DBLP ] Conf ] Akira Aiba , Ryuzo Hasegawa Constraint Logic Programming System: CAL, GDCC and Their Constraint Solvers. [Citation Graph (1, 0)][DBLP ] Conf ] Ryuzo Hasegawa , Masayuki Fujita Parallel Theorem Provers and Their Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Yuichi Tanaka Natural Language Processing Software. [Citation Graph (0, 0)][DBLP ] Conf ] Katsumi Nitta , Kazuo Taki , Nobuyuki Ichiyoshi Experimental Parallel Inference Software. [Citation Graph (0, 0)][DBLP ] Conf ] Dines Bjørner , Jørgen Fischer Nilsson Algorithmic & Knowledge Based Methods - Do they "Unify" ? With some Programme Remarks for UNU/IIST. [Citation Graph (0, 0)][DBLP ] Conf ] John Alan Robinson The Role of Logic in Computer Science and Artificial Intelligence. [Citation Graph (0, 0)][DBLP ] Conf ] C. A. R. Hoare Programs are Predicates. [Citation Graph (0, 0)][DBLP ] Conf ] Robert A. Kowalski Panel: A Springboard for Information Processing in the 21st Century. [Citation Graph (0, 0)][DBLP ] Conf ] Hervé Gallaire Finding the Best Route for Logic Programming - Panel Position Paper. [Citation Graph (0, 0)][DBLP ] Conf ] Ross A. Overbeek The Role of Logic Programming in the 21st Century - Panel Position Paper. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Wegner Object-Based Versus Logic Programming - Panel Position Paper. [Citation Graph (0, 0)][DBLP ] Conf ] Koichi Furukawa Concurrent Logic Programming as a Basis for Large-Scale Knowledge Information Processing - Panel Position Paper. [Citation Graph (0, 0)][DBLP ] Conf ] Shunichi Uchida Knowledge Information Processing in the 21st Century - Panel Position Paper. [Citation Graph (0, 0)][DBLP ] Conf ] Hiroshi Date , Yukinori Matsumoto , Kouichi Kimura , Kazuo Taki , Hiroo Kato , Masahiro Hoshi LSI-CAD Programs on Parallel Inference Machine. [Citation Graph (0, 0)][DBLP ] Conf ] Moto Kawamura , Hiroyuki Sato , Kazutomo Naganuma , Kazumasa Yokota Parallel Database Management System: Kappa-P. [Citation Graph (1, 0)][DBLP ] Conf ] Hideki Yasukawa , Hiroshi Tsuda , Kazumasa Yokota Objects, Properties, and Modules in QUIXOTE. [Citation Graph (2, 0)][DBLP ] Conf ] Hiroshi Yashiro , Tetsuro Fujise , Takashi Chikayama , Masahiro Matsuo , Atsushi Hori , Kumiko Wada Resource Management Mechanism of PIMOS. [Citation Graph (0, 0)][DBLP ] Conf ] Fumihide Itoh , Takashi Chikayama , Takeshi Mori , Masaki Sato , Tatsuo Kato , Tadashi Sato The Design of the PIMOS File System. [Citation Graph (0, 0)][DBLP ] Conf ] Seiichi Aikawa , Mayumi Kamiko , Hideyuki Kubo , Fumiko Matsuzawa , Takashi Chikayama Paragraph: A Graphical Tuning Tool for Multiprocessor Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Masato Ishikawa , Masaki Hoshida , Makoto Hirosawa , Tomoyuki Toya , Kentaro Onizuka , Katsumi Nitta Protein Sequence Analysis by Parallel Inference Machine. [Citation Graph (0, 0)][DBLP ] Conf ] Makoto Hirosawa , Richard Feldmann , David Rawn , Masato Ishikawa , Masaki Hoshida , George Michaels Folding Simulation using Temperature Parallel Simulated Annealing. [Citation Graph (0, 0)][DBLP ] Conf ] Kaoru Yoshida , Cassandra Smith , Toni Kazic , George Michaels , Ronald Taylor , David Zawada , Ray Hagstrom , Ross A. Overbeek Toward a Human Genome Encyclopedia. [Citation Graph (0, 0)][DBLP ] Conf ] Hidetoshi Tanaka Integrated System for Protein Information Processing. [Citation Graph (0, 0)][DBLP ] Conf ] 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. [Citation Graph (0, 0)][DBLP ] Conf ] Hiroshi Tsuda cu-Prolog for Constraint-Based Grammar. [Citation Graph (0, 0)][DBLP ] Conf ] Masayuki Fujita , Ryuzo Hasegawa , Miyuki Koshimura , Hiroshi Fujita Model Generation Theorem Provers on a Parallel Inference Machine. [Citation Graph (0, 0)][DBLP ] Conf ] Hiroshi Sano , Fumiyo Fukumoto On a Grammar Formalism, Knowledge Bases and Tools for Natural Language Processing in Logic Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Teruo Ikeda , Akira Kotani , Kaoru Hagiwara , Yukihiro Kubo Argument Text Generation System (Dulcinea). [Citation Graph (0, 0)][DBLP ] Conf ] Satoshi Tojo , Hideki Yasukawa Situated Inference of Temporal Information. [Citation Graph (0, 0)][DBLP ] Conf ] Shigeichiro Yamasaki , Michiko Turuta , Ikuko Nagasawa , Kenji Sugiyama A Parallel Cooperation Model for Natural Language Processing. [Citation Graph (0, 0)][DBLP ] Conf ] Kouichi Kumon , Akira Asato , Susumu Arai , Tsuyoshi Shinogi , Akira Hattori , Hiroyoshi Hatazawa , Kiyoshi Hirano Architecture and Implementation of PIM/p. [Citation Graph (0, 0)][DBLP ] Conf ] Hiroshi Nakashima , Katsuto Nakajima , Seiichi Kondo , Yasutaka Takeda , Yu Inamura , Satoshi Onishi , Kanae Masuda Architecture and Implementation of PIM/m. [Citation Graph (0, 0)][DBLP ] Conf ] Keiji Hirata , Reki Yamamoto , Akira Imai , Hideo Kawai , Kiyoshi Hirano , Tsuneyoshi Takagi , Kazuo Taki , Akihiko Nakase , Kazuaki Rokusawa Parallel and Distributed Implementation of Concurrent Logic Programming Language KL1. [Citation Graph (0, 0)][DBLP ] Conf ] Tadashi Kawamura Logic Program Synthesis from First Order Logic Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Bern Martens , Danny De Schreye , Maurice Bruynooghe Sound and Complete Partial Deduction with Unfolding Based on Well-Founded Measures. [Citation Graph (0, 0)][DBLP ] Conf ] Danny De Schreye , Kristof Verschaetse , Maurice Bruynooghe A Framework for Analyzing the Termination of Definite Logic Programs with respect to Call Patterns. [Citation Graph (0, 0)][DBLP ] Conf ] Lutz Plümer Automatic Verification of GHC-Programs: Termination. [Citation Graph (0, 0)][DBLP ] Conf ] Takenao Ohkawa , Toshiaki Mori , Noboru Babaguchi , Yoshikazu Tezuka Analogical Generalization. [Citation Graph (0, 0)][DBLP ] Conf ] Jun Arima Logical Structure of Analogy: Preliminary Report. [Citation Graph (0, 0)][DBLP ] Conf ] Chris Preist , Kave Eshghi Consistency-Based and Abductive Diagnoses as Generalised Stable Models. [Citation Graph (1, 0)][DBLP ] Conf ] Yoshihiko Ohta , Katsumi Inoue A Forward-Chaining Hypothetical Reasoner Based on Upside-Down Meta-Interpretation. [Citation Graph (0, 0)][DBLP ] Conf ] David Poole Logic Programming, Abduction and Probability. [Citation Graph (0, 0)][DBLP ] Conf ] Philip T. Cox , Emanuel Knill , Tomasz Pietrzykowski Abduction in Logic Programming with Equality. [Citation Graph (0, 0)][DBLP ] Conf ] Chris Evans , Antonis C. Kakas Hypothetico-deductive Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Phan Minh Dung Acyclic Disjunctive Logic Programs with Abductive Procedures as Proof Procedure. [Citation Graph (0, 0)][DBLP ] Conf ] Luís Moniz Pereira , José Júlio Alferes , Joaquim Nunes Aparício Adding Closed World Assumptions to Well Founded Semantics. [Citation Graph (0, 0)][DBLP ] Conf ] Annalisa Bossi , Maurizio Gabbrielli , Giorgio Levi , Maria Chiara Meo Contributions to the Semantics of Open Logic Programs. [Citation Graph (2, 0)][DBLP ] Conf ] Roberto Giacobazzi , Saumya K. Debray , Giorgio Levi A Generalized Semantics for Constraint Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Chiaki Sakama Extended Well-Founded Semantics for Paraconsistent Logic Programs. [Citation Graph (1, 0)][DBLP ] Conf ] Raymond Reiter Formalizing Database Evolution in the Situation Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Idestam-Almquist Learning Missing Clauses by Inverse Resolution. [Citation Graph (0, 0)][DBLP ] Conf ] Setsuo Arikawa , Satoru Kuhara , Satoru Miyano , Yasuhito Mukouchi , Ayumi Shinohara , Takeshi Shinohara A Machine Discovery from Amino Acid Sequences by Decision Trees over Regular Patterns. [Citation Graph (0, 0)][DBLP ] Conf ] Claudio Carpineto Efficient Induction of Version Spaces Through Constrained Language Shift. [Citation Graph (0, 0)][DBLP ] Conf ] Massimo Bruschi Theorem Proving Engine and Strategy Description Language. [Citation Graph (0, 0)][DBLP ] Conf ] Byeong Man Kim , Sang Ho Lee , Seung Ryoul Maeng , Jung Wan Cho A New Algorithm for Subsumption Test. [Citation Graph (0, 0)][DBLP ] Conf ] Marc Denecker , Danny De Schreye On the Duality of Abduction and Model Generation. [Citation Graph (0, 0)][DBLP ] Conf ] Yukihide Takayama Defining Concurrent Processes Constructively. [Citation Graph (0, 0)][DBLP ] Conf ] Makoto Tatsuta Realizability Interpretation of Coinductive Definitions and Program Synthesis with Streams. [Citation Graph (0, 0)][DBLP ] Conf ] Vincent Poirriez MLOG: A Strongly Typed Confluent Functional Language with Logical Variables. [Citation Graph (0, 0)][DBLP ] Conf ] John Darlington , Yike Guo , Helen Pull A New Perspective on Integrating Functional and Logic Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Hideki Isozaki , Yoav Shoham A Mechanism for Reasoning about Time and Belief. [Citation Graph (0, 0)][DBLP ] Conf ] Angelo Montanari , Enrico Maim , Emanuele Ciapessoni , Elena Ratto Dealing with Time Granularity in the Event Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Kentaro Shimada , Hanpei Koike , Hidehiko Tanaka UNIRED II: The High Performance Inference Processor for the Parallel Inference Machine PIE64. [Citation Graph (0, 0)][DBLP ] Conf ] Takayuki Nakagawa , Noriyasu Ido , Toshiaki Tarui , Machiko Asaie , Mamoru Sugie Hardware Implementation of Dynamic Load Balancing in the Parallel Inference Machine PIM/c. [Citation Graph (0, 0)][DBLP ] Conf ] Yuetsu Kodama , Shuichi Sakai , Yoshinori Yamaguchi Evaluation of the EM-4 Highly Parallel Computer using a Game Tree Searching Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Khayri A. M. Ali , Roland Karlsson OR-Parallel Speedups in a Knowledge Based System: on Muse and Aurora. [Citation Graph (0, 0)][DBLP ] Conf ] William J. Dally A Universal Parallel Computer Architecture. [Citation Graph (0, 0)][DBLP ] Conf ] Francisco Bueno , Manuel V. Hermenegildo An Automatic Translation Scheme from Prolog to the Andorra Kernel Language. [Citation Graph (0, 0)][DBLP ] Conf ] Gopal Gupta , Manuel V. Hermenegildo Recomputation based Implementations of And-Or Parallel Prolog. [Citation Graph (0, 0)][DBLP ] Conf ] David C. Sehr , Laxmikant V. Kalé Estimating the Ingerent Parallelism in Prolog Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Koichi Konishi , Tsutomu Maruyama , Akihiko Konagaya , Kaoru Yoshida , Takashi Chikayama Implementing Streams on Parallel Machines with Distributed Memory. [Citation Graph (0, 0)][DBLP ] Conf ] Kazunori Ueda , Masao Morita Message-Oriented Parallel Implementation of Moded Flat GHC. [Citation Graph (0, 0)][DBLP ] Conf ] X. Zhong , Evan Tick , S. Duvvuru , L. Hansen , A. V. S. Sastry , R. Sundararajan Towards an Efficient Compile-Time Granularity Analysis Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] Jonas Barklund , Håkan Millroth Providing Iteration and concurrency in Logic Programs Through Bounded Quantifications. [Citation Graph (0, 0)][DBLP ] Conf ] Anthony S. K. Cheng , Ross A. Paterson An Implementation for a Higher Level Logic Programming Language. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Marc Alliot , Andreas Herzig , Mamede Lima Marques Implementing Prolog Extensions: a Parallel Inference Machine. [Citation Graph (0, 0)][DBLP ] Conf ] Steve Gregory , Rong Yang Parallel Constraint Solving in Andorra-I. [Citation Graph (0, 0)][DBLP ] Conf ] Jong H. Nang , D. W. Shin , Seungryul R. Maeng , Jung Wan Cho A Parallel Execution of Functional Logic Language with Lazy Evaluation. [Citation Graph (0, 0)][DBLP ] Conf ] Zheng Lin Self-Organizing Task Scheduling for Parallel Execution of Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Nobuyuki Ichiyoshi , Kouichi Kimura Asymptotic Load Balance of Distributed Hash Tables. [Citation Graph (0, 0)][DBLP ] Conf ] Jiro Tanaka , Fumio Matono Constructing and Collapsing a Reflective Tower in Reflective Guarded Horn Clauses. [Citation Graph (0, 0)][DBLP ] Conf ] Andrea Corradini , Ugo Montanari , Francesca Rossi SHARM: Concurrency and Hiding in an Abstract Rewriting Machine. [Citation Graph (0, 0)][DBLP ] Conf ] Kenji Horiuchi Less Abstract Semantics for Abstract Interpretation of FGHC Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Eileen Tien Lin , Edward Omiecinski , Sudhakar Yalamanchili Parallel Optimization and Execution of Large Join Queries. [Citation Graph (0, 0)][DBLP ] Conf ] Alexandre Lefebvre Towards an Efficient Evaluation of Recursive Aggregates in Deductive Databases. [Citation Graph (2, 0)][DBLP ] Conf ] Paolo Ciancarini , David Gelernter A Distributed Programming Environment based on Logic Tuple Spaces. [Citation Graph (0, 0)][DBLP ] Conf ] Evan Tick Visualizing Parallel Logic Programs with VISTA. [Citation Graph (0, 0)][DBLP ] Conf ] Kenneth M. Kahn Concurrent Constraint Programs to Parse and Animate Pictures of Concurrent Constraint Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Yaron Goldberg , William Silverman , Ehud Y. Shapiro Logic Programs with Inheritance. [Citation Graph (0, 0)][DBLP ] Conf ] Munenori Maeda Implementing a Process Oriented Debugger with Reflection and Program Transformation. [Citation Graph (0, 0)][DBLP ] Conf ] E. Bahr , Franz Barachini , Hans Mistelberger A New Parallelization Method for Production Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Andrew Sohn , Jean-Luc Gaudiot Performance Evaluation of the Multiple Root Node Approach to the Rete Pattern Matcher for Production Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Joxan Jaffar , Michael J. Maher , Peter J. Stuckey , Roland H. C. Yap Output in CLP. [Citation Graph (2, 0)][DBLP ] Conf ] Jimmy Ho-Man Lee , Maarten H. van Emden Adapting CLP to Floating-Point Arithmetic. [Citation Graph (0, 0)][DBLP ] Conf ] Thierry Le Provost , Mark Wallace Domain Independent Propagation. [Citation Graph (0, 0)][DBLP ] Conf ] Hassan Aït-Kaci , Andreas Podelski , Gert Smolka A Feature-Based Constraint System for Logic Programming with Entailment. [Citation Graph (0, 0)][DBLP ] Conf ] Masaru Ohki , Eiji Oohira , Hiroshi Shinjo , Masahiro Abe Range Determinationof Design Parameters by Qualitative Reasoning and its Application to Electronic Circuits. [Citation Graph (0, 0)][DBLP ] Conf ] Yoshiteru Ishida Logical Implementation of Dynamical Models. [Citation Graph (0, 0)][DBLP ] Conf ] 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. [Citation Graph (0, 0)][DBLP ] Conf ] Shigeru Watari , Yasuaki Honda , Mario Tokoro Morphe: A Constraint-Based Object-Oriented Language Supporting Situated Knowledge. [Citation Graph (0, 0)][DBLP ] Conf ] F. Nihan Kesim , Marek J. Sergot On the Evolution of Objects in a Logic Programming Framework. [Citation Graph (1, 0)][DBLP ] Conf ] Fumio Mizoguchi The Panel on A Future Direction of New Generation Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Ronald J. Brachman Knowledge Representation Theory Meets Reality: Some Brief Lessons from the CLASSIC, Panel Position Paper. [Citation Graph (0, 0)][DBLP ] Conf ] Catherine Lassez Reasoning with Constraints, Panel Position Paper. [Citation Graph (0, 0)][DBLP ] Conf ] Stephen Muggleton Developments in Inductive Logic Programming, Panel Position Paper. [Citation Graph (0, 0)][DBLP ] Conf ] Kazuo Taki Towards the General-Purpose Parallel Processing System, Panel Position Paper. [Citation Graph (0, 0)][DBLP ] Conf ] Jacqueline Castaing A Hybrid Reasoning System for Explaining Mistakes in Chinese Writing. [Citation Graph (0, 0)][DBLP ] Conf ] Takayasu Kasahara , Naoyuki Yamada , Yasuhiro Kobayashi , Katsuyuki Yoshino , Kikuo Yoshimura Automatic Generation of a Domain Specific Inference Program for Building a Knowledge Processing System. [Citation Graph (0, 0)][DBLP ] Conf ] Uwe Nonnenmann , John K. Eddy Knowledge-Based Functional Testing for Large Software Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Junzo Suzuki , Chiho Konuma , Mikito Iwamasa , Naomichi Sueda , Shigeru Mochiji , Akimoto Kamiya A Diagnostic and Control Expert System Based on a Plant Model. [Citation Graph (0, 0)][DBLP ] Conf ] Andreas Hamfelt , Åke Hansson A Semiformal Metatheory for Fragmentary and Multilayered Knowledge as an Interactive Metalogic Program. [Citation Graph (0, 0)][DBLP ] Conf ] Katsumi Nitta , Yoshihisa Ohtake , Shigeru Maeda , Masayuki Ono , Hiroshi Ohsaki , Kiyokazu Sakane HELIC-II: A Legal Reasoning System on the Parallel Inference Machine. [Citation Graph (1, 0)][DBLP ] Conf ] David A. Rosenblueth Chart Parsers as Proof Procedures for Fixed-Mode Logic Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Kazuo Sumita , Kenji Ono , Tetsuro Chino , Teruhiko Ukita , Shin'ya Amano A Discourse Structure Analyzer for Japanese Text. [Citation Graph (0, 0)][DBLP ] Conf ] Kôiti Hasida Dynamics of Symbol Systems: An Integrated Architecture of Cognition. [Citation Graph (0, 0)][DBLP ] Conf ] Maarten H. van Emden Mental Ergonomics as Basis for New-Generation Computer Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Brian R. Gaines , Marc Linster , Mildred L. G. Shaw An Integrated Knowledge Support System. [Citation Graph (0, 0)][DBLP ] Conf ] Brian R. Gaines Modeling the Generational Infrastructure of Information Technology. [Citation Graph (0, 0)][DBLP ] Conf ] Toshinori Watanabe , Keiko Komatsu Do-HLEX: Co-Operative Recursive LSI Layout Problem Solver on Japan's Fifth Generation Parallel Inference Machine. [Citation Graph (0, 0)][DBLP ] Conf ] Yoriko Minoda , Shuho Sawada , Yuka Takizawa , Fumihiro Maruyama , Nobuaki Kawato A Cooperative Logic Design Expert System on a Multiprocessor. [Citation Graph (0, 0)][DBLP ] Conf ] Yoichiro Nakakuki , Yoshiyuki Koseki , Midori Tanaka A Parallel Inductive Learning Algorithm for Adaptive Diagnosis. [Citation Graph (0, 0)][DBLP ] Conf ] Yukinori Matsumoto , Kazuo Taki Parallel Logic Simulator based on Time Warp and its Evaluation. [Citation Graph (0, 0)][DBLP ] Conf ] Ivan Bratko Applications of Machine Learning: Towards Knowledge Synthesis. [Citation Graph (0, 0)][DBLP ] Conf ] 