default search action
Search dblp for Publications
export results for "stream:conf/lp:"
@proceedings{DBLP:conf/lp/1989, editor = {Koichi Furukawa and Hozumi Tanaka and Tetsunosuke Fujisaki}, title = {Logic Programming '89, Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989}, series = {Lecture Notes in Computer Science}, volume = {485}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-53919-0}, doi = {10.1007/3-540-53919-0}, isbn = {3-540-53919-0}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/1989.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/DongN89, author = {Fangqing Dong and Hiroshi Nakagawa}, editor = {Koichi Furukawa and Hozumi Tanaka and Tetsunosuke Fujisaki}, title = {Semantics of Non-montonic Reasoning based on Perfect Model}, booktitle = {Logic Programming '89, Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989}, series = {Lecture Notes in Computer Science}, volume = {485}, pages = {38--53}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/3-540-53919-0\_3}, doi = {10.1007/3-540-53919-0\_3}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/lp/DongN89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/HosonoKSSTTWY89, author = {Y. Hosono and H. Kumagai and H. Shimizu and M. Sumida and Akikazu Takeuchi and N. Takiguchi and T. Wake and T. Yamaoka}, editor = {Koichi Furukawa and Hozumi Tanaka and Tetsunosuke Fujisaki}, title = {Knowledge Media Station}, booktitle = {Logic Programming '89, Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989}, series = {Lecture Notes in Computer Science}, volume = {485}, pages = {107--133}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/3-540-53919-0\_8}, doi = {10.1007/3-540-53919-0\_8}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/HosonoKSSTTWY89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/Michie89, author = {Donald Michie}, editor = {Koichi Furukawa and Hozumi Tanaka and Tetsunosuke Fujisaki}, title = {Human and Machine Learning of Descriptive Concepts}, booktitle = {Logic Programming '89, Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989}, series = {Lecture Notes in Computer Science}, volume = {485}, pages = {1--22}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/3-540-53919-0\_1}, doi = {10.1007/3-540-53919-0\_1}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/Michie89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/NakamuraNKFT89, author = {Hiroshi Nakamura and Masaya Nakai and Shinji Kono and Masahiro Fujita and Hidehiko Tanaka}, editor = {Koichi Furukawa and Hozumi Tanaka and Tetsunosuke Fujisaki}, title = {Logic Design Assistence Using Temporal Logic Based Language Tokio}, booktitle = {Logic Programming '89, Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989}, series = {Lecture Notes in Computer Science}, volume = {485}, pages = {174--183}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/3-540-53919-0\_12}, doi = {10.1007/3-540-53919-0\_12}, timestamp = {Fri, 22 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lp/NakamuraNKFT89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/NumazakiTT89, author = {Hiroaki Numazaki and Naoyoshi Tamura and Hozumi Tanaka}, editor = {Koichi Furukawa and Hozumi Tanaka and Tetsunosuke Fujisaki}, title = {Paralle Generalized {LP} Parser based on Logic Programming}, booktitle = {Logic Programming '89, Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989}, series = {Lecture Notes in Computer Science}, volume = {485}, pages = {97--106}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/3-540-53919-0\_7}, doi = {10.1007/3-540-53919-0\_7}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/NumazakiTT89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/ShiA89, author = {Yihua Shi and Setsuo Arikawa}, editor = {Koichi Furukawa and Hozumi Tanaka and Tetsunosuke Fujisaki}, title = {Time-Bounded Reasoning in First Order Knowledge Base Systems}, booktitle = {Logic Programming '89, Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989}, series = {Lecture Notes in Computer Science}, volume = {485}, pages = {54--72}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/3-540-53919-0\_4}, doi = {10.1007/3-540-53919-0\_4}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/ShiA89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/Shintani89, author = {Toramatsu Shintani}, editor = {Koichi Furukawa and Hozumi Tanaka and Tetsunosuke Fujisaki}, title = {A Consistency Maintenance Mechanism for Subjective Judgements and Its Application}, booktitle = {Logic Programming '89, Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989}, series = {Lecture Notes in Computer Science}, volume = {485}, pages = {163--173}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/3-540-53919-0\_11}, doi = {10.1007/3-540-53919-0\_11}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/Shintani89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/TamuraNT89, author = {Naoyoshi Tamura and Hiroaki Numazaki and Hozumi Tanaka}, editor = {Koichi Furukawa and Hozumi Tanaka and Tetsunosuke Fujisaki}, title = {Table-Driven Bottom Up Parser in Prolog}, booktitle = {Logic Programming '89, Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989}, series = {Lecture Notes in Computer Science}, volume = {485}, pages = {144--162}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/3-540-53919-0\_10}, doi = {10.1007/3-540-53919-0\_10}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/TamuraNT89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/TatemuraT89, author = {Jun'ichi Tatemura and Hidehiko Tanaka}, editor = {Koichi Furukawa and Hozumi Tanaka and Tetsunosuke Fujisaki}, title = {Debugger for a Parallel Logic Programming Language Fleng}, booktitle = {Logic Programming '89, Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989}, series = {Lecture Notes in Computer Science}, volume = {485}, pages = {87--96}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/3-540-53919-0\_6}, doi = {10.1007/3-540-53919-0\_6}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/TatemuraT89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/TsudaHS89, author = {Hiroshi Tsuda and K{\^{o}}iti Hasida and Hidetosi Sirai}, editor = {Koichi Furukawa and Hozumi Tanaka and Tetsunosuke Fujisaki}, title = {cu-Prolog and its Application to a {JPSG} Parser}, booktitle = {Logic Programming '89, Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989}, series = {Lecture Notes in Computer Science}, volume = {485}, pages = {134--143}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/3-540-53919-0\_9}, doi = {10.1007/3-540-53919-0\_9}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/TsudaHS89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/Yamaguchi89, author = {Jinsei Yamaguchi}, editor = {Koichi Furukawa and Hozumi Tanaka and Tetsunosuke Fujisaki}, title = {The Classification and Boundary Problem}, booktitle = {Logic Programming '89, Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989}, series = {Lecture Notes in Computer Science}, volume = {485}, pages = {23--37}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/3-540-53919-0\_2}, doi = {10.1007/3-540-53919-0\_2}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/Yamaguchi89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/Yamamoto89, author = {Akihiro Yamamoto}, editor = {Koichi Furukawa and Hozumi Tanaka and Tetsunosuke Fujisaki}, title = {Elementary Formal System as a Logic Programming Language}, booktitle = {Logic Programming '89, Proceedings of the 8th Conference, Tokyo, Japan, July 12-14, 1989}, series = {Lecture Notes in Computer Science}, volume = {485}, pages = {73--86}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/3-540-53919-0\_5}, doi = {10.1007/3-540-53919-0\_5}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/Yamamoto89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/lp/1988, editor = {Koichi Furukawa and Hozumi Tanaka and Tetsunosuke Fujisaki}, title = {Logic Programming '88, Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988}, series = {Lecture Notes in Computer Science}, volume = {383}, publisher = {Springer}, year = {1989}, isbn = {3-540-51564-X}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/1988.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/FukunagaM88, author = {Kouichi Fukunaga and Shinichi Morishita}, editor = {Koichi Furukawa and Hozumi Tanaka and Tetsunosuke Fujisaki}, title = {Lattice Programming Methodology}, booktitle = {Logic Programming '88, Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988}, series = {Lecture Notes in Computer Science}, volume = {383}, pages = {96--107}, publisher = {Springer}, year = {1988}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/lp/FukunagaM88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/HoshidaT88, author = {Masaki Hoshida and Mario Tokoro}, editor = {Koichi Furukawa and Hozumi Tanaka and Tetsunosuke Fujisaki}, title = {{ALEX:} The Logic Programming Language with Explicit Control and without Cut-Operators}, booktitle = {Logic Programming '88, Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988}, series = {Lecture Notes in Computer Science}, volume = {383}, pages = {82--95}, publisher = {Springer}, year = {1988}, timestamp = {Fri, 12 Jul 2002 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/HoshidaT88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/KinoshitaSUSA88, author = {Satoshi Kinoshita and Hiroshi Sano and Teruhiko Ukita and Kazuo Sumita and Shin'ya Amano}, editor = {Koichi Furukawa and Hozumi Tanaka and Tetsunosuke Fujisaki}, title = {Knowledge Representation and Reasoning for Discourse Understanding}, booktitle = {Logic Programming '88, Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988}, series = {Lecture Notes in Computer Science}, volume = {383}, pages = {238--251}, publisher = {Springer}, year = {1988}, timestamp = {Fri, 12 Jul 2002 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/KinoshitaSUSA88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/MinamiSST88, author = {Toshiro Minami and Hajime Sawamura and Kaoru Satoh and Kyoko Tsuchiya}, editor = {Koichi Furukawa and Hozumi Tanaka and Tetsunosuke Fujisaki}, title = {{EUODHILOS:} {A} General-Purpose Reasoning Assistant System - Concept and Implementation}, booktitle = {Logic Programming '88, Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988}, series = {Lecture Notes in Computer Science}, volume = {383}, pages = {172--187}, publisher = {Springer}, year = {1988}, timestamp = {Fri, 12 Jul 2002 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/MinamiSST88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/Sakai88, author = {Hiroshi Sakai}, editor = {Koichi Furukawa and Hozumi Tanaka and Tetsunosuke Fujisaki}, title = {Inference Methods and Semantics on Or-type Knowledge Bases}, booktitle = {Logic Programming '88, Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988}, series = {Lecture Notes in Computer Science}, volume = {383}, pages = {136--155}, publisher = {Springer}, year = {1988}, timestamp = {Fri, 12 Jul 2002 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/Sakai88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/SakamaO88, author = {Chiaki Sakama and Akira Okumura}, editor = {Koichi Furukawa and Hozumi Tanaka and Tetsunosuke Fujisaki}, title = {Nonmonotonic Parallel Inheritance Network}, booktitle = {Logic Programming '88, Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988}, series = {Lecture Notes in Computer Science}, volume = {383}, pages = {53--66}, publisher = {Springer}, year = {1988}, timestamp = {Fri, 12 Jul 2002 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/SakamaO88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/SakuraiM88, author = {Akito Sakurai and Hiroshi Motoda}, editor = {Koichi Furukawa and Hozumi Tanaka and Tetsunosuke Fujisaki}, title = {Proving Definite Clauses without Explicit Use of Inductions}, booktitle = {Logic Programming '88, Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988}, series = {Lecture Notes in Computer Science}, volume = {383}, pages = {11--26}, publisher = {Springer}, year = {1988}, timestamp = {Fri, 12 Jul 2002 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/SakuraiM88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/Shintani88, author = {Toramatsu Shintani}, editor = {Koichi Furukawa and Hozumi Tanaka and Tetsunosuke Fujisaki}, title = {An Approach to Nonmonotonic Inference Mechanism in Production System {KORE/IE}}, booktitle = {Logic Programming '88, Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988}, series = {Lecture Notes in Computer Science}, volume = {383}, pages = {28--52}, publisher = {Springer}, year = {1988}, timestamp = {Fri, 12 Jul 2002 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/Shintani88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/SugimuraAKM88, author = {Ry{\^{o}}ichi Sugimura and Kouji Akasaka and Yukihiro Kubo and Yuji Matsumoto}, editor = {Koichi Furukawa and Hozumi Tanaka and Tetsunosuke Fujisaki}, title = {Logic Based Lexical Analyser {LAX}}, booktitle = {Logic Programming '88, Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988}, series = {Lecture Notes in Computer Science}, volume = {383}, pages = {188--216}, publisher = {Springer}, year = {1988}, timestamp = {Tue, 16 Jan 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lp/SugimuraAKM88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/TakizawaKN88, author = {Makoto Takizawa and Motoshi Katsumata and Shinichi Nagahora}, editor = {Koichi Furukawa and Hozumi Tanaka and Tetsunosuke Fujisaki}, title = {Access Program to Minimize Redundant Refutations on the Network Database System}, booktitle = {Logic Programming '88, Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988}, series = {Lecture Notes in Computer Science}, volume = {383}, pages = {156--171}, publisher = {Springer}, year = {1988}, timestamp = {Wed, 04 Jul 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/TakizawaKN88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/TamuraA88, author = {Hideo Tamura and Hideo Aiso}, editor = {Koichi Furukawa and Hozumi Tanaka and Tetsunosuke Fujisaki}, title = {Logic Programming Debugger Using Control Flow Specification}, booktitle = {Logic Programming '88, Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988}, series = {Lecture Notes in Computer Science}, volume = {383}, pages = {67--81}, publisher = {Springer}, year = {1988}, timestamp = {Fri, 12 Jul 2002 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/TamuraA88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/TamuraKK88, author = {Naoyoshi Tamura and Tomomi Kamio and Masato Kurosaki}, editor = {Koichi Furukawa and Hozumi Tanaka and Tetsunosuke Fujisaki}, title = {Extraction of Characteristic Facts and Abstract Generation}, booktitle = {Logic Programming '88, Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988}, series = {Lecture Notes in Computer Science}, volume = {383}, pages = {217--237}, publisher = {Springer}, year = {1988}, timestamp = {Fri, 12 Jul 2002 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/TamuraKK88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/Tanaka88, author = {Jiro Tanaka}, editor = {Koichi Furukawa and Hozumi Tanaka and Tetsunosuke Fujisaki}, title = {A Simple Programming System Written in {GHC} and its Reflective Operations}, booktitle = {Logic Programming '88, Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988}, series = {Lecture Notes in Computer Science}, volume = {383}, pages = {108--121}, publisher = {Springer}, year = {1988}, timestamp = {Fri, 12 Jul 2002 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/Tanaka88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/Terada88, author = {Minoru Terada}, editor = {Koichi Furukawa and Hozumi Tanaka and Tetsunosuke Fujisaki}, title = {Implementation of Full {GHC} by Communicating Processes}, booktitle = {Logic Programming '88, Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988}, series = {Lecture Notes in Computer Science}, volume = {383}, pages = {122--135}, publisher = {Springer}, year = {1988}, timestamp = {Fri, 12 Jul 2002 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/Terada88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/Yamamoto88, author = {Akihiro Yamamoto}, editor = {Koichi Furukawa and Hozumi Tanaka and Tetsunosuke Fujisaki}, title = {Completeness of Extending Unification Based on Basic Narrowing}, booktitle = {Logic Programming '88, Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988}, series = {Lecture Notes in Computer Science}, volume = {383}, pages = {1--10}, publisher = {Springer}, year = {1988}, timestamp = {Fri, 12 Jul 2002 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/Yamamoto88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/YuasaA88, author = {Hiroko Yuasa and Setsuo Arikawa}, editor = {Koichi Furukawa and Hozumi Tanaka and Tetsunosuke Fujisaki}, title = {Pseudo Extension in Default Reasoning and Belief Revision by Model Inference}, booktitle = {Logic Programming '88, Proceedings of the 7th Conference, Tokyo, Japan, April 11-14, 1988}, series = {Lecture Notes in Computer Science}, volume = {383}, pages = {27--37}, publisher = {Springer}, year = {1988}, timestamp = {Fri, 12 Jul 2002 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/YuasaA88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/lp/1987, editor = {Koichi Furukawa and Hozumi Tanaka and Tetsunosuke Fujisaki}, title = {Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987}, series = {Lecture Notes in Computer Science}, volume = {315}, publisher = {Springer}, year = {1988}, url = {https://doi.org/10.1007/3-540-19426-6}, doi = {10.1007/3-540-19426-6}, isbn = {3-540-19426-6}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/1987.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/EtohTAHK87, author = {Hiroaki Etoh and Naoyuki Tamura and Yasuo Asakawa and Toshiyuki Hama and Hideaki Komatsu}, editor = {Koichi Furukawa and Hozumi Tanaka and Tetsunosuke Fujisaki}, title = {Introduction of a Package System into Prolog}, booktitle = {Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987}, series = {Lecture Notes in Computer Science}, volume = {315}, pages = {105--112}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-19426-6\_8}, doi = {10.1007/3-540-19426-6\_8}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/lp/EtohTAHK87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/HoriuchiK87, author = {Kenji Horiuchi and Tadashi Kanamori}, editor = {Koichi Furukawa and Hozumi Tanaka and Tetsunosuke Fujisaki}, title = {Polymorphic Type Inference in Prolog by Abstract Interpretation}, booktitle = {Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987}, series = {Lecture Notes in Computer Science}, volume = {315}, pages = {195--214}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-19426-6\_13}, doi = {10.1007/3-540-19426-6\_13}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/HoriuchiK87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/ImanakaUT87, author = {Takeshi Imanaka and Kuniaki Uehara and Jun'ichi Toyoda}, editor = {Koichi Furukawa and Hozumi Tanaka and Tetsunosuke Fujisaki}, title = {Analogical Program Synthesis from Program Components}, booktitle = {Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987}, series = {Lecture Notes in Computer Science}, volume = {315}, pages = {69--79}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-19426-6\_5}, doi = {10.1007/3-540-19426-6\_5}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/ImanakaUT87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/Ishizaka87, author = {Hiroki Ishizaka}, editor = {Koichi Furukawa and Hozumi Tanaka and Tetsunosuke Fujisaki}, title = {Inductive Inference of Regular Language Based on Model Inference}, booktitle = {Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987}, series = {Lecture Notes in Computer Science}, volume = {315}, pages = {178--194}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-19426-6\_12}, doi = {10.1007/3-540-19426-6\_12}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/Ishizaka87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/IwanumaH87, author = {Koji Iwanuma and Masateru Harao}, editor = {Koichi Furukawa and Hozumi Tanaka and Tetsunosuke Fujisaki}, title = {Knowledge Representation and Inference Based on First-Order Modal Logic}, booktitle = {Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987}, series = {Lecture Notes in Computer Science}, volume = {315}, pages = {236--251}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-19426-6\_15}, doi = {10.1007/3-540-19426-6\_15}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/IwanumaH87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/JaffarL87, author = {Joxan Jaffar and Jean{-}Louis Lassez}, editor = {Koichi Furukawa and Hozumi Tanaka and Tetsunosuke Fujisaki}, title = {From Unification to Constraints}, booktitle = {Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987}, series = {Lecture Notes in Computer Science}, volume = {315}, pages = {1--18}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-19426-6\_1}, doi = {10.1007/3-540-19426-6\_1}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/JaffarL87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/KawamuraOM87, author = {Toshio Kawamura and Hayato Ohwada and Fumio Mizoguchi}, editor = {Koichi Furukawa and Hozumi Tanaka and Tetsunosuke Fujisaki}, title = {CS-Prolog: {A} Generalized Unification Based Constraint Solver}, booktitle = {Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987}, series = {Lecture Notes in Computer Science}, volume = {315}, pages = {19--39}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-19426-6\_2}, doi = {10.1007/3-540-19426-6\_2}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/KawamuraOM87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/KohdaT87, author = {Youji Kohda and Jiro Tanaka}, editor = {Koichi Furukawa and Hozumi Tanaka and Tetsunosuke Fujisaki}, title = {Deriving a Compilation Method for Parallel Logic Languages}, booktitle = {Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987}, series = {Lecture Notes in Computer Science}, volume = {315}, pages = {80--94}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-19426-6\_6}, doi = {10.1007/3-540-19426-6\_6}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/KohdaT87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/KurataN87, author = {Akiko Kurata and Hideyuki Nakashima}, editor = {Koichi Furukawa and Hozumi Tanaka and Tetsunosuke Fujisaki}, title = {Manipulation of Embedded Context Using the Multiple World Mechanism}, booktitle = {Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987}, series = {Lecture Notes in Computer Science}, volume = {315}, pages = {252--263}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-19426-6\_16}, doi = {10.1007/3-540-19426-6\_16}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/KurataN87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/Murakami87, author = {Masaki Murakami}, editor = {Koichi Furukawa and Hozumi Tanaka and Tetsunosuke Fujisaki}, title = {Proving Partial Correctness of Guarded Horn Clauses Programs}, booktitle = {Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987}, series = {Lecture Notes in Computer Science}, volume = {315}, pages = {215--235}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-19426-6\_14}, doi = {10.1007/3-540-19426-6\_14}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/Murakami87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/NilssonT87, author = {Martin Nilsson and Hidehiko Tanaka}, editor = {Koichi Furukawa and Hozumi Tanaka and Tetsunosuke Fujisaki}, title = {The Art of Building a Parallel Logic Programming System or From Zero to Full {GHC} in Ten Pages}, booktitle = {Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987}, series = {Lecture Notes in Computer Science}, volume = {315}, pages = {95--104}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-19426-6\_7}, doi = {10.1007/3-540-19426-6\_7}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/NilssonT87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/NoguchiTY87, author = {Naohiko Noguchi and Masanori Takahashi and Hideki Yasukawa}, editor = {Koichi Furukawa and Hozumi Tanaka and Tetsunosuke Fujisaki}, title = {Generating Natural Language Responses Appropriate to Conversational Situation - In the Case of Japanese}, booktitle = {Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987}, series = {Lecture Notes in Computer Science}, volume = {315}, pages = {264--283}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-19426-6\_17}, doi = {10.1007/3-540-19426-6\_17}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/NoguchiTY87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/Numao87, author = {Masayuki Numao}, editor = {Koichi Furukawa and Hozumi Tanaka and Tetsunosuke Fujisaki}, title = {Update Propagation Network - {A} Framework for Constraint Programming}, booktitle = {Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987}, series = {Lecture Notes in Computer Science}, volume = {315}, pages = {40--49}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-19426-6\_3}, doi = {10.1007/3-540-19426-6\_3}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/Numao87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/OhwadaM87, author = {Hayato Ohwada and Fumio Mizoguchi}, editor = {Koichi Furukawa and Hozumi Tanaka and Tetsunosuke Fujisaki}, title = {Managing Search in Parallel Logic Programming}, booktitle = {Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987}, series = {Lecture Notes in Computer Science}, volume = {315}, pages = {148--177}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-19426-6\_11}, doi = {10.1007/3-540-19426-6\_11}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/OhwadaM87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/ShibayamaYHKSH87, author = {Kiyoshi Shibayama and Masaaki Yamamoto and Hiroaki Hirata and Yasushi Konoh and Takanori Sanetoh and Hiroshi Hagiwara}, editor = {Koichi Furukawa and Hozumi Tanaka and Tetsunosuke Fujisaki}, title = {{KPR:} {A} Logic Programming Language-Oriented Parallel Machine}, booktitle = {Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987}, series = {Lecture Notes in Computer Science}, volume = {315}, pages = {113--131}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-19426-6\_9}, doi = {10.1007/3-540-19426-6\_9}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/ShibayamaYHKSH87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/Shintani87, author = {Toramatsu Shintani}, editor = {Koichi Furukawa and Hozumi Tanaka and Tetsunosuke Fujisaki}, title = {An Approach to Speeding Up the Prolog=based Inference Engine {KORE/IE}}, booktitle = {Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987}, series = {Lecture Notes in Computer Science}, volume = {315}, pages = {284--297}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-19426-6\_18}, doi = {10.1007/3-540-19426-6\_18}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/Shintani87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/TakizawaM87, author = {Makoto Takizawa and Katsumi Miyajima}, editor = {Koichi Furukawa and Hozumi Tanaka and Tetsunosuke Fujisaki}, title = {Concurrent Execution of Prolog Transaction}, booktitle = {Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987}, series = {Lecture Notes in Computer Science}, volume = {315}, pages = {313--327}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-19426-6\_20}, doi = {10.1007/3-540-19426-6\_20}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/TakizawaM87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/TaruiMT87, author = {Toshiaki Tarui and Tsutomu Maruyama and Hidehiko Tanaka}, editor = {Koichi Furukawa and Hozumi Tanaka and Tetsunosuke Fujisaki}, title = {A Preliminary Evaluation of a Parallel Inference Machine for Stream Parallel Languages}, booktitle = {Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987}, series = {Lecture Notes in Computer Science}, volume = {315}, pages = {132--147}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-19426-6\_10}, doi = {10.1007/3-540-19426-6\_10}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/TaruiMT87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/TohmaG87, author = {Yoshihiro Tohma and Kenji Goto}, editor = {Koichi Furukawa and Hozumi Tanaka and Tetsunosuke Fujisaki}, title = {Test Generation for Large-Scale Combinational Circuits by Using Prolog}, booktitle = {Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987}, series = {Lecture Notes in Computer Science}, volume = {315}, pages = {298--312}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-19426-6\_19}, doi = {10.1007/3-540-19426-6\_19}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/TohmaG87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/UchihiraMHN87, author = {Naoshi Uchihira and Kazunori Matsumoto and Shinichi Honiden and Hideo Nakamura}, editor = {Koichi Furukawa and Hozumi Tanaka and Tetsunosuke Fujisaki}, title = {{MENDELS:} Concurrent Program Synthesis System Using Temporal Logic}, booktitle = {Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987}, series = {Lecture Notes in Computer Science}, volume = {315}, pages = {50--68}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-19426-6\_4}, doi = {10.1007/3-540-19426-6\_4}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/UchihiraMHN87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/lp/1986, editor = {Eiiti Wada}, title = {Logic Programming '86, Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986}, series = {Lecture Notes in Computer Science}, volume = {264}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-18024-9}, doi = {10.1007/3-540-18024-9}, isbn = {3-540-18024-9}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/1986.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/Akama86, author = {Kiyoshi Akama}, editor = {Eiiti Wada}, title = {Inheritance Hierarchy Mechanism in Prolog}, booktitle = {Logic Programming '86, Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986}, series = {Lecture Notes in Computer Science}, volume = {264}, pages = {12--21}, publisher = {Springer}, year = {1986}, url = {https://doi.org/10.1007/3-540-18024-9\_18}, doi = {10.1007/3-540-18024-9\_18}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/lp/Akama86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/HaraguchiA86, author = {Makoto Haraguchi and Setsuo Arikawa}, editor = {Eiiti Wada}, title = {A Foundation of Reasoning by Analogy: Analogical Union of Logic Programs}, booktitle = {Logic Programming '86, Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986}, series = {Lecture Notes in Computer Science}, volume = {264}, pages = {58--69}, publisher = {Springer}, year = {1986}, url = {https://doi.org/10.1007/3-540-18024-9\_22}, doi = {10.1007/3-540-18024-9\_22}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/HaraguchiA86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/KakiuchiUT86, author = {Takashi Kakiuchi and Kuniaki Uehara and Jun'ichi Toyoda}, editor = {Eiiti Wada}, title = {Plan-Based Text Generation in an On-Line Help System}, booktitle = {Logic Programming '86, Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986}, series = {Lecture Notes in Computer Science}, volume = {264}, pages = {1--11}, publisher = {Springer}, year = {1986}, url = {https://doi.org/10.1007/3-540-18024-9\_17}, doi = {10.1007/3-540-18024-9\_17}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/KakiuchiUT86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/KakizakiUT86, author = {Ken'ichi Kakizaki and Kuniaki Uehara and Jun'ichi Toyoda}, editor = {Eiiti Wada}, title = {Development of C-Prolog Compiler}, booktitle = {Logic Programming '86, Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986}, series = {Lecture Notes in Computer Science}, volume = {264}, pages = {126--136}, publisher = {Springer}, year = {1986}, url = {https://doi.org/10.1007/3-540-18024-9\_28}, doi = {10.1007/3-540-18024-9\_28}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/KakizakiUT86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/KoikeT86, author = {Hanpei Koike and Hidehiko Tanaka}, editor = {Eiiti Wada}, title = {Fast Execution Mechanisms of Parallel Inference Engine {PIE:} PIEpelined Goal Rewriting and Goal Multicasting}, booktitle = {Logic Programming '86, Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986}, series = {Lecture Notes in Computer Science}, volume = {264}, pages = {159--169}, publisher = {Springer}, year = {1986}, url = {https://doi.org/10.1007/3-540-18024-9\_31}, doi = {10.1007/3-540-18024-9\_31}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/KoikeT86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/KomatsuTAK86, author = {Hideaki Komatsu and Naoyuki Tamura and Yasuo Asakawa and Toshiaki Kurokawa}, editor = {Eiiti Wada}, title = {An Optimizing Prolog Compiler}, booktitle = {Logic Programming '86, Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986}, series = {Lecture Notes in Computer Science}, volume = {264}, pages = {104--115}, publisher = {Springer}, year = {1986}, url = {https://doi.org/10.1007/3-540-18024-9\_26}, doi = {10.1007/3-540-18024-9\_26}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lp/KomatsuTAK86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/MorishitaN86, author = {Shinichi Morishita and Masayuki Numao}, editor = {Eiiti Wada}, title = {Prolog Computation Model {BPM} and its Debugger {PROEDIT2}}, booktitle = {Logic Programming '86, Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986}, series = {Lecture Notes in Computer Science}, volume = {264}, pages = {147--158}, publisher = {Springer}, year = {1986}, url = {https://doi.org/10.1007/3-540-18024-9\_30}, doi = {10.1007/3-540-18024-9\_30}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/MorishitaN86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/NilssonT86, author = {Martin Nilsson and Hidehiko Tanaka}, editor = {Eiiti Wada}, title = {{FLENG} Prolog - The Language which turns Supercomputers into Parallel Prolog Machines}, booktitle = {Logic Programming '86, Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986}, series = {Lecture Notes in Computer Science}, volume = {264}, pages = {170--179}, publisher = {Springer}, year = {1986}, url = {https://doi.org/10.1007/3-540-18024-9\_32}, doi = {10.1007/3-540-18024-9\_32}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/NilssonT86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/OharaTOKTM86, author = {Yuri Ohara and Satoru Torii and Etsuo Ono and Makoto Kishishita and Jiro Tanaka and Toshihiko Miyazaki}, editor = {Eiiti Wada}, title = {A Prototype Software Simulator for {FGHC}}, booktitle = {Logic Programming '86, Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986}, series = {Lecture Notes in Computer Science}, volume = {264}, pages = {47--57}, publisher = {Springer}, year = {1986}, url = {https://doi.org/10.1007/3-540-18024-9\_21}, doi = {10.1007/3-540-18024-9\_21}, timestamp = {Mon, 16 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/OharaTOKTM86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/OhkiTF86, author = {Masaru Ohki and Akikazu Takeuchi and Koichi Furukawa}, editor = {Eiiti Wada}, title = {A Framework for Interactive Problem Solving Based on Interactive Query Revision}, booktitle = {Logic Programming '86, Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986}, series = {Lecture Notes in Computer Science}, volume = {264}, pages = {137--146}, publisher = {Springer}, year = {1986}, url = {https://doi.org/10.1007/3-540-18024-9\_29}, doi = {10.1007/3-540-18024-9\_29}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/OhkiTF86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/Sakakibara86, author = {Yasubumi Sakakibara}, editor = {Eiiti Wada}, title = {Programming in Modal Logic: An Extension of {PROLOG} based on Modal Logic}, booktitle = {Logic Programming '86, Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986}, series = {Lecture Notes in Computer Science}, volume = {264}, pages = {81--91}, publisher = {Springer}, year = {1986}, url = {https://doi.org/10.1007/3-540-18024-9\_24}, doi = {10.1007/3-540-18024-9\_24}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/Sakakibara86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/ShintaniKHT86, author = {Toramatsu Shintani and Yoshinori Katayama and Kunihiko Hiraishi and Mitsuhiko Toda}, editor = {Eiiti Wada}, title = {{KORE:} {A} Hybrid Knowledge Programming Environment for Decision Support Based on a Logic Programming Language}, booktitle = {Logic Programming '86, Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986}, series = {Lecture Notes in Computer Science}, volume = {264}, pages = {22--33}, publisher = {Springer}, year = {1986}, url = {https://doi.org/10.1007/3-540-18024-9\_19}, doi = {10.1007/3-540-18024-9\_19}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/ShintaniKHT86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/TakahashiK86, author = {Kazuko Takahashi and Tadashi Kanamori}, editor = {Eiiti Wada}, title = {On Parallel Programming Methodology in {GHC}}, booktitle = {Logic Programming '86, Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986}, series = {Lecture Notes in Computer Science}, volume = {264}, pages = {92--103}, publisher = {Springer}, year = {1986}, url = {https://doi.org/10.1007/3-540-18024-9\_25}, doi = {10.1007/3-540-18024-9\_25}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/TakahashiK86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/TakizawaIM86, author = {Makoto Takizawa and Hideaki Itoh and Kunihiko Moriya}, editor = {Eiiti Wada}, title = {Logic Interface System on Navigational Database Systems}, booktitle = {Logic Programming '86, Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986}, series = {Lecture Notes in Computer Science}, volume = {264}, pages = {70--80}, publisher = {Springer}, year = {1986}, url = {https://doi.org/10.1007/3-540-18024-9\_23}, doi = {10.1007/3-540-18024-9\_23}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/TakizawaIM86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/Yokoi86, author = {Shinji Yokoi}, editor = {Eiiti Wada}, title = {A Prolog Based Object Oriented Language {SPOOL} and its Compiler}, booktitle = {Logic Programming '86, Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986}, series = {Lecture Notes in Computer Science}, volume = {264}, pages = {116--125}, publisher = {Springer}, year = {1986}, url = {https://doi.org/10.1007/3-540-18024-9\_27}, doi = {10.1007/3-540-18024-9\_27}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/Yokoi86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/YoshinoKOKKNIT86, author = {Hajime Yoshino and Shigeru Kagayama and Shouzou Ohta and Munenori Kitahara and Hiroyasu Kondoh and Mituru Nakakawaji and Kouji Ishimaru and Seiti Takao}, editor = {Eiiti Wada}, title = {Legal Expert System {LES-2}}, booktitle = {Logic Programming '86, Proceedings of the 5th Conference, Tokyo, Japan, June 23-26, 1986}, series = {Lecture Notes in Computer Science}, volume = {264}, pages = {34--45}, publisher = {Springer}, year = {1986}, url = {https://doi.org/10.1007/3-540-18024-9\_20}, doi = {10.1007/3-540-18024-9\_20}, timestamp = {Mon, 14 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lp/YoshinoKOKKNIT86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/lp/1985, editor = {Eiiti Wada}, title = {Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985}, series = {Lecture Notes in Computer Science}, volume = {221}, publisher = {Springer}, year = {1986}, url = {https://doi.org/10.1007/3-540-16479-0}, doi = {10.1007/3-540-16479-0}, isbn = {3-540-16479-0}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/1985.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/AoyagiFM85, author = {T. Aoyagi and Masahiro Fujita and Tohru Moto{-}Oka}, editor = {Eiiti Wada}, title = {Temporal Logic Programming Language Tokio - Programming in Tokio}, booktitle = {Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985}, series = {Lecture Notes in Computer Science}, volume = {221}, pages = {128--137}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-16479-0\_13}, doi = {10.1007/3-540-16479-0\_13}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/lp/AoyagiFM85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/ChoiSJKHK85, author = {J. M. Choi and M. S. Song and K. J. Jeong and H. C. Kwon and S. Y. Han and Yung Taek Kim}, editor = {Eiiti Wada}, title = {A Prolog-Based Korean-English Machine Translation System and Its Efficient Method of Dictionary Management}, booktitle = {Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985}, series = {Lecture Notes in Computer Science}, volume = {221}, pages = {236--245}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-16479-0\_23}, doi = {10.1007/3-540-16479-0\_23}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/ChoiSJKHK85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/FujitaINTM85, author = {Masahiro Fujita and Makoto Ishisone and Hiroshi Nakamura and Hidehiko Tanaka and Tohru Moto{-}Oka}, editor = {Eiiti Wada}, title = {Using the Temporal Logic Programming Language Tokio for Algorithm Description and Automatic {CMOS} Gate Array Synthesis}, booktitle = {Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985}, series = {Lecture Notes in Computer Science}, volume = {221}, pages = {246--255}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-16479-0\_24}, doi = {10.1007/3-540-16479-0\_24}, timestamp = {Fri, 22 Mar 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lp/FujitaINTM85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/Haraguchi85, author = {Makoto Haraguchi}, editor = {Eiiti Wada}, title = {Analogical Reasoning using Transformations of Rules}, booktitle = {Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985}, series = {Lecture Notes in Computer Science}, volume = {221}, pages = {56--65}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-16479-0\_6}, doi = {10.1007/3-540-16479-0\_6}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/Haraguchi85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/HisanoS85, author = {T. Hisano and M. Suwa}, editor = {Eiiti Wada}, title = {Synchronization and Communication in the "Subject"}, booktitle = {Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985}, series = {Lecture Notes in Computer Science}, volume = {221}, pages = {66--77}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-16479-0\_7}, doi = {10.1007/3-540-16479-0\_7}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/HisanoS85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/HonidenUK85, author = {Shinichi Honiden and Naoshi Uchihira and Toshiaki Kasuya}, editor = {Eiiti Wada}, title = {Software Prototyping with {MENDEL}}, booktitle = {Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985}, series = {Lecture Notes in Computer Science}, volume = {221}, pages = {108--116}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-16479-0\_11}, doi = {10.1007/3-540-16479-0\_11}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/HonidenUK85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/ItoU85, author = {H. Ito and H. Ueno}, editor = {Eiiti Wada}, title = {{ZERO:} Frame + Prolog}, booktitle = {Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985}, series = {Lecture Notes in Computer Science}, volume = {221}, pages = {78--89}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-16479-0\_8}, doi = {10.1007/3-540-16479-0\_8}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/ItoU85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/ItohN85, author = {Etsuo Itoh and Hiroshi Nakagawa}, editor = {Eiiti Wada}, title = {Heuristic Applied in Tree Manipulation Algorithm Synthesis}, booktitle = {Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985}, series = {Lecture Notes in Computer Science}, volume = {221}, pages = {44--55}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-16479-0\_5}, doi = {10.1007/3-540-16479-0\_5}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/ItohN85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/KishimotoSKH85, author = {Mitsuhiro Kishimoto and Tsuyoshi Shinogi and Yasunori Kimura and Akira Hattori}, editor = {Eiiti Wada}, title = {Design and Evaluation of a Prolog Compiler}, booktitle = {Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985}, series = {Lecture Notes in Computer Science}, volume = {221}, pages = {192--203}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-16479-0\_19}, doi = {10.1007/3-540-16479-0\_19}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/KishimotoSKH85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/KonoAFT85, author = {Shinji Kono and T. Aoyagi and Masahiro Fujita and Hidehiko Tanaka}, editor = {Eiiti Wada}, title = {Implementation of Temporal Logic Programming Language Tokio}, booktitle = {Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985}, series = {Lecture Notes in Computer Science}, volume = {221}, pages = {138--147}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-16479-0\_14}, doi = {10.1007/3-540-16479-0\_14}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/KonoAFT85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/MaruyamaHTM85, author = {Tsutomu Maruyama and Keiji Hirata and Hidehiko Tanaka and Tohru Moto{-}Oka}, editor = {Eiiti Wada}, title = {A Note on the Elementary Execution Unit in a Parallel Inference Machine}, booktitle = {Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985}, series = {Lecture Notes in Computer Science}, volume = {221}, pages = {25--34}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-16479-0\_3}, doi = {10.1007/3-540-16479-0\_3}, timestamp = {Wed, 11 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/MaruyamaHTM85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/MatsudaKMKM85, author = {Hideo Matsuda and M. Kohata and T. Masuo and Yukio Kaneda and Sadao Maekawa}, editor = {Eiiti Wada}, title = {Parallel Prolog Machine {PARK:} Its Hardware Structure and Prolog System}, booktitle = {Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985}, series = {Lecture Notes in Computer Science}, volume = {221}, pages = {35--43}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-16479-0\_4}, doi = {10.1007/3-540-16479-0\_4}, timestamp = {Tue, 29 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/lp/MatsudaKMKM85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/MatsumuraMMTMK85, author = {Yasushi Matsumura and Takashi Matsunaga and Yusuke Maeda and Shusaku Tsumoto and Hiroshi Matsumura and Michio Kimura}, editor = {Eiiti Wada}, title = {Consultation System for Diagnosis of Headache and Facial Pain: "RHINOS"}, booktitle = {Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985}, series = {Lecture Notes in Computer Science}, volume = {221}, pages = {287--298}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-16479-0\_28}, doi = {10.1007/3-540-16479-0\_28}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/MatsumuraMMTMK85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/Nagasawa85, author = {Isao Nagasawa}, editor = {Eiiti Wada}, title = {A Method of Representing Processes in a Constraint Solver}, booktitle = {Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985}, series = {Lecture Notes in Computer Science}, volume = {221}, pages = {266--275}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-16479-0\_26}, doi = {10.1007/3-540-16479-0\_26}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/Nagasawa85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/Nakamura85, author = {K. Nakamura}, editor = {Eiiti Wada}, title = {Heuristic Prolog: Logic Program Execution by Heuristic Search}, booktitle = {Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985}, series = {Lecture Notes in Computer Science}, volume = {221}, pages = {148--155}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-16479-0\_15}, doi = {10.1007/3-540-16479-0\_15}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/Nakamura85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/NittaN85, author = {Katsumi Nitta and Juntaro Nagao}, editor = {Eiiti Wada}, title = {{KRIP:} a Knowledge Representation System for Laws Relating to Industrial Property}, booktitle = {Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985}, series = {Lecture Notes in Computer Science}, volume = {221}, pages = {276--286}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-16479-0\_27}, doi = {10.1007/3-540-16479-0\_27}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/NittaN85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/NodaKOHH85, author = {Yasunori Noda and Tetsuo Kinoshita and Akira Okumura and Tatsuro Hirano and Tadashi Hiruta}, editor = {Eiiti Wada}, title = {A Parallel Logic Simulator Based on Concurrent Prolog}, booktitle = {Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985}, series = {Lecture Notes in Computer Science}, volume = {221}, pages = {256--265}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-16479-0\_25}, doi = {10.1007/3-540-16479-0\_25}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/NodaKOHH85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/NumaoM85, author = {Masayuki Numao and H. Maruyama}, editor = {Eiiti Wada}, title = {{PROEDIT} - {A} Screen Oriented Prolog Programming Environment}, booktitle = {Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985}, series = {Lecture Notes in Computer Science}, volume = {221}, pages = {100--107}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-16479-0\_10}, doi = {10.1007/3-540-16479-0\_10}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/NumaoM85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/OnaiSMMA85, author = {Rikio Onai and Hajime Shimizu and Kanae Masuda and Akira Matsumoto and Moritoshi Aso}, editor = {Eiiti Wada}, title = {Architecture and Evaluation of a Reduction-Based Parallel Inference Machine: {PIM-R}}, booktitle = {Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985}, series = {Lecture Notes in Computer Science}, volume = {221}, pages = {1--12}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-16479-0\_1}, doi = {10.1007/3-540-16479-0\_1}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/OnaiSMMA85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/SugieYSIYASO85, author = {Mamoru Sugie and M. Yoneyama and T. Sakabe and M. Iwasaki and S. Yoshizumi and Moritoshi Aso and Hajime Shimizu and Rikio Onai}, editor = {Eiiti Wada}, title = {Hardware Simulator of Reduction-Based Parallel Inference Machine {PIM-R}}, booktitle = {Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985}, series = {Lecture Notes in Computer Science}, volume = {221}, pages = {13--24}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-16479-0\_2}, doi = {10.1007/3-540-16479-0\_2}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/SugieYSIYASO85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/SugiyaiI85, author = {Isao Sugiyai and Keiko Ishikawa}, editor = {Eiiti Wada}, title = {Knowledge Realization and Transformation in {KRISP}}, booktitle = {Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985}, series = {Lecture Notes in Computer Science}, volume = {221}, pages = {299--311}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-16479-0\_29}, doi = {10.1007/3-540-16479-0\_29}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/SugiyaiI85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/SuzukiKKTMN85, author = {H. Suzuki and M. Kiyono and S. Kougo and M. Takahashi and S. Motoike and T. Niki}, editor = {Eiiti Wada}, title = {A Travel Consultation System: Towards a Smooth Conversation in Japanese}, booktitle = {Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985}, series = {Lecture Notes in Computer Science}, volume = {221}, pages = {226--235}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-16479-0\_22}, doi = {10.1007/3-540-16479-0\_22}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/SuzukiKKTMN85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/TakahashiS85, author = {Hidehisa Takahashi and Etsuya Shibayama}, editor = {Eiiti Wada}, title = {{PRESET} - {A} Debugging Environment for Prolog}, booktitle = {Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985}, series = {Lecture Notes in Computer Science}, volume = {221}, pages = {90--99}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-16479-0\_9}, doi = {10.1007/3-540-16479-0\_9}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/TakahashiS85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/TanakaYK85, author = {Jiro Tanaka and Takashi Yokomori and Makoto Kishishita}, editor = {Eiiti Wada}, title = {{AND-OR} Queuing in Extended Concurrent Prolog}, booktitle = {Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985}, series = {Lecture Notes in Computer Science}, volume = {221}, pages = {156--167}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-16479-0\_16}, doi = {10.1007/3-540-16479-0\_16}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/TanakaYK85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/Tomura85, author = {Satoru Tomura}, editor = {Eiiti Wada}, title = {TDProlog: An Extended Prolog with Term Description}, booktitle = {Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985}, series = {Lecture Notes in Computer Science}, volume = {221}, pages = {180--191}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-16479-0\_18}, doi = {10.1007/3-540-16479-0\_18}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/Tomura85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/Ueda85, author = {Kazunori Ueda}, editor = {Eiiti Wada}, title = {Guarded Horn Clauses}, booktitle = {Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985}, series = {Lecture Notes in Computer Science}, volume = {221}, pages = {168--179}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-16479-0\_17}, doi = {10.1007/3-540-16479-0\_17}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/Ueda85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/UeharaKMT85, author = {Kuniaki Uehara and Takashi Kakiuchi and Osamu Mikami and Jun'ichi Toyoda}, editor = {Eiiti Wada}, title = {Extended Prolog and Ints Application to an Integrated Parser for Text Understanding}, booktitle = {Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985}, series = {Lecture Notes in Computer Science}, volume = {221}, pages = {214--225}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-16479-0\_21}, doi = {10.1007/3-540-16479-0\_21}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/UeharaKMT85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/YamamotoMYYN85, author = {Akira Yamamoto and Masaki Mitsui and Hiroyuki Yoshida and Minoru Yokota and Katsuto Nakajima}, editor = {Eiiti Wada}, title = {The Program Characteristics in Logic Programming Language {ESP}}, booktitle = {Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985}, series = {Lecture Notes in Computer Science}, volume = {221}, pages = {204--213}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-16479-0\_20}, doi = {10.1007/3-540-16479-0\_20}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/YamamotoMYYN85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lp/YoshidaKS85, author = {H. Yoshida and H. Kato and Masakatsu Sugimoto}, editor = {Eiiti Wada}, title = {Retrieval of Software Module Functions Using First-Order Predicate Logic Formulae}, booktitle = {Logic Programming '85, Proceedings of the 4th Conference, Tokyo, Japan, July 1-3, 1985}, series = {Lecture Notes in Computer Science}, volume = {221}, pages = {117--127}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-16479-0\_12}, doi = {10.1007/3-540-16479-0\_12}, timestamp = {Sun, 03 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/lp/YoshidaKS85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.