Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki (eds.) |
Logic Programming '89, Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989 |
LP |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Toramatsu Shintani |
A Consistency Maintenance Mechanism for Subjective Judgements and Its Application. |
LP |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Naoyoshi Tamura, Hiroaki Numazaki, Hozumi Tanaka |
Table-Driven Bottom Up Parser in Prolog. |
LP |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Yihua Shi, Setsuo Arikawa |
Time-Bounded Reasoning in First Order Knowledge Base Systems. |
LP |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Jun'ichi Tatemura, Hidehiko Tanaka |
Debugger for a Parallel Logic Programming Language Fleng. |
LP |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Y. Hosono, H. Kumagai, H. Shimizu, M. Sumida, Akikazu Takeuchi, N. Takiguchi, T. Wake, T. Yamaoka |
Knowledge Media Station. |
LP |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Hiroshi Nakamura, Masaya Nakai, Shinji Kono, Masahiro Fujita, Hidehiko Tanaka |
Logic Design Assistence Using Temporal Logic Based Language Tokio. |
LP |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Akihiro Yamamoto |
Elementary Formal System as a Logic Programming Language. |
LP |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Jinsei Yamaguchi |
The Classification and Boundary Problem. |
LP |
1989 |
DBLP DOI BibTeX RDF |
AI, logic programming, non-monotonic reasoning |
1 | Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki (eds.) |
Logic Programming '88, Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988 |
LP |
1989 |
DBLP BibTeX RDF |
|
1 | Donald Michie |
Human and Machine Learning of Descriptive Concepts. |
LP |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Fangqing Dong, Hiroshi Nakagawa |
Semantics of Non-montonic Reasoning based on Perfect Model. |
LP |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Hiroshi Tsuda, Kôiti Hasida, Hidetosi Sirai |
cu-Prolog and its Application to a JPSG Parser. |
LP |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Hiroaki Numazaki, Naoyoshi Tamura, Hozumi Tanaka |
Paralle Generalized LP Parser based on Logic Programming. |
LP |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Minoru Terada |
Implementation of Full GHC by Communicating Processes. |
LP |
1988 |
DBLP BibTeX RDF |
|
1 | Jiro Tanaka |
A Simple Programming System Written in GHC and its Reflective Operations. |
LP |
1988 |
DBLP BibTeX RDF |
|
1 | Masaki Hoshida, Mario Tokoro |
ALEX: The Logic Programming Language with Explicit Control and without Cut-Operators. |
LP |
1988 |
DBLP BibTeX RDF |
|
1 | Chiaki Sakama, Akira Okumura |
Nonmonotonic Parallel Inheritance Network. |
LP |
1988 |
DBLP BibTeX RDF |
|
1 | Hideo Tamura, Hideo Aiso |
Logic Programming Debugger Using Control Flow Specification. |
LP |
1988 |
DBLP BibTeX RDF |
|
1 | Hiroko Yuasa, Setsuo Arikawa |
Pseudo Extension in Default Reasoning and Belief Revision by Model Inference. |
LP |
1988 |
DBLP BibTeX RDF |
|
1 | Ryôichi Sugimura, Kouji Akasaka, Yukihiro Kubo, Yuji Matsumoto 0001 |
Logic Based Lexical Analyser LAX. |
LP |
1988 |
DBLP BibTeX RDF |
|
1 | Kouichi Fukunaga, Shinichi Morishita |
Lattice Programming Methodology. |
LP |
1988 |
DBLP BibTeX RDF |
|
1 | Toshiro Minami, Hajime Sawamura, Kaoru Satoh, Kyoko Tsuchiya |
EUODHILOS: A General-Purpose Reasoning Assistant System - Concept and Implementation. |
LP |
1988 |
DBLP BibTeX RDF |
|
1 | Akito Sakurai, Hiroshi Motoda |
Proving Definite Clauses without Explicit Use of Inductions. |
LP |
1988 |
DBLP BibTeX RDF |
|
1 | Akihiro Yamamoto |
Completeness of Extending Unification Based on Basic Narrowing. |
LP |
1988 |
DBLP BibTeX RDF |
|
1 | Satoshi Kinoshita, Hiroshi Sano, Teruhiko Ukita, Kazuo Sumita, Shin'ya Amano |
Knowledge Representation and Reasoning for Discourse Understanding. |
LP |
1988 |
DBLP BibTeX RDF |
|
1 | Toramatsu Shintani |
An Approach to Nonmonotonic Inference Mechanism in Production System KORE/IE. |
LP |
1988 |
DBLP BibTeX RDF |
|
1 | Naoyoshi Tamura, Tomomi Kamio, Masato Kurosaki |
Extraction of Characteristic Facts and Abstract Generation. |
LP |
1988 |
DBLP BibTeX RDF |
|
1 | Koichi Furukawa, Hozumi Tanaka, Tetsunosuke Fujisaki (eds.) |
Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987 |
LP |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Makoto Takizawa 0001, Motoshi Katsumata, Shinichi Nagahora |
Access Program to Minimize Redundant Refutations on the Network Database System. |
LP |
1988 |
DBLP BibTeX RDF |
|
1 | Hiroshi Sakai |
Inference Methods and Semantics on Or-type Knowledge Bases. |
LP |
1988 |
DBLP BibTeX RDF |
|
1 | Martin Nilsson 0001, Hidehiko Tanaka |
The Art of Building a Parallel Logic Programming System or From Zero to Full GHC in Ten Pages. |
LP |
1987 |
DBLP DOI BibTeX RDF |
Committed choice, Fleng, GHC, Parallel, Logic Programming, Prolog, Interpreter |
1 | Akiko Kurata, Hideyuki Nakashima |
Manipulation of Embedded Context Using the Multiple World Mechanism. |
LP |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Toshio Kawamura, Hayato Ohwada, Fumio Mizoguchi |
CS-Prolog: A Generalized Unification Based Constraint Solver. |
LP |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Makoto Takizawa 0001, Katsumi Miyajima |
Concurrent Execution of Prolog Transaction. |
LP |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Toramatsu Shintani |
An Approach to Speeding Up the Prolog=based Inference Engine KORE/IE. |
LP |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Koji Iwanuma, Masateru Harao |
Knowledge Representation and Inference Based on First-Order Modal Logic. |
LP |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Takeshi Imanaka, Kuniaki Uehara, Jun'ichi Toyoda |
Analogical Program Synthesis from Program Components. |
LP |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Naoshi Uchihira, Kazunori Matsumoto, Shinichi Honiden, Hideo Nakamura |
MENDELS: Concurrent Program Synthesis System Using Temporal Logic. |
LP |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Naohiko Noguchi, Masanori Takahashi, Hideki Yasukawa |
Generating Natural Language Responses Appropriate to Conversational Situation - In the Case of Japanese. |
LP |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Hayato Ohwada, Fumio Mizoguchi |
Managing Search in Parallel Logic Programming. |
LP |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Hiroki Ishizaka |
Inductive Inference of Regular Language Based on Model Inference. |
LP |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Kenji Horiuchi, Tadashi Kanamori |
Polymorphic Type Inference in Prolog by Abstract Interpretation. |
LP |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Masaki Murakami |
Proving Partial Correctness of Guarded Horn Clauses Programs. |
LP |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Yoshihiro Tohma, Kenji Goto |
Test Generation for Large-Scale Combinational Circuits by Using Prolog. |
LP |
1987 |
DBLP DOI BibTeX RDF |
Test, Prolog, Knowledge, Module, Acceleration |
1 | Toshiaki Tarui, Tsutomu Maruyama, Hidehiko Tanaka |
A Preliminary Evaluation of a Parallel Inference Machine for Stream Parallel Languages. |
LP |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Hiroaki Etoh, Naoyuki Tamura, Yasuo Asakawa, Toshiyuki Hama, Hideaki Komatsu |
Introduction of a Package System into Prolog. |
LP |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Kiyoshi Shibayama, Masaaki Yamamoto, Hiroaki Hirata, Yasushi Konoh, Takanori Sanetoh, Hiroshi Hagiwara |
KPR: A Logic Programming Language-Oriented Parallel Machine. |
LP |
1987 |
DBLP DOI BibTeX RDF |
Parallel Inference Machine, High-Level Language Machine, Parallel Processing, Logic Programming Language |
1 | Masayuki Numao |
Update Propagation Network - A Framework for Constraint Programming. |
LP |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Eiiti Wada (eds.) |
Logic Programming '86, Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986 |
LP |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Youji Kohda, Jiro Tanaka |
Deriving a Compilation Method for Parallel Logic Languages. |
LP |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Joxan Jaffar, Jean-Louis Lassez |
From Unification to Constraints. |
LP |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Ken'ichi Kakizaki, Kuniaki Uehara, Jun'ichi Toyoda |
Development of C-Prolog Compiler. |
LP |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Toramatsu Shintani, Yoshinori Katayama, Kunihiko Hiraishi, Mitsuhiko Toda |
KORE: A Hybrid Knowledge Programming Environment for Decision Support Based on a Logic Programming Language. |
LP |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Eiiti Wada (eds.) |
Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985 |
LP |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Makoto Haraguchi, Setsuo Arikawa |
A Foundation of Reasoning by Analogy: Analogical Union of Logic Programs. |
LP |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Yasubumi Sakakibara |
Programming in Modal Logic: An Extension of PROLOG based on Modal Logic. |
LP |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Yuri Ohara, Satoru Torii, Etsuo Ono, Makoto Kishishita, Jiro Tanaka, Toshihiko Miyazaki |
A Prototype Software Simulator for FGHC. |
LP |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Hanpei Koike, Hidehiko Tanaka |
Fast Execution Mechanisms of Parallel Inference Engine PIE: PIEpelined Goal Rewriting and Goal Multicasting. |
LP |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Masaru Ohki, Akikazu Takeuchi, Koichi Furukawa |
A Framework for Interactive Problem Solving Based on Interactive Query Revision. |
LP |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Martin Nilsson 0001, Hidehiko Tanaka |
FLENG Prolog - The Language which turns Supercomputers into Parallel Prolog Machines. |
LP |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Hajime Yoshino 0001, Shigeru Kagayama, Shouzou Ohta, Munenori Kitahara, Hiroyasu Kondoh, Mituru Nakakawaji, Kouji Ishimaru, Seiti Takao |
Legal Expert System LES-2. |
LP |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Kiyoshi Akama |
Inheritance Hierarchy Mechanism in Prolog. |
LP |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Hideaki Komatsu, Naoyuki Tamura, Yasuo Asakawa, Toshiaki Kurokawa |
An Optimizing Prolog Compiler. |
LP |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Shinji Yokoi |
A Prolog Based Object Oriented Language SPOOL and its Compiler. |
LP |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Shinichi Morishita, Masayuki Numao |
Prolog Computation Model BPM and its Debugger PROEDIT2. |
LP |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Kazuko Takahashi, Tadashi Kanamori |
On Parallel Programming Methodology in GHC. |
LP |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Makoto Takizawa 0001, Hideaki Itoh, Kunihiko Moriya |
Logic Interface System on Navigational Database Systems. |
LP |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Takashi Kakiuchi, Kuniaki Uehara, Jun'ichi Toyoda |
Plan-Based Text Generation in an On-Line Help System. |
LP |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Rikio Onai, Hajime Shimizu, Kanae Masuda, Akira Matsumoto, Moritoshi Aso |
Architecture and Evaluation of a Reduction-Based Parallel Inference Machine: PIM-R. |
LP |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Kuniaki Uehara, Takashi Kakiuchi, Osamu Mikami, Jun'ichi Toyoda |
Extended Prolog and Ints Application to an Integrated Parser for Text Understanding. |
LP |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Yasushi Matsumura, Takashi Matsunaga, Yusuke Maeda, Shusaku Tsumoto, Hiroshi Matsumura, Michio Kimura |
Consultation System for Diagnosis of Headache and Facial Pain: "RHINOS". |
LP |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Isao Sugiyai, Keiko Ishikawa |
Knowledge Realization and Transformation in KRISP. |
LP |
1985 |
DBLP DOI BibTeX RDF |
|
1 | H. Yoshida, H. Kato, Masakatsu Sugimoto |
Retrieval of Software Module Functions Using First-Order Predicate Logic Formulae. |
LP |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Yasunori Noda, Tetsuo Kinoshita, Akira Okumura, Tatsuro Hirano, Tadashi Hiruta |
A Parallel Logic Simulator Based on Concurrent Prolog. |
LP |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Makoto Haraguchi |
Analogical Reasoning using Transformations of Rules. |
LP |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Mamoru Sugie, M. Yoneyama, T. Sakabe, M. Iwasaki, S. Yoshizumi, Moritoshi Aso, Hajime Shimizu, Rikio Onai |
Hardware Simulator of Reduction-Based Parallel Inference Machine PIM-R. |
LP |
1985 |
DBLP DOI BibTeX RDF |
|
1 | H. Ito, H. Ueno |
ZERO: Frame + Prolog. |
LP |
1985 |
DBLP DOI BibTeX RDF |
|
1 | K. Nakamura |
Heuristic Prolog: Logic Program Execution by Heuristic Search. |
LP |
1985 |
DBLP DOI BibTeX RDF |
|
1 | T. Aoyagi, Masahiro Fujita, Tohru Moto-Oka |
Temporal Logic Programming Language Tokio - Programming in Tokio. |
LP |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Shinichi Honiden, Naoshi Uchihira, Toshiaki Kasuya |
Software Prototyping with MENDEL. |
LP |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Katsumi Nitta, Juntaro Nagao |
KRIP: a Knowledge Representation System for Laws Relating to Industrial Property. |
LP |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Akira Yamamoto, Masaki Mitsui, Hiroyuki Yoshida, Minoru Yokota, Katsuto Nakajima |
The Program Characteristics in Logic Programming Language ESP. |
LP |
1985 |
DBLP DOI BibTeX RDF |
|
1 | T. Hisano, M. Suwa |
Synchronization and Communication in the "Subject". |
LP |
1985 |
DBLP DOI BibTeX RDF |
|
1 | H. Suzuki, M. Kiyono, S. Kougo, M. Takahashi, S. Motoike, T. Niki |
A Travel Consultation System: Towards a Smooth Conversation in Japanese. |
LP |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Masahiro Fujita, Makoto Ishisone, Hiroshi Nakamura, Hidehiko Tanaka, Tohru Moto-Oka |
Using the Temporal Logic Programming Language Tokio for Algorithm Description and Automatic CMOS Gate Array Synthesis. |
LP |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Shinji Kono, T. Aoyagi, Masahiro Fujita, Hidehiko Tanaka |
Implementation of Temporal Logic Programming Language Tokio. |
LP |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Hideo Matsuda, M. Kohata, T. Masuo, Yukio Kaneda, Sadao Maekawa |
Parallel Prolog Machine PARK: Its Hardware Structure and Prolog System. |
LP |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Mitsuhiro Kishimoto, Tsuyoshi Shinogi, Yasunori Kimura, Akira Hattori |
Design and Evaluation of a Prolog Compiler. |
LP |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Isao Nagasawa |
A Method of Representing Processes in a Constraint Solver. |
LP |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Tsutomu Maruyama, Keiji Hirata 0002, Hidehiko Tanaka, Tohru Moto-Oka |
A Note on the Elementary Execution Unit in a Parallel Inference Machine. |
LP |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Hidehisa Takahashi, Etsuya Shibayama |
PRESET - A Debugging Environment for Prolog. |
LP |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Jiro Tanaka, Takashi Yokomori, Makoto Kishishita |
AND-OR Queuing in Extended Concurrent Prolog. |
LP |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Etsuo Itoh, Hiroshi Nakagawa |
Heuristic Applied in Tree Manipulation Algorithm Synthesis. |
LP |
1985 |
DBLP DOI BibTeX RDF |
|
1 | J. M. Choi, M. S. Song, K. J. Jeong, H. C. Kwon, S. Y. Han, Yung Taek Kim |
A Prolog-Based Korean-English Machine Translation System and Its Efficient Method of Dictionary Management. |
LP |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Kazunori Ueda |
Guarded Horn Clauses. |
LP |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Satoru Tomura |
TDProlog: An Extended Prolog with Term Description. |
LP |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Masayuki Numao, H. Maruyama |
PROEDIT - A Screen Oriented Prolog Programming Environment. |
LP |
1985 |
DBLP DOI BibTeX RDF |
|