Stop the war!
Остановите войну!
for scientists:
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} }
@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 = {{ISIE}}, pages = {1--6}, publisher = {{IEEE}}, year = {2024} }
@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} }
@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} }
@inproceedings{DBLP:conf/padl/TakeuchiBTS23, author = {Raito Takeuchi and Mutsunori Banbara and Naoyuki Tamura and Torsten Schaub}, title = {Solving Vehicle Equipment Specification Problems with Answer Set Programming}, booktitle = {{PADL}}, series = {Lecture Notes in Computer Science}, volume = {13880}, pages = {232--249}, publisher = {Springer}, year = {2023} }
@inproceedings{DBLP:conf/ijcai/El-Kholany22, author = {Mohammed M. S. El{-}Kholany}, title = {Decomposition Methods for Solving Scheduling Problem Using Answer Set Programming}, booktitle = {{IJCAI}}, pages = {5849--5850}, publisher = {ijcai.org}, year = {2022} }
@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} }
@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} }
@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} }
@inproceedings{DBLP:conf/aiia/DodaroGKMP20a, author = {Carmine Dodaro and Giuseppe Galat{\`{a}} and Muhammad Kamran Khan and Marco Maratea and Ivan Porro}, title = {Solving Operating Room Scheduling Problems with Surgical Teams via Answer Set Programming}, booktitle = {AI*IA}, series = {Lecture Notes in Computer Science}, volume = {12414}, pages = {204--220}, publisher = {Springer}, year = {2020} }
@inproceedings{DBLP:conf/iclp/SabuncuS20, author = {Orkunt Sabuncu and Mehmet Cem Simsek}, title = {Solving Assembly Line Workload Smoothing Problem via Answer Set Programming}, booktitle = {{ICLP} Workshops}, series = {{CEUR} Workshop Proceedings}, volume = {2678}, publisher = {CEUR-WS.org}, year = {2020} }
@inproceedings{DBLP:journals/corr/abs-2009-10237, author = {Esra Erdem and Andreas Herzig}, title = {Solving Gossip Problems using Answer Set Programming: An Epistemic Planning Approach}, booktitle = {{ICLP} Technical Communications}, series = {{EPTCS}}, volume = {325}, pages = {52--58}, year = {2020} }
@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} }
@inproceedings{DBLP:journals/corr/abs-1908-00183, author = {Carmen Leticia Garc{\'{\i}}a{-}Mata and Pedro Rafael M{\'{a}}rquez{-}Guti{\'{e}}rrez}, title = {Solving a Flowshop Scheduling Problem with Answer Set Programming: Exploiting the Problem to Reduce the Number of Combinations}, booktitle = {{ICLP} Technical Communications}, series = {{EPTCS}}, volume = {306}, pages = {347--353}, year = {2019} }
@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} }
@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} }
@inproceedings{DBLP:conf/aciids/AkamaN18, author = {Kiyoshi Akama and Ekawit Nantajeewarawat}, title = {Solving Query-Answering Problems with Constraints for Function Variables}, booktitle = {{ACIIDS} {(1)}}, series = {Lecture Notes in Computer Science}, volume = {10751}, pages = {36--47}, publisher = {Springer}, year = {2018} }
@inproceedings{DBLP:conf/aiia/Amendola18, author = {Giovanni Amendola}, title = {Solving the Stable Roommates Problem using Incoherent Answer Set Programs}, booktitle = {RiCeRcA@AI*IA}, series = {{CEUR} Workshop Proceedings}, volume = {2272}, publisher = {CEUR-WS.org}, year = {2018} }
@inproceedings{DBLP:conf/iccsci/GunawanMB18, author = {Alexander Agung Santoso Gunawan and Pribadi R. Mulyono and Widodo Budiharto}, title = {Indonesian Question Answering System for Solving Arithmetic Word Problems on Intelligent Humanoid Robot}, booktitle = {{ICCSCI}}, series = {Procedia Computer Science}, volume = {135}, pages = {719--726}, publisher = {Elsevier}, year = {2018} }
@inproceedings{DBLP:conf/aaai/BrewkaDHLW17, author = {Gerhard Brewka and Martin Diller and Georg Heissenberger and Thomas Linsbichler and Stefan Woltran}, title = {Solving Advanced Argumentation Problems with Answer-Set Programming}, booktitle = {{AAAI}}, pages = {1077--1083}, publisher = {{AAAI} Press}, year = {2017} }
@inproceedings{DBLP:conf/iclp/Bliem17, author = {Bernhard Bliem}, title = {Treewidth in Non-Ground Answer Set Solving and Alliance Problems in Graphs}, booktitle = {{ICLP} (Technical Communications)}, series = {OASIcs}, volume = {58}, pages = {12:1--12:12}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2017} }
@incollection{DBLP:conf/gi/Bliem17, author = {Bernhard Bliem}, title = {Treewidth in Non-Ground Answer Set Solving and Alliance Problems in Graphs}, booktitle = {Ausgezeichnete Informatikdissertationen}, series = {{LNI}}, volume = {{D-18}}, pages = {31--40}, publisher = {{GI}}, year = {2017} }
@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} }
@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} }
@inproceedings{DBLP:conf/bnaic/Vennekens16, author = {Joost Vennekens}, title = {Solving the Travelling Umpire Problem with Answer Set Programming}, booktitle = {{BNCAI}}, series = {Communications in Computer and Information Science}, volume = {765}, pages = {106--118}, publisher = {Springer}, year = {2016} }
@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} }
@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} }
@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}, title = {aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming}, booktitle = {{LPNMR}}, series = {Lecture Notes in Computer Science}, volume = {9345}, pages = {112--126}, publisher = {Springer}, year = {2015} }
@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} }
@inproceedings{DBLP:conf/aciids/AkamaN14, author = {Kiyoshi Akama and Ekawit Nantajeewarawat}, title = {Equivalent Transformation in an Extended Space for Solving Query-Answering Problems}, booktitle = {{ACIIDS} {(1)}}, series = {Lecture Notes in Computer Science}, volume = {8397}, pages = {232--241}, publisher = {Springer}, year = {2014} }
@inproceedings{DBLP:conf/ic3k/AkamaN14, author = {Kiyoshi Akama and Ekawit Nantajeewarawat}, title = {Solving Query-answering Problems with If-and-Only-If Formulas}, booktitle = {{KEOD}}, pages = {333--344}, publisher = {SciTePress}, year = {2014} }
@inproceedings{DBLP:conf/kicss/PechsiriMP14, author = {Chaveevan Pechsiri and Onuma Moolwat and Rapepun Piriyakul}, title = {Web Board Question Answering System on Problem-Solving Through Problem Clusters}, booktitle = {{KICSS}}, series = {Advances in Intelligent Systems and Computing}, volume = {416}, pages = {161--175}, publisher = {Springer}, year = {2014} }
@inproceedings{DBLP:conf/aciids/AkamaN13, author = {Kiyoshi Akama and Ekawit Nantajeewarawat}, title = {Correctness of Solving Query-Answering Problems Using Satisfiability Solvers}, booktitle = {{ACIIDS} {(1)}}, series = {Lecture Notes in Computer Science}, volume = {7802}, pages = {404--413}, publisher = {Springer}, year = {2013} }
@inproceedings{DBLP:conf/aiia/FuscaGZCP13, author = {Davide Fusc{\`{a}} and Stefano Germano and Jessica Zangari and Francesco Calimeri and Simona Perri}, title = {Answer Set Programming and Declarative Problem Solving in Game AIs}, booktitle = {PAI@AI*IA}, series = {{CEUR} Workshop Proceedings}, volume = {1107}, pages = {81--88}, publisher = {CEUR-WS.org}, year = {2013} }
@inproceedings{DBLP:conf/ic3k/AkamaN13, author = {Kiyoshi Akama and Ekawit Nantajeewarawat}, title = {Embedding Proof Problems into Query-answering Problems and Problem Solving by Equivalent Transformation}, booktitle = {{KEOD}}, pages = {253--260}, publisher = {SciTePress}, year = {2013} }
@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} }
@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} }
@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} }
@inproceedings{DBLP:conf/ismvl/Niemela11, author = {Ilkka Niemel{\"{a}}}, title = {Answer Set Programming: {A} Declarative Approach to Solving Challenging Search Problems}, booktitle = {{ISMVL}}, pages = {139--141}, publisher = {{IEEE} Computer Society}, year = {2011} }
@inproceedings{DBLP:conf/iclp/Brain06, author = {Martin Brain}, title = {Declarative Problem Solving Using Answer Set Semantics}, booktitle = {{ICLP}}, series = {Lecture Notes in Computer Science}, volume = {4079}, pages = {459--460}, publisher = {Springer}, year = {2006} }
@inproceedings{DBLP:conf/jelia/Niemela06, author = {Ilkka Niemel{\"{a}}}, title = {Answer Set Programming: {A} Declarative Approach to Solving Search Problems}, booktitle = {{JELIA}}, series = {Lecture Notes in Computer Science}, volume = {4160}, pages = {15--18}, publisher = {Springer}, year = {2006} }
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.