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 Comments: Journal Documents Indexed: 679 Publications (since 2001) References Indexed: 517 Publications with 15,050 References. all top 5 Latest Issues 22, No. 5 (2022) 22, No. 4 (2022) 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 (2019) 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) ...and 1 more Volumes all top 5 Authors 26 Schaub, Torsten H. 18 Alviano, Mario 17 Eiter, Thomas 17 Ricca, Francesco 16 Leone, Nicola 15 Cabalar, Pedro 15 Lifschitz, Vladimir 15 Woltran, Stefan 14 Dodaro, Carmine 13 Fandinno, Jorge 13 Hermenegildo, Manuel V. 13 Pontelli, Enrico 13 Truszczyński, Mirosław 12 Faber, Wolfgang 12 Gebser, Martin 12 Lierler, Yuliya 12 Rocha, Ricardo 11 Bruynooghe, Maurice 11 Denecker, Marc 11 Erdem, Esra 11 Schrijvers, Tom 10 Carro, Manuel 10 Demoen, Bart 10 Lee, Joohyung 10 Manna, Marco 10 Riguzzi, Fabrizio 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 Gupta, Gopal K. 8 Kaminski, Roland 8 King, Andy 8 Maratea, Marco 8 Morales, Jose Francisco 8 Pettorossi, Alberto 8 Proietti, Maurizio 8 Son, Tran Cao 8 Wielemaker, Jan 8 You, Jia-Huai 8 Zangari, Jessica 7 Bogaerts, Bart 7 Santos Costa, Vítor 7 Harrison, Amelia 7 Janssens, Gerda 7 Maher, Michael J. 7 Perri, Simona 7 Trubitsyna, Irina 7 Vidal, Germán 7 Zhou, Neng-Fa 6 Albert, Elvira 6 Bagnara, Roberto 6 Calimeri, Francesco 6 Codish, Michael 6 De Schreye, Danny 6 Fioravanti, Fabio 6 Garcia de la Banda, Maria 6 Janhunen, Tomi 6 Lamma, Evelina 6 Mesnard, Fred 6 Rondogiannis, Panos 6 Russo, Alessandra M. 6 Sato, Taisuke 6 Zaniolo, Carlo 5 Amendola, Giovanni 5 Antoniou, Grigoris 5 Baral, Chitta R. 5 Bellodi, Elena 5 Charalambidis, Angelos 5 De Angelis, Emanuele 5 Drabent, Włodzimierz 5 Formisano, Andrea 5 Gabbrielli, Maurizio 5 Gelfond, Michael 5 Giordano, Laura 5 Haemmerlé, Rémy 5 Hill, Patricia M. 5 Leite, João 5 Leuschel, Michael 5 Morak, Michael 5 Oetsch, Johannes 5 Osorio, Mauricio A. 5 Ostrowski, Max 5 Rodríguez-Artalejo, Mario 5 Schekotihin, Konstantin 5 Serebrenik, Alexander 5 Shen, Yidong 5 Tarau, Paul 5 Theseider Dupré, Daniele 5 Vennekens, Joost 4 Alpuente, María 4 Arias, Joaquin 4 de Cat, Broes 4 De Cock, Martine 4 De Raedt, Luc 4 Duck, Gregory J. ...and 807 more Authors all top 5 Fields 675 Computer science (68-XX) 74 Mathematical logic and foundations (03-XX) 25 General and overarching topics; collections (00-XX) 7 Operations research, mathematical programming (90-XX) 7 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) 2 Mathematics education (97-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 486 Publications have been cited 2,890 times in 1,428 Documents Cited by ▼ Year ▼ Defeasible logic programming: An argumentative approach. Zbl 1090.68015García, Alejandro J.; Simari, Guillermo R. 97 2004 Answer sets for consistent query answering in inconsistent databases. Zbl 1079.68026Arenas, Marcelo; Bertossi, Leopoldo; Chomicki, Jan 90 2003 Multi-shot ASP solving with clingo. Zbl 1486.68027Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten 47 2019 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 45 2015 SWI-Prolog. Zbl 1244.68023Wielemaker, Jan; Schrijvers, Tom; Triska, Markus; Lager, Torbjörn 40 2012 Strong equivalence made easy: nested expressions and weight constraints. Zbl 1079.68017Turner, Hudson 38 2003 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. 38 2012 Well-founded and stable semantics of logic programs with aggregates. Zbl 1111.68070Pelov, Nikolay; Denecker, Marc; Bruynooghe, Maurice 38 2007 Probabilistic reasoning with answer sets. Zbl 1170.68003Baral, Chitta; Gelfond, Michael; Rushton, Nelson 34 2009 Weight constraints as nested expressions. Zbl 1093.68017Ferraris, Paolo; Lifschitz, Vladimir 33 2005 XSB: extending Prolog with tabled logic programming. Zbl 1244.68021Swift, Terrance; Warren, David S. 32 2012 A constructive semantic characterization of aggregates in answer set programming. Zbl 1111.68072Son, Tran Cao; Pontelli, Enrico 27 2007 Propositional theories are strongly equivalent to logic programs. Zbl 1132.68321Cabalar, Pedro; Ferraris, Paolo 27 2007 Tight logic programs. Zbl 1079.68014Erdem, Esra; Lifschitz, Vladimir 26 2003 Justifications for logic programs under answer set semantics. Zbl 1170.68005Pontelli, Enrico; Son, Tran Cao; Elkhatib, Omar 26 2009 Abstract gringo. Zbl 1379.68031Gebser, Martin; Harrison, Amelia; Kaminski, Roland; Lifschitz, Vladimir; Schaub, Torsten 25 2015 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 24 2020 Diagnostic reasoning with A-prolog. Zbl 1079.68094Balduccini, Marcello; Gelfond, Michael 23 2003 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. 23 2012 The PITA system: tabling and answer subsumption for reasoning under uncertainty. Zbl 1218.68169Riguzzi, Fabrizio; Swift, Terrance 23 2011 Vicious circle principle and logic programs with aggregates. Zbl 1309.68032Gelfond, Michael; Zhang, Yuanlin 23 2014 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 21 2011 The YAP prolog system. Zbl 1244.68017Costa, Vítor Santos; Rocha, Ricardo; Damas, Luís 21 2012 Structure learning of probabilistic logic programs by searching the clause space. Zbl 1379.68269Bellodi, Elena; Riguzzi, Fabrizio 21 2015 CP-logic: A language of causal probabilistic events and its relation to logic programming. Zbl 1179.68025Vennekens, Joost; Denecker, Marc; Bruynooghe, Maurice 20 2009 Design and implementation of aggregate functions in the DLV system. Zbl 1156.68010Faber, Wolfgang; Pfeifer, Gerald; Leone, Nicola; Dell’Armi, Tina; Ielpa, Giuseppe 19 2008 Complex optimization in answer set programming. Zbl 1222.68059Gebser, Martin; Kaminski, Roland; Schaub, Torsten 18 2011 A common view on strong, uniform, and other notions of equivalence in answer-set programming. Zbl 1140.68360Woltran, Stefan 18 2008 As time goes by: constraint handling rules. Zbl 1186.68096Sneyers, Jon; van Weert, Peter; Schrijvers, Tom; de Koninck, Leslie 17 2010 claspfolio 2: advances in algorithm selection for answer set programming. Zbl 1307.68016Hoos, Holger; Lindauer, Marius; Schaub, Torsten 17 2014 An abductive framework for computing knowledge base updates. Zbl 1085.68545Sakama, Chiaki; Inoue, Katsumi 16 2003 Justifying answer sets using argumentation. Zbl 1379.68301Schulz, Claudia; Toni, Francesca 16 2016 Detecting inconsistencies in large biological networks with answer set programming. Zbl 1220.68036Gebser, Martin; Schaub, Torsten; Thiele, Sven; Veber, Philippe 15 2011 Well-definedness and efficient inference for probabilistic logic programming under the distribution semantics. Zbl 1267.68084Riguzzi, Fabrizio; Swift, Terrance 15 2013 FLUX: a logic programming method for reasoning agents. Zbl 1105.68333Thielscher, Michael 15 2005 Achieving compositionality of the stable model semantics for SMODELS programs. Zbl 1156.68012Oikarinen, Emilia; Janhunen, Tomi 15 2008 Anytime answer set optimization via unsatisfiable core shrinking. Zbl 1379.68033Alviano, Mario; Dodaro, Carmine 15 2016 Catching the Ouroboros: on debugging non-ground answer-set programs. Zbl 1213.68182Oetsch, Johannes; Pührer, Jörg; Tompits, Hans 15 2010 On properties of update sequences based on causal rejection. Zbl 1105.68326Eiter, Thomas; Fink, Michael; Sabbatini, Giuliana; Tompits, Hans 14 2002 An interactive semantics of logic programming. Zbl 1066.68512Bruni, Roberto; Montanari, Ugo; Rossi, Francesca 14 2001 Logic programs with monotone abstract constraint atoms. Zbl 1142.68018Marek, Victor W.; Niemelä, Ilkka; Truszczyński, Mirosław 14 2008 Constraint answer set programming without grounding. Zbl 1451.68063Arias, Joaquin; Carro, Manuel; Salazar, Elmer; Marple, Kyle; Gupta, Gopal 14 2018 SUNNY: a lazy portfolio approach for constraint solving. Zbl 1307.68077Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo 14 2014 Causal graph justifications of logic programs. Zbl 1309.68028Cabalar, Pedro; Fandinno, Jorge; Fink, Michael 14 2014 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 13 2004 ASP modulo CSP: the clingcon system. Zbl 1260.68066Ostrowski, Max; Schaub, Torsten 13 2012 Transformation-based bottom-up computation of the well-founded model. Zbl 1105.68322Brass, Stefan; Dix, Jürgen; Freitag, Burkhard; Zukowski, Ulrich 13 2001 Iterative learning of answer set programs from context dependent examples. Zbl 1379.68074Law, Mark; Russo, Alessandra; Broda, Krysia 13 2016 Abstract answer set solvers with backjumping and learning. Zbl 1220.68038Lierler, Yuliya 12 2011 A framework for compiling preferences in logic programs. Zbl 1105.68323Delgrande, James P.; Schaub, Torsten; Tompits, Hans 12 2003 Logic program specialisation through partial deduction: Control issues. Zbl 1105.68331Leuschel, Michael; Bruynooghe, Maurice 12 2002 Set unification. Zbl 1108.68104Dovier, Agostino; Pontelli, Enrico; Rossi, Gianfranco 12 2006 Epistemic foundation of stable model semantics. Zbl 1110.68070Loyer, Yann; Straccia, Umberto 12 2006 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 12 2016 {ASPeRiX}, a first-order forward chaining approach for answer set computing. Zbl 1379.68075Lefèvre, Claire; Béatrix, Christopher; Stéphan, Igor; Garcia, Laurent 12 2017 Anytime computation of cautious consequences in answer set programming. Zbl 1307.68012Alviano, Mario; Dodaro, Carmine; Ricca, Francesco 12 2014 \(\text{ECL}^{\text{i}}\text{PS}^{\text{e}}\) – from LP to CLP. Zbl 1244.68020Schimpf, Joachim; Shen, Kish 11 2012 The language features and architecture of B-Prolog. Zbl 1244.68024Zhou, Neng-Fa 11 2012 Characterization of strongly equivalent logic programs in intermediate logics. Zbl 1069.68538de Jongh, Dick H. J.; Hendriks, Lex 11 2003 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 Answer set programming as a modeling language for course timetabling. Zbl 1286.68040Banbara, Mutsunori; Soh, Takehide; Tamura, Naoyuki; Inoue, Katsumi; Schaub, Torsten 11 2013 Bounded LTL model checking with stable models. Zbl 1079.68058Heljanko, Keijo; Niemelä, Ilkka 10 2003 Propositional defeasible logic has linear complexity. Zbl 1066.68530Maher, Michael J. 10 2001 Specialization of functional logic programs based on needed narrowing. Zbl 1092.68018Alpuente, María; Lucas, Salvador; Vidal, Germán; Hanus, Michael 10 2005 Logic programming with satisfiability. Zbl 1128.68014Codish, Michael; Lagoon, Vitaly; Stuckey, Peter J. 10 2008 Generating explanations for biomedical queries. Zbl 1379.68059Erdem, Esra; Oztok, Umut 10 2015 Rewriting recursive aggregates in answer set programming: back to monotonicity. Zbl 1379.68034Alviano, Mario; Faber, Wolfgang; Gebser, Martin 10 2015 Solving Horn clauses on inductive data types without induction. Zbl 1451.68172De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio 10 2018 Automated termination analysis for logic programs with cut. Zbl 1209.68098Schneider-Kamp, Peter; Giesl, Jürgen; Ströder, Thomas; Serebrenik, Alexander; Thiemann, René 10 2010 Functional answer set programming. Zbl 1220.68033Cabalar, Pedro 9 2011 Compiling finite domain constraints to SAT with BEE. Zbl 1260.68081Metodi, Amit; Codish, Michael 9 2012 Conflict-driven ASP solving with external sources. Zbl 1260.68060Eiter, Thomas; Fink, Michael; Krennwallner, Thomas; Redl, Christoph 9 2012 Preferred extensions as stable models. Zbl 1148.68012Nieves, Juan Carlos; Cortés, Ulises; Osorio, Mauricio 9 2008 Equivalence-checking on infinite-state systems: techniques and results. Zbl 1101.68700Kučera, Antonín; Jančar, Petr 9 2006 Automatic verification of timed concurrent constraint programs. Zbl 1101.68679Falaschi, Moreno; Villanueva, Alicia 9 2006 State space computation and analysis of time Petri nets. Zbl 1104.68071Gardey, Guillaume; Roux, Olivier H.; Roux, Olivier F. 9 2006 Planning with preferences using logic programming. Zbl 1122.68030Son, Tran Cao; Pontelli, Enrico 9 2006 The magic of logical inference in probabilistic programming. Zbl 1222.68060Gutmann, Bernd; Thon, Ingo; Kimmig, Angelika; Bruynooghe, Maurice; De Raedt, Luc 9 2011 clingcon: the next generation. Zbl 1379.68040Banbara, Mutsunori; Kaufmann, Benjamin; Ostrowski, Max; Schaub, Torsten 9 2017 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 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 9 2016 Minimum model semantics for extensional higher-order logic programming with negation. Zbl 1309.68030Charalambidis, Angelos; Ésik, Zoltán; Rondogiannis, Panos 9 2014 Applications of intuitionistic logic in answer set programming. Zbl 1088.68028Osorio, Mauricio; Navarro, Juan A.; Arrazola, José 8 2004 SICStus Prolog – the first 25 years. Zbl 1244.68016Carlsson, Mats; Mildner, Per 8 2012 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 Characterising equilibrium logic and nested logic programs: Reductions and complexity. Zbl 1186.68100Pearce, David; Tompits, Hans; Woltran, Stefan 8 2009 On finitely recursive programs. Zbl 1166.68311Baselice, Sabrina; Bonatti, Piero A.; Criscuolo, Giovanni 8 2009 Abstract diagnosis for timed concurrent constraint programs. Zbl 1222.68053Comini, Marco; Titolo, Laura; Villanueva, Alicia 8 2011 Polytool: polynomial interpretations as a basis for termination analysis of logic programs. Zbl 1222.68064Nguyen, Manh Thang; De Schreye, Danny; Giesl, Jürgen; Schneider-Kamp, Peter 8 2011 N3Logic: A logical framework for the world wide web. Zbl 1139.68010Berners-Lee, Tim; Connolly, Dan; Kagal, Lalana; Scharf, Yosi; Hendler, Jim 8 2008 SWI-Prolog and the web. Zbl 1139.68012Wielemaker, Jan; Huang, Zhisheng; van der Meij, Lourens 8 2008 Online learning of event definitions. Zbl 1379.68072Katzouris, Nikos; Artikis, Alexander; Paliouras, Georgios 8 2016 Ticker: a system for incremental ASP-based stream reasoning. Zbl 1422.68218Beck, Harald; Eiter, Thomas; Folie, Christian 8 2017 A probabilistic logic programming event calculus. Zbl 1379.68305Skarlatidis, Anastasios; Artikis, Alexander; Filippou, Jason; Paliouras, Georgios 8 2015 Optimizing phylogenetic supertrees using answer set programming. Zbl 1379.92038Koponen, Laura; Oikarinen, Emilia; Janhunen, Tomi; Säilä, Laura 8 2015 Proving correctness of imperative programs by linearizing constrained Horn clauses. Zbl 1379.68093De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio 8 2015 Exploiting answer set programming with external sources for meta-interpretive learning. Zbl 1451.68064Kaminski, Tobias; Eiter, Thomas; Inoue, Katsumi 8 2018 Dynamic consistency checking in goal-directed answer set programming. Zbl 1307.68020Marple, Kyle; Gupta, Gopal 8 2014 Computing preferred answer sets by meta-interpretation in answer set programming. Zbl 1079.68096Eiter, Thomas; Faber, Wolfgang; Leone, Nicola; Pfeifer, Gerald 7 2003 Enhanced sharing analysis techniques: a comprehensive evaluation. Zbl 1093.68015Bagnara, Roberto; Zaffanella, Enea; Hill, Patricia M. 7 2005 Introduction to the 38th international conference on logic programming special issue. Zbl 07595321Lierler, Yuliya; Morales, Jose F. 1 2022 Utilizing treewidth for quantitative reasoning on epistemic logic programs. Zbl 07454770Besin, Viktor; Hecher, Markus; Woltran, Stefan 2 2021 A logical characterization of the preferred models of logic programs with ordered disjunction. Zbl 07454773Charalambidis, Angelos; Rondogiannis, Panos; Troumpoukis, Antonis 2 2021 Determining action reversibility in STRIPS using answer set and epistemic logic programming. Zbl 07454774Faber, Wolfgang; Morak, Michael; Chrpa, Lukáš 2 2021 Omission-based abstraction for answer set programs. Zbl 1472.68029Saribatur, Zeynep G.; Eiter, Thomas 1 2021 Train scheduling with hybrid answer set programming. Zbl 07390873Abels, Dirk; Jordi, Julian; Ostrowski, Max; Schaub, Torsten; Toletti, Ambra; Wanko, Philipp 1 2021 Optimizing probabilities in probabilistic logic programs. Zbl 07454768Azzolini, Damiano; Riguzzi, Fabrizio 1 2021 Nonground abductive logic programming with probabilistic integrity constraints. Zbl 07454769Bellodi, Elena; Gavanelli, Marco; Zese, Riccardo; Lamma, Evelina; Riguzzi, Fabrizio 1 2021 Planning with incomplete information in quantified answer set programming. Zbl 07454775Fandinno, Jorge; Laferriere, Francois; Romero, Javier; Schaub, Torsten; Son, Tran Cao 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 24 2020 The Seventh Answer Set Programming Competition: design and results. Zbl 1472.68026Gebser, Martin; Maratea, Marco; Ricca, Francesco 7 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 5 2020 selp: a single-shot epistemic logic program solver. Zbl 1472.68022Bichler, Manuel; Morak, Michael; Woltran, Stefan 5 2020 An ASP approach for reasoning in a concept-aware multipreferential lightweight DL. Zbl 1468.68212Giordano, Laura; Theseider Dupré, Daniele 5 2020 Flexible coinductive logic programming. Zbl 1468.68054Dagnino, Francesco; Ancona, Davide; Zucca, Elena 5 2020 MAP inference for probabilistic logic programming. Zbl 1468.68051Bellodi, Elena; Alberti, Marco; Riguzzi, Fabrizio; Zese, Riccardo 4 2020 Implementing a library for probabilistic programming using non-strict non-determinism. Zbl 1434.68062Dylus, Sandra; Christiansen, Jan; Teegen, Finn 3 2020 The external interface for extending WASP. Zbl 1472.68183Dodaro, Carmine; Ricca, Francesco 3 2020 A comparative study of some central notions of \(\mathit{ASPIC}^+\) and DeLP. Zbl 1472.68189García, Alejandro J.; Prakken, Henry; Simari, Guillermo R. 3 2020 eclingo: a solver for epistemic logic programs. Zbl 1468.68053Cabalar, Pedro; Fandinno, Jorge; Garea, Javier; Romero, Javier; Schaub, Torsten 3 2020 A logic framework for P2P deductive databases. Zbl 1434.68140Caroprese, Luciano; Zumpano, Ester 2 2020 Solving advanced argumentation problems with answer set programming. Zbl 1472.68186Brewka, Gerhard; Diller, Martin; Heissenberger, Georg; Linsbichler, Thomas; Woltran, Stefan 2 2020 On the semantics of abstract argumentation frameworks: a logic programming approach. Zbl 1468.68211Alfano, Gianvincenzo; Greco, Sergio; Parisi, Francesco; Trubitsyna, Irina 2 2020 Verifying tight logic programs with anthem and vampire. Zbl 1468.68127Fandinno, Jorge; Lifschitz, Vladimir; Lühne, Patrick; Schaub, Torsten 2 2020 Modular answer set programming as a formal specification language. Zbl 1468.68119Cabalar, Pedro; Fandinno, Jorge; Lierler, Yuliya 2 2020 Towards metric temporal answer set programming. Zbl 1468.68052Cabalar, Pedro; Diéguez, Martín; Schaub, Torsten; Schuhmann, Anna 2 2020 Exploiting game theory for analysing justifications. Zbl 1468.68214Marynissen, Simon; Bogaerts, Bart; Denecker, Marc 2 2020 The new normal: we cannot eliminate cuts in coinductive calculi, but we can explore them. Zbl 1477.03241Komendantskaya, Ekaterina; Rozplokhas, Dmitry; Basold, Henning 2 2020 In praise of impredicativity: a contribution to the formalization of meta-programming. Zbl 1434.68102Bry, François 1 2020 A transformational approach to resource analysis with typed-norms inference. Zbl 1472.68033Albert, Elvira; Genaim, Samir; Gutiérrez, Raúl; Martin-Martin, Enrique 1 2020 Concolic testing in CLP. Zbl 1468.68055Mesnard, Fred; Payet, Étienne; Vidal, Germán 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 Incremental maintenance of overgrounded logic programs with tailored simplifications. Zbl 1468.68223Ianni, Giovambattista; Pacenza, Francesco; Zangari, Jessica 1 2020 Human robot collaborative assembly planning: an answer set programming approach. Zbl 1457.68270Rizwan, Momina; Patoglu, Volkan; Erdem, Esra 1 2020 Multi-shot ASP solving with clingo. Zbl 1486.68027Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten 47 2019 Answering the “why” in answer set programming – a survey of explanation approaches. Zbl 1486.68026Fandinno, Jorge; Schulz, Claudia 6 2019 Incremental answer set programming with overgrounding. Zbl 1434.68555Calimeri, Francesco; Ianni, Giovambattista; Pacenza, Francesco; Perri, Simona; Zangari, Jessica 5 2019 Founded (auto)epistemic equilibrium logic satisfies epistemic splitting. Zbl 1434.68557Fandinno, Jorge 4 2019 Optimizing answer set computation via heuristic-based decomposition. Zbl 1472.68024Calimeri, Francesco; Perri, Simona; Zangari, Jessica 4 2019 Debugging non-ground ASP programs: technique and graphical tools. Zbl 1486.68025Dodaro, Carmine; Gasteiger, Philip; Reale, Kristian; Ricca, Francesco; Schekotihin, Konstantin 4 2019 Resource analysis driven by (conditional) termination proofs. Zbl 1434.68101Albert, Elvira; Bofill, Miquel; Borralleras, Cristina; Martin-Martin, Enrique; Rubio, Albert 3 2019 On uniform equivalence of epistemic logic programs. Zbl 1434.68073Faber, Wolfgang; Morak, Michael; Woltran, Stefan 3 2019 On the equivalence between abstract dialectical frameworks and logic programs. Zbl 1434.68553Alcântara, João; Sá, Samy; Acosta-Guadarrama, Juan 3 2019 A distributed approach to LARS stream reasoning (system paper). Zbl 1434.68546Eiter, Thomas; Ogris, Paul; Schekotihin, Konstantin 3 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 3 2019 A syntactic operator for forgetting that satisfies strong persistence. Zbl 1434.68561Berthold, Matti; Gonçalves, Ricardo; Knorr, Matthias; Leite, João 3 2019 Enhancing magic sets with an application to ontological reasoning. Zbl 1434.68560Alviano, Mario; Leone, Nicola; Veltri, Pierfrancesco; Zangari, Jessica 2 2019 About epistemic negation and world views in epistemic logic programs. Zbl 1434.68071Constantini, Stefania 2 2019 Partial compilation of ASP programs. Zbl 1434.68072Cuteri, Bernardo; Dodaro, Carmine; Ricca, Francesco; Schüller, Peter 2 2019 Relating two dialects of answer set programming. Zbl 1434.68074Harrison, Amelia; Lifschitz, Vladimir 2 2019 A case for stale synchronous distributed model for declarative recursive computation. Zbl 1434.68142Das, Ariyam; Zaniolo, Carlo 2 2019 Domain-independent cost-optimal planning in ASP. Zbl 1434.68548Spies, David; You, Jia-Huai; Hayward, Ryan 2 2019 plasp 3: towards effective ASP planning. Zbl 1472.68182Dimopoulos, Yannis; Gebser, Martin; Lühne, Patrick; Romero, Javier; Schaub, Torsten 2 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 Anti-unification in constraint logic programming. Zbl 1434.68076Yernaux, Gonzague; Vanhoof, Wim 1 2019 Inconsistency proofs for ASP: the ASP-DRUPE format. Zbl 1434.68065Alviano, Mario; Dodaro, Carmine; Fichte, Johannes K.; Hecher, Markus; Philipp, Tobias; Rath, Jakob 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 Description, implementation, and evaluation of a generic design for tabled CLP. Zbl 1472.68021Arias, Joaquín; Carro, Manuel 1 2019 Using SWISH to realize interactive web-based tutorials for logic-based languages. Zbl 1486.68029Wielemaker, Jan; Riguzzi, Fabrizio; Kowalski, Robert A.; Lager, Torbjörn; Sadri, Fariba; Calejo, Miguel 1 2019 Constraint answer set programming without grounding. Zbl 1451.68063Arias, Joaquin; Carro, Manuel; Salazar, Elmer; Marple, Kyle; Gupta, Gopal 14 2018 Solving Horn clauses on inductive data types without induction. Zbl 1451.68172De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio 10 2018 Exploiting answer set programming with external sources for meta-interpretive learning. Zbl 1451.68064Kaminski, Tobias; Eiter, Thomas; Inoue, Katsumi 8 2018 Shared aggregate sets in answer set programming. Zbl 1451.68062Alviano, Mario; Dodaro, Carmine; Maratea, Marco 5 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 5 2018 Functional ASP with intensional sets: application to Gelfond-Zhang aggregates. Zbl 1451.68255Cabalar, Pedro; Fandinno, Jorge; Fariñas del Cerro, Luis; Pearce, David 5 2018 Scaling-up reasoning and advanced analytics on BigData. Zbl 1452.68064Condie, Tyson; Das, Ariyam; Interlandi, Matteo; Shkapsky, Alexander; Yang, Mohan; Zaniolo, Carlo 5 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 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 Constraint-based inference in probabilistic logic programs. Zbl 1451.68264Nampally, Arun; Zhang, Timothy; Ramakrishnan, C. R. 4 2018 Logic + control: on program construction and verification. Zbl 1425.68051Drabent, Włodzimierz 3 2018 Stepwise debugging of answer-set programs. Zbl 1425.68053Oetsch, Johannes; Pührer, Jörg; Tompits, Hans 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 Temporal answer set programming on finite traces. Zbl 1451.68256Cabalar, Pedro; Kaminski, Roland; Schaub, Torsten; Schuhmann, Anna 3 2018 A probabilistic extension of action language \(\mathcal{BC}+\). Zbl 1451.68263Lee, Joohyung; Wang, Yi 3 2018 A concurrent constraint programming interpretation of access permissions. Zbl 1478.68056Olarte, Carlos; Pimentel, Elaine; Rueda, Camilo 3 2018 Approximation fixpoint theory and the well-founded semantics of higher-order logic programs. Zbl 1452.68037Charalambidis, Angelos; Rondogiannis, Panos; Symeonidou, Ioanna 2 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 2 2018 Performing fully parallel constraint logic programming on a quantum annealer. Zbl 1452.68039Pakin, Scott 2 2018 Predicate pairing for program verification. Zbl 1478.68153De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio 2 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. 2 2018 Tree dimension in verification of constrained Horn clauses. Zbl 1478.68165Kafle, Bishoksan; Gallagher, John P.; Ganty, Pierre 2 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 Datalog-based computational model for coordination-free, data-parallel systems. Zbl 1452.68078Interlandi, Matteo; Tanca, Letizia 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 12 2017 clingcon: the next generation. Zbl 1379.68040Banbara, Mutsunori; Kaufmann, Benjamin; Ostrowski, Max; Schaub, Torsten 9 2017 Ticker: a system for incremental ASP-based stream reasoning. Zbl 1422.68218Beck, Harald; Eiter, Thomas; Folie, Christian 8 2017 Constraint answer set solver {ezcsp} and why integration schemas matter. Zbl 1379.68038Balduccini, Marcello; Lierler, Yuliya 7 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 Productive corecursion in logic programming. Zbl 1422.68025Komendantskaya, Ekaterina; Li, Yue 6 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 6 2017 Computing \(\mathrm{LP}^{\mathrm{MLN}}\) using ASP and MLN solvers. Zbl 1422.68026Lee, Joohyung; Talsania, Samidh; Wang, Yi 5 2017 A new algorithm to automate inductive learning of default theories. Zbl 1422.68029Shakerin, Farhad; Salazar, Elmer; Gupta, Gopal 5 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 4 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 ...and 386 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 1,811 Authors 37 Woltran, Stefan 34 Schaub, Torsten H. 31 Eiter, Thomas 25 Gebser, Martin 24 Cabalar, Pedro 24 Simari, Guillermo Ricardo 23 Ricca, Francesco 22 Riguzzi, Fabrizio 21 Alviano, Mario 21 Hermenegildo, Manuel V. 20 Dodaro, Carmine 20 Lierler, Yuliya 19 Fandinno, Jorge 19 Lifschitz, Vladimir 17 Maratea, Marco 17 Truszczyński, Mirosław 16 Leone, Nicola 15 Faber, Wolfgang 15 Fink, Michael 15 Janhunen, Tomi 15 Pontelli, Enrico 14 Arieli, Ofer 14 Morales, Jose Francisco 14 Olarte, Carlos 14 Schrijvers, Tom 13 Denecker, Marc 13 Erdem, Esra 12 De Cock, Martine 12 García, Alejandro Javier 12 Lee, Joohyung 12 Leite, João 12 Nieves, Juan Carlos 12 Schockaert, Steven 11 Amendola, Giovanni 11 Bellodi, Elena 11 De Raedt, Luc 11 Gallagher, John P. 11 Gupta, Gopal K. 11 Hunter, Anthony 11 Kaminski, Roland 11 López-García, Pedro 11 Pettorossi, Alberto 11 Proietti, Maurizio 11 Rondogiannis, Panos 11 Son, Tran Cao 11 Vidal, Germán 11 You, Jia-Huai 10 Amgoud, Leila 10 Carro, Manuel 10 Demoen, Bart 10 Fioravanti, Fabio 10 Inoue, Katsumi 10 Lamma, Evelina 10 Stuckey, Peter James 9 Bogaerts, Bart 9 Calimeri, Francesco 9 De Angelis, Emanuele 9 Fichte, Johannes Klaus 9 Gelfond, Michael 9 Governatori, Guido 9 Greco, Sergio 9 Krennwallner, Thomas 9 Morak, Michael 9 Russo, Alessandra M. 9 Sáenz-Pérez, Fernando 9 Shen, Yidong 9 Tompits, Hans 9 Toni, Francesca 9 Zangari, Jessica 8 Alpuente, María 8 Antoniou, Grigoris 8 Baral, Chitta R. 8 Drabent, Włodzimierz 8 Gabbrielli, Maurizio 8 Giesl, Jürgen 8 Gonçalves, Ricardo 8 Harrison, Amelia 8 Manna, Marco 8 Molinaro, Cristian 8 Osorio, Mauricio A. 8 Pimentel, Elaine 8 Sakama, Chiaki 8 Schekotihin, Konstantin 8 Vermeir, Dirk 8 Zese, Riccardo 8 Zhang, Yan 7 Amato, Gianluca 7 Balduccini, Marcello 7 Belle, Vaishak 7 Bertossi, Leopoldo E. 7 Bruni, Roberto 7 De Schreye, Danny 7 del Vado Vírseda, Rafael 7 Falappa, Marcelo Alejandro 7 Gagliardi Cozman, Fabio 7 Godo, Lluís 7 Hecher, Markus 7 Ianni, Giovambattista 7 Janssens, Gerda 7 Kaufmann, Benjamin ...and 1,711 more Authors all top 5 Cited in 91 Journals 329 Theory and Practice of Logic Programming 130 Artificial Intelligence 77 Annals of Mathematics and Artificial Intelligence 70 International Journal of Approximate Reasoning 48 Theoretical Computer Science 34 Machine Learning 22 Journal of Applied Logic 19 Constraints 16 Journal of Automated Reasoning 15 Journal of Applied Non-Classical Logics 14 Information and Computation 13 ACM Transactions on Computational Logic 12 Fuzzy Sets and Systems 10 The Journal of Artificial Intelligence Research (JAIR) 9 Fundamenta Informaticae 9 Journal of Logical and Algebraic Methods in Programming 8 Journal of Computer and System Sciences 8 MSCS. Mathematical Structures in Computer Science 7 Formal Methods in System Design 7 Logical Methods in Computer Science 6 Formal Aspects of Computing 5 Information Processing Letters 5 Information Sciences 5 Studia Logica 5 Annals of Pure and Applied Logic 5 New Generation Computing 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 4 Journal of Functional Programming 3 Acta Informatica 3 Discrete Mathematics 3 Top 3 Journal of Combinatorial Optimization 3 Higher-Order and Symbolic Computation 3 RAIRO. Operations Research 3 Computer Languages, Systems & Structures 3 Mathematics in Computer Science 2 Rendiconti dell’Istituto di Matematica dell’Università di Trieste 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 Logic, Language and Information 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 Bulletin of Mathematical Biology 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 Archive for Mathematical Logic 1 Indagationes Mathematicae. New Series 1 Applicable Algebra in Engineering, Communication and Computing 1 Computational Optimization and Applications 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 the Royal Statistical Society. Series B. Statistical Methodology 1 Foundations of Science 1 Journal of Machine Learning Research (JMLR) 1 Quantum Information Processing 1 4OR 1 Journal of Multiple-Valued Logic and Soft Computing 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 Foundations and Trends in Databases 1 Science China. Information Sciences 1 Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas. RACSAM 1 Statistics and Computing 1 Decision Analysis 1 Electronic Journal of Graph Theory and Applications 1 International Journal of Systems Science. Principles and Applications of Systems and Integration 1 Logicheskie Issledovaniya all top 5 Cited in 31 Fields 1,357 Computer science (68-XX) 222 Mathematical logic and foundations (03-XX) 56 Operations research, mathematical programming (90-XX) 19 Combinatorics (05-XX) 19 Biology and other natural sciences (92-XX) 18 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 12 Statistics (62-XX) 8 Order, lattices, ordered algebraic structures (06-XX) 6 Systems theory; control (93-XX) 5 General and overarching topics; collections (00-XX) 4 Probability theory and stochastic processes (60-XX) 4 Numerical analysis (65-XX) 3 History and biography (01-XX) 3 Category theory; homological algebra (18-XX) 3 Quantum theory (81-XX) 2 General algebraic systems (08-XX) 2 Number theory (11-XX) 2 Convex and discrete geometry (52-XX) 2 Information and communication theory, circuits (94-XX) 2 Mathematics education (97-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 Dynamical systems and ergodic theory (37-XX) 1 Geometry (51-XX) 1 General topology (54-XX) 1 Manifolds and cell complexes (57-XX) 1 Astronomy and astrophysics (85-XX) Citations by Year