Search dblp for Publications

• > Home > Search

@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}
}