default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/lp:"
download as .bib file
@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.
retrieved on 2024-10-25 02:01 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
