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: 780 Publications (since 2001) References Indexed: 611 Publications with 20,299 References. all top 5 Latest Issues 24, No. 3 (2024) 24, No. 2 (2024) 24, No. 1 (2024) 23, No. 6 (2023) 23, No. 5 (2023) 23, No. 4 (2023) 23, No. 3 (2023) 23, No. 2 (2023) 23, No. 1 (2023) 22, No. 6 (2022) 22, No. 5 (2022) 22, No. 4 (2022) 22, No. 3 (2022) 22, No. 2 (2022) 22, No. 1 (2022) 21, No. 6 (2021) 21, No. 5 (2021) 21, No. 4 (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) ...and 16 more Volumes all top 5 Authors 32 Schaub, Torsten H. 22 Eiter, Thomas 21 Alviano, Mario 19 Lifschitz, Vladimir 19 Ricca, Francesco 18 Dodaro, Carmine 18 Fandinno, Jorge 18 Pontelli, Enrico 17 Cabalar, Pedro 17 Hermenegildo, Manuel V. 17 Leone, Nicola 17 Lierler, Yuliya 16 Faber, Wolfgang 16 Woltran, Stefan 15 Truszczyński, Mirosław 13 Gebser, Martin 13 Rocha, Ricardo 13 Schrijvers, Tom 12 Denecker, Marc 12 Maratea, Marco 11 Bruynooghe, Maurice 11 Erdem, Esra 11 Gupta, Gopal 11 Maher, Michael J. 11 Manna, Marco 11 Riguzzi, Fabrizio 10 Balduccini, Marcello 10 Bogaerts, Bart 10 Carro, Manuel 10 Demoen, Bart 10 Greco, Sergio 10 Kaminski, Roland 10 Lee, Joohyung 10 Morales, Jose Francisco 10 Stuckey, Peter James 9 Dovier, Agostino 9 Frühwirth, Thom 9 Pettorossi, Alberto 9 Proietti, Maurizio 9 Swift, Terrance 9 Tompits, Hans 9 Vennekens, Joost 9 Wielemaker, Jan 9 You, Jia-Huai 8 Santos Costa, Vítor 8 De Raedt, Luc 8 Fink, Michael 8 Formisano, Andrea 8 Janhunen, Tomi 8 King, Andy 8 Son, Tran Cao 8 Trubitsyna, Irina 7 Drabent, Włodzimierz 7 Fioravanti, Fabio 7 Gelfond, Michael 7 Harrison, Amelia 7 Janssens, Gerda 7 Leite, João 7 Perri, Simona 7 Russo, Alessandra M. 7 Zangari, Jessica 7 Zhou, Neng-Fa 6 Albert, Elvira 6 Bagnara, Roberto 6 Calimeri, Francesco 6 Codish, Michael 6 De Angelis, Emanuele 6 De Schreye, Danny 6 Diéguez, Martín 6 Garcia de la Banda, Maria 6 Inclezan, Daniela 6 Lamma, Evelina 6 Mesnard, Fred 6 Oetsch, Johannes 6 Sato, Taisuke 6 Zaniolo, Carlo 5 Alpuente, María 5 Amendola, Giovanni 5 Antoniou, Grigoris 5 Baral, Chitta R. 5 Bellodi, Elena 5 Charalambidis, Angelos 5 Costantini, Stefania 5 Gabbrielli, Maurizio 5 Gallagher, John P. 5 Gavanelli, Marco 5 Giordano, Laura 5 Gottlob, Georg 5 Haemmerlé, Rémy 5 Hill, Patricia M. 5 Kimmig, Angelika 5 Leuschel, Michael 5 López-García, Pedro 5 Morak, Michael 5 Osorio Galindo, Mauricio 5 Ostrowski, Max 5 Peñaloza, Rafael 5 Rodríguez-Artalejo, Mario 5 Schachte, Peter 5 Schekotihin, Konstantin ...and 924 more Authors all top 5 Fields 775 Computer science (68-XX) 90 Mathematical logic and foundations (03-XX) 37 General and overarching topics; collections (00-XX) 12 Operations research, mathematical programming (90-XX) 7 Biology and other natural sciences (92-XX) 5 Combinatorics (05-XX) 5 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Statistics (62-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 558 Publications have been cited 3,709 times in 1,706 Documents Cited by ▼ Year ▼ Defeasible logic programming: An argumentative approach. Zbl 1090.68015 García, Alejandro J.; Simari, Guillermo R. 107 2004 Answer sets for consistent query answering in inconsistent databases. Zbl 1079.68026 Arenas, Marcelo; Bertossi, Leopoldo; Chomicki, Jan 75 2003 Multi-shot ASP solving with clingo. Zbl 1486.68027 Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten 72 2019 Inference and learning in probabilistic logic programs using weighted Boolean formulas. Zbl 1379.68062 Fierens, Daan; Van den Broeck, Guy; Renkens, Joris; Shterionov, Dimitar; Gutmann, Bernd; Thon, Ingo; Janssens, Gerda; De Raedt, Luc 64 2015 ASP-Core-2 input language format. Zbl 1472.68180 Calimeri, Francesco; Faber, Wolfgang; Gebser, Martin; Ianni, Giovambattista; Kaminski, Roland; Krennwallner, Thomas; Leone, Nicola; Maratea, Marco; Ricca, Francesco; Schaub, Torsten 58 2020 SWI-Prolog. Zbl 1244.68023 Wielemaker, Jan; Schrijvers, Tom; Triska, Markus; Lager, Torbjörn 53 2012 Well-founded and stable semantics of logic programs with aggregates. Zbl 1111.68070 Pelov, Nikolay; Denecker, Marc; Bruynooghe, Maurice 48 2007 Probabilistic reasoning with answer sets. Zbl 1170.68003 Baral, Chitta; Gelfond, Michael; Rushton, Nelson 47 2009 An overview of Ciao and its design philosophy. Zbl 1244.68019 Hermenegildo, M. V.; Bueno, F.; Carro, M.; López-García, P.; Mera, E.; Morales, J. F.; Puebla, G. 44 2012 Strong equivalence made easy: nested expressions and weight constraints. Zbl 1079.68017 Turner, Hudson 42 2003 XSB: extending Prolog with tabled logic programming. Zbl 1244.68021 Swift, Terrance; Warren, David S. 40 2012 Weight constraints as nested expressions. Zbl 1093.68017 Ferraris, Paolo; Lifschitz, Vladimir 38 2005 Tight logic programs. Zbl 1079.68014 Erdem, Esra; Lifschitz, Vladimir 35 2003 Propositional theories are strongly equivalent to logic programs. Zbl 1132.68321 Cabalar, Pedro; Ferraris, Paolo 35 2007 Abstract gringo. Zbl 1379.68031 Gebser, Martin; Harrison, Amelia; Kaminski, Roland; Lifschitz, Vladimir; Schaub, Torsten 34 2015 The PITA system: tabling and answer subsumption for reasoning under uncertainty. Zbl 1218.68169 Riguzzi, Fabrizio; Swift, Terrance 28 2011 A constructive semantic characterization of aggregates in answer set programming. Zbl 1111.68072 Son, Tran Cao; Pontelli, Enrico 28 2007 Justifications for logic programs under answer set semantics. Zbl 1170.68005 Pontelli, Enrico; Son, Tran Cao; Elkhatib, Omar 28 2009 CP-logic: A language of causal probabilistic events and its relation to logic programming. Zbl 1179.68025 Vennekens, Joost; Denecker, Marc; Bruynooghe, Maurice 26 2009 On the implementation of the probabilistic logic programming language ProbLog. Zbl 1220.68037 Kimmig, Angelika; Demoen, Bart; De Raedt, Luc; Costa, Vítor Santos; Rocha, Ricardo 26 2011 The YAP prolog system. Zbl 1244.68017 Costa, Vítor Santos; Rocha, Ricardo; Damas, Luís 25 2012 Complex optimization in answer set programming. Zbl 1222.68059 Gebser, Martin; Kaminski, Roland; Schaub, Torsten 23 2011 Diagnostic reasoning with A-prolog. Zbl 1079.68094 Balduccini, Marcello; Gelfond, Michael 23 2003 Team-building with answer set programming in the Gioia-Tauro seaport. Zbl 1250.90050 Ricca, F.; Grasso, G.; Alviano, M.; Manna, M.; Lio, V.; Iiritano, S.; Leone, N. 23 2012 Vicious circle principle and logic programs with aggregates. Zbl 1309.68032 Gelfond, Michael; Zhang, Yuanlin 22 2014 A common view on strong, uniform, and other notions of equivalence in answer-set programming. Zbl 1140.68360 Woltran, Stefan 20 2008 Design and implementation of aggregate functions in the DLV system. Zbl 1156.68010 Faber, Wolfgang; Pfeifer, Gerald; Leone, Nicola; Dell’Armi, Tina; Ielpa, Giuseppe 20 2008 claspfolio 2: advances in algorithm selection for answer set programming. Zbl 1307.68016 Hoos, Holger; Lindauer, Marius; Schaub, Torsten 20 2014 On properties of update sequences based on causal rejection. Zbl 1105.68326 Eiter, Thomas; Fink, Michael; Sabbatini, Giuliana; Tompits, Hans 19 2002 An abductive framework for computing knowledge base updates. Zbl 1085.68545 Sakama, Chiaki; Inoue, Katsumi 18 2003 Catching the Ouroboros: on debugging non-ground answer-set programs. Zbl 1213.68182 Oetsch, Johannes; Pührer, Jörg; Tompits, Hans 17 2010 ASP modulo CSP: the clingcon system. Zbl 1260.68066 Ostrowski, Max; Schaub, Torsten 17 2012 Achieving compositionality of the stable model semantics for SMODELS programs. Zbl 1156.68012 Oikarinen, Emilia; Janhunen, Tomi 17 2008 Detecting inconsistencies in large biological networks with answer set programming. Zbl 1220.68036 Gebser, Martin; Schaub, Torsten; Thiele, Sven; Veber, Philippe 17 2011 Structure learning of probabilistic logic programs by searching the clause space. Zbl 1379.68269 Bellodi, Elena; Riguzzi, Fabrizio 17 2015 Justifying answer sets using argumentation. Zbl 1379.68301 Schulz, Claudia; Toni, Francesca 17 2016 Constraint answer set programming without grounding. Zbl 1451.68063 Arias, Joaquin; Carro, Manuel; Salazar, Elmer; Marple, Kyle; Gupta, Gopal 17 2018 Combining answer set programming and domain heuristics for solving hard industrial problems (application paper). Zbl 1379.68281 Dodaro, Carmine; Gasteiger, Philip; Leone, Nicola; Musitsch, Benjamin; Ricca, Francesco; Shchekotykhin, Kostyantyn 17 2016 Well-definedness and efficient inference for probabilistic logic programming under the distribution semantics. Zbl 1267.68084 Riguzzi, Fabrizio; Swift, Terrance 16 2013 Transformation-based bottom-up computation of the well-founded model. Zbl 1105.68322 Brass, Stefan; Dix, Jürgen; Freitag, Burkhard; Zukowski, Ulrich 16 2001 As time goes by: constraint handling rules. Zbl 1186.68096 Sneyers, Jon; van Weert, Peter; Schrijvers, Tom; de Koninck, Leslie 16 2010 Causal graph justifications of logic programs. Zbl 1309.68028 Cabalar, Pedro; Fandinno, Jorge; Fink, Michael 16 2014 Clingo goes linear constraints over reals and integers. Zbl 1422.68024 Janhunen, Tomi; Kaminski, Roland; Ostrowski, Max; Schellhorn, Sebastian; Wanko, Philipp; Schaub, Torsten 16 2017 Solving Horn clauses on inductive data types without induction. Zbl 1451.68172 De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio 16 2018 Anytime answer set optimization via unsatisfiable core shrinking. Zbl 1379.68033 Alviano, Mario; Dodaro, Carmine 16 2016 Iterative learning of answer set programs from context dependent examples. Zbl 1379.68074 Law, Mark; Russo, Alessandra; Broda, Krysia 16 2016 Logic programs with monotone abstract constraint atoms. Zbl 1142.68018 Marek, Victor W.; Niemelä, Ilkka; Truszczyński, Mirosław 15 2008 Anytime computation of cautious consequences in answer set programming. Zbl 1307.68012 Alviano, Mario; Dodaro, Carmine; Ricca, Francesco 15 2014 An interactive semantics of logic programming. Zbl 1066.68512 Bruni, Roberto; Montanari, Ugo; Rossi, Francesca 15 2001 A framework for compiling preferences in logic programs. Zbl 1105.68323 Delgrande, James P.; Schaub, Torsten; Tompits, Hans 15 2003 Logic program specialisation through partial deduction: Control issues. Zbl 1105.68331 Leuschel, Michael; Bruynooghe, Maurice 15 2002 Set unification. Zbl 1108.68104 Dovier, Agostino; Pontelli, Enrico; Rossi, Gianfranco 15 2006 The Seventh Answer Set Programming Competition: design and results. Zbl 1472.68026 Gebser, Martin; Maratea, Marco; Ricca, Francesco 15 2020 clingcon: the next generation. Zbl 1379.68040 Banbara, Mutsunori; Kaufmann, Benjamin; Ostrowski, Max; Schaub, Torsten 15 2017 FLUX: a logic programming method for reasoning agents. Zbl 1105.68333 Thielscher, Michael 14 2005 Rewriting recursive aggregates in answer set programming: back to monotonicity. Zbl 1379.68034 Alviano, Mario; Faber, Wolfgang; Gebser, Martin 14 2015 The language features and architecture of B-Prolog. Zbl 1244.68024 Zhou, Neng-Fa 14 2012 Propositional defeasible logic has linear complexity. Zbl 1066.68530 Maher, Michael J. 13 2001 Characterization of strongly equivalent logic programs in intermediate logics. Zbl 1069.68538 de Jongh, Dick H. J.; Hendriks, Lex 13 2003 Reasoning and planning with sensing actions, incomplete information, and static causal laws using answer set programming. Zbl 1120.68101 Tu, Phan Huy; Son, Tran Cao; Baral, Chitta 13 2007 SUNNY: a lazy portfolio approach for constraint solving. Zbl 1307.68077 Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo 13 2014 Equivalence-checking on infinite-state systems: techniques and results. Zbl 1101.68700 Kučera, Antonín; Jančar, Petr 13 2006 Predicate logic as a modeling language: modeling and solving some machine learning and data mining problems with IDP3. Zbl 1379.68279 Bruynooghe, Maurice; Blockeel, Hendrik; Bogaerts, Bart; De Cat, Broes; De Pooter, Stef; Jansen, Joachim; Labarre, Anthony; Ramon, Jan; Denecker, Marc; Verwer, Sicco 13 2015 {ASPeRiX}, a first-order forward chaining approach for answer set computing. Zbl 1379.68075 Lefèvre, Claire; Béatrix, Christopher; Stéphan, Igor; Garcia, Laurent 13 2017 \(\text{ECL}^{\text{i}}\text{PS}^{\text{e}}\) – from LP to CLP. Zbl 1244.68020 Schimpf, Joachim; Shen, Kish 13 2012 The magic of logical inference in probabilistic programming. Zbl 1222.68060 Gutmann, Bernd; Thon, Ingo; Kimmig, Angelika; Bruynooghe, Maurice; De Raedt, Luc 12 2011 Answer set programming as a modeling language for course timetabling. Zbl 1286.68040 Banbara, Mutsunori; Soh, Takehide; Tamura, Naoyuki; Inoue, Katsumi; Schaub, Torsten 12 2013 Conflict-driven ASP solving with external sources. Zbl 1260.68060 Eiter, Thomas; Fink, Michael; Krennwallner, Thomas; Redl, Christoph 12 2012 Specialization of functional logic programs based on needed narrowing. Zbl 1092.68018 Alpuente, María; Lucas, Salvador; Vidal, Germán; Hanus, Michael 12 2005 Bounded LTL model checking with stable models. Zbl 1079.68058 Heljanko, Keijo; Niemelä, Ilkka 12 2003 Epistemic foundation of stable model semantics. Zbl 1110.68070 Loyer, Yann; Straccia, Umberto 12 2006 Planning with preferences using logic programming. Zbl 1122.68030 Son, Tran Cao; Pontelli, Enrico 12 2006 Temporal answer set programming on finite traces. Zbl 1451.68256 Cabalar, Pedro; Kaminski, Roland; Schaub, Torsten; Schuhmann, Anna 12 2018 Answering the “why” in answer set programming – a survey of explanation approaches. Zbl 1486.68026 Fandinno, Jorge; Schulz, Claudia 12 2019 Characterising equilibrium logic and nested logic programs: Reductions and complexity. Zbl 1186.68100 Pearce, David; Tompits, Hans; Woltran, Stefan 11 2009 Minimum model semantics for extensional higher-order logic programming with negation. Zbl 1309.68030 Charalambidis, Angelos; Ésik, Zoltán; Rondogiannis, Panos 11 2014 Abstract answer set solvers with backjumping and learning. Zbl 1220.68038 Lierler, Yuliya 11 2011 Control-flow refinement by partial evaluation, and its application to termination and cost analysis. Zbl 1434.68104 Doménech, Jesús J.; Gallagher, John P.; Genaim, Samir 11 2019 State space computation and analysis of time Petri nets. Zbl 1104.68071 Gardey, Guillaume; Roux, Olivier H.; Roux, Olivier F. 11 2006 Generating explanations for biomedical queries. Zbl 1379.68059 Erdem, Esra; Oztok, Umut 11 2015 A model building framework for answer set programming with external computations. Zbl 1379.68058 Eiter, Thomas; Fink, Michael; Ianni, Giovambattista; Krennwallner, Thomas; Redl, Christoph; Schüller, Peter 11 2016 SICStus Prolog – the first 25 years. Zbl 1244.68016 Carlsson, Mats; Mildner, Per 11 2012 Theory of finite or infinite trees revisited. Zbl 1148.68043 Djelloul, Khalil; Dao, Thi-Bich-Hanh; Frühwirth, Thom 10 2008 Abduction in well-founded semantics and generalized stable models via tabled dual programs. Zbl 1090.68014 Alferes, José Júlio; Pereira, Luíz Moniz; Swift, Terrance 10 2004 Disjunctive logic programs with inheritance. Zbl 1087.68527 Buccafurri, Francesco; Faber, Wolfgang; Leone, Nicola 10 2002 Logic programming with satisfiability. Zbl 1128.68014 Codish, Michael; Lagoon, Vitaly; Stuckey, Peter J. 10 2008 Computing \(\mathrm{LP}^{\mathrm{MLN}}\) using ASP and MLN solvers. Zbl 1422.68026 Lee, Joohyung; Talsania, Samidh; Wang, Yi 10 2017 A probabilistic logic programming event calculus. Zbl 1379.68305 Skarlatidis, Anastasios; Artikis, Alexander; Filippou, Jason; Paliouras, Georgios 10 2015 Learning weak constraints in answer set programming. Zbl 1379.68073 Law, Mark; Russo, Alessandra; Broda, Krysia 10 2015 Exploiting answer set programming with external sources for meta-interpretive learning. Zbl 1451.68064 Kaminski, Tobias; Eiter, Thomas; Inoue, Katsumi 10 2018 Constraint answer set solver {ezcsp} and why integration schemas matter. Zbl 1379.68038 Balduccini, Marcello; Lierler, Yuliya 10 2017 Preferred extensions as stable models. Zbl 1148.68012 Nieves, Juan Carlos; Cortés, Ulises; Osorio, Mauricio 9 2008 SWI-Prolog and the web. Zbl 1139.68012 Wielemaker, Jan; Huang, Zhisheng; van der Meij, Lourens 9 2008 A translational approach to constraint answer set solving. Zbl 1209.68511 Drescher, Christian; Walsh, Toby 9 2010 Resource usage analysis of logic programs via abstract interpretation using sized types. Zbl 1307.68022 Serrano, A.; Lopez-Garcia, P.; Hermenegildo, M. V. 9 2014 Compiling finite domain constraints to SAT with BEE. Zbl 1260.68081 Metodi, Amit; Codish, Michael 9 2012 Inference in probabilistic logic programs with continuous random variables. Zbl 1260.68063 Islam, Muhammad Asiful; Ramakrishnan, C. R.; Ramakrishnan, I. V. 9 2012 ASP with non-Herbrand partial functions: a language and system for practical use. Zbl 1286.68039 Balduccini, Marcello 9 2013 Finding similar/diverse solutions in answer set programming. Zbl 1266.68081 Eiter, Thomas; Erdem, Esra; Erdogan, Halit; Fink, Michael 9 2013 Towards automated integration of guess and check programs in answer set programming: a meta-interpreter and applications. Zbl 1109.68028 Eiter, Thomas; Polleres, Axel 9 2006 Forgetting in answer set programming – a survey. Zbl 07984735 Gonçalves, Ricardo; Knorr, Matthias; Leite, João 1 2023 External behavior of a logic program and verification of refactoring. Zbl 07984771 Fandinno, Jorge; Hansen, Zachary; Lierler, Yuliya; Lifschitz, Vladimir; Temple, Nathan 1 2023 Analysis and transformation of constrained Horn clauses for program verification. Zbl 1541.68215 De Angelis, Emanuele; Fioravanti, Fabio; Gallagher, John P.; Hermenegildo, Manuel V.; Pettorossi, Alberto; Proietti, Maurizio 4 2022 Efficient knowledge compilation beyond weighted model counting. Zbl 1541.68070 Kiesel, Rafael; Totis, Pietro; Kimmig, Angelika 3 2022 Strong equivalence of logic programs with counting. Zbl 1541.68073 Lifschitz, Vladimir 3 2022 An ASP approach for reasoning on neural networks under a finitely many-valued semantics for weighted conditional knowledge bases. Zbl 1541.68351 Giordano, Laura; Theseider Dupré, Daniele 3 2022 Problem decomposition and multi-shot ASP solving for job-shop scheduling. Zbl 1541.90146 El-Kholany, Mohammed M. S.; Gebser, Martin; Schekotihin, Konstantin 3 2022 Exploiting database management systems and treewidth for counting. Zbl 1530.68067 Fichte, Johannes K.; Hecher, Markus; Thier, Patrick; Woltran, Stefan 3 2022 Alternating fixpoint operator for hybrid MKNF knowledge bases as an approximator of AFT. Zbl 1530.68253 Liu, Fangfang; You, Jia-Huai 3 2022 Thirty years of epistemic specifications. Zbl 1541.68348 Fandinno, Jorge; Faber, Wolfgang; Gelfond, Michael 3 2022 Verifying catamorphism-based contracts using constrained Horn clauses. Zbl 1541.68103 De Angelis, Emanuele; Proietti, Maurizio; Fioravanti, Fabio; Pettorossi, Alberto 2 2022 On correctness and completeness of an \(n\) queens program. Zbl 1530.68054 Drabent, Włodzimierz 2 2022 Modeling and reasoning in event calculus using goal-directed constraint answer set programming. Zbl 1530.68242 Arias, Joaquín; Carro, Manuel; Chen, Zhuo; Gupta, Gopal 2 2022 Fifty years of Prolog and beyond. Zbl 1541.68071 Körner, Philipp; Leuschel, Michael; Barbosa, João; Santos Costa, Vítor; Dahl, Verónica; Hermenegildo, Manuel V.; Morales, Jose F.; Wielemaker, Jan; Diaz, Daniel; Abreu, Salvador; Ciatto, Giovanni 2 2022 Introduction to the 38th international conference on logic programming special issue. Zbl 1541.68013 1 2022 Analyzing semantics of aggregate answer set programming using approximation fixpoint theory. Zbl 1541.68078 Vanbesien, Linde; Bruynooghe, Maurice; Denecker, Marc 1 2022 On nested justification systems. Zbl 1541.68362 Marynissen, Simon; Heyninck, Jesse; Bogaerts, Bart; Denecker, Marc 1 2022 Strong equivalence of logic programs with ordered disjunction: a logical perspective. Zbl 1541.68066 Charalambidis, Angelos; Nomikos, Christos; Rondogiannis, Panos 1 2022 Efficient TBox reasoning with value restrictions using the \(\mathcal{FL}_0 \mathit{wer}\) reasoner. Zbl 1530.68243 Baader, Franz; Koopmann, Patrick; Michel, Friedrich; Turhan, Anni-Yasmin; Zarriess, Benjamin 1 2022 Temporal minimal-world query answering over sparse ABoxes. Zbl 1530.68250 Borgwardt, Stefan; Forkel, Walter; Kovtunova, Alisa 1 2022 An ASP-based approach to answering natural language questions for texts. Zbl 1530.68258 Pendharkar, Dhruva; Basu, Kinjal; Shakerin, Farhad; Gupta, Gopal 1 2022 Introduction to the collection of papers celebrating the 20th anniversary of TPLP. Zbl 1530.68022 1 2022 Train scheduling with hybrid answer set programming. Zbl 1522.68095 Abels, Dirk; Jordi, Julian; Ostrowski, Max; Schaub, Torsten; Toletti, Ambra; Wanko, Philipp 5 2021 A logical characterization of the preferred models of logic programs with ordered disjunction. Zbl 1522.68106 Charalambidis, Angelos; Rondogiannis, Panos; Troumpoukis, Antonis 4 2021 An asymptotic analysis of probabilistic logic programming, with implications for expressing projective families of distributions. Zbl 1530.68061 Weitkämper, Felix Q. 4 2021 Incremental and modular context-sensitive analysis. Zbl 1472.68035 Garcia-Contreras, Isabel; Morales, José F.; Hermenegildo, Manuel V. 3 2021 Splitting epistemic logic programs. Zbl 1522.68104 Cabalar, Pedro; Fandinno, Jorge; Fariñas del Cerro, Luis 3 2021 Utilizing treewidth for quantitative reasoning on epistemic logic programs. Zbl 1522.68100 Besin, Viktor; Hecher, Markus; Woltran, Stefan 3 2021 Reasoning on multirelational contextual hierarchies via answer set programming with algebraic measures. Zbl 1522.68101 Bozzato, Loris; Eiter, Thomas; Kiesel, Rafael 3 2021 Solution enumeration by optimality in answer set programming. Zbl 1530.68058 Pajunen, Jukka; Janhunen, Tomi 3 2021 Planning with incomplete information in quantified answer set programming. Zbl 1522.68514 Fandinno, Jorge; Laferriere, Francois; Romero, Javier; Schaub, Torsten; Son, Tran Cao 3 2021 Backjumping is exception handling. Zbl 1472.68028 Robbins, Ed; King, Andy; Howe, Jacob M. 2 2021 Omission-based abstraction for answer set programs. Zbl 1472.68029 Saribatur, Zeynep G.; Eiter, Thomas 2 2021 Determining action reversibility in STRIPS using answer set and epistemic logic programming. Zbl 1522.68110 Faber, Wolfgang; Morak, Michael; Chrpa, Lukáš 2 2021 Manipulation of articulated objects using dual-arm robots via answer set programming. Zbl 1522.68595 Bertolucci, Riccardo; Capitanelli, Alessio; Dodaro, Carmine; Leone, Nicola; Maratea, Marco; Mastrogiovanni, Fulvio; Vallati, Mauro 1 2021 Modal logic S5 satisfiability in answer set programming. Zbl 1522.68714 Alviano, Mario; Batsakis, Sotiris; Baryannis, George 1 2021 Optimizing probabilities in probabilistic logic programs. Zbl 1522.68097 Azzolini, Damiano; Riguzzi, Fabrizio 1 2021 Nonground abductive logic programming with probabilistic integrity constraints. Zbl 1522.68099 Bellodi, Elena; Gavanelli, Marco; Zese, Riccardo; Lamma, Evelina; Riguzzi, Fabrizio 1 2021 Exploring the jungle of intuitionistic temporal logics. Zbl 1539.03068 Boudou, Joseph; Diéguez, Martín; Fernández-Duque, David; Kremer, Philip 1 2021 Completing the picture: complexity of graded modal logics with converse. Zbl 1529.68115 Bednarczyk, Bartosz; Kieroński, Emanuel; Witkowski, Piotr 1 2021 Here and there with arithmetic. Zbl 1530.68248 Lifschitz, Vladimir 1 2021 VeriFly: on-the-fly assertion checking via incrementality. Zbl 1530.68059 Sanchez-Ordaz, Miguel A.; Garcia-Contreras, Isabel; Perez, Victor; Morales, José F.; Lopez-Garcia, Pedro; Hermenegildo, Manuel V. 1 2021 ASP-Core-2 input language format. Zbl 1472.68180 Calimeri, Francesco; Faber, Wolfgang; Gebser, Martin; Ianni, Giovambattista; Kaminski, Roland; Krennwallner, Thomas; Leone, Nicola; Maratea, Marco; Ricca, Francesco; Schaub, Torsten 58 2020 The Seventh Answer Set Programming Competition: design and results. Zbl 1472.68026 Gebser, Martin; Maratea, Marco; Ricca, Francesco 15 2020 Verifying tight logic programs with anthem and vampire. Zbl 1468.68127 Fandinno, Jorge; Lifschitz, Vladimir; Lühne, Patrick; Schaub, Torsten 9 2020 Technical note. Efficiently coupling the \(\mathscr{I}\)-DLV grounder with ASP solvers. Zbl 1472.68179 Calimeri, Francesco; Dodaro, Carmine; Fuscà, Davide; Perri, Simona; Zangari, Jessica 8 2020 On the semantics of abstract argumentation frameworks: a logic programming approach. Zbl 1468.68211 Alfano, Gianvincenzo; Greco, Sergio; Parisi, Francesco; Trubitsyna, Irina 8 2020 Towards metric temporal answer set programming. Zbl 1468.68052 Cabalar, Pedro; Diéguez, Martín; Schaub, Torsten; Schuhmann, Anna 8 2020 An ASP approach for reasoning in a concept-aware multipreferential lightweight DL. Zbl 1468.68212 Giordano, Laura; Theseider Dupré, Daniele 7 2020 selp: a single-shot epistemic logic program solver. Zbl 1472.68022 Bichler, Manuel; Morak, Michael; Woltran, Stefan 6 2020 The external interface for extending WASP. Zbl 1472.68183 Dodaro, Carmine; Ricca, Francesco 6 2020 Flexible coinductive logic programming. Zbl 1468.68054 Dagnino, Francesco; Ancona, Davide; Zucca, Elena 6 2020 A comparative study of some central notions of \(\mathit{ASPIC}^+\) and DeLP. Zbl 1472.68189 García, Alejandro J.; Prakken, Henry; Simari, Guillermo R. 5 2020 Solving advanced argumentation problems with answer set programming. Zbl 1472.68186 Brewka, Gerhard; Diller, Martin; Heissenberger, Georg; Linsbichler, Thomas; Woltran, Stefan 5 2020 MAP inference for probabilistic logic programming. Zbl 1468.68051 Bellodi, Elena; Alberti, Marco; Riguzzi, Fabrizio; Zese, Riccardo 5 2020 eclingo: a solver for epistemic logic programs. Zbl 1468.68053 Cabalar, Pedro; Fandinno, Jorge; Garea, Javier; Romero, Javier; Schaub, Torsten 5 2020 Modular answer set programming as a formal specification language. Zbl 1468.68119 Cabalar, Pedro; Fandinno, Jorge; Lierler, Yuliya 4 2020 Advancing lazy-grounding ASP solving techniques – restarts, phase saving, heuristics, and more. Zbl 1468.68228 Weinzierl, Antonius; Taupe, Richard; Friedrich, Gerhard 3 2020 Concolic testing in CLP. Zbl 1468.68055 Mesnard, Fred; Payet, Étienne; Vidal, Germán 3 2020 Exploiting game theory for analysing justifications. Zbl 1468.68214 Marynissen, Simon; Bogaerts, Bart; Denecker, Marc 3 2020 Implementing a library for probabilistic programming using non-strict non-determinism. Zbl 1434.68062 Dylus, Sandra; Christiansen, Jan; Teegen, Finn 3 2020 Rethinking defeasible reasoning: a scalable approach. Zbl 1472.68191 Maher, Michael J.; Tachmazidis, Ilias; Antoniou, Grigoris; Wade, Stephen; Cheng, Long 2 2020 Modelling multi-agent epistemic planning in ASP. Zbl 1468.68251 Burigana, Alessandro; Fabiano, Francesco; Dovier, Agostino; Pontelli, Enrico 2 2020 A generalised approach for encoding and reasoning with qualitative theories in answer set programming. Zbl 1468.68218 Baryannis, George; Tachmazidis, Ilias; Batsakis, Sotiris; Antoniou, Grigoris; Alviano, Mario; Papadakis, Emmanuel 2 2020 \(\mathrm{ASP}(\mathcal{AC})\): answer set programming with algebraic constraints. Zbl 1471.68047 Eiter, Thomas; Kiesel, Rafael 2 2020 The new normal: we cannot eliminate cuts in coinductive calculi, but we can explore them. Zbl 1477.03241 Komendantskaya, Ekaterina; Rozplokhas, Dmitry; Basold, Henning 2 2020 Human robot collaborative assembly planning: an answer set programming approach. Zbl 1457.68270 Rizwan, Momina; Patoglu, Volkan; Erdem, Esra 2 2020 In praise of impredicativity: a contribution to the formalization of meta-programming. Zbl 1434.68102 Bry, François 2 2020 A transformational approach to resource analysis with typed-norms inference. Zbl 1472.68033 Albert, Elvira; Genaim, Samir; Gutiérrez, Raúl; Martin-Martin, Enrique 1 2020 Boosting answer set optimization with weighted comparator networks. Zbl 1472.68023 Bomanson, Jori; Janhunen, Tomi 1 2020 Introduction to the 36th international conference on logic programming. Special issue I. Zbl 1468.68018 1 2020 A general framework for stable roommates problems using answer set programming. Zbl 1468.68197 Erdem, Esra; Fidan, Müge; Manlove, David; Prosser, Patrick 1 2020 Reasoning about cardinal directions between 3-dimensional extended objects using answer set programming. Zbl 1468.68224 Izmirlioglu, Yusuf; Erdem, Esra 1 2020 Explanation generation for multi-modal multi-agent path finding with optimal resource utilization using answer set programming. Zbl 1468.68192 Bogatarkan, Aysu; Erdem, Esra 1 2020 A logic framework for P2P deductive databases. Zbl 1434.68140 Caroprese, Luciano; Zumpano, Ester 1 2020 Compositional specification in rewriting logic. Zbl 1434.68301 Martín, Óscar; Verdejo, Alberto; Martí-Oliet, Narciso 1 2020 Multi-shot ASP solving with clingo. Zbl 1486.68027 Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten 72 2019 Answering the “why” in answer set programming – a survey of explanation approaches. Zbl 1486.68026 Fandinno, Jorge; Schulz, Claudia 12 2019 Control-flow refinement by partial evaluation, and its application to termination and cost analysis. Zbl 1434.68104 Doménech, Jesús J.; Gallagher, John P.; Genaim, Samir 11 2019 A syntactic operator for forgetting that satisfies strong persistence. Zbl 1434.68561 Berthold, Matti; Gonçalves, Ricardo; Knorr, Matthias; Leite, João 8 2019 Optimizing answer set computation via heuristic-based decomposition. Zbl 1472.68024 Calimeri, Francesco; Perri, Simona; Zangari, Jessica 7 2019 Debugging non-ground ASP programs: technique and graphical tools. Zbl 1486.68025 Dodaro, Carmine; Gasteiger, Philip; Reale, Kristian; Ricca, Francesco; Schekotihin, Konstantin 7 2019 Resource analysis driven by (conditional) termination proofs. Zbl 1434.68101 Albert, Elvira; Bofill, Miquel; Borralleras, Cristina; Martin-Martin, Enrique; Rubio, Albert 6 2019 Founded (auto)epistemic equilibrium logic satisfies epistemic splitting. Zbl 1434.68557 Fandinno, Jorge 5 2019 plasp 3: towards effective ASP planning. Zbl 1472.68182 Dimopoulos, Yannis; Gebser, Martin; Lühne, Patrick; Romero, Javier; Schaub, Torsten 4 2019 About epistemic negation and world views in epistemic logic programs. Zbl 1434.68071 Constantini, Stefania 4 2019 On uniform equivalence of epistemic logic programs. Zbl 1434.68073 Faber, Wolfgang; Morak, Michael; Woltran, Stefan 4 2019 Beyond NP: quantifying over answer sets. Zbl 1434.68068 Amendola, Giovanni; Ricca, Francesco; Truszczynski, Miroslaw 3 2019 Anti-unification in constraint logic programming. Zbl 1434.68076 Yernaux, Gonzague; Vanhoof, Wim 3 2019 Revisiting explicit negation in answer set programming. Zbl 1434.68064 Aguado, Felicidad; Cabalar, Pedro; Fandinno, Jorge; Pearce, David; Péréz, Gilberto; Vidal, Concepción 3 2019 On the equivalence between abstract dialectical frameworks and logic programs. Zbl 1434.68553 Alcântara, João; Sá, Samy; Acosta-Guadarrama, Juan 3 2019 Domain-independent cost-optimal planning in ASP. Zbl 1434.68548 Spies, David; You, Jia-Huai; Hayward, Ryan 3 2019 Relating two dialects of answer set programming. Zbl 1434.68074 Harrison, Amelia; Lifschitz, Vladimir 3 2019 Using SWISH to realize interactive web-based tutorials for logic-based languages. Zbl 1486.68029 Wielemaker, Jan; Riguzzi, Fabrizio; Kowalski, Robert A.; Lager, Torbjörn; Sadri, Fariba; Calejo, Miguel 3 2019 Description, implementation, and evaluation of a generic design for tabled CLP. Zbl 1472.68021 Arias, Joaquín; Carro, Manuel 2 2019 Hybrid ASP-based approach to pattern mining. Zbl 1472.68152 Paramonov, Sergey; Stepanova, Daria; Miettinen, Pauli 2 2019 Enhancing magic sets with an application to ontological reasoning. Zbl 1434.68560 Alviano, Mario; Leone, Nicola; Veltri, Pierfrancesco; Zangari, Jessica 2 2019 Paracoherent answer set semantics meets argumentation frameworks. Zbl 1434.68554 Amendola, Giovanni; Ricca, Francesco 2 2019 Partial compilation of ASP programs. Zbl 1434.68072 Cuteri, Bernardo; Dodaro, Carmine; Ricca, Francesco; Schüller, Peter 2 2019 Inconsistency proofs for ASP: the ASP-DRUPE format. Zbl 1434.68065 Alviano, Mario; Dodaro, Carmine; Fichte, Johannes K.; Hecher, Markus; Philipp, Tobias; Rath, Jakob 2 2019 ...and 458 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 2,099 Authors 45 Schaub, Torsten H. 41 Woltran, Stefan 38 Eiter, Thomas 33 Cabalar, Pedro 29 Alviano, Mario 27 Dodaro, Carmine 27 Fandinno, Jorge 27 Gebser, Martin 27 Ricca, Francesco 27 Riguzzi, Fabrizio 26 Lierler, Yuliya 26 Simari, Guillermo Ricardo 25 Hermenegildo, Manuel V. 24 Lifschitz, Vladimir 21 Maratea, Marco 19 Faber, Wolfgang 18 Denecker, Marc 18 Pontelli, Enrico 17 Bogaerts, Bart 17 De Raedt, Luc 17 Janhunen, Tomi 17 Leone, Nicola 17 Schrijvers, Tom 17 Truszczyński, Mirosław 16 Morales, Jose Francisco 16 Pearce, David 15 Arieli, Ofer 15 Fink, Michael 15 Gupta, Gopal 15 Leite, João 15 Olarte, Carlos 14 Erdem, Esra 14 Greco, Sergio 14 You, Jia-Huai 13 Drabent, Włodzimierz 13 Gallagher, John P. 13 García, Alejandro Javier 13 Inoue, Katsumi 13 Kaminski, Roland 13 Lee, Joohyung 13 Pettorossi, Alberto 13 Proietti, Maurizio 12 De Angelis, Emanuele 12 De Cock, Martine 12 Fichte, Johannes Klaus 12 Fioravanti, Fabio 12 Governatori, Guido 12 Lamma, Evelina 12 López-García, Pedro 12 Nieves, Juan Carlos 12 Schockaert, Steven 11 Amendola, Giovanni 11 Bellodi, Elena 11 Gelfond, Michael 11 Giesl, Jürgen 11 Hunter, Anthony 11 Knorr, Matthias 11 Parisi, Francesco 11 Russo, Alessandra M. 11 Son, Tran Cao 11 Toni, Francesca 11 Vennekens, Joost 10 Alpuente, María 10 Amgoud, Leila 10 Balduccini, Marcello 10 Bertossi, Leopoldo E. 10 Demoen, Bart 10 Diéguez, Martín 10 Gonçalves, Ricardo 10 Hecher, Markus 10 Morak, Michael 10 Stuckey, Peter James 10 Vidal, Germán 10 Zese, Riccardo 9 Bruni, Roberto 9 Bruynooghe, Maurice 9 Calimeri, Francesco 9 Carro, Manuel 9 Fariñas del Cerro, Luis 9 Formisano, Andrea 9 Giordano, Laura 9 Krennwallner, Thomas 9 Law, Mark M. 9 Molinaro, Cristian 9 Romero, Javier 9 Sáenz-Pérez, Fernando 9 Shen, Yidong 9 Tompits, Hans 9 Trubitsyna, Irina 8 Antoniou, Grigoris 8 Baral, Chitta R. 8 Broda, Krysia B. 8 Charalambidis, Angelos 8 Cropper, Andrew 8 Escobar, Santiago 8 Falappa, Marcelo Alejandro 8 Gagliardi Cozman, Fabio 8 Harrison, Amelia 8 Osorio Galindo, Mauricio 8 Pérez, Gilberto ...and 1,999 more Authors all top 5 Cited in 97 Journals 403 Theory and Practice of Logic Programming 149 Artificial Intelligence 80 Annals of Mathematics and Artificial Intelligence 79 International Journal of Approximate Reasoning 50 Theoretical Computer Science 38 Machine Learning 22 Journal of Applied Logic 21 Constraints 19 Journal of Automated Reasoning 19 Journal of Applied Non-Classical Logics 17 ACM Transactions on Computational Logic 15 Information and Computation 14 Fuzzy Sets and Systems 14 The Journal of Artificial Intelligence Research (JAIR) 11 Journal of Logical and Algebraic Methods in Programming 9 Fundamenta Informaticae 9 Logical Methods in Computer Science 8 Information Sciences 8 Journal of Computer and System Sciences 8 Mathematical Structures in Computer Science 8 Formal Methods in System Design 6 Information Processing Letters 6 Annals of Pure and Applied Logic 6 Formal Aspects of Computing 5 Studia Logica 5 New Generation Computing 5 Computers & Operations Research 5 Theory of Computing Systems 4 Journal of Philosophical Logic 4 Science of Computer Programming 4 Journal of Symbolic Computation 4 Journal of Functional Programming 4 Journal of the ACM 3 Acta Informatica 3 Discrete Mathematics 3 Annals of Operations Research 3 International Journal of Computer 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 Real-Time Systems 2 European Journal of Operational Research 2 Journal of Logic, Language and Information 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 Mathematical Methods in the Applied Sciences 1 Mathematics of Computation 1 Bulletin of Mathematical Biology 1 Applied Mathematics and Computation 1 Computing 1 The Journal of Symbolic Logic 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 Scheduling 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 ACM Journal of Experimental Algorithmics 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 Journal of Theoretical Biology 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,620 Computer science (68-XX) 270 Mathematical logic and foundations (03-XX) 72 Operations research, mathematical programming (90-XX) 23 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 22 Combinatorics (05-XX) 22 Biology and other natural sciences (92-XX) 19 Statistics (62-XX) 9 Order, lattices, ordered algebraic structures (06-XX) 8 General and overarching topics; collections (00-XX) 8 Systems theory; control (93-XX) 6 Category theory; homological algebra (18-XX) 5 Numerical analysis (65-XX) 4 History and biography (01-XX) 4 Probability theory and stochastic processes (60-XX) 3 Quantum theory (81-XX) 2 General algebraic systems (08-XX) 2 Number theory (11-XX) 2 Associative rings and algebras (16-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 Nonassociative rings and algebras (17-XX) 1 Group theory and generalizations (20-XX) 1 Real functions (26-XX) 1 Measure and integration (28-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