default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Naoyuki Tamura
@article{DBLP:journals/corr/abs-2405-11305,
author = {Irumi Sugimori and
Katsumi Inoue and
Hidetomo Nabeshima and
Torsten Schaub and
Takehide Soh and
Naoyuki Tamura and
Mutsunori Banbara},
title = {Large Neighborhood Prioritized Search for Combinatorial Optimization
with Answer Set Programming},
journal = {CoRR},
volume = {abs/2405.11305},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2405.11305},
doi = {10.48550/ARXIV.2405.11305},
eprinttype = {arXiv},
eprint = {2405.11305},
timestamp = {Wed, 12 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2405-11305.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2408-07510,
author = {Masato Kato and
Torsten Schaub and
Takehide Soh and
Naoyuki Tamura and
Mutsunori Banbara},
title = {Dominating Set Reconfiguration with Answer Set Programming},
journal = {CoRR},
volume = {abs/2408.07510},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2408.07510},
doi = {10.48550/ARXIV.2408.07510},
eprinttype = {arXiv},
eprint = {2408.07510},
timestamp = {Mon, 23 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2408-07510.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/biostec/SohMBBT23,
author = {Takehide Soh and
Morgan Magnin and
Daniel Le Berre and
Mutsunori Banbara and
Naoyuki Tamura},
editor = {Hesham Ali and
Ning Deng and
Ana Fred and
Hugo Gamboa},
title = {SAT-Based Method for Finding Attractors in Asynchronous Multi-Valued
Networks},
booktitle = {Proceedings of the 16th International Joint Conference on Biomedical
Engineering Systems and Technologies, {BIOSTEC} 2023, Volume 3: BIOINFORMATICS,
Lisbon, Portugal, February 16-18, 2023},
pages = {163--174},
publisher = {{SCITEPRESS}},
year = {2023},
url = {https://doi.org/10.5220/0011675100003414},
doi = {10.5220/0011675100003414},
timestamp = {Tue, 13 Aug 2024 14:18:08 +0200},
biburl = {https://dblp.org/rec/conf/biostec/SohMBBT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmsb/SohMBBT23,
author = {Takehide Soh and
Morgan Magnin and
Daniel Le Berre and
Mutsunori Banbara and
Naoyuki Tamura},
editor = {Jun Pang and
Joachim Niehren},
title = {{SAF:} SAT-Based Attractor Finder in Asynchronous Automata Networks},
booktitle = {Computational Methods in Systems Biology - 21st International Conference,
{CMSB} 2023, Luxembourg City, Luxembourg, September 13-15, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14137},
pages = {175--183},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-42697-1\_12},
doi = {10.1007/978-3-031-42697-1\_12},
timestamp = {Sun, 24 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmsb/SohMBBT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/HirateBILNSST23,
author = {Takahiro Hirate and
Mutsunori Banbara and
Katsumi Inoue and
Xiao{-}Nan Lu and
Hidetomo Nabeshima and
Torsten Schaub and
Takehide Soh and
Naoyuki Tamura},
editor = {Sarah Alice Gaggl and
Maria Vanina Martinez and
Magdalena Ortiz},
title = {Hamiltonian Cycle Reconfiguration with Answer Set Programming},
booktitle = {Logics in Artificial Intelligence - 18th European Conference, {JELIA}
2023, Dresden, Germany, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14281},
pages = {262--277},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43619-2\_19},
doi = {10.1007/978-3-031-43619-2\_19},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/HirateBILNSST23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/TakeuchiBTS23,
author = {Raito Takeuchi and
Mutsunori Banbara and
Naoyuki Tamura and
Torsten Schaub},
editor = {Michael Hanus and
Daniela Inclezan},
title = {Solving Vehicle Equipment Specification Problems with Answer Set Programming},
booktitle = {Practical Aspects of Declarative Languages - 25th International Symposium,
{PADL} 2023, Boston, MA, USA, January 16-17, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13880},
pages = {232--249},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-24841-2\_15},
doi = {10.1007/978-3-031-24841-2\_15},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/padl/TakeuchiBTS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/anor/BanbaraIKOSSTW19,
author = {Mutsunori Banbara and
Katsumi Inoue and
Benjamin Kaufmann and
Tenda Okimoto and
Torsten Schaub and
Takehide Soh and
Naoyuki Tamura and
Philipp Wanko},
title = {teaspoon : solving the curriculum-based course timetabling problems
with answer set programming},
journal = {Ann. Oper. Res.},
volume = {275},
number = {1},
pages = {3--37},
year = {2019},
url = {https://doi.org/10.1007/s10479-018-2757-7},
doi = {10.1007/S10479-018-2757-7},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/anor/BanbaraIKOSSTW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijait/SohBT17,
author = {Takehide Soh and
Mutsunori Banbara and
Naoyuki Tamura},
title = {Proposal and Evaluation of Hybrid Encoding of {CSP} to {SAT} Integrating
Order and Log Encodings},
journal = {Int. J. Artif. Intell. Tools},
volume = {26},
number = {1},
pages = {1760005:1--1760005:29},
year = {2017},
url = {https://doi.org/10.1142/S0218213017600053},
doi = {10.1142/S0218213017600053},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ijait/SohBT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/SohBTB17,
author = {Takehide Soh and
Mutsunori Banbara and
Naoyuki Tamura and
Daniel Le Berre},
editor = {J. Christopher Beck},
title = {Solving Multiobjective Discrete Optimization Problems with Propositional
Minimal Model Generation},
booktitle = {Principles and Practice of Constraint Programming - 23rd International
Conference, {CP} 2017, Melbourne, VIC, Australia, August 28 - September
1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10416},
pages = {596--614},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66158-2\_38},
doi = {10.1007/978-3-319-66158-2\_38},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cp/SohBTB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/BanbaraIKOSST17,
author = {Mutsunori Banbara and
Katsumi Inoue and
Hiromasa Kaneyuki and
Tenda Okimoto and
Torsten Schaub and
Takehide Soh and
Naoyuki Tamura},
editor = {Marcello Balduccini and
Tomi Janhunen},
title = {catnap: Generating Test Suites of Constrained Combinatorial Testing
with Answer Set Programming},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 14th International
Conference, {LPNMR} 2017, Espoo, Finland, July 3-6, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10377},
pages = {265--278},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-61660-5\_24},
doi = {10.1007/978-3-319-61660-5\_24},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpnmr/BanbaraIKOSST17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/SohBT15,
author = {Takehide Soh and
Mutsunori Banbara and
Naoyuki Tamura},
title = {A Hybrid Encoding of {CSP} to {SAT} Integrating Order and Log Encodings},
booktitle = {27th {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2015, Vietri sul Mare, Italy, November 9-11, 2015},
pages = {421--428},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ICTAI.2015.70},
doi = {10.1109/ICTAI.2015.70},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/SohBT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpnmr/BanbaraGIOPSSTW15,
author = {Mutsunori Banbara and
Martin Gebser and
Katsumi Inoue and
Max Ostrowski and
Andrea Peano and
Torsten Schaub and
Takehide Soh and
Naoyuki Tamura and
Matthias Weise},
editor = {Francesco Calimeri and
Giovambattista Ianni and
Miroslaw Truszczynski},
title = {aspartame: Solving Constraint Satisfaction Problems with Answer Set
Programming},
booktitle = {Logic Programming and Nonmonotonic Reasoning - 13th International
Conference, {LPNMR} 2015, Lexington, KY, USA, September 27-30, 2015.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9345},
pages = {112--126},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23264-5\_10},
doi = {10.1007/978-3-319-23264-5\_10},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpnmr/BanbaraGIOPSSTW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/SohBRBT14,
author = {Takehide Soh and
Daniel Le Berre and
St{\'{e}}phanie Roussel and
Mutsunori Banbara and
Naoyuki Tamura},
editor = {Eduardo Ferm{\'{e}} and
Jo{\~{a}}o Leite},
title = {Incremental SAT-Based Method with Native Boolean Cardinality Handling
for the Hamiltonian Cycle Problem},
booktitle = {Logics in Artificial Intelligence - 14th European Conference, {JELIA}
2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8761},
pages = {684--693},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-11558-0\_52},
doi = {10.1007/978-3-319-11558-0\_52},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jelia/SohBRBT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/BanbaraSTIS13,
author = {Mutsunori Banbara and
Takehide Soh and
Naoyuki Tamura and
Katsumi Inoue and
Torsten Schaub},
title = {Answer set programming as a modeling language for course timetabling},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5},
pages = {783--798},
year = {2013},
url = {https://doi.org/10.1017/S1471068413000495},
doi = {10.1017/S1471068413000495},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/BanbaraSTIS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictai/TamuraBS13,
author = {Naoyuki Tamura and
Mutsunori Banbara and
Takehide Soh},
title = {Compiling Pseudo-Boolean Constraints to {SAT} with Order Encoding},
booktitle = {25th {IEEE} International Conference on Tools with Artificial Intelligence,
{ICTAI} 2013, Herndon, VA, USA, November 4-6, 2013},
pages = {1020--1027},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICTAI.2013.153},
doi = {10.1109/ICTAI.2013.153},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictai/TamuraBS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/SohTB13,
author = {Takehide Soh and
Naoyuki Tamura and
Mutsunori Banbara},
editor = {Matti J{\"{a}}rvisalo and
Allen Van Gelder},
title = {Scarab: {A} Rapid Prototyping Tool for SAT-Based Constraint Programming
Systems},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2013 - 16th
International Conference, Helsinki, Finland, July 8-12, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7962},
pages = {429--436},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39071-5\_34},
doi = {10.1007/978-3-642-39071-5\_34},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/sat/SohTB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BanbaraGISSTW13,
author = {Mutsunori Banbara and
Martin Gebser and
Katsumi Inoue and
Torsten Schaub and
Takehide Soh and
Naoyuki Tamura and
Matthias Weise},
title = {Aspartame: Solving Constraint Satisfaction Problems with Answer Set
Programming},
journal = {CoRR},
volume = {abs/1312.6113},
year = {2013},
url = {http://arxiv.org/abs/1312.6113},
eprinttype = {arXiv},
eprint = {1312.6113},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BanbaraGISSTW13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BanbaraTI12,
author = {Mutsunori Banbara and
Naoyuki Tamura and
Katsumi Inoue},
editor = {Agostino Dovier and
V{\'{\i}}tor Santos Costa},
title = {Generating Event-Sequence Test Cases by Answer Set Programming with
the Incidence Matrix},
booktitle = {Technical Communications of the 28th International Conference on Logic
Programming, {ICLP} 2012, September 4-8, 2012, Budapest, Hungary},
series = {LIPIcs},
volume = {17},
pages = {86--97},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2012.86},
doi = {10.4230/LIPICS.ICLP.2012.86},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/BanbaraTI12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/TanjoTB12,
author = {Tomoya Tanjo and
Naoyuki Tamura and
Mutsunori Banbara},
editor = {Alessandro Cimatti and
Roberto Sebastiani},
title = {Azucar: {A} SAT-Based {CSP} Solver Using Compact Order Encoding -
(Tool Presentation)},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2012 - 15th
International Conference, Trento, Italy, June 17-20, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7317},
pages = {456--462},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31612-8\_37},
doi = {10.1007/978-3-642-31612-8\_37},
timestamp = {Sun, 02 Jun 2019 21:24:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/TanjoTB12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/TanjoTB11,
author = {Tomoya Tanjo and
Naoyuki Tamura and
Mutsunori Banbara},
editor = {Karem A. Sakallah and
Laurent Simon},
title = {A Compact and Efficient SAT-Encoding of Finite Domain {CSP}},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2011 - 14th
International Conference, {SAT} 2011, Ann Arbor, MI, USA, June 19-22,
2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6695},
pages = {375--376},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-21581-0\_36},
doi = {10.1007/978-3-642-21581-0\_36},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sat/TanjoTB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/SohITBN10,
author = {Takehide Soh and
Katsumi Inoue and
Naoyuki Tamura and
Mutsunori Banbara and
Hidetomo Nabeshima},
title = {A SAT-based Method for Solving the Two-dimensional Strip Packing Problem},
journal = {Fundam. Informaticae},
volume = {102},
number = {3-4},
pages = {467--487},
year = {2010},
url = {https://doi.org/10.3233/FI-2010-314},
doi = {10.3233/FI-2010-314},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fuin/SohITBN10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/TamuraTB10,
author = {Naoyuki Tamura and
Tomoya Tanjo and
Mutsunori Banbara},
editor = {Matthias Blume and
Naoki Kobayashi and
Germ{\'{a}}n Vidal},
title = {Solving Constraint Satisfaction Problems with {SAT} Technology},
booktitle = {Functional and Logic Programming, 10th International Symposium, {FLOPS}
2010, Sendai, Japan, April 19-21, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6009},
pages = {19--23},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-12251-4\_3},
doi = {10.1007/978-3-642-12251-4\_3},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/TamuraTB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BanbaraMTI10,
author = {Mutsunori Banbara and
Haruki Matsunaka and
Naoyuki Tamura and
Katsumi Inoue},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {Generating Combinatorial Test Cases by Efficient {SAT} Encodings Suitable
for {CDCL} {SAT} Solvers},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {112--126},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_9},
doi = {10.1007/978-3-642-16242-8\_9},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BanbaraMTI10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/constraints/TamuraTKB09,
author = {Naoyuki Tamura and
Akiko Taga and
Satoshi Kitagawa and
Mutsunori Banbara},
title = {Compiling finite linear {CSP} into {SAT}},
journal = {Constraints An Int. J.},
volume = {14},
number = {2},
pages = {254--272},
year = {2009},
url = {https://doi.org/10.1007/s10601-008-9061-0},
doi = {10.1007/S10601-008-9061-0},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/constraints/TamuraTKB09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rcra/SohITBN08,
author = {Takehide Soh and
Katsumi Inoue and
Naoyuki Tamura and
Mutsunori Banbara and
Hidetomo Nabeshima},
editor = {Marco Gavanelli and
Toni Mancini},
title = {A SAT-based Method for Solving the Two-dimensional Strip Packing Problem},
booktitle = {Proceedings of the 15th {RCRA} workshop on Experimental Evaluation
of Algorithms for Solving Problems with Combinatorial Explosion, Udine,
Italy, December 12-13, 2008},
series = {{CEUR} Workshop Proceedings},
volume = {451},
publisher = {CEUR-WS.org},
year = {2008},
url = {https://ceur-ws.org/Vol-451/paper16soh.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:58 +0100},
biburl = {https://dblp.org/rec/conf/rcra/SohITBN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jmm/TakahashiTFY07,
author = {Hiroki Takahashi and
Naoyuki Tamura and
Toshihiko Furue and
Osamu Yoshie},
title = {Low Cost Rendering Method for Virtual Factory Considering Interpolation
of Occluded Objects},
journal = {J. Mobile Multimedia},
volume = {3},
number = {3},
pages = {265--282},
year = {2007},
url = {http://www.rintonpress.com/journals/jmm/abstractsJmm3-3.html},
timestamp = {Tue, 22 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jmm/TakahashiTFY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/InoueSUSBT06,
author = {Katsumi Inoue and
Takehide Soh and
Seiji Ueda and
Yoshito Sasaura and
Mutsunori Banbara and
Naoyuki Tamura},
title = {A competitive and cooperative approach to propositional satisfiability},
journal = {Discret. Appl. Math.},
volume = {154},
number = {16},
pages = {2291--2306},
year = {2006},
url = {https://doi.org/10.1016/j.dam.2006.04.015},
doi = {10.1016/J.DAM.2006.04.015},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/InoueSUSBT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/TamuraTKB06,
author = {Naoyuki Tamura and
Akiko Taga and
Satoshi Kitagawa and
Mutsunori Banbara},
editor = {Fr{\'{e}}d{\'{e}}ric Benhamou},
title = {Compiling Finite Linear {CSP} into {SAT}},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2006, 12th
International Conference, {CP} 2006, Nantes, France, September 25-29,
2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4204},
pages = {590--603},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11889205\_42},
doi = {10.1007/11889205\_42},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/TamuraTKB06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/momm/TakahashiTFY06,
author = {Hiroki Takahashi and
Naoyuki Tamura and
Toshihiko Furue and
Osamu Yoshie},
editor = {Gabriele Kotsis and
David Taniar and
Eric Pardede and
Ismail Khalil Ibrahim},
title = {Low Cost Rendering Method for Virtual Factory Considering Interpolation
of Occluded Objects},
booktitle = {MoMM'2006 - The Fourth International Conference on Advances in Mobile
Computing and Multimedia, 4-6 December 2006, Yogyakarta, Indonesia},
series = {books@ocg.at},
volume = {215},
pages = {169--178},
publisher = {Austrian Computer Society},
year = {2006},
timestamp = {Tue, 12 Feb 2008 09:42:53 +0100},
biburl = {https://dblp.org/rec/conf/momm/TakahashiTFY06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/BanbaraTI05,
author = {Mutsunori Banbara and
Naoyuki Tamura and
Katsumi Inoue},
editor = {Masanobu Umeda and
Armin Wolf and
Oskar Bartenstein and
Ulrich Geske and
Dietmar Seipel and
Osamu Takata},
title = {Prolog Cafe : {A} Prolog to Java Translator System},
booktitle = {Declarative Programming for Knowledge Management, 16th International
Conference on Applications of Declarative Programming and Knowledge
Management, {INAP} 2005, Fukuoka, Japan, October 22-24, 2005, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4369},
pages = {1--11},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11963578\_1},
doi = {10.1007/11963578\_1},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/inap/BanbaraTI05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/inap/Tamura05,
author = {Naoyuki Tamura},
editor = {Masanobu Umeda and
Armin Wolf and
Oskar Bartenstein and
Ulrich Geske and
Dietmar Seipel and
Osamu Takata},
title = {Calc/Cream: OpenOffice Spreadsheet Front-End for Constraint Programming},
booktitle = {Declarative Programming for Knowledge Management, 16th International
Conference on Applications of Declarative Programming and Knowledge
Management, {INAP} 2005, Fukuoka, Japan, October 22-24, 2005, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4369},
pages = {81--87},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11963578\_7},
doi = {10.1007/11963578\_7},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/inap/Tamura05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/OhnishiTT03,
author = {Shuji Ohnishi and
Hiroaki Tasaka and
Naoyuki Tamura},
editor = {Francesca Rossi},
title = {Efficient Represenation of Discrete Sets for Constraint Programming},
booktitle = {Principles and Practice of Constraint Programming - {CP} 2003, 9th
International Conference, {CP} 2003, Kinsale, Ireland, September 29
- October 3, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2833},
pages = {920--924},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45193-8\_79},
doi = {10.1007/978-3-540-45193-8\_79},
timestamp = {Tue, 23 Jan 2024 13:25:46 +0100},
biburl = {https://dblp.org/rec/conf/cp/OhnishiTT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/HodasT01,
author = {Joshua S. Hodas and
Naoyuki Tamura},
editor = {Rajeev Gor{\'{e}} and
Alexander Leitsch and
Tobias Nipkow},
title = {lolliCop - {A} Linear Logic Implementation of a Lean Connection-Method
Theorem Prover for First-Order Classical Logic},
booktitle = {Automated Reasoning, First International Joint Conference, {IJCAR}
2001, Siena, Italy, June 18-23, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2083},
pages = {670--684},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45744-5\_55},
doi = {10.1007/3-540-45744-5\_55},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/HodasT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BanbaraKHT01,
author = {Mutsunori Banbara and
Kyoung{-}Sun Kang and
Takaharu Hirai and
Naoyuki Tamura},
editor = {Philippe Codognet},
title = {Logic Programming in a Fragment of Intuitionistic Temporal Linear
Logic},
booktitle = {Logic Programming, 17th International Conference, {ICLP} 2001, Paphos,
Cyprus, November 26 - December 1, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2237},
pages = {315--330},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45635-X\_29},
doi = {10.1007/3-540-45635-X\_29},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/BanbaraKHT01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/KangT99,
author = {Kyoung{-}Sun Kang and
Naoyuki Tamura},
editor = {Danny De Schreye},
title = {A Static Analysis for Classical Linear Logic Programming Language},
booktitle = {Logic Programming: The 1999 International Conference, Las Cruces,
New Mexico, USA, November 29 - December 4, 1999},
pages = {610},
publisher = {{MIT} Press},
year = {1999},
timestamp = {Mon, 02 Dec 2013 17:40:45 +0100},
biburl = {https://dblp.org/rec/conf/iclp/KangT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/KangT99,
author = {Kyoung{-}Sun Kang and
Naoyuki Tamura},
editor = {In{\^{e}}s de Castro Dutra and
V{\'{\i}}tor Santos Costa and
Gopal Gupta and
Enrico Pontelli and
Manuel Carro and
P{\'{e}}ter Kacsuk},
title = {A Static Analysis Method for a Classical Linear Logic Programming
Language},
booktitle = {Parallelism and Implementation Technology for (Constraint) Logic Programming,
in connection with the International Conference on Logic Programming,
{ICLP} 1999, Las Cruces, New Mexico, USA, December 1, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {30},
number = {3},
pages = {3--19},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80112-4},
doi = {10.1016/S1571-0661(05)80112-4},
timestamp = {Wed, 23 Nov 2022 16:40:54 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KangT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/BanbaraT99,
author = {Mutsunori Banbara and
Naoyuki Tamura},
editor = {In{\^{e}}s de Castro Dutra and
V{\'{\i}}tor Santos Costa and
Gopal Gupta and
Enrico Pontelli and
Manuel Carro and
P{\'{e}}ter Kacsuk},
title = {Translating a Linear Logic Programming Language into Java},
booktitle = {Parallelism and Implementation Technology for (Constraint) Logic Programming,
in connection with the International Conference on Logic Programming,
{ICLP} 1999, Las Cruces, New Mexico, USA, December 1, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {30},
number = {3},
pages = {20--45},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80111-2},
doi = {10.1016/S1571-0661(05)80111-2},
timestamp = {Wed, 23 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/BanbaraT99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fss/HoriuchiT98,
author = {Kiyomitsu Horiuchi and
Naoyuki Tamura},
title = {{VSOP} fuzzy numbers and their fuzzy ordering},
journal = {Fuzzy Sets Syst.},
volume = {93},
number = {2},
pages = {197--210},
year = {1998},
url = {https://doi.org/10.1016/S0165-0114(96)00206-0},
doi = {10.1016/S0165-0114(96)00206-0},
timestamp = {Wed, 19 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fss/HoriuchiT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BanbaraT98,
author = {Mutsunori Banbara and
Naoyuki Tamura},
editor = {Konstantinos Sagonas},
title = {Compiling Resources in a Linear Logic Programming Language},
booktitle = {Proceedings of the International Workshop on Implementation Technology
for Programming Languages based on Logic, held in conjunction with
the Joint International Conference and Symposium on Logic Programming,
Manchester, UK, Saturday 20th June, 1998},
pages = {32--45},
year = {1998},
timestamp = {Wed, 20 Jun 2018 17:50:49 +0200},
biburl = {https://dblp.org/rec/conf/iclp/BanbaraT98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/HodasWTK98,
author = {Joshua S. Hodas and
K. M. Watkins and
Naoyuki Tamura and
Kyoung{-}Sun Kang},
editor = {Joxan Jaffar},
title = {Efficient Implementation of a Linear Logic Programming Language},
booktitle = {Proceedings of the 1998 Joint International Conference and Symposium
on Logic Programming, Manchester, UK, June 15-19, 1998},
pages = {145--159},
publisher = {{MIT} Press},
year = {1998},
timestamp = {Mon, 02 Dec 2013 17:40:44 +0100},
biburl = {https://dblp.org/rec/conf/iclp/HodasWTK98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/TamuraK96,
author = {Naoyuki Tamura and
Yukio Kaneda},
editor = {Michael J. Maher},
title = {Resource Management Method for a Compiler System of a Linear Logic
Programming Language (Poster Abstract)},
booktitle = {Logic Programming, Proceedings of the 1996 Joint International Conference
and Symposium on Logic Programming, Bonn, Germany, September 2-6,
1996},
pages = {545},
publisher = {{MIT} Press},
year = {1996},
url = {https://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6278886},
timestamp = {Mon, 09 Aug 2021 17:01:45 +0200},
biburl = {https://dblp.org/rec/conf/iclp/TamuraK96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nlulp/TamuraBMNYJ91,
author = {Naoyuki Tamura and
Marco J. W. Bos and
H. Murakami and
Osamu Nishida and
Takehiko Yoshimi and
Jir{\'{\i}} Jel{\'{\i}}nek},
editor = {Charles Grant Brown and
Gregers Koch},
title = {Lazy Evaluation of Reference on a Packed Shared Forest without Unpacking},
booktitle = {Natural Language Understanding and Logic Programming, III, Proceedings
of the Third International Workshop on Natural Language Understanding
and Logic Programming, Stockholm, Sweden, 23-25 January, 1991},
pages = {13--26},
publisher = {North-Holland},
year = {1991},
timestamp = {Mon, 29 Jul 2019 11:58:22 +0200},
biburl = {https://dblp.org/rec/conf/nlulp/TamuraBMNYJ91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/coling/JelinekWNYBTM90,
author = {Jir{\'{\i}} Jel{\'{\i}}nek and
Graham Wilcock and
Osamu Nishida and
Takehiko Yoshimi and
Marco J. W. Bos and
Naoyuki Tamura and
H. Murakami},
title = {Japanese-to-English Project {PROTRAN} {\&} {TWINTRAN}},
booktitle = {13th International Conference on Computational Linguistics, {COLING}
1990, University of Helsinki, Finland, August 20-25, 1990},
pages = {50--52},
year = {1990},
url = {https://aclanthology.org/C90-1009/},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/coling/JelinekWNYBTM90.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}
}
@article{DBLP:journals/ngc/KanedaTWMKM86,
author = {Yukio Kaneda and
Naoyuki Tamura and
Koichi Wada and
Hideo Matsuda and
Shumin Kuo and
Sadao Maekawa},
title = {Sequential Prolog Machine {PEK}},
journal = {New Gener. Comput.},
volume = {4},
number = {1},
pages = {51--66},
year = {1986},
url = {https://doi.org/10.1007/BF03037382},
doi = {10.1007/BF03037382},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ngc/KanedaTWMKM86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fjcc/Tamura86,
author = {Naoyuki Tamura},
title = {Knowledge-Based Optimization in Prolog Compiler},
booktitle = {Proceedings of the Fall Joint Computer Conference, November 2-6, 1986,
Dallas, Texas, {USA}},
pages = {237--240},
publisher = {{IEEE} Computer Society},
year = {1986},
timestamp = {Fri, 29 Sep 2017 14:35:52 +0200},
biburl = {https://dblp.org/rec/conf/fjcc/Tamura86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fjcc/KurokawaTAK86,
author = {Toshiaki Kurokawa and
Naoyuki Tamura and
Yasuo Asakawa and
Hideaki Komatsu},
title = {A Very Fast Prolog Complier on Multiple Architectures},
booktitle = {Proceedings of the Fall Joint Computer Conference, November 2-6, 1986,
Dallas, Texas, {USA}},
pages = {963--968},
publisher = {{IEEE} Computer Society},
year = {1986},
timestamp = {Thu, 04 May 2006 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fjcc/KurokawaTAK86.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 = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/lp/KomatsuTAK86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgcs/TamuraWMKM84,
author = {Naoyuki Tamura and
Koichi Wada and
Hideo Matsuda and
Yukio Kaneda and
Sadao Maekawa},
title = {Sequential Prolog Machine {PEK}},
booktitle = {Proceedings of the International Conference on Fifth Generation Computer
Systems, {FGCS} 1984, Tokyo, Japan, November 6-9, 1984},
pages = {542--550},
publisher = {{OHMSHA} Ltd. Tokyo and North-Holland},
year = {1984},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fgcs/TamuraWMKM84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/TamuraK84,
author = {Naoyuki Tamura and
Yukio Kaneda},
title = {Implementing Parallel Prolog on a Multiprocessor Machine},
booktitle = {Proceedings of the 1984 International Symposium on Logic Programming,
Atlantic City, New Jersey, USA, February 6-9, 1984},
pages = {42--48},
publisher = {{IEEE-CS}},
year = {1984},
timestamp = {Wed, 04 Dec 2013 14:42:58 +0100},
biburl = {https://dblp.org/rec/conf/slp/TamuraK84.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.
last updated on 2024-09-25 01:35 CEST 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:
