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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![Springer, 3-540-53919-0 The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
1 | Toramatsu Shintani |
A Consistency Maintenance Mechanism for Subjective Judgements and Its Application. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '89, Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989, pp. 163-173, 1989, Springer, 3-540-53919-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Naoyoshi Tamura, Hiroaki Numazaki, Hozumi Tanaka |
Table-Driven Bottom Up Parser in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '89, Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989, pp. 144-162, 1989, Springer, 3-540-53919-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Yihua Shi, Setsuo Arikawa |
Time-Bounded Reasoning in First Order Knowledge Base Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '89, Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989, pp. 54-72, 1989, Springer, 3-540-53919-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Jun'ichi Tatemura, Hidehiko Tanaka |
Debugger for a Parallel Logic Programming Language Fleng. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '89, Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989, pp. 87-96, 1989, Springer, 3-540-53919-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '89, Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989, pp. 107-133, 1989, Springer, 3-540-53919-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '89, Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989, pp. 174-183, 1989, Springer, 3-540-53919-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Akihiro Yamamoto |
Elementary Formal System as a Logic Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '89, Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989, pp. 73-86, 1989, Springer, 3-540-53919-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Jinsei Yamaguchi |
The Classification and Boundary Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '89, Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989, pp. 23-37, 1989, Springer, 3-540-53919-0. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![Springer, 3-540-51564-X The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP BibTeX RDF |
|
1 | Donald Michie |
Human and Machine Learning of Descriptive Concepts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '89, Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989, pp. 1-22, 1989, Springer, 3-540-53919-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Fangqing Dong, Hiroshi Nakagawa |
Semantics of Non-montonic Reasoning based on Perfect Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '89, Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989, pp. 38-53, 1989, Springer, 3-540-53919-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Hiroshi Tsuda, Kôiti Hasida, Hidetosi Sirai |
cu-Prolog and its Application to a JPSG Parser. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '89, Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989, pp. 134-143, 1989, Springer, 3-540-53919-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Hiroaki Numazaki, Naoyoshi Tamura, Hozumi Tanaka |
Paralle Generalized LP Parser based on Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '89, Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989, pp. 97-106, 1989, Springer, 3-540-53919-0. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
1 | Minoru Terada |
Implementation of Full GHC by Communicating Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '88, Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988, pp. 122-135, 1988, Springer, 3-540-51564-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Jiro Tanaka |
A Simple Programming System Written in GHC and its Reflective Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '88, Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988, pp. 108-121, 1988, Springer, 3-540-51564-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Masaki Hoshida, Mario Tokoro |
ALEX: The Logic Programming Language with Explicit Control and without Cut-Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '88, Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988, pp. 82-95, 1988, Springer, 3-540-51564-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Chiaki Sakama, Akira Okumura |
Nonmonotonic Parallel Inheritance Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '88, Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988, pp. 53-66, 1988, Springer, 3-540-51564-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Hideo Tamura, Hideo Aiso |
Logic Programming Debugger Using Control Flow Specification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '88, Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988, pp. 67-81, 1988, Springer, 3-540-51564-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Hiroko Yuasa, Setsuo Arikawa |
Pseudo Extension in Default Reasoning and Belief Revision by Model Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '88, Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988, pp. 27-37, 1988, Springer, 3-540-51564-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Ryôichi Sugimura, Kouji Akasaka, Yukihiro Kubo, Yuji Matsumoto 0001 |
Logic Based Lexical Analyser LAX. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '88, Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988, pp. 188-216, 1988, Springer, 3-540-51564-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Kouichi Fukunaga, Shinichi Morishita |
Lattice Programming Methodology. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '88, Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988, pp. 96-107, 1988, Springer, 3-540-51564-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Toshiro Minami, Hajime Sawamura, Kaoru Satoh, Kyoko Tsuchiya |
EUODHILOS: A General-Purpose Reasoning Assistant System - Concept and Implementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '88, Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988, pp. 172-187, 1988, Springer, 3-540-51564-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Akito Sakurai, Hiroshi Motoda |
Proving Definite Clauses without Explicit Use of Inductions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '88, Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988, pp. 11-26, 1988, Springer, 3-540-51564-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Akihiro Yamamoto |
Completeness of Extending Unification Based on Basic Narrowing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '88, Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988, pp. 1-10, 1988, Springer, 3-540-51564-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Satoshi Kinoshita, Hiroshi Sano, Teruhiko Ukita, Kazuo Sumita, Shin'ya Amano |
Knowledge Representation and Reasoning for Discourse Understanding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '88, Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988, pp. 238-251, 1988, Springer, 3-540-51564-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Toramatsu Shintani |
An Approach to Nonmonotonic Inference Mechanism in Production System KORE/IE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '88, Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988, pp. 28-52, 1988, Springer, 3-540-51564-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Naoyoshi Tamura, Tomomi Kamio, Masato Kurosaki |
Extraction of Characteristic Facts and Abstract Generation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '88, Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988, pp. 217-237, 1988, Springer, 3-540-51564-X. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![Springer, 3-540-19426-6 The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
1 | Makoto Takizawa 0001, Motoshi Katsumata, Shinichi Nagahora |
Access Program to Minimize Redundant Refutations on the Network Database System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '88, Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988, pp. 156-171, 1988, Springer, 3-540-51564-X. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP BibTeX RDF |
|
1 | Hiroshi Sakai |
Inference Methods and Semantics on Or-type Knowledge Bases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '88, Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988, pp. 136-155, 1988, Springer, 3-540-51564-X. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987, pp. 95-104, 1987, Springer, 3-540-19426-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987, pp. 252-263, 1987, Springer, 3-540-19426-6. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Toshio Kawamura, Hayato Ohwada, Fumio Mizoguchi |
CS-Prolog: A Generalized Unification Based Constraint Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987, pp. 19-39, 1987, Springer, 3-540-19426-6. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Makoto Takizawa 0001, Katsumi Miyajima |
Concurrent Execution of Prolog Transaction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987, pp. 313-327, 1987, Springer, 3-540-19426-6. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Toramatsu Shintani |
An Approach to Speeding Up the Prolog=based Inference Engine KORE/IE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987, pp. 284-297, 1987, Springer, 3-540-19426-6. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Koji Iwanuma, Masateru Harao |
Knowledge Representation and Inference Based on First-Order Modal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987, pp. 236-251, 1987, Springer, 3-540-19426-6. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Takeshi Imanaka, Kuniaki Uehara, Jun'ichi Toyoda |
Analogical Program Synthesis from Program Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987, pp. 69-79, 1987, Springer, 3-540-19426-6. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Naoshi Uchihira, Kazunori Matsumoto, Shinichi Honiden, Hideo Nakamura |
MENDELS: Concurrent Program Synthesis System Using Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987, pp. 50-68, 1987, Springer, 3-540-19426-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987, pp. 264-283, 1987, Springer, 3-540-19426-6. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Hayato Ohwada, Fumio Mizoguchi |
Managing Search in Parallel Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987, pp. 148-177, 1987, Springer, 3-540-19426-6. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Hiroki Ishizaka |
Inductive Inference of Regular Language Based on Model Inference. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987, pp. 178-194, 1987, Springer, 3-540-19426-6. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Kenji Horiuchi, Tadashi Kanamori |
Polymorphic Type Inference in Prolog by Abstract Interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987, pp. 195-214, 1987, Springer, 3-540-19426-6. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Masaki Murakami |
Proving Partial Correctness of Guarded Horn Clauses Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987, pp. 215-235, 1987, Springer, 3-540-19426-6. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Yoshihiro Tohma, Kenji Goto |
Test Generation for Large-Scale Combinational Circuits by Using Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987, pp. 298-312, 1987, Springer, 3-540-19426-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987, pp. 132-147, 1987, Springer, 3-540-19426-6. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Hiroaki Etoh, Naoyuki Tamura, Yasuo Asakawa, Toshiyuki Hama, Hideaki Komatsu |
Introduction of a Package System into Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987, pp. 105-112, 1987, Springer, 3-540-19426-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987, pp. 113-131, 1987, Springer, 3-540-19426-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987, pp. 40-49, 1987, Springer, 3-540-19426-6. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Eiiti Wada (eds.) |
Logic Programming '86, Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986 ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![Springer, 3-540-18024-9 The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Youji Kohda, Jiro Tanaka |
Deriving a Compilation Method for Parallel Logic Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987, pp. 80-94, 1987, Springer, 3-540-19426-6. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Joxan Jaffar, Jean-Louis Lassez |
From Unification to Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987, pp. 1-18, 1987, Springer, 3-540-19426-6. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
1 | Ken'ichi Kakizaki, Kuniaki Uehara, Jun'ichi Toyoda |
Development of C-Prolog Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '86, Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986, pp. 126-136, 1986, Springer, 3-540-18024-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '86, Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986, pp. 22-33, 1986, Springer, 3-540-18024-9. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Eiiti Wada (eds.) |
Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985 ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![Springer, 3-540-16479-0 The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Makoto Haraguchi, Setsuo Arikawa |
A Foundation of Reasoning by Analogy: Analogical Union of Logic Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '86, Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986, pp. 58-69, 1986, Springer, 3-540-18024-9. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Yasubumi Sakakibara |
Programming in Modal Logic: An Extension of PROLOG based on Modal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '86, Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986, pp. 81-91, 1986, Springer, 3-540-18024-9. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Yuri Ohara, Satoru Torii, Etsuo Ono, Makoto Kishishita, Jiro Tanaka, Toshihiko Miyazaki |
A Prototype Software Simulator for FGHC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '86, Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986, pp. 47-57, 1986, Springer, 3-540-18024-9. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Hanpei Koike, Hidehiko Tanaka |
Fast Execution Mechanisms of Parallel Inference Engine PIE: PIEpelined Goal Rewriting and Goal Multicasting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '86, Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986, pp. 159-169, 1986, Springer, 3-540-18024-9. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Masaru Ohki, Akikazu Takeuchi, Koichi Furukawa |
A Framework for Interactive Problem Solving Based on Interactive Query Revision. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '86, Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986, pp. 137-146, 1986, Springer, 3-540-18024-9. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Martin Nilsson 0001, Hidehiko Tanaka |
FLENG Prolog - The Language which turns Supercomputers into Parallel Prolog Machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '86, Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986, pp. 170-179, 1986, Springer, 3-540-18024-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '86, Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986, pp. 34-45, 1986, Springer, 3-540-18024-9. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Kiyoshi Akama |
Inheritance Hierarchy Mechanism in Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '86, Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986, pp. 12-21, 1986, Springer, 3-540-18024-9. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Hideaki Komatsu, Naoyuki Tamura, Yasuo Asakawa, Toshiaki Kurokawa |
An Optimizing Prolog Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '86, Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986, pp. 104-115, 1986, Springer, 3-540-18024-9. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Shinji Yokoi |
A Prolog Based Object Oriented Language SPOOL and its Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '86, Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986, pp. 116-125, 1986, Springer, 3-540-18024-9. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Shinichi Morishita, Masayuki Numao |
Prolog Computation Model BPM and its Debugger PROEDIT2. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '86, Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986, pp. 147-158, 1986, Springer, 3-540-18024-9. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Kazuko Takahashi, Tadashi Kanamori |
On Parallel Programming Methodology in GHC. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '86, Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986, pp. 92-103, 1986, Springer, 3-540-18024-9. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Makoto Takizawa 0001, Hideaki Itoh, Kunihiko Moriya |
Logic Interface System on Navigational Database Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '86, Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986, pp. 70-80, 1986, Springer, 3-540-18024-9. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
1 | Takashi Kakiuchi, Kuniaki Uehara, Jun'ichi Toyoda |
Plan-Based Text Generation in an On-Line Help System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '86, Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986, pp. 1-11, 1986, Springer, 3-540-18024-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985, pp. 1-12, 1985, Springer, 3-540-16479-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985, pp. 214-225, 1985, Springer, 3-540-16479-0. The full citation details ...](Pics/full.jpeg) |
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". ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985, pp. 287-298, 1985, Springer, 3-540-16479-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Isao Sugiyai, Keiko Ishikawa |
Knowledge Realization and Transformation in KRISP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985, pp. 299-311, 1985, Springer, 3-540-16479-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | H. Yoshida, H. Kato, Masakatsu Sugimoto |
Retrieval of Software Module Functions Using First-Order Predicate Logic Formulae. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985, pp. 117-127, 1985, Springer, 3-540-16479-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Yasunori Noda, Tetsuo Kinoshita, Akira Okumura, Tatsuro Hirano, Tadashi Hiruta |
A Parallel Logic Simulator Based on Concurrent Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985, pp. 256-265, 1985, Springer, 3-540-16479-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Makoto Haraguchi |
Analogical Reasoning using Transformations of Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985, pp. 56-65, 1985, Springer, 3-540-16479-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985, pp. 13-24, 1985, Springer, 3-540-16479-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | H. Ito, H. Ueno |
ZERO: Frame + Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985, pp. 78-89, 1985, Springer, 3-540-16479-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | K. Nakamura |
Heuristic Prolog: Logic Program Execution by Heuristic Search. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985, pp. 148-155, 1985, Springer, 3-540-16479-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | T. Aoyagi, Masahiro Fujita, Tohru Moto-Oka |
Temporal Logic Programming Language Tokio - Programming in Tokio. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985, pp. 128-137, 1985, Springer, 3-540-16479-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Shinichi Honiden, Naoshi Uchihira, Toshiaki Kasuya |
Software Prototyping with MENDEL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985, pp. 108-116, 1985, Springer, 3-540-16479-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Katsumi Nitta, Juntaro Nagao |
KRIP: a Knowledge Representation System for Laws Relating to Industrial Property. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985, pp. 276-286, 1985, Springer, 3-540-16479-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Akira Yamamoto, Masaki Mitsui, Hiroyuki Yoshida, Minoru Yokota, Katsuto Nakajima |
The Program Characteristics in Logic Programming Language ESP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985, pp. 204-213, 1985, Springer, 3-540-16479-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | T. Hisano, M. Suwa |
Synchronization and Communication in the "Subject". ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985, pp. 66-77, 1985, Springer, 3-540-16479-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985, pp. 226-235, 1985, Springer, 3-540-16479-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985, pp. 246-255, 1985, Springer, 3-540-16479-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Shinji Kono, T. Aoyagi, Masahiro Fujita, Hidehiko Tanaka |
Implementation of Temporal Logic Programming Language Tokio. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985, pp. 138-147, 1985, Springer, 3-540-16479-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985, pp. 35-43, 1985, Springer, 3-540-16479-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Mitsuhiro Kishimoto, Tsuyoshi Shinogi, Yasunori Kimura, Akira Hattori |
Design and Evaluation of a Prolog Compiler. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985, pp. 192-203, 1985, Springer, 3-540-16479-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Isao Nagasawa |
A Method of Representing Processes in a Constraint Solver. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985, pp. 266-275, 1985, Springer, 3-540-16479-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985, pp. 25-34, 1985, Springer, 3-540-16479-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Hidehisa Takahashi, Etsuya Shibayama |
PRESET - A Debugging Environment for Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985, pp. 90-99, 1985, Springer, 3-540-16479-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Jiro Tanaka, Takashi Yokomori, Makoto Kishishita |
AND-OR Queuing in Extended Concurrent Prolog. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985, pp. 156-167, 1985, Springer, 3-540-16479-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Etsuo Itoh, Hiroshi Nakagawa |
Heuristic Applied in Tree Manipulation Algorithm Synthesis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985, pp. 44-55, 1985, Springer, 3-540-16479-0. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985, pp. 236-245, 1985, Springer, 3-540-16479-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Kazunori Ueda |
Guarded Horn Clauses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985, pp. 168-179, 1985, Springer, 3-540-16479-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Satoru Tomura |
TDProlog: An Extended Prolog with Term Description. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985, pp. 180-191, 1985, Springer, 3-540-16479-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
1 | Masayuki Numao, H. Maruyama |
PROEDIT - A Screen Oriented Prolog Programming Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LP ![In: Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985, pp. 100-107, 1985, Springer, 3-540-16479-0. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|