Lierler, Yuliya An abstract view on optimizations in SAT and ASP. (English) Zbl 07437053 Faber, Wolfgang (ed.) et al., Logics in artificial intelligence. 17th European conference, JELIA 2021, virtual event, May 17–20, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12678, 377-392 (2021). MSC: 68T27 PDFBibTeX XMLCite \textit{Y. Lierler}, Lect. Notes Comput. Sci. 12678, 377--392 (2021; Zbl 07437053) Full Text: DOI
Saribatur, Zeynep G.; Eiter, Thomas Omission-based abstraction for answer set programs. (English) Zbl 1472.68029 Theory Pract. Log. Program. 21, No. 2, 145-195 (2021); erratum ibid. 21, No. 2, 292 (2021). MSC: 68N17 68T20 68T30 PDFBibTeX XMLCite \textit{Z. G. Saribatur} and \textit{T. Eiter}, Theory Pract. Log. Program. 21, No. 2, 145--195 (2021; Zbl 1472.68029) Full Text: DOI arXiv
De Wulf, Wolf; Bogaerts, Bart lp2pb: translating answer set programs into pseudo-Boolean theories. (English) Zbl 07455719 Ricca, Francesco (ed.) et al., Proceedings of the 36th international conference on logic programming (technical communications), ICLP 2020, UNICAL, Rende (CS), Italy, September 18–24, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 325, 206-219 (2020). MSC: 68N17 PDFBibTeX XMLCite \textit{W. De Wulf} and \textit{B. Bogaerts}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 325, 206--219 (2020; Zbl 07455719) Full Text: arXiv Link
Antić, Christian Fixed point semantics for stream reasoning. (English) Zbl 1504.68207 Artif. Intell. 288, Article ID 103370, 15 p. (2020). MSC: 68T27 68N17 68Q55 PDFBibTeX XMLCite \textit{C. Antić}, Artif. Intell. 288, Article ID 103370, 15 p. (2020; Zbl 1504.68207) Full Text: DOI arXiv
Alviano, Mario; Dodaro, Carmine Unsatisfiable core analysis and aggregates for optimum stable model search. (English) Zbl 1497.68451 Fundam. Inform. 176, No. 3-4, 271-297 (2020). MSC: 68T20 68N17 PDFBibTeX XMLCite \textit{M. Alviano} and \textit{C. Dodaro}, Fundam. Inform. 176, No. 3--4, 271--297 (2020; Zbl 1497.68451) Full Text: DOI
Gaggl, Sarah A.; Linsbichler, Thomas; Maratea, Marco; Woltran, Stefan Design and results of the second international competition on computational models of argumentation. (English) Zbl 1478.68353 Artif. Intell. 279, Article ID 103193, 31 p. (2020). MSC: 68T27 68T20 PDFBibTeX XMLCite \textit{S. A. Gaggl} et al., Artif. Intell. 279, Article ID 103193, 31 p. (2020; Zbl 1478.68353) Full Text: DOI arXiv
Calimeri, Francesco; Perri, Simona; Zangari, Jessica Optimizing answer set computation via heuristic-based decomposition. (English) Zbl 1472.68024 Theory Pract. Log. Program. 19, No. 4, 603-628 (2019). MSC: 68N17 68T30 PDFBibTeX XMLCite \textit{F. Calimeri} et al., Theory Pract. Log. Program. 19, No. 4, 603--628 (2019; Zbl 1472.68024) Full Text: DOI arXiv
Alviano, Mario; Dodaro, Carmine; Maratea, Marco Shared aggregate sets in answer set programming. (English) Zbl 1451.68062 Theory Pract. Log. Program. 18, No. 3-4, 301-318 (2018). MSC: 68N17 68P05 68T30 PDFBibTeX XMLCite \textit{M. Alviano} et al., Theory Pract. Log. Program. 18, No. 3--4, 301--318 (2018; Zbl 1451.68062) Full Text: DOI arXiv
Lierler, Yuliya What is answer set programming to propositional satisfiability. (English) Zbl 1423.68483 Constraints 22, No. 3, 307-337 (2017). MSC: 68T27 68N17 68T20 PDFBibTeX XMLCite \textit{Y. Lierler}, Constraints 22, No. 3, 307--337 (2017; Zbl 1423.68483) Full Text: DOI
Balduccini, Marcello; Lierler, Yuliya Constraint answer set solver {ezcsp} and why integration schemas matter. (English) Zbl 1379.68038 Theory Pract. Log. Program. 17, No. 4, 462-515 (2017). MSC: 68N17 68T20 68T27 68T30 PDFBibTeX XMLCite \textit{M. Balduccini} and \textit{Y. Lierler}, Theory Pract. Log. Program. 17, No. 4, 462--515 (2017; Zbl 1379.68038) Full Text: DOI arXiv
Lefèvre, Claire; Béatrix, Christopher; Stéphan, Igor; Garcia, Laurent {ASPeRiX}, a first-order forward chaining approach for answer set computing. (English) Zbl 1379.68075 Theory Pract. Log. Program. 17, No. 3, 266-310 (2017). MSC: 68N17 68T20 68T30 PDFBibTeX XMLCite \textit{C. Lefèvre} et al., Theory Pract. Log. Program. 17, No. 3, 266--310 (2017; Zbl 1379.68075) Full Text: DOI arXiv
Alviano, Mario Model enumeration in propositional circumscription via unsatisfiable core analysis. (English) Zbl 1422.68217 Theory Pract. Log. Program. 17, No. 5-6, 708-725 (2017). MSC: 68T27 PDFBibTeX XMLCite \textit{M. Alviano}, Theory Pract. Log. Program. 17, No. 5--6, 708--725 (2017; Zbl 1422.68217) Full Text: DOI arXiv
Alviano, Mario; Dodaro, Carmine Anytime answer set optimization via unsatisfiable core shrinking. (English) Zbl 1379.68033 Theory Pract. Log. Program. 16, No. 5-6, 533-551 (2016). MSC: 68N17 PDFBibTeX XMLCite \textit{M. Alviano} and \textit{C. Dodaro}, Theory Pract. Log. Program. 16, No. 5--6, 533--551 (2016; Zbl 1379.68033) Full Text: DOI arXiv
Lierler, Yuliya; Truszczynski, Miroslaw On abstract modular inference systems and solvers. (English) Zbl 1357.68230 Artif. Intell. 236, 65-89 (2016). MSC: 68T30 68N17 68T15 68T27 PDFBibTeX XMLCite \textit{Y. Lierler} and \textit{M. Truszczynski}, Artif. Intell. 236, 65--89 (2016; Zbl 1357.68230) Full Text: DOI arXiv
Calimeri, Francesco; Gebser, Martin; Maratea, Marco; Ricca, Francesco Design and results of the Fifth Answer Set Programming Competition. (English) Zbl 1344.68042 Artif. Intell. 231, 151-181 (2016). MSC: 68N17 68T15 68-02 PDFBibTeX XMLCite \textit{F. Calimeri} et al., Artif. Intell. 231, 151--181 (2016; Zbl 1344.68042) Full Text: DOI
Alviano, Mario; Faber, Wolfgang; Gebser, Martin Rewriting recursive aggregates in answer set programming: back to monotonicity. (English) Zbl 1379.68034 Theory Pract. Log. Program. 15, No. 4-5, 559-573 (2015). MSC: 68N17 PDFBibTeX XMLCite \textit{M. Alviano} et al., Theory Pract. Log. Program. 15, No. 4--5, 559--573 (2015; Zbl 1379.68034) Full Text: DOI arXiv
Fichte, Johannes K.; Szeider, Stefan Backdoors to normality for disjunctive logic programs. (English) Zbl 1367.68032 ACM Trans. Comput. Log. 17, No. 1, Article No. 7, 23 p. (2015). MSC: 68N17 68Q25 PDFBibTeX XMLCite \textit{J. K. Fichte} and \textit{S. Szeider}, ACM Trans. Comput. Log. 17, No. 1, Article No. 7, 23 p. (2015; Zbl 1367.68032) Full Text: DOI arXiv
Gebser, Martin; Maratea, Marco; Ricca, Francesco The design of the Sixth Answer Set Programming Competition – report. (English) Zbl 1418.68028 Calimeri, Francesco (ed.) et al., Logic programming and nonmonotonic reasoning. 13th international conference, LPNMR 2015, Lexington, KY, USA, September 27–30, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9345, 531-544 (2015). MSC: 68N17 68T27 68-02 PDFBibTeX XMLCite \textit{M. Gebser} et al., Lect. Notes Comput. Sci. 9345, 531--544 (2015; Zbl 1418.68028) Full Text: DOI
Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Romero, Javier; Schaub, Torsten Progress in clasp series 3. (English) Zbl 1467.68181 Calimeri, Francesco (ed.) et al., Logic programming and nonmonotonic reasoning. 13th international conference, LPNMR 2015, Lexington, KY, USA, September 27–30, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9345, 368-383 (2015). MSC: 68T35 68N17 68T20 PDFBibTeX XMLCite \textit{M. Gebser} et al., Lect. Notes Comput. Sci. 9345, 368--383 (2015; Zbl 1467.68181) Full Text: DOI
Fichte, Johannes Klaus; Szeider, Stefan Backdoors to tractable answer set programming. (English) Zbl 1328.68040 Artif. Intell. 220, 64-103 (2015). MSC: 68N17 68Q25 68T20 PDFBibTeX XMLCite \textit{J. K. Fichte} and \textit{S. Szeider}, Artif. Intell. 220, 64--103 (2015; Zbl 1328.68040) Full Text: DOI
Bomanson, Jori; Gebser, Martin; Janhunen, Tomi Improving the normalization of weight rules in answer set programs. (English) Zbl 1432.68056 Fermé, Eduardo (ed.) et al., Logics in artificial intelligence. 14th European conference, JELIA 2014, Funchal, Madeira, Portugal, September 24–26, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8761, 166-180 (2014). MSC: 68N17 68T20 PDFBibTeX XMLCite \textit{J. Bomanson} et al., Lect. Notes Comput. Sci. 8761, 166--180 (2014; Zbl 1432.68056) Full Text: DOI
Morgado, Antonio; Heras, Federico; Liffiton, Mark; Planes, Jordi; Marques-Silva, Joao Iterative and core-guided maxsat solving: a survey and assessment. (English) Zbl 1317.90199 Constraints 18, No. 4, 478-534 (2013). MSC: 90C09 90C59 PDFBibTeX XMLCite \textit{A. Morgado} et al., Constraints 18, No. 4, 478--534 (2013; Zbl 1317.90199) Full Text: DOI
Eiter, Thomas; Fink, Michael; Krennwallner, Thomas; Redl, Christoph Conflict-driven ASP solving with external sources. (English) Zbl 1260.68060 Theory Pract. Log. Program. 12, No. 4-5, 659-679 (2012). MSC: 68N17 PDFBibTeX XMLCite \textit{T. Eiter} et al., Theory Pract. Log. Program. 12, No. 4--5, 659--679 (2012; Zbl 1260.68060) Full Text: DOI arXiv
Gebser, Martin; Kaufmann, Benjamin; Schaub, Torsten Conflict-driven answer set solving: from theory to practice. (English) Zbl 1251.68060 Artif. Intell. 187-188, 52-89 (2012). MSC: 68N17 68T27 PDFBibTeX XMLCite \textit{M. Gebser} et al., Artif. Intell. 187--188, 52--89 (2012; Zbl 1251.68060) Full Text: DOI
Saad, Emad Bridging the gap between reinforcement learning and knowledge representation: a logical off- and on-policy framework. (English) Zbl 1341.68231 Liu, Weiru (ed.), Symbolic and quantitative approaches to reasoning with uncertainty. 11th European conference, ECSQARU 2011, Belfast, UK, June 29 – July 1, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22151-4/pbk). Lecture Notes in Computer Science 6717. Lecture Notes in Artificial Intelligence, 472-484 (2011). MSC: 68T30 68Q17 68Q25 68T05 68T27 PDFBibTeX XMLCite \textit{E. Saad}, Lect. Notes Comput. Sci. 6717, 472--484 (2011; Zbl 1341.68231) Full Text: DOI arXiv
Hue, Julien; Papini, Odile; Würbel, Eric Implementing prioritized merging with ASP. (English) Zbl 1211.68431 Hüllermeier, Eyke (ed.) et al., Information processing and management of uncertainty in knowledge-based systems. Theory and methods. 13th international conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings. Part I. Berlin: Springer (ISBN 978-3-642-14054-9/pbk; 978-3-642-14055-6/ebook). Communications in Computer and Information Science 80, 138-147 (2010). MSC: 68T35 PDFBibTeX XMLCite \textit{J. Hue} et al., Commun. Comput. Inf. Sci. 80, 138--147 (2010; Zbl 1211.68431) Full Text: DOI
Crouch, Michael; Immerman, Neil; Moss, J. Eliot B. Finding reductions automatically. (English) Zbl 1287.68024 Blass, Andreas (ed.) et al., Fields of logic and computation. Essays dedicated to Yuri Gurevich on the occasion of his 70th birthday. Berlin: Springer (ISBN 978-3-642-15024-1/pbk). Lecture Notes in Computer Science 6300, 181-200 (2010). MSC: 68N19 03B25 03D15 PDFBibTeX XMLCite \textit{M. Crouch} et al., Lect. Notes Comput. Sci. 6300, 181--200 (2010; Zbl 1287.68024) Full Text: DOI
Brummayer, Robert; Järvisalo, Matti Testing and debugging techniques for answer set solver development. (English) Zbl 1206.68292 Theory Pract. Log. Program. 10, No. 4-6, 741-758 (2010). MSC: 68T30 PDFBibTeX XMLCite \textit{R. Brummayer} and \textit{M. Järvisalo}, Theory Pract. Log. Program. 10, No. 4--6, 741--758 (2010; Zbl 1206.68292) Full Text: DOI arXiv
Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten On the implementation of weight constraint rules in conflict-driven ASP solvers. (English) Zbl 1251.68059 Hill, Patricia M. (ed.) et al., Logic programming. 25th international conference, ICLP 2009, Pasadena, CA, USA, July 14–17, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02845-8/pbk). Lecture Notes in Computer Science 5649, 250-264 (2009). MSC: 68N17 PDFBibTeX XMLCite \textit{M. Gebser} et al., Lect. Notes Comput. Sci. 5649, 250--264 (2009; Zbl 1251.68059) Full Text: DOI
Chen, Xiaoping; Ji, Jianmin; Lin, Fangzhen Computing loops with at most one external support rule for disjunctive logic programs. (English) Zbl 1251.68054 Hill, Patricia M. (ed.) et al., Logic programming. 25th international conference, ICLP 2009, Pasadena, CA, USA, July 14–17, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02845-8/pbk). Lecture Notes in Computer Science 5649, 130-144 (2009). MSC: 68N17 PDFBibTeX XMLCite \textit{X. Chen} et al., Lect. Notes Comput. Sci. 5649, 130--144 (2009; Zbl 1251.68054) Full Text: DOI
Dovier, Agostino; Formisano, Andrea; Pontelli, Enrico An empirical study of constraint logic programming and answer set programming solutions of combinatorial problems. (English) Zbl 1193.68073 J. Exp. Theor. Artif. Intell. 21, No. 2, 79-121 (2009). MSC: 68N17 68R05 PDFBibTeX XMLCite \textit{A. Dovier} et al., J. Exp. Theor. Artif. Intell. 21, No. 2, 79--121 (2009; Zbl 1193.68073) Full Text: DOI
Saad, Emad Probabilistic reasoning by SAT solvers. (English) Zbl 1245.68221 Sossai, Claudio (ed.) et al., Symbolic and quantitative approaches to reasoning with uncertainty. 10th European conference, ECSQARU 2009, Verona, Italy, July 1–3, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-02905-9/pbk). Lecture Notes in Computer Science 5590. Lecture Notes in Artificial Intelligence, 663-675 (2009). MSC: 68T37 68N17 PDFBibTeX XMLCite \textit{E. Saad}, Lect. Notes Comput. Sci. 5590, 663--675 (2009; Zbl 1245.68221) Full Text: DOI
Marek, Victor; Remmel, Jeffrey B. Automata and answer set programming. (English) Zbl 1211.68061 Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3–6, 2009. Proceedings. Berlin: Springer (ISBN 978-3-540-92686-3/pbk). Lecture Notes in Computer Science 5407, 323-337 (2009). MSC: 68N17 68Q45 PDFBibTeX XMLCite \textit{V. Marek} and \textit{J. B. Remmel}, Lect. Notes Comput. Sci. 5407, 323--337 (2009; Zbl 1211.68061) Full Text: DOI
Mellarkod, Veena S.; Gelfond, Michael; Zhang, Yuanlin Integrating answer set programming and constraint logic programming. (English) Zbl 1165.68504 Ann. Math. Artif. Intell. 53, No. 1-4, 251-287 (2008). MSC: 68T27 68T30 68T35 68T20 03B70 PDFBibTeX XMLCite \textit{V. S. Mellarkod} et al., Ann. Math. Artif. Intell. 53, No. 1--4, 251--287 (2008; Zbl 1165.68504) Full Text: DOI
Giunchiglia, Enrico; Leone, Nicola; Maratea, Marco On the relation among answer set solvers. (English) Zbl 1165.68333 Ann. Math. Artif. Intell. 53, No. 1-4, 169-204 (2008). MSC: 68N17 68T20 68T27 PDFBibTeX XMLCite \textit{E. Giunchiglia} et al., Ann. Math. Artif. Intell. 53, No. 1--4, 169--204 (2008; Zbl 1165.68333) Full Text: DOI
Lierler, Yuliya Abstract answer set solvers. (English) Zbl 1185.68165 Garcia de la Banda, Maria (ed.) et al., Logic programming. 24th international conference, ICLP 2008, Udine, Italy, December 9–13 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-89981-5/pbk). Lecture Notes in Computer Science 5366, 377-391 (2008). MSC: 68N17 PDFBibTeX XMLCite \textit{Y. Lierler}, Lect. Notes Comput. Sci. 5366, 377--391 (2008; Zbl 1185.68165) Full Text: DOI
Marek, V. W.; Remmel, J. B. On the continuity of Gelfond-Lifschitz operator and other applications of proof-theory in ASP. (English) Zbl 1185.68169 Garcia de la Banda, Maria (ed.) et al., Logic programming. 24th international conference, ICLP 2008, Udine, Italy, December 9–13 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-89981-5/pbk). Lecture Notes in Computer Science 5366, 223-237 (2008). MSC: 68N17 03B70 68Q55 PDFBibTeX XMLCite \textit{V. W. Marek} and \textit{J. B. Remmel}, Lect. Notes Comput. Sci. 5366, 223--237 (2008; Zbl 1185.68169) Full Text: DOI
Gebser, Martin; Schaub, Torsten; Thiele, Sven; Usadel, Björn; Veber, Philippe Detecting inconsistencies in large biological networks with answer set programming. (English) Zbl 1185.92052 Garcia de la Banda, Maria (ed.) et al., Logic programming. 24th international conference, ICLP 2008, Udine, Italy, December 9–13 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-89981-5/pbk). Lecture Notes in Computer Science 5366, 130-144 (2008). MSC: 92C42 68N17 PDFBibTeX XMLCite \textit{M. Gebser} et al., Lect. Notes Comput. Sci. 5366, 130--144 (2008; Zbl 1185.92052) Full Text: DOI arXiv
Gebser, Martin; Schaub, Torsten; Tompits, Hans; Woltran, Stefan Alternative characterizations for program equivalence under answer-set semantics based on unfounded sets. (English) Zbl 1138.68559 Hartmann, Sven (ed.) et al., Foundations of information and knowledge systems. 5th international symposium, FoIKS 2008, Pisa, Italy, February 11–15, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-77683-3/pbk). Lecture Notes in Computer Science 4932, 24-41 (2008). MSC: 68T27 68N17 68Q55 PDFBibTeX XMLCite \textit{M. Gebser} et al., Lect. Notes Comput. Sci. 4932, 24--41 (2008; Zbl 1138.68559) Full Text: DOI
Lee, Joohyung; Lin, Fangzhen Loop formulas for circumscription. (English) Zbl 1131.68105 Artif. Intell. 170, No. 2, 160-185 (2006). MSC: 68T27 68T30 68N17 PDFBibTeX XMLCite \textit{J. Lee} and \textit{F. Lin}, Artif. Intell. 170, No. 2, 160--185 (2006; Zbl 1131.68105) Full Text: DOI