Search dblp for Publications

export results for "problem-solving answer"

 download as .bib file

@article{DBLP:journals/algorithms/RajaratnamSWCLS23,
  author       = {David Rajaratnam and
                  Torsten Schaub and
                  Philipp Wanko and
                  Kai Chen and
                  Sirui Liu and
                  Tran Cao Son},
  title        = {Solving an Industrial-Scale Warehouse Delivery Problem with Answer
                  Set Programming Modulo Difference Constraints},
  journal      = {Algorithms},
  volume       = {16},
  number       = {4},
  pages        = {216},
  year         = {2023},
  url          = {https://doi.org/10.3390/a16040216},
  doi          = {10.3390/A16040216},
  timestamp    = {Wed, 17 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/algorithms/RajaratnamSWCLS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/apin/YounsiABB23,
  author       = {Zineb Younsi and
                  Kamal Amroun and
                  Farida Bouarab{-}Dahmani and
                  Soufia Bennai},
  title        = {HSJ-Solver: a new method based on {GHD} for answering conjunctive
                  queries and solving constraint satisfaction problems},
  journal      = {Appl. Intell.},
  volume       = {53},
  number       = {13},
  pages        = {17226--17239},
  year         = {2023},
  url          = {https://doi.org/10.1007/s10489-022-04361-y},
  doi          = {10.1007/S10489-022-04361-Y},
  timestamp    = {Sun, 06 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/apin/YounsiABB23.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}
}

@inproceedings{DBLP:conf/ijcai/El-Kholany22,
  author       = {Mohammed M. S. El{-}Kholany},
  editor       = {Luc De Raedt},
  title        = {Decomposition Methods for Solving Scheduling Problem Using Answer
                  Set Programming},
  booktitle    = {Proceedings of the Thirty-First International Joint Conference on
                  Artificial Intelligence, {IJCAI} 2022, Vienna, Austria, 23-29 July
                  2022},
  pages        = {5849--5850},
  publisher    = {ijcai.org},
  year         = {2022},
  url          = {https://doi.org/10.24963/ijcai.2022/827},
  doi          = {10.24963/IJCAI.2022/827},
  timestamp    = {Wed, 27 Jul 2022 16:43:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ijcai/El-Kholany22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-2204-05555,
  author       = {Tarik Arici and
                  Kushal Kumar and
                  Hayreddin {\c{C}}eker and
                  Anoop S. V. K. K. Saladi and
                  Ismail B. Tutar},
  title        = {Solving Price Per Unit Problem Around the World: Formulating Fact
                  Extraction as Question Answering},
  journal      = {CoRR},
  volume       = {abs/2204.05555},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2204.05555},
  doi          = {10.48550/ARXIV.2204.05555},
  eprinttype    = {arXiv},
  eprint       = {2204.05555},
  timestamp    = {Fri, 05 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2204-05555.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/es/TangLG0G20,
  author       = {Weizhao Tang and
                  Tun Lu and
                  Hansu Gu and
                  Peng Zhang and
                  Ning Gu},
  title        = {Domain problem-solving expert identification in community question
                  answering},
  journal      = {Expert Syst. J. Knowl. Eng.},
  volume       = {37},
  number       = {5},
  year         = {2020},
  url          = {https://doi.org/10.1111/exsy.12582},
  doi          = {10.1111/EXSY.12582},
  timestamp    = {Tue, 20 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/es/TangLG0G20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tplp/BrewkaDHLW20,
  author       = {Gerhard Brewka and
                  Martin Diller and
                  Georg Heissenberger and
                  Thomas Linsbichler and
                  Stefan Woltran},
  title        = {Solving Advanced Argumentation Problems with Answer Set Programming},
  journal      = {Theory Pract. Log. Program.},
  volume       = {20},
  number       = {3},
  pages        = {391--431},
  year         = {2020},
  url          = {https://doi.org/10.1017/S1471068419000474},
  doi          = {10.1017/S1471068419000474},
  timestamp    = {Fri, 22 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tplp/BrewkaDHLW20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aiia/DodaroGKMP20a,
  author       = {Carmine Dodaro and
                  Giuseppe Galat{\`{a}} and
                  Muhammad Kamran Khan and
                  Marco Maratea and
                  Ivan Porro},
  editor       = {Matteo Baldoni and
                  Stefania Bandini},
  title        = {Solving Operating Room Scheduling Problems with Surgical Teams via
                  Answer Set Programming},
  booktitle    = {AIxIA 2020 - Advances in Artificial Intelligence - XIXth International
                  Conference of the Italian Association for Artificial Intelligence,
                  Virtual Event, November 25-27, 2020, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {12414},
  pages        = {204--220},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-77091-4\_13},
  doi          = {10.1007/978-3-030-77091-4\_13},
  timestamp    = {Tue, 15 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aiia/DodaroGKMP20a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/SabuncuS20,
  author       = {Orkunt Sabuncu and
                  Mehmet Cem Simsek},
  editor       = {Carmine Dodaro and
                  George Aristidis Elder and
                  Wolfgang Faber and
                  Jorge Fandinno and
                  Martin Gebser and
                  Markus Hecher and
                  Emily LeBlanc and
                  Michael Morak and
                  Jessica Zangari},
  title        = {Solving Assembly Line Workload Smoothing Problem via Answer Set Programming},
  booktitle    = {International Conference on Logic Programming 2020 Workshop Proceedings
                  co-located with 36th International Conference on Logic Programming
                  {(ICLP} 2020), Rende, Italy, September 18-19, 2020},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2678},
  publisher    = {CEUR-WS.org},
  year         = {2020},
  url          = {https://ceur-ws.org/Vol-2678/paper3.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:26 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/SabuncuS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:journals/corr/abs-2009-10237,
  author       = {Esra Erdem and
                  Andreas Herzig},
  editor       = {Francesco Ricca and
                  Alessandra Russo and
                  Sergio Greco and
                  Nicola Leone and
                  Alexander Artikis and
                  Gerhard Friedrich and
                  Paul Fodor and
                  Angelika Kimmig and
                  Francesca A. Lisi and
                  Marco Maratea and
                  Alessandra Mileo and
                  Fabrizio Riguzzi},
  title        = {Solving Gossip Problems using Answer Set Programming: An Epistemic
                  Planning Approach},
  booktitle    = {Proceedings 36th International Conference on Logic Programming (Technical
                  Communications), {ICLP} Technical Communications 2020, (Technical
                  Communications) UNICAL, Rende (CS), Italy, 18-24th September 2020},
  series       = {{EPTCS}},
  volume       = {325},
  pages        = {52--58},
  year         = {2020},
  url          = {https://doi.org/10.4204/EPTCS.325.11},
  doi          = {10.4204/EPTCS.325.11},
  timestamp    = {Wed, 04 Nov 2020 16:04:03 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2009-10237.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}
}

@inproceedings{DBLP:journals/corr/abs-1908-00183,
  author       = {Carmen Leticia Garc{\'{\i}}a{-}Mata and
                  Pedro Rafael M{\'{a}}rquez{-}Guti{\'{e}}rrez},
  editor       = {Bart Bogaerts and
                  Esra Erdem and
                  Paul Fodor and
                  Andrea Formisano and
                  Giovambattista Ianni and
                  Daniela Inclezan and
                  Germ{\'{a}}n Vidal and
                  Alicia Villanueva and
                  Marina De Vos and
                  Fangkai Yang},
  title        = {Solving a Flowshop Scheduling Problem with Answer Set Programming:
                  Exploiting the Problem to Reduce the Number of Combinations},
  booktitle    = {Proceedings 35th International Conference on Logic Programming (Technical
                  Communications), {ICLP} 2019 Technical Communications, Las Cruces,
                  NM, USA, September 20-25, 2019},
  series       = {{EPTCS}},
  volume       = {306},
  pages        = {347--353},
  year         = {2019},
  url          = {https://doi.org/10.4204/EPTCS.306.41},
  doi          = {10.4204/EPTCS.306.41},
  timestamp    = {Mon, 03 Jan 2022 22:03:32 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1908-00183.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1912-02734,
  author       = {Gerhard Brewka and
                  Martin Diller and
                  Georg Heissenberger and
                  Thomas Linsbichler and
                  Stefan Woltran},
  title        = {Solving Advanced Argumentation Problems with Answer Set Programming},
  journal      = {CoRR},
  volume       = {abs/1912.02734},
  year         = {2019},
  url          = {http://arxiv.org/abs/1912.02734},
  eprinttype    = {arXiv},
  eprint       = {1912.02734},
  timestamp    = {Thu, 02 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1912-02734.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/ia/Alviano18,
  author       = {Mario Alviano},
  title        = {Algorithms for solving optimization problems in answer set programming},
  journal      = {Intelligenza Artificiale},
  volume       = {12},
  number       = {1},
  pages        = {1--14},
  year         = {2018},
  url          = {https://doi.org/10.3233/IA-180119},
  doi          = {10.3233/IA-180119},
  timestamp    = {Thu, 26 Jul 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ia/Alviano18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aciids/AkamaN18,
  author       = {Kiyoshi Akama and
                  Ekawit Nantajeewarawat},
  editor       = {Ngoc Thanh Nguyen and
                  Duong Hung Hoang and
                  Tzung{-}Pei Hong and
                  Hoang Pham and
                  Bogdan Trawinski},
  title        = {Solving Query-Answering Problems with Constraints for Function Variables},
  booktitle    = {Intelligent Information and Database Systems - 10th Asian Conference,
                  {ACIIDS} 2018, Dong Hoi City, Vietnam, March 19-21, 2018, Proceedings,
                  Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10751},
  pages        = {36--47},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-75417-8\_4},
  doi          = {10.1007/978-3-319-75417-8\_4},
  timestamp    = {Thu, 16 Mar 2023 20:00:29 +0100},
  biburl       = {https://dblp.org/rec/conf/aciids/AkamaN18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aiia/Amendola18,
  author       = {Giovanni Amendola},
  editor       = {Marco Maratea and
                  Mauro Vallati},
  title        = {Solving the Stable Roommates Problem using Incoherent Answer Set Programs},
  booktitle    = {Proceedings of the RiCeRcA Workshop co-located with the 17th International
                  Conference of the Italian Association for Artificial Intelligence,
                  RiCeRcA@Ai*iA 2018, Trento, Italy, November 22, 2018},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2272},
  publisher    = {CEUR-WS.org},
  year         = {2018},
  url          = {https://ceur-ws.org/Vol-2272/short1.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:01 +0100},
  biburl       = {https://dblp.org/rec/conf/aiia/Amendola18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iccsci/GunawanMB18,
  author       = {Alexander Agung Santoso Gunawan and
                  Pribadi R. Mulyono and
                  Widodo Budiharto},
  editor       = {Widodo Budiharto and
                  Alexander Agung Santoso Gunawan and
                  Lili A. Wulandhari and
                  Williem and
                  Faisal and
                  Rhio Sutoyo and
                  Meiliana and
                  Dewi Suryani and
                  Yulyani Arifin},
  title        = {Indonesian Question Answering System for Solving Arithmetic Word Problems
                  on Intelligent Humanoid Robot},
  booktitle    = {Empowering Smart Technology in Digital Era for a Better Life: The
                  3rd International Conference on Computer Science and Computational
                  Intelligence, {ICCSCI} 2018, 07-08 September 2018, Tangerang, Indonesia},
  series       = {Procedia Computer Science},
  volume       = {135},
  pages        = {719--726},
  publisher    = {Elsevier},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.procs.2018.08.213},
  doi          = {10.1016/J.PROCS.2018.08.213},
  timestamp    = {Tue, 23 Apr 2024 14:29:47 +0200},
  biburl       = {https://dblp.org/rec/conf/iccsci/GunawanMB18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aaai/BrewkaDHLW17,
  author       = {Gerhard Brewka and
                  Martin Diller and
                  Georg Heissenberger and
                  Thomas Linsbichler and
                  Stefan Woltran},
  editor       = {Satinder Singh and
                  Shaul Markovitch},
  title        = {Solving Advanced Argumentation Problems with Answer-Set Programming},
  booktitle    = {Proceedings of the Thirty-First {AAAI} Conference on Artificial Intelligence,
                  February 4-9, 2017, San Francisco, California, {USA}},
  pages        = {1077--1083},
  publisher    = {{AAAI} Press},
  year         = {2017},
  url          = {https://doi.org/10.1609/aaai.v31i1.10682},
  doi          = {10.1609/AAAI.V31I1.10682},
  timestamp    = {Mon, 04 Sep 2023 14:40:32 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/BrewkaDHLW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/Bliem17,
  author       = {Bernhard Bliem},
  editor       = {Ricardo Rocha and
                  Tran Cao Son and
                  Christopher Mears and
                  Neda Saeedloei},
  title        = {Treewidth in Non-Ground Answer Set Solving and Alliance Problems in
                  Graphs},
  booktitle    = {Technical Communications of the 33rd International Conference on Logic
                  Programming, {ICLP} 2017, August 28 to September 1, 2017, Melbourne,
                  Australia},
  series       = {OASIcs},
  volume       = {58},
  pages        = {12:1--12:12},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/OASIcs.ICLP.2017.12},
  doi          = {10.4230/OASICS.ICLP.2017.12},
  timestamp    = {Tue, 15 Feb 2022 09:40:05 +0100},
  biburl       = {https://dblp.org/rec/conf/iclp/Bliem17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@incollection{DBLP:conf/gi/Bliem17,
  author       = {Bernhard Bliem},
  editor       = {Sven Apel and
                  Abraham Bernstein and
                  Wolfgang Effelsberg and
                  Felix C. Freiling and
                  Steffen H{\"{o}}lldobler and
                  Hans{-}Peter Lenhof and
                  Paul Molitor and
                  Gustaf Neumann and
                  R{\"{u}}diger Reischuk and
                  Nicole Schweikardt and
                  Bj{\"{o}}rn Scheuermann and
                  Myra Spiliopoulou and
                  Sabine S{\"{u}}sstrunk},
  title        = {Treewidth in Non-Ground Answer Set Solving and Alliance Problems in
                  Graphs},
  booktitle    = {Ausgezeichnete Informatikdissertationen 2017},
  series       = {{LNI}},
  volume       = {{D-18}},
  pages        = {31--40},
  publisher    = {{GI}},
  year         = {2017},
  url          = {https://dl.gi.de/handle/20.500.12116/19480},
  timestamp    = {Tue, 04 Jul 2023 17:43:25 +0200},
  biburl       = {https://dblp.org/rec/conf/gi/Bliem17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tplp/ClercqSCN16,
  author       = {Sofie De Clercq and
                  Steven Schockaert and
                  Martine De Cock and
                  Ann Now{\'{e}}},
  title        = {Solving stable matching problems using answer set programming},
  journal      = {Theory Pract. Log. Program.},
  volume       = {16},
  number       = {3},
  pages        = {247--268},
  year         = {2016},
  url          = {https://doi.org/10.1017/S147106841600003X},
  doi          = {10.1017/S147106841600003X},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tplp/ClercqSCN16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tplp/DodaroGLMRS16,
  author       = {Carmine Dodaro and
                  Philip Gasteiger and
                  Nicola Leone and
                  Benjamin Musitsch and
                  Francesco Ricca and
                  Konstantin Schekotihin},
  title        = {Combining Answer Set Programming and domain heuristics for solving
                  hard industrial problems (Application Paper)},
  journal      = {Theory Pract. Log. Program.},
  volume       = {16},
  number       = {5-6},
  pages        = {653--669},
  year         = {2016},
  url          = {https://doi.org/10.1017/S1471068416000284},
  doi          = {10.1017/S1471068416000284},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tplp/DodaroGLMRS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/bnaic/Vennekens16,
  author       = {Joost Vennekens},
  editor       = {Tibor Bosse and
                  Bert Bredeweg},
  title        = {Solving the Travelling Umpire Problem with Answer Set Programming},
  booktitle    = {{BNAIC} 2016: Artificial Intelligence - 28th Benelux Conference on
                  Artificial Intelligence, Amsterdam, The Netherlands, November 10-11,
                  2016, Revised Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {765},
  pages        = {106--118},
  publisher    = {Springer},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-67468-1\_8},
  doi          = {10.1007/978-3-319-67468-1\_8},
  timestamp    = {Fri, 15 Sep 2017 14:51:18 +0200},
  biburl       = {https://dblp.org/rec/conf/bnaic/Vennekens16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/DodaroGLMRS16,
  author       = {Carmine Dodaro and
                  Philip Gasteiger and
                  Nicola Leone and
                  Benjamin Musitsch and
                  Francesco Ricca and
                  Kostyantyn M. Shchekotykhin},
  title        = {Combining Answer Set Programming and Domain Heuristics for Solving
                  Hard Industrial Problems (Application Paper)},
  journal      = {CoRR},
  volume       = {abs/1608.00730},
  year         = {2016},
  url          = {http://arxiv.org/abs/1608.00730},
  eprinttype    = {arXiv},
  eprint       = {1608.00730},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/DodaroGLMRS16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/rptel/MatsudaOHT15,
  author       = {Noriyuki Matsuda and
                  Hisashi Ogawa and
                  Tsukasa Hirashima and
                  Hirokazu Taki},
  title        = {A generating technique and knowledge representation of multiple-answer
                  problems for learning with solving knowledge},
  journal      = {Res. Pract. Technol. Enhanc. Learn.},
  volume       = {10},
  number       = {1},
  pages        = {6},
  year         = {2015},
  url          = {https://doi.org/10.1007/s41039-015-0005-1},
  doi          = {10.1007/S41039-015-0005-1},
  timestamp    = {Wed, 22 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rptel/MatsudaOHT15.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}
}

@article{DBLP:journals/corr/ClercqSCN15,
  author       = {Sofie De Clercq and
                  Steven Schockaert and
                  Martine De Cock and
                  Ann Now{\'{e}}},
  title        = {Solving stable matching problems using answer set programming},
  journal      = {CoRR},
  volume       = {abs/1512.05247},
  year         = {2015},
  url          = {http://arxiv.org/abs/1512.05247},
  eprinttype    = {arXiv},
  eprint       = {1512.05247},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/ClercqSCN15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aciids/AkamaN14,
  author       = {Kiyoshi Akama and
                  Ekawit Nantajeewarawat},
  editor       = {Ngoc Thanh Nguyen and
                  Boonwat Attachoo and
                  Bogdan Trawinski and
                  Kulwadee Somboonviwat},
  title        = {Equivalent Transformation in an Extended Space for Solving Query-Answering
                  Problems},
  booktitle    = {Intelligent Information and Database Systems - 6th Asian Conference,
                  {ACIIDS} 2014, Bangkok, Thailand, April 7-9, 2014, Proceedings, Part
                  {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {8397},
  pages        = {232--241},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-05476-6\_24},
  doi          = {10.1007/978-3-319-05476-6\_24},
  timestamp    = {Thu, 16 Mar 2023 20:00:29 +0100},
  biburl       = {https://dblp.org/rec/conf/aciids/AkamaN14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ic3k/AkamaN14,
  author       = {Kiyoshi Akama and
                  Ekawit Nantajeewarawat},
  editor       = {Joaquim Filipe and
                  Jan L. G. Dietz and
                  David Aveiro},
  title        = {Solving Query-answering Problems with If-and-Only-If Formulas},
  booktitle    = {{KEOD} 2014 - Proceedings of the International Conference on Knowledge
                  Engineering and Ontology Development, Rome, Italy, 21-24 October,
                  2014},
  pages        = {333--344},
  publisher    = {SciTePress},
  year         = {2014},
  url          = {https://doi.org/10.5220/0005097903330344},
  doi          = {10.5220/0005097903330344},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ic3k/AkamaN14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/kicss/PechsiriMP14,
  author       = {Chaveevan Pechsiri and
                  Onuma Moolwat and
                  Rapepun Piriyakul},
  editor       = {Susumu Kunifuji and
                  George Angelos Papadopoulos and
                  Andrzej M. J. Skulimowski and
                  Janusz Kacprzyk},
  title        = {Web Board Question Answering System on Problem-Solving Through Problem
                  Clusters},
  booktitle    = {Knowledge, Information and Creativity Support Systems - Selected Papers
                  from KICSS'2014 - 9th International Conference, held in Limassol,
                  Cyprus, on November 6-8, 2014},
  series       = {Advances in Intelligent Systems and Computing},
  volume       = {416},
  pages        = {161--175},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-27478-2\_12},
  doi          = {10.1007/978-3-319-27478-2\_12},
  timestamp    = {Fri, 27 Dec 2019 21:26:43 +0100},
  biburl       = {https://dblp.org/rec/conf/kicss/PechsiriMP14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aciids/AkamaN13,
  author       = {Kiyoshi Akama and
                  Ekawit Nantajeewarawat},
  editor       = {Ali Selamat and
                  Ngoc Thanh Nguyen and
                  Habibollah Haron},
  title        = {Correctness of Solving Query-Answering Problems Using Satisfiability
                  Solvers},
  booktitle    = {Intelligent Information and Database Systems - 5th Asian Conference,
                  {ACIIDS} 2013, Kuala Lumpur, Malaysia, March 18-20, 2013, Proceedings,
                  Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {7802},
  pages        = {404--413},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-36546-1\_42},
  doi          = {10.1007/978-3-642-36546-1\_42},
  timestamp    = {Thu, 16 Mar 2023 20:00:29 +0100},
  biburl       = {https://dblp.org/rec/conf/aciids/AkamaN13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/aiia/FuscaGZCP13,
  author       = {Davide Fusc{\`{a}} and
                  Stefano Germano and
                  Jessica Zangari and
                  Francesco Calimeri and
                  Simona Perri},
  editor       = {Matteo Baldoni and
                  Federico Chesani and
                  Paola Mello and
                  Marco Montali},
  title        = {Answer Set Programming and Declarative Problem Solving in Game AIs},
  booktitle    = {Proceedings of the Workshop Popularize Artificial Intelligence co-located
                  with the 13th Conference of the Italian Association for Artificial
                  Intelligence (AI*IA 2013), Turin, Italy, December 5, 2013},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1107},
  pages        = {81--88},
  publisher    = {CEUR-WS.org},
  year         = {2013},
  url          = {https://ceur-ws.org/Vol-1107/paper9.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aiia/FuscaGZCP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ic3k/AkamaN13,
  author       = {Kiyoshi Akama and
                  Ekawit Nantajeewarawat},
  editor       = {Joaquim Filipe and
                  Jan L. G. Dietz},
  title        = {Embedding Proof Problems into Query-answering Problems and Problem
                  Solving by Equivalent Transformation},
  booktitle    = {{KEOD} 2013 - Proceedings of the International Conference on Knowledge
                  Engineering and Ontology Development, Vilamoura, Algarve, Portugal,
                  19-22 September, 2013},
  pages        = {253--260},
  publisher    = {SciTePress},
  year         = {2013},
  url          = {https://doi.org/10.5220/0004546202530260},
  doi          = {10.5220/0004546202530260},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ic3k/AkamaN13.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}
}

@article{DBLP:journals/tplp/BliemMW12,
  author       = {Bernhard Bliem and
                  Michael Morak and
                  Stefan Woltran},
  title        = {{D-FLAT:} Declarative problem solving using tree decompositions and
                  answer-set programming},
  journal      = {Theory Pract. Log. Program.},
  volume       = {12},
  number       = {4-5},
  pages        = {445--464},
  year         = {2012},
  url          = {https://doi.org/10.1017/S1471068412000129},
  doi          = {10.1017/S1471068412000129},
  timestamp    = {Thu, 13 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tplp/BliemMW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/corr/abs-1210-1931,
  author       = {Bernhard Bliem and
                  Michael Morak and
                  Stefan Woltran},
  title        = {{D-FLAT:} Declarative Problem Solving Using Tree Decompositions and
                  Answer-Set Programming},
  journal      = {CoRR},
  volume       = {abs/1210.1931},
  year         = {2012},
  url          = {http://arxiv.org/abs/1210.1931},
  eprinttype    = {arXiv},
  eprint       = {1210.1931},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1210-1931.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ismvl/Niemela11,
  author       = {Ilkka Niemel{\"{a}}},
  editor       = {Jaakko Astola and
                  Radomir S. Stankovic},
  title        = {Answer Set Programming: {A} Declarative Approach to Solving Challenging
                  Search Problems},
  booktitle    = {41st {IEEE} International Symposium on Multiple-Valued Logic, {ISMVL}
                  2011, Tuusula, Finland, May 23-25, 2011},
  pages        = {139--141},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ISMVL.2011.61},
  doi          = {10.1109/ISMVL.2011.61},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/Niemela11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/iclp/Brain06,
  author       = {Martin Brain},
  editor       = {Sandro Etalle and
                  Miroslaw Truszczynski},
  title        = {Declarative Problem Solving Using Answer Set Semantics},
  booktitle    = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
                  WA, USA, August 17-20, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4079},
  pages        = {459--460},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11799573\_48},
  doi          = {10.1007/11799573\_48},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/iclp/Brain06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/jelia/Niemela06,
  author       = {Ilkka Niemel{\"{a}}},
  editor       = {Michael Fisher and
                  Wiebe van der Hoek and
                  Boris Konev and
                  Alexei Lisitsa},
  title        = {Answer Set Programming: {A} Declarative Approach to Solving Search
                  Problems},
  booktitle    = {Logics in Artificial Intelligence, 10th European Conference, {JELIA}
                  2006, Liverpool, UK, September 13-15, 2006, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4160},
  pages        = {15--18},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11853886\_2},
  doi          = {10.1007/11853886\_2},
  timestamp    = {Fri, 03 Jun 2022 08:18:13 +0200},
  biburl       = {https://dblp.org/rec/conf/jelia/Niemela06.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.