Theory and Practice of Logic Programming Short Title: Theory Pract. Log. Program. Publisher: Cambridge University Press, Cambridge ISSN: 1471-0684; 1475-3081/e Online: https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/all-issues Documents Indexed: 662 Publications (since 2001) References Indexed: 501 Publications with 14,707 References. all top 5 Latest Issues 21, No. 5 (2021) 21, No. 3 (2021) 21, No. 2 (2021) 21, No. 1 (2021) 20, No. 6 (2020) 20, No. 5 (2020) 20, No. 4 (2020) 20, No. 3 (2020) 20, No. 2 (2020) 20, No. 1 (2020) 19, No. 5-6 (2019) 19, No. 4 (2019) 19, No. 3 (2019) 19, No. 2 (2019) 19, No. 1 (2018) 18, No. 5-6 (2018) 18, No. 3-4 (2018) 18, No. 2 (2018) 18, No. 1 (2018) 17, No. 5-6 (2017) 17, No. 4 (2017) 17, No. 3 (2017) 17, No. 2 (2017) 17, No. 1 (2017) 16, No. 5-6 (2016) 16, No. 4 (2016) 16, No. 3 (2016) 16, No. 2 (2016) 16, No. 1 (2016) 15, No. 6 (2015) 15, No. 4-5 (2015) 15, No. 3 (2015) 15, No. 2 (2015) 15, No. 1 (2015) 14, No. 6 (2014) 14, No. 4-5 (2014) 14, No. 3 (2014) 14, No. 2 (2014) 14, No. 1 (2014) 13, No. 6 (2013) 13, No. 4-5 (2013) 13, No. 3 (2013) 13, No. 2 (2013) 13, No. 1 (2013) 12, No. 6 (2012) 12, No. 4-5 (2012) 12, No. 3 (2012) 12, No. 1-2 (2012) 11, No. 6 (2011) 11, No. 4-5 (2011) 11, No. 2-3 (2011) 11, No. 1 (2011) 10, No. 4-6 (2010) 10, No. 3 (2010) 10, No. 2 (2010) 10, No. 1 (2010) 9, No. 6 (2009) 9, No. 5 (2009) 9, No. 4 (2009) 9, No. 3 (2009) 9, No. 2 (2009) 9, No. 1 (2009) 8, No. 5-6 (2008) 8, No. 4 (2008) 8, No. 3 (2008) 8, No. 2 (2008) 8, No. 1 (2008) 7, No. 6 (2007) 7, No. 5 (2007) 7, No. 4 (2007) 7, No. 3 (2007) 7, No. 1-2 (2007) 6, No. 6 (2006) 6, No. 5 (2006) 6, No. 4 (2006) 6, No. 3 (2006) 6, No. 1-2 (2006) 5, No. 6 (2005) 5, No. 4-5 (2005) 5, No. 3 (2005) 5, No. 1-2 (2005) 4, No. 5-6 (2004) 4, No. 4 (2004) 4, No. 3 (2004) 4, No. 1-2 (2004) 3, No. 6 (2003) 3, No. 4-5 (2003) 3, No. 3 (2003) 3, No. 2 (2003) 3, No. 1 (2003) 2, No. 6 (2002) 2, No. 4-5 (2002) 2, No. 3 (2002) 2, No. 2 (2002) 2, No. 1 (2002) 1, No. 6 (2001) 1, No. 5 (2001) 1, No. 4 (2001) 1, No. 3 (2001) 1, No. 2 (2001) all top 5 Authors 26 Schaub, Torsten H. 18 Alviano, Mario 17 Eiter, Thomas 17 Ricca, Francesco 16 Leone, Nicola 15 Cabalar, Pedro 15 Woltran, Stefan 14 Dodaro, Carmine 14 Lifschitz, Vladimir 13 Fandinno, Jorge 13 Hermenegildo, Manuel V. 13 Pontelli, Enrico 13 Truszczyński, Mirosław 12 Faber, Wolfgang 12 Rocha, Ricardo 11 Erdem, Esra 11 Schrijvers, Tom 10 Bruynooghe, Maurice 10 Demoen, Bart 10 Gebser, Martin 10 Lee, Joohyung 10 Lierler, Yuliya 10 Manna, Marco 10 Riguzzi, Fabrizio 9 Carro, Manuel 9 Denecker, Marc 9 Frühwirth, Thom 9 Greco, Sergio 9 Stuckey, Peter James 9 Swift, Terrance 9 Tompits, Hans 8 Balduccini, Marcello 8 Dovier, Agostino 8 Fink, Michael 8 Kaminski, Roland 8 King, Andy 8 Maratea, Marco 8 Son, Tran Cao 8 Wielemaker, Jan 8 You, Jia-Huai 8 Zangari, Jessica 7 Santos Costa, Vítor 7 Harrison, Amelia 7 Janssens, Gerda 7 Maher, Michael J. 7 Perri, Simona 7 Pettorossi, Alberto 7 Proietti, Maurizio 7 Trubitsyna, Irina 7 Vidal, Germán 7 Zhou, Neng-Fa 6 Albert, Elvira 6 Bagnara, Roberto 6 Bogaerts, Bart 6 Calimeri, Francesco 6 Codish, Michael 6 De Schreye, Danny 6 Garcia de la Banda, Maria 6 Gupta, Gopal K. 6 Janhunen, Tomi 6 Lamma, Evelina 6 Mesnard, Fred 6 Morales, Jose Francisco 6 Russo, Alessandra M. 6 Sato, Taisuke 6 Zaniolo, Carlo 5 Amendola, Giovanni 5 Antoniou, Grigoris 5 Baral, Chitta R. 5 Bellodi, Elena 5 Drabent, Włodzimierz 5 Fioravanti, Fabio 5 Formisano, Andrea 5 Gabbrielli, Maurizio 5 Gelfond, Michael 5 Haemmerlé, Rémy 5 Hill, Patricia M. 5 Leite, João 5 Morak, Michael 5 Osorio, Mauricio A. 5 Ostrowski, Max 5 Rodríguez-Artalejo, Mario 5 Rondogiannis, Panos 5 Serebrenik, Alexander 5 Shen, Yidong 5 Vennekens, Joost 4 Alpuente, María 4 Charalambidis, Angelos 4 De Angelis, Emanuele 4 de Cat, Broes 4 De Cock, Martine 4 De Raedt, Luc 4 Duck, Gregory J. 4 Gallagher, John P. 4 Gavanelli, Marco 4 Genaim, Samir 4 Giordano, Laura 4 Howe, Jacob M. 4 Ianni, Giovambattista 4 Inclezan, Daniela ...and 798 more Authors all top 5 Fields 658 Computer science (68-XX) 73 Mathematical logic and foundations (03-XX) 25 General and overarching topics; collections (00-XX) 7 Operations research, mathematical programming (90-XX) 6 Biology and other natural sciences (92-XX) 5 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 4 Combinatorics (05-XX) 2 History and biography (01-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Quantum theory (81-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 458 Publications have been cited 2,387 times in 1,224 Documents Cited by ▼ Year ▼ Defeasible logic programming: An argumentative approach. Zbl 1090.68015García, Alejandro J.; Simari, Guillermo R. 81 2004 Answer sets for consistent query answering in inconsistent databases. Zbl 1079.68026Arenas, Marcelo; Bertossi, Leopoldo; Chomicki, Jan 71 2003 Strong equivalence made easy: nested expressions and weight constraints. Zbl 1079.68017Turner, Hudson 36 2003 SWI-Prolog. Zbl 1244.68023Wielemaker, Jan; Schrijvers, Tom; Triska, Markus; Lager, Torbjörn 35 2012 Well-founded and stable semantics of logic programs with aggregates. Zbl 1111.68070Pelov, Nikolay; Denecker, Marc; Bruynooghe, Maurice 33 2007 Inference and learning in probabilistic logic programs using weighted Boolean formulas. Zbl 1379.68062Fierens, Daan; Van den Broeck, Guy; Renkens, Joris; Shterionov, Dimitar; Gutmann, Bernd; Thon, Ingo; Janssens, Gerda; De Raedt, Luc 33 2015 XSB: extending Prolog with tabled logic programming. Zbl 1244.68021Swift, Terrance; Warren, David S. 30 2012 Weight constraints as nested expressions. Zbl 1093.68017Ferraris, Paolo; Lifschitz, Vladimir 30 2005 An overview of Ciao and its design philosophy. Zbl 1244.68019Hermenegildo, M. V.; Bueno, F.; Carro, M.; López-García, P.; Mera, E.; Morales, J. F.; Puebla, G. 29 2012 Probabilistic reasoning with answer sets. Zbl 1170.68003Baral, Chitta; Gelfond, Michael; Rushton, Nelson 27 2009 Multi-shot ASP solving with clingo. Zbl 07107408Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten 26 2018 A constructive semantic characterization of aggregates in answer set programming. Zbl 1111.68072Son, Tran Cao; Pontelli, Enrico 25 2007 Propositional theories are strongly equivalent to logic programs. Zbl 1132.68321Cabalar, Pedro; Ferraris, Paolo 24 2007 Tight logic programs. Zbl 1079.68014Erdem, Esra; Lifschitz, Vladimir 22 2003 The PITA system: tabling and answer subsumption for reasoning under uncertainty. Zbl 1218.68169Riguzzi, Fabrizio; Swift, Terrance 21 2011 Diagnostic reasoning with A-prolog. Zbl 1079.68094Balduccini, Marcello; Gelfond, Michael 21 2003 Vicious circle principle and logic programs with aggregates. Zbl 1309.68032Gelfond, Michael; Zhang, Yuanlin 20 2014 The YAP prolog system. Zbl 1244.68017Costa, Vítor Santos; Rocha, Ricardo; Damas, Luís 20 2012 Justifications for logic programs under answer set semantics. Zbl 1170.68005Pontelli, Enrico; Son, Tran Cao; Elkhatib, Omar 20 2009 Abstract gringo. Zbl 1379.68031Gebser, Martin; Harrison, Amelia; Kaminski, Roland; Lifschitz, Vladimir; Schaub, Torsten 20 2015 On the implementation of the probabilistic logic programming language ProbLog. Zbl 1220.68037Kimmig, Angelika; Demoen, Bart; De Raedt, Luc; Costa, Vítor Santos; Rocha, Ricardo 18 2011 A common view on strong, uniform, and other notions of equivalence in answer-set programming. Zbl 1140.68360Woltran, Stefan 18 2008 Team-building with answer set programming in the Gioia-Tauro seaport. Zbl 1250.90050Ricca, F.; Grasso, G.; Alviano, M.; Manna, M.; Lio, V.; Iiritano, S.; Leone, N. 17 2012 An abductive framework for computing knowledge base updates. Zbl 1085.68545Sakama, Chiaki; Inoue, Katsumi 16 2003 CP-logic: A language of causal probabilistic events and its relation to logic programming. Zbl 1179.68025Vennekens, Joost; Denecker, Marc; Bruynooghe, Maurice 16 2009 Structure learning of probabilistic logic programs by searching the clause space. Zbl 1379.68269Bellodi, Elena; Riguzzi, Fabrizio 15 2015 Complex optimization in answer set programming. Zbl 1222.68059Gebser, Martin; Kaminski, Roland; Schaub, Torsten 14 2011 Well-definedness and efficient inference for probabilistic logic programming under the distribution semantics. Zbl 1267.68084Riguzzi, Fabrizio; Swift, Terrance 14 2013 Logic programs with monotone abstract constraint atoms. Zbl 1142.68018Marek, Victor W.; Niemelä, Ilkka; Truszczyński, Mirosław 14 2008 Design and implementation of aggregate functions in the DLV system. Zbl 1156.68010Faber, Wolfgang; Pfeifer, Gerald; Leone, Nicola; Dell’Armi, Tina; Ielpa, Giuseppe 14 2008 As time goes by: constraint handling rules. Zbl 1186.68096Sneyers, Jon; van Weert, Peter; Schrijvers, Tom; de Koninck, Leslie 14 2010 Detecting inconsistencies in large biological networks with answer set programming. Zbl 1220.68036Gebser, Martin; Schaub, Torsten; Thiele, Sven; Veber, Philippe 13 2011 On properties of update sequences based on causal rejection. Zbl 1105.68326Eiter, Thomas; Fink, Michael; Sabbatini, Giuliana; Tompits, Hans 13 2002 An interactive semantics of logic programming. Zbl 1066.68512Bruni, Roberto; Montanari, Ugo; Rossi, Francesca 13 2001 FLUX: a logic programming method for reasoning agents. Zbl 1105.68333Thielscher, Michael 13 2005 Achieving compositionality of the stable model semantics for SMODELS programs. Zbl 1156.68012Oikarinen, Emilia; Janhunen, Tomi 13 2008 Anytime answer set optimization via unsatisfiable core shrinking. Zbl 1379.68033Alviano, Mario; Dodaro, Carmine 13 2016 claspfolio 2: advances in algorithm selection for answer set programming. Zbl 1307.68016Hoos, Holger; Lindauer, Marius; Schaub, Torsten 12 2014 A framework for compiling preferences in logic programs. Zbl 1105.68323Delgrande, James P.; Schaub, Torsten; Tompits, Hans 12 2003 Transformation-based bottom-up computation of the well-founded model. Zbl 1105.68322Brass, Stefan; Dix, Jürgen; Freitag, Burkhard; Zukowski, Ulrich 12 2001 Justifying answer sets using argumentation. Zbl 1379.68301Schulz, Claudia; Toni, Francesca 12 2016 Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming. Zbl 1120.68101Tu, Phan Huy; Son, Tran Cao; Baral, Chitta 11 2007 SUNNY: a lazy portfolio approach for constraint solving. Zbl 1307.68077Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo 11 2014 Abstract answer set solvers with backjumping and learning. Zbl 1220.68038Lierler, Yuliya 11 2011 ASP modulo CSP: the clingcon system. Zbl 1260.68066Ostrowski, Max; Schaub, Torsten 11 2012 Logic program specialisation through partial deduction: Control issues. Zbl 1105.68331Leuschel, Michael; Bruynooghe, Maurice 11 2002 Epistemic foundation of stable model semantics. Zbl 1110.68070Loyer, Yann; Straccia, Umberto 11 2006 {ASPeRiX}, a first-order forward chaining approach for answer set computing. Zbl 1379.68075Lefèvre, Claire; Béatrix, Christopher; Stéphan, Igor; Garcia, Laurent 11 2017 Catching the Ouroboros: on debugging non-ground answer-set programs. Zbl 1213.68182Oetsch, Johannes; Pührer, Jörg; Tompits, Hans 10 2010 Causal graph justifications of logic programs. Zbl 1309.68028Cabalar, Pedro; Fandinno, Jorge; Fink, Michael 10 2014 The language features and architecture of B-Prolog. Zbl 1244.68024Zhou, Neng-Fa 10 2012 Answer set programming as a modeling language for course timetabling. Zbl 1286.68040Banbara, Mutsunori; Soh, Takehide; Tamura, Naoyuki; Inoue, Katsumi; Schaub, Torsten 10 2013 Characterization of strongly equivalent logic programs in intermediate logics. Zbl 1069.68538de Jongh, Dick H. J.; Hendriks, Lex 10 2003 Bounded LTL model checking with stable models. Zbl 1079.68058Heljanko, Keijo; Niemelä, Ilkka 10 2003 Abduction in well-founded semantics and generalized stable models via tabled dual programs. Zbl 1090.68014Alferes, José Júlio; Pereira, Luíz Moniz; Swift, Terrance 10 2004 Combining answer set programming and domain heuristics for solving hard industrial problems (application paper). Zbl 1379.68281Dodaro, Carmine; Gasteiger, Philip; Leone, Nicola; Musitsch, Benjamin; Ricca, Francesco; Shchekotykhin, Kostyantyn 10 2016 Iterative learning of answer set programs from context dependent examples. Zbl 1379.68074Law, Mark; Russo, Alessandra; Broda, Krysia 10 2016 ASP-Core-2 input language format. Zbl 1472.68180Calimeri, Francesco; Faber, Wolfgang; Gebser, Martin; Ianni, Giovambattista; Kaminski, Roland; Krennwallner, Thomas; Leone, Nicola; Maratea, Marco; Ricca, Francesco; Schaub, Torsten 10 2020 Anytime computation of cautious consequences in answer set programming. Zbl 1307.68012Alviano, Mario; Dodaro, Carmine; Ricca, Francesco 9 2014 Functional answer set programming. Zbl 1220.68033Cabalar, Pedro 9 2011 \(\text{ECL}^{\text{i}}\text{PS}^{\text{e}}\) – from LP to CLP. Zbl 1244.68020Schimpf, Joachim; Shen, Kish 9 2012 Propositional defeasible logic has linear complexity. Zbl 1066.68530Maher, Michael J. 9 2001 Specialization of functional logic programs based on needed narrowing. Zbl 1092.68018Alpuente, María; Lucas, Salvador; Vidal, Germán; Hanus, Michael 9 2005 Generating explanations for biomedical queries. Zbl 1379.68059Erdem, Esra; Oztok, Umut 9 2015 Rewriting recursive aggregates in answer set programming: back to monotonicity. Zbl 1379.68034Alviano, Mario; Faber, Wolfgang; Gebser, Martin 9 2015 Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3. Zbl 1379.68279Bruynooghe, Maurice; Blockeel, Hendrik; Bogaerts, Bart; De Cat, Broes; De Pooter, Stef; Jansen, Joachim; Labarre, Anthony; Ramon, Jan; Denecker, Marc; Verwer, Sicco 9 2015 Towards automated integration of guess and check programs in answer set programming: a meta-interpreter and applications. Zbl 1109.68028Eiter, Thomas; Polleres, Axel 8 2006 Automated termination analysis for logic programs with cut. Zbl 1209.68098Schneider-Kamp, Peter; Giesl, Jürgen; Ströder, Thomas; Serebrenik, Alexander; Thiemann, René 8 2010 Logic programming with satisfiability. Zbl 1128.68014Codish, Michael; Lagoon, Vitaly; Stuckey, Peter J. 8 2008 Minimum model semantics for extensional higher-order logic programming with negation. Zbl 1309.68030Charalambidis, Angelos; Ésik, Zoltán; Rondogiannis, Panos 8 2014 Abstract diagnosis for timed concurrent constraint programs. Zbl 1222.68053Comini, Marco; Titolo, Laura; Villanueva, Alicia 8 2011 The magic of logical inference in probabilistic programming. Zbl 1222.68060Gutmann, Bernd; Thon, Ingo; Kimmig, Angelika; Bruynooghe, Maurice; De Raedt, Luc 8 2011 Conflict-driven ASP solving with external sources. Zbl 1260.68060Eiter, Thomas; Fink, Michael; Krennwallner, Thomas; Redl, Christoph 8 2012 SWI-Prolog and the web. Zbl 1139.68012Wielemaker, Jan; Huang, Zhisheng; van der Meij, Lourens 8 2008 Automatic verification of timed concurrent constraint programs. Zbl 1101.68679Falaschi, Moreno; Villanueva, Alicia 8 2006 On finitely recursive programs. Zbl 1166.68311Baselice, Sabrina; Bonatti, Piero A.; Criscuolo, Giovanni 8 2009 Set unification. Zbl 1108.68104Dovier, Agostino; Pontelli, Enrico; Rossi, Gianfranco 8 2006 Ticker: a system for incremental ASP-based stream reasoning. Zbl 1422.68218Beck, Harald; Eiter, Thomas; Folie, Christian 8 2017 Optimizing phylogenetic supertrees using answer set programming. Zbl 1379.92038Koponen, Laura; Oikarinen, Emilia; Janhunen, Tomi; Säilä, Laura 8 2015 A model building framework for answer set programming with external computations. Zbl 1379.68058Eiter, Thomas; Fink, Michael; Ianni, Giovambattista; Krennwallner, Thomas; Redl, Christoph; Schüller, Peter 8 2016 clingcon: the next generation. Zbl 1379.68040Banbara, Mutsunori; Kaufmann, Benjamin; Ostrowski, Max; Schaub, Torsten 8 2017 Constraint answer set programming without grounding. Zbl 1451.68063Arias, Joaquin; Carro, Manuel; Salazar, Elmer; Marple, Kyle; Gupta, Gopal 8 2018 Disjunctive ASP with functions: decidable queries and effective computation. Zbl 1209.68086Alviano, Mario; Faber, Wolfgang; Leone, Nicola 7 2010 Dynamic consistency checking in goal-directed answer set programming. Zbl 1307.68020Marple, Kyle; Gupta, Gopal 7 2014 Observational equivalences for linear logic concurrent constraint languages. Zbl 1222.68061Haemmerlé, Rémy 7 2011 SICStus Prolog – the first 25 years. Zbl 1244.68016Carlsson, Mats; Mildner, Per 7 2012 Trichotomy and dichotomy results on the complexity of reasoning with disjunctive logic programs. Zbl 1242.68052Truszczyński, Mirosław 7 2011 Disjunctive logic programs with inheritance. Zbl 1087.68527Buccafurri, Francesco; Faber, Wolfgang; Leone, Nicola 7 2002 CLAIRE: Combining sets, search and rules to better express algorithms. Zbl 1105.68339Caseau, Yves; Josset, François-Xavier; Laburthe, François 7 2002 Computing preferred answer sets by meta-interpretation in answer set programming. Zbl 1079.68096Eiter, Thomas; Faber, Wolfgang; Leone, Nicola; Pfeifer, Gerald 7 2003 Planning with preferences using logic programming. Zbl 1122.68030Son, Tran Cao; Pontelli, Enrico 7 2006 cTI: a constraint-based termination inference tool for ISO-PROLOG. Zbl 1093.68559Mesnard, Fred; Bagnara, Roberto 7 2005 Preferred extensions as stable models. Zbl 1148.68012Nieves, Juan Carlos; Cortés, Ulises; Osorio, Mauricio 7 2008 State space computation and analysis of time Petri nets. Zbl 1104.68071Gardey, Guillaume; Roux, Olivier H.; Roux, Olivier F. 7 2006 Clingo goes linear constraints over reals and integers. Zbl 1422.68024Janhunen, Tomi; Kaminski, Roland; Ostrowski, Max; Schellhorn, Sebastian; Wanko, Philipp; Schaub, Torsten 7 2017 Improved answer-set programming encodings for abstract argumentation. Zbl 1379.68292Gaggl, Sarah A.; Manthey, Norbert; Ronca, Alessandro; Wallner, Johannes P.; Woltran, Stefan 7 2015 Learning weak constraints in answer set programming. Zbl 1379.68073Law, Mark; Russo, Alessandra; Broda, Krysia 7 2015 Proving correctness of imperative programs by linearizing constrained Horn clauses. Zbl 1379.68093De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio 7 2015 Exploiting answer set programming with external sources for meta-interpretive learning. Zbl 1451.68064Kaminski, Tobias; Eiter, Thomas; Inoue, Katsumi 7 2018 Graphs and colorings for answer set programming. Zbl 1109.68081Konczak, Kathrin; Linke, Thomas; Schaub, Torsten 6 2006 Omission-based abstraction for answer set programs. Zbl 1472.68029Saribatur, Zeynep G.; Eiter, Thomas 1 2021 Nonground abductive logic programming with probabilistic integrity constraints. Zbl 07454769Bellodi, Elena; Gavanelli, Marco; Zese, Riccardo; Lamma, Evelina; Riguzzi, Fabrizio 1 2021 Utilizing treewidth for quantitative reasoning on epistemic logic programs. Zbl 07454770Besin, Viktor; Hecher, Markus; Woltran, Stefan 1 2021 ASP-Core-2 input language format. Zbl 1472.68180Calimeri, Francesco; Faber, Wolfgang; Gebser, Martin; Ianni, Giovambattista; Kaminski, Roland; Krennwallner, Thomas; Leone, Nicola; Maratea, Marco; Ricca, Francesco; Schaub, Torsten 10 2020 The Seventh Answer Set Programming Competition: design and results. Zbl 1472.68026Gebser, Martin; Maratea, Marco; Ricca, Francesco 3 2020 MAP inference for probabilistic logic programming. Zbl 1468.68051Bellodi, Elena; Alberti, Marco; Riguzzi, Fabrizio; Zese, Riccardo 2 2020 Verifying tight logic programs with anthem and vampire. Zbl 1468.68127Fandinno, Jorge; Lifschitz, Vladimir; Lühne, Patrick; Schaub, Torsten 2 2020 An ASP approach for reasoning in a concept-aware multipreferential lightweight DL. Zbl 1468.68212Giordano, Laura; Theseider Dupré, Daniele 2 2020 eclingo: a solver for epistemic logic programs. Zbl 1468.68053Cabalar, Pedro; Fandinno, Jorge; Garea, Javier; Romero, Javier; Schaub, Torsten 2 2020 Technical note. Efficiently coupling the \(\mathscr{I}\)-DLV grounder with ASP solvers. Zbl 1472.68179Calimeri, Francesco; Dodaro, Carmine; Fuscà, Davide; Perri, Simona; Zangari, Jessica 2 2020 selp: a single-shot epistemic logic program solver. Zbl 1472.68022Bichler, Manuel; Morak, Michael; Woltran, Stefan 2 2020 In praise of impredicativity: a contribution to the formalization of meta-programming. Zbl 1434.68102Bry, François 1 2020 Implementing a library for probabilistic programming using non-strict non-determinism. Zbl 1434.68062Dylus, Sandra; Christiansen, Jan; Teegen, Finn 1 2020 A generalised approach for encoding and reasoning with qualitative theories in answer set programming. Zbl 1468.68218Baryannis, George; Tachmazidis, Ilias; Batsakis, Sotiris; Antoniou, Grigoris; Alviano, Mario; Papadakis, Emmanuel 1 2020 On the semantics of abstract argumentation frameworks: a logic programming approach. Zbl 1468.68211Alfano, Gianvincenzo; Greco, Sergio; Parisi, Francesco; Trubitsyna, Irina 1 2020 Incremental maintenance of overgrounded logic programs with tailored simplifications. Zbl 1468.68223Ianni, Giovambattista; Pacenza, Francesco; Zangari, Jessica 1 2020 Towards metric temporal answer set programming. Zbl 1468.68052Cabalar, Pedro; Diéguez, Martín; Schaub, Torsten; Schuhmann, Anna 1 2020 Flexible coinductive logic programming. Zbl 1468.68054Dagnino, Francesco; Ancona, Davide; Zucca, Elena 1 2020 The new normal: we cannot eliminate cuts in coinductive calculi, but we can explore them. Zbl 1477.03241Komendantskaya, Ekaterina; Rozplokhas, Dmitry; Basold, Henning 1 2020 The external interface for extending WASP. Zbl 1472.68183Dodaro, Carmine; Ricca, Francesco 1 2020 A comparative study of some central notions of \(\mathit{ASPIC}^+\) and DeLP. Zbl 1472.68189García, Alejandro J.; Prakken, Henry; Simari, Guillermo R. 1 2020 Incremental answer set programming with overgrounding. Zbl 1434.68555Calimeri, Francesco; Ianni, Giovambattista; Pacenza, Francesco; Perri, Simona; Zangari, Jessica 4 2019 Answering the “why” in answer set programming – a survey of explanation approaches. Zbl 07107411Fandinno, Jorge; Schulz, Claudia 4 2019 Founded (auto)epistemic equilibrium logic satisfies epistemic splitting. Zbl 1434.68557Fandinno, Jorge 3 2019 A distributed approach to LARS stream reasoning (system paper). Zbl 1434.68546Eiter, Thomas; Ogris, Paul; Schekotihin, Konstantin 3 2019 Resource analysis driven by (conditional) termination proofs. Zbl 1434.68101Albert, Elvira; Bofill, Miquel; Borralleras, Cristina; Martin-Martin, Enrique; Rubio, Albert 2 2019 On uniform equivalence of epistemic logic programs. Zbl 1434.68073Faber, Wolfgang; Morak, Michael; Woltran, Stefan 2 2019 Partial compilation of ASP programs. Zbl 1434.68072Cuteri, Bernardo; Dodaro, Carmine; Ricca, Francesco; Schüller, Peter 2 2019 A syntactic operator for forgetting that satisfies strong persistence. Zbl 1434.68561Berthold, Matti; Gonçalves, Ricardo; Knorr, Matthias; Leite, João 2 2019 Debugging non-ground ASP programs: technique and graphical tools. Zbl 07107415Dodaro, Carmine; Gasteiger, Philip; Reale, Kristian; Ricca, Francesco; Schekotihin, Konstantin 2 2019 plasp 3: towards effective ASP planning. Zbl 1472.68182Dimopoulos, Yannis; Gebser, Martin; Lühne, Patrick; Romero, Javier; Schaub, Torsten 2 2019 Optimizing answer set computation via heuristic-based decomposition. Zbl 1472.68024Calimeri, Francesco; Perri, Simona; Zangari, Jessica 2 2019 Enhancing magic sets with an application to ontological reasoning. Zbl 1434.68560Alviano, Mario; Leone, Nicola; Veltri, Pierfrancesco; Zangari, Jessica 1 2019 Paracoherent answer set semantics meets argumentation frameworks. Zbl 1434.68554Amendola, Giovanni; Ricca, Francesco 1 2019 Beyond NP: quantifying over answer sets. Zbl 1434.68068Amendola, Giovanni; Ricca, Francesco; Truszczynski, Miroslaw 1 2019 About epistemic negation and world views in epistemic logic programs. Zbl 1434.68071Constantini, Stefania 1 2019 Revisiting explicit negation in answer set programming. Zbl 1434.68064Aguado, Felicidad; Cabalar, Pedro; Fandinno, Jorge; Pearce, David; Péréz, Gilberto; Vidal, Concepción 1 2019 On the equivalence between abstract dialectical frameworks and logic programs. Zbl 1434.68553Alcântara, João; Sá, Samy; Acosta-Guadarrama, Juan 1 2019 Control-flow refinement by partial evaluation, and its application to termination and cost analysis. Zbl 1434.68104Doménech, Jesús J.; Gallagher, John P.; Genaim, Samir 1 2019 Relating two dialects of answer set programming. Zbl 1434.68074Harrison, Amelia; Lifschitz, Vladimir 1 2019 A case for stale synchronous distributed model for declarative recursive computation. Zbl 1434.68142Das, Ariyam; Zaniolo, Carlo 1 2019 Domain-independent cost-optimal planning in ASP. Zbl 1434.68548Spies, David; You, Jia-Huai; Hayward, Ryan 1 2019 Multi-shot ASP solving with clingo. Zbl 07107408Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten 26 2018 Constraint answer set programming without grounding. Zbl 1451.68063Arias, Joaquin; Carro, Manuel; Salazar, Elmer; Marple, Kyle; Gupta, Gopal 8 2018 Exploiting answer set programming with external sources for meta-interpretive learning. Zbl 1451.68064Kaminski, Tobias; Eiter, Thomas; Inoue, Katsumi 7 2018 Solving Horn clauses on inductive data types without induction. Zbl 1451.68172De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio 6 2018 Shared aggregate sets in answer set programming. Zbl 1451.68062Alviano, Mario; Dodaro, Carmine; Maratea, Marco 4 2018 Cautious reasoning in ASP via minimal models and unsatisfiable cores. Zbl 1451.68267Alviano, Mario; Dodaro, Carmine; Järvisalo, Matti; Maratea, Marco; Previti, Alessandro 4 2018 A trajectory calculus for qualitative spatial reasoning using answer set programming. Zbl 1451.68252Baryannis, George; Tachmazidis, Ilias; Batsakis, Sotiris; Antoniou, Grigoris; Alviano, Mario; Sellis, Timos; Tsai, Pei-Wei 4 2018 Functional ASP with intensional sets: application to Gelfond-Zhang aggregates. Zbl 1451.68255Cabalar, Pedro; Fandinno, Jorge; Fariñas del Cerro, Luis; Pearce, David 4 2018 An iterative approach to precondition inference using constrained Horn clauses. Zbl 1451.68075Kafle, Bishoksan; Gallagher, John P.; Gange, Graeme; Schachte, Peter; Søndergaard, Harald; Stuckey, Peter J. 4 2018 Temporal answer set programming on finite traces. Zbl 1451.68256Cabalar, Pedro; Kaminski, Roland; Schaub, Torsten; Schuhmann, Anna 3 2018 Scaling-up reasoning and advanced analytics on BigData. Zbl 1452.68064Condie, Tyson; Das, Ariyam; Interlandi, Matteo; Shkapsky, Alexander; Yang, Mohan; Zaniolo, Carlo 3 2018 Random generation of closed simply typed \(\lambda\)-terms: a synergy between logic programming and Boltzmann samplers. Zbl 1425.68054Bendkowski, Maciej; Grygiel, Katarzyna; Tarau, Paul 3 2018 A concurrent constraint programming interpretation of access permissions. Zbl 1478.68056Olarte, Carlos; Pimentel, Elaine; Rueda, Camilo 3 2018 A probabilistic extension of action language \(\mathcal{BC}+\). Zbl 1451.68263Lee, Joohyung; Wang, Yi 2 2018 Constraint-based inference in probabilistic logic programs. Zbl 1451.68264Nampally, Arun; Zhang, Timothy; Ramakrishnan, C. R. 2 2018 Stepwise debugging of answer-set programs. Zbl 1425.68053Oetsch, Johannes; Pührer, Jörg; Tompits, Hans 2 2018 Predicate pairing for program verification. Zbl 1478.68153De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio 2 2018 Tree dimension in verification of constrained Horn clauses. Zbl 1478.68165Kafle, Bishoksan; Gallagher, John P.; Ganty, Pierre 2 2018 Approximation fixpoint theory and the well-founded semantics of higher-order logic programs. Zbl 1452.68037Charalambidis, Angelos; Rondogiannis, Panos; Symeonidou, Ioanna 1 2018 Proof-relevant Horn clauses for dependent type inference and term synthesis. Zbl 1451.68323Farka, František; Komendantskya, Ekaterina; Hammond, Kevin 1 2018 An ASP methodology for understanding narratives about stereotypical activities. Zbl 1451.68294Inclezan, Daniela; Zhang, Qinglin; Balduccini, Marcello; Israney, Ankush 1 2018 Translating LPOD and CR-\(\mathrm{Prolog}_2\) into standard answer set programs. Zbl 1451.68065Lee, Joohyung; Yang, Zhun 1 2018 Incremental and iterative learning of answer set programs from mutually distinct examples. Zbl 1451.68066Mitra, Arindam; Baral, Chitta 1 2018 First-order answer set programming as constructive proof search. Zbl 1451.68067Schubert, Aleksy; Urzyczyn, Paweł 1 2018 A review of literature on parallel constraint solving. Zbl 1452.68177Gent, Ian P.; Miguel, Ian; Nightingale, Peter; McCreesh, Ciaran; Prosser, Patrick; Moore, Neil C. A.; Unsworth, Chris 1 2018 A Datalog-based computational model for coordination-free, data-parallel systems. Zbl 1452.68078Interlandi, Matteo; Tanca, Letizia 1 2018 Performing fully parallel constraint logic programming on a quantum annealer. Zbl 1452.68039Pakin, Scott 1 2018 Logic + control: on program construction and verification. Zbl 1425.68051Drabent, Włodzimierz 1 2018 Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption. Zbl 1478.68170Lopez-Garcia, P.; Darmawan, L.; Klemen, M.; Liqat, U.; Bueno, F.; Hermenegildo, M. V. 1 2018 {ASPeRiX}, a first-order forward chaining approach for answer set computing. Zbl 1379.68075Lefèvre, Claire; Béatrix, Christopher; Stéphan, Igor; Garcia, Laurent 11 2017 Ticker: a system for incremental ASP-based stream reasoning. Zbl 1422.68218Beck, Harald; Eiter, Thomas; Folie, Christian 8 2017 clingcon: the next generation. Zbl 1379.68040Banbara, Mutsunori; Kaufmann, Benjamin; Ostrowski, Max; Schaub, Torsten 8 2017 Clingo goes linear constraints over reals and integers. Zbl 1422.68024Janhunen, Tomi; Kaminski, Roland; Ostrowski, Max; Schellhorn, Sebastian; Wanko, Philipp; Schaub, Torsten 7 2017 Constraint answer set solver {ezcsp} and why integration schemas matter. Zbl 1379.68038Balduccini, Marcello; Lierler, Yuliya 6 2017 Productive corecursion in logic programming. Zbl 1422.68025Komendantskaya, Ekaterina; Li, Yue 5 2017 Computing \(\mathrm{LP}^{\mathrm{MLN}}\) using ASP and MLN solvers. Zbl 1422.68026Lee, Joohyung; Talsania, Samidh; Wang, Yi 5 2017 When you must forget: beyond strong persistence when forgetting in answer set programming. Zbl 1422.68022Gonçalves, Ricardo; Knorr, Matthias; Leite, João; Woltran, Stefan 4 2017 Fixpoint semantics and optimization of recursive Datalog programs with aggregates. Zbl 1422.68162Zaniolo, Carlo; Yang, Mohan; Das, Ariyam; Shkapsky, Alexander; Condie, Tyson; Interlandi, Matteo 4 2017 Non-monotonic spatial reasoning with answer set programming modulo theories. Zbl 1379.68303Wałęga, Przemysław Andrzej; Schultz, Carl; Bhatt, Mehul 4 2017 \(\alpha\mathrm{Check}\): a mechanized metatheory model checker. Zbl 1379.68236Cheney, James; Momigliano, Alberto 4 2017 Model enumeration in propositional circumscription via unsatisfiable core analysis. Zbl 1422.68217Alviano, Mario 3 2017 Achievements in answer set programming. Zbl 1422.68027Lifschitz, Vladimir 3 2017 A new algorithm to automate inductive learning of default theories. Zbl 1422.68029Shakerin, Farhad; Salazar, Elmer; Gupta, Gopal 3 2017 Program completion in the input language of GRINGO. Zbl 1422.68023Harrison, Amelia; Lifschitz, Vladimir; Raju, Dhananjay 2 2017 The intricacies of three-valued extensional semantics for higher-order logic programs. Zbl 1422.68028Rondogiannis, Panos; Symeonidou, Ioanna 2 2017 Hybrid conditional planning using answer set programming. Zbl 1422.68216Yalciner, Ibrahim Faruk; Nouman, Ahmed; Patoglu, Volkan; Erdem, Esra 2 2017 Range-based argumentation semantics as two-valued models. Zbl 1379.68299Osorio, Mauricio; Nieves, Juan Carlos 2 2017 A linear algebraic approach to Datalog evaluation. Zbl 1379.68082Sato, Taisuke 2 2017 On relation between constraint answer set programming and satisfiability modulo theories. Zbl 1379.68285Lierler, Yuliya; Susman, Benjamin 2 2017 Annotated defeasible logic. Zbl 1422.68219Governatori, Guido; Maher, Michael J. 1 2017 Representing hybrid automata by action language modulo theories. Zbl 1422.68154Lee, Joohyung; Loney, Nikhil; Meng, Yunsong 1 2017 Enablers and inhibitors in causal justifications of logic programs. Zbl 1379.68049Cabalar, Pedro; Fandinno, Jorge 1 2017 The KB paradigm and its application to interactive configuration. Zbl 1379.68306Van Hertum, Pieter; Dasseville, Ingmar; Janssens, Gerda; Denecker, Marc 1 2017 Consistency and trust in peer data exchange systems. Zbl 1379.68021Bertossi, Leopoldo; Bravo, Loreto 1 2017 Temporal logic programs with variables. Zbl 1379.68288Aguado, Felicidad; Cabalar, Pedro; Pérez, Gilberto; Vidal, Concepción; Diéguez, Martín 1 2017 CASP solutions for planning in hybrid domains. Zbl 1379.68039Balduccini, Marcello; Magazzeni, Daniele; Maratea, Marco; Leblanc, Emily C. 1 2017 Anytime answer set optimization via unsatisfiable core shrinking. Zbl 1379.68033Alviano, Mario; Dodaro, Carmine 13 2016 Justifying answer sets using argumentation. Zbl 1379.68301Schulz, Claudia; Toni, Francesca 12 2016 ...and 358 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 1,584 Authors 31 Woltran, Stefan 29 Eiter, Thomas 24 Schaub, Torsten H. 21 Cabalar, Pedro 21 Riguzzi, Fabrizio 21 Simari, Guillermo Ricardo 18 Alviano, Mario 17 Fandinno, Jorge 17 Truszczyński, Mirosław 16 Dodaro, Carmine 16 Hermenegildo, Manuel V. 16 Lierler, Yuliya 16 Lifschitz, Vladimir 16 Ricca, Francesco 14 Faber, Wolfgang 14 Fink, Michael 14 Gebser, Martin 14 Leone, Nicola 14 Maratea, Marco 14 Olarte, Carlos 14 Pontelli, Enrico 13 Arieli, Ofer 13 Schrijvers, Tom 12 Leite, João 11 De Cock, Martine 11 Erdem, Esra 11 Janhunen, Tomi 11 Lee, Joohyung 11 Nieves, Juan Carlos 11 Schockaert, Steven 11 Son, Tran Cao 10 Amendola, Giovanni 10 Bellodi, Elena 10 De Raedt, Luc 10 Denecker, Marc 10 Gallagher, John P. 10 Lamma, Evelina 10 Rondogiannis, Panos 10 Stuckey, Peter James 10 You, Jia-Huai 9 Calimeri, Francesco 9 Demoen, Bart 9 García, Alejandro Javier 9 Gelfond, Michael 9 Greco, Sergio 9 Kaminski, Roland 9 Krennwallner, Thomas 9 Pettorossi, Alberto 9 Proietti, Maurizio 9 Shen, Yidong 9 Vidal, Germán 8 Alpuente, María 8 Amgoud, Leila 8 Antoniou, Grigoris 8 Baral, Chitta R. 8 Bogaerts, Bart 8 Carro, Manuel 8 Fioravanti, Fabio 8 Gonçalves, Ricardo 8 Governatori, Guido 8 Hunter, Anthony 8 Inoue, Katsumi 8 López-García, Pedro 8 Molinaro, Cristian 8 Morak, Michael 8 Morales, Jose Francisco 8 Osorio, Mauricio A. 8 Pimentel, Elaine 8 Sakama, Chiaki 8 Tompits, Hans 8 Toni, Francesca 8 Vermeir, Dirk 8 Zangari, Jessica 8 Zese, Riccardo 7 Balduccini, Marcello 7 De Angelis, Emanuele 7 De Schreye, Danny 7 del Vado Vírseda, Rafael 7 Falappa, Marcelo Alejandro 7 Fariñas del Cerro, Luis 7 Gabbrielli, Maurizio 7 Gagliardi Cozman, Fabio 7 Harrison, Amelia 7 Ianni, Giovambattista 7 Knorr, Matthias 7 Manna, Marco 7 Mauá, Denis Deratani 7 Parisi, Francesco 7 Russo, Alessandra M. 7 Sáenz-Pérez, Fernando 7 Sato, Taisuke 7 Schüller, Peter 7 Søndergaard, Harald 7 Swift, Terrance 7 Vennekens, Joost 7 Wielemaker, Jan 7 Zhang, Yan 6 Albert, Elvira 6 Amato, Gianluca 6 Belle, Vaishak ...and 1,484 more Authors all top 5 Cited in 82 Journals 314 Theory and Practice of Logic Programming 120 Artificial Intelligence 74 Annals of Mathematics and Artificial Intelligence 62 International Journal of Approximate Reasoning 45 Theoretical Computer Science 27 Machine Learning 22 Journal of Applied Logic 17 Constraints 16 Journal of Automated Reasoning 15 Journal of Applied Non-Classical Logics 13 Information and Computation 12 Fuzzy Sets and Systems 12 ACM Transactions on Computational Logic 10 Fundamenta Informaticae 9 Journal of Logical and Algebraic Methods in Programming 8 Journal of Computer and System Sciences 7 Formal Methods in System Design 6 Formal Aspects of Computing 6 Logical Methods in Computer Science 5 Information Processing Letters 5 Information Sciences 5 Studia Logica 5 Annals of Pure and Applied Logic 5 New Generation Computing 5 MSCS. Mathematical Structures in Computer Science 5 Theory of Computing Systems 4 Journal of Philosophical Logic 4 Science of Computer Programming 4 Journal of Symbolic Computation 4 Computers & Operations Research 4 International Journal of Computer Mathematics 3 Acta Informatica 3 Top 3 The Journal of Artificial Intelligence Research (JAIR) 3 Higher-Order and Symbolic Computation 3 RAIRO. Operations Research 3 Computer Languages, Systems & Structures 3 Mathematics in Computer Science 2 Discrete Mathematics 2 Synthese 2 Facta Universitatis. Series Mathematics and Informatics 2 AI Communications 2 Annals of Operations Research 2 Real-Time Systems 2 European Journal of Operational Research 2 Journal of Functional Programming 2 Journal of the ACM 2 The Journal of Logic and Algebraic Programming 2 Science in China. Series F 2 Frontiers of Computer Science 1 Computers & Mathematics with Applications 1 Applied Mathematics and Computation 1 Computing 1 Journal of Computer Science and Technology 1 Algorithmica 1 International Journal of Intelligent Systems 1 International Journal of Algebra and Computation 1 International Journal of Foundations of Computer Science 1 Journal of Global Optimization 1 Discrete Event Dynamic Systems 1 Indagationes Mathematicae. New Series 1 Applicable Algebra in Engineering, Communication and Computing 1 Computational Optimization and Applications 1 Journal of Logic, Language and Information 1 Journal of Computer and Systems Sciences International 1 The Electronic Journal of Combinatorics 1 INFORMS Journal on Computing 1 Mathematical Problems in Engineering 1 Soft Computing 1 Journal of Combinatorial Optimization 1 Journal of the Royal Statistical Society. Series B. Statistical Methodology 1 Foundations of Science 1 Journal of Machine Learning Research (JMLR) 1 4OR 1 Journal of Discrete Algorithms 1 International Journal of Semantic Computing 1 Nonlinear Analysis. Hybrid Systems 1 International Journal of Information Technology & Decision Making 1 Science China. Information Sciences 1 Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas. RACSAM 1 Decision Analysis 1 International Journal of Systems Science. Principles and Applications of Systems and Integration all top 5 Cited in 29 Fields 1,167 Computer science (68-XX) 192 Mathematical logic and foundations (03-XX) 50 Operations research, mathematical programming (90-XX) 15 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 15 Biology and other natural sciences (92-XX) 14 Combinatorics (05-XX) 10 Statistics (62-XX) 7 Order, lattices, ordered algebraic structures (06-XX) 5 General and overarching topics; collections (00-XX) 5 Systems theory; control (93-XX) 3 Numerical analysis (65-XX) 2 History and biography (01-XX) 2 Number theory (11-XX) 2 Category theory; homological algebra (18-XX) 2 Convex and discrete geometry (52-XX) 2 Probability theory and stochastic processes (60-XX) 1 Algebraic geometry (14-XX) 1 Associative rings and algebras (16-XX) 1 Group theory and generalizations (20-XX) 1 Real functions (26-XX) 1 Measure and integration (28-XX) 1 Special functions (33-XX) 1 Geometry (51-XX) 1 General topology (54-XX) 1 Manifolds and cell complexes (57-XX) 1 Quantum theory (81-XX) 1 Astronomy and astrophysics (85-XX) 1 Information and communication theory, circuits (94-XX) 1 Mathematics education (97-XX) Citations by Year