Search dblp for Publications

export results for "toc:db/conf/lp/lp89.bht:"

 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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.