default search action
Search dblp for Publications
export results for "problem-solving answer"
@article{DBLP:journals/sle/WengL24, author = {Ting{-}Sheng Weng and Ting{-}Hsuan Lin}, title = {Improving students' problem-solving abilities through answering questions in metaverse games: taking {GOXR} software as an example}, journal = {Smart Learn. Environ.}, volume = {11}, number = {1}, pages = {34}, year = {2024}, url = {https://doi.org/10.1186/s40561-024-00321-w}, doi = {10.1186/S40561-024-00321-W}, timestamp = {Sun, 06 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sle/WengL24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isie/YuLCL24, author = {Yi{-}Cheng Yu and Cheng{-}Fu Liou and Shang{-}Wen Chuang and Chen{-}Yi Lee}, title = {Industrial Semiconductor {GPT:} {A} Question-and-Answer System that Provides Professional Advice and Problem-Solving Methods for Semiconductor and Factory Equipment and Process}, booktitle = {33rd {IEEE} International Symposium on Industrial Electronics, {ISIE} 2024, Ulsan, Republic of Korea, June 18-21, 2024}, pages = {1--6}, publisher = {{IEEE}}, year = {2024}, url = {https://doi.org/10.1109/ISIE54533.2024.10595824}, doi = {10.1109/ISIE54533.2024.10595824}, timestamp = {Fri, 02 Aug 2024 11:15:06 +0200}, biburl = {https://dblp.org/rec/conf/isie/YuLCL24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2408-11371, author = {Damiano Azzolini and Elena Bellodi and Rafael Kiesel and Fabrizio Riguzzi}, title = {Solving Decision Theory Problems with Probabilistic Answer Set Programming}, journal = {CoRR}, volume = {abs/2408.11371}, year = {2024}, url = {https://doi.org/10.48550/arXiv.2408.11371}, doi = {10.48550/ARXIV.2408.11371}, eprinttype = {arXiv}, eprint = {2408.11371}, timestamp = {Thu, 26 Sep 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-2408-11371.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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 = {Wed, 21 Aug 2024 22:46:00 +0200}, 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 = {Sun, 04 Aug 2024 01:00:00 +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 = {Sun, 06 Oct 2024 21:10:23 +0200}, biburl = {https://dblp.org/rec/conf/jelia/Niemela06.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.