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: 708 Publications (since 2001) References Indexed: 543 Publications with 17,233 References. all top 5 Latest Issues 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) 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) ...and 7 more Volumes all top 5 Authors 26 Schaub, Torsten H. 19 Eiter, Thomas 18 Alviano, Mario 17 Hermenegildo, Manuel V. 17 Ricca, Francesco 16 Leone, Nicola 16 Lifschitz, Vladimir 16 Woltran, Stefan 15 Cabalar, Pedro 15 Pontelli, Enrico 14 Dodaro, Carmine 14 Fandinno, Jorge 14 Truszczyński, Mirosław 13 Faber, Wolfgang 13 Lierler, Yuliya 13 Rocha, Ricardo 12 Gebser, Martin 11 Bruynooghe, Maurice 11 Denecker, Marc 11 Erdem, Esra 11 Schrijvers, Tom 10 Carro, Manuel 10 Demoen, Bart 10 Gupta, Gopal 10 Lee, Joohyung 10 Manna, Marco 10 Morales, Jose Francisco 10 Riguzzi, Fabrizio 10 Stuckey, Peter James 9 Dovier, Agostino 9 Frühwirth, Thom 9 Greco, Sergio 9 Maher, Michael J. 9 Pettorossi, Alberto 9 Proietti, Maurizio 9 Swift, Terrance 9 Tompits, Hans 9 Wielemaker, Jan 9 You, Jia-Huai 8 Balduccini, Marcello 8 Santos Costa, Vítor 8 Fink, Michael 8 Kaminski, Roland 8 King, Andy 8 Maratea, Marco 8 Son, Tran Cao 7 Bogaerts, Bart 7 Fioravanti, Fabio 7 Formisano, Andrea 7 Harrison, Amelia 7 Janhunen, Tomi 7 Janssens, Gerda 7 Perri, Simona 7 Trubitsyna, Irina 7 Vennekens, Joost 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 Raedt, Luc 6 De Schreye, Danny 6 Drabent, Włodzimierz 6 Garcia de la Banda, Maria 6 Gelfond, Michael 6 Lamma, Evelina 6 Mesnard, Fred 6 Russo, Alessandra M. 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 Gabbrielli, Maurizio 5 Gallagher, John P. 5 Giordano, Laura 5 Haemmerlé, Rémy 5 Hill, Patricia M. 5 Leite, João 5 Leuschel, Michael 5 López-García, Pedro 5 Morak, Michael 5 Osorio, Mauricio A. 5 Ostrowski, Max 5 Rodríguez-Artalejo, Mario 5 Schachte, Peter 5 Schekotihin, Konstantin 5 Serebrenik, Alexander 5 Shen, Yidong 5 Søndergaard, Harald 5 Tarau, Paul 5 Theseider Dupré, Daniele 5 Vidal, Germán 4 Arias, Joaquin 4 de Cat, Broes ...and 836 more Authors all top 5 Fields 703 Computer science (68-XX) 87 Mathematical logic and foundations (03-XX) 31 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 542 Publications have been cited 3,381 times in 1,618 Documents Cited by ▼ Year ▼ Defeasible logic programming: An argumentative approach. Zbl 1090.68015 García, Alejandro J.; Simari, Guillermo R. 109 2004 Answer sets for consistent query answering in inconsistent databases. Zbl 1079.68026 Arenas, Marcelo; Bertossi, Leopoldo; Chomicki, Jan 90 2003 Multi-shot ASP solving with clingo. Zbl 1486.68027 Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten 64 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 58 2015 SWI-Prolog. Zbl 1244.68023 Wielemaker, Jan; Schrijvers, Tom; Triska, Markus; Lager, Torbjörn 49 2012 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 45 2020 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 Probabilistic reasoning with answer sets. Zbl 1170.68003 Baral, Chitta; Gelfond, Michael; Rushton, Nelson 44 2009 Well-founded and stable semantics of logic programs with aggregates. Zbl 1111.68070 Pelov, Nikolay; Denecker, Marc; Bruynooghe, Maurice 43 2007 Strong equivalence made easy: nested expressions and weight constraints. Zbl 1079.68017 Turner, Hudson 41 2003 XSB: extending Prolog with tabled logic programming. Zbl 1244.68021 Swift, Terrance; Warren, David S. 36 2012 Weight constraints as nested expressions. Zbl 1093.68017 Ferraris, Paolo; Lifschitz, Vladimir 35 2005 Tight logic programs. Zbl 1079.68014 Erdem, Esra; Lifschitz, Vladimir 33 2003 Propositional theories are strongly equivalent to logic programs. Zbl 1132.68321 Cabalar, Pedro; Ferraris, Paolo 32 2007 Abstract gringo. Zbl 1379.68031 Gebser, Martin; Harrison, Amelia; Kaminski, Roland; Lifschitz, Vladimir; Schaub, Torsten 28 2015 Justifications for logic programs under answer set semantics. Zbl 1170.68005 Pontelli, Enrico; Son, Tran Cao; Elkhatib, Omar 28 2009 A constructive semantic characterization of aggregates in answer set programming. Zbl 1111.68072 Son, Tran Cao; Pontelli, Enrico 27 2007 The PITA system: tabling and answer subsumption for reasoning under uncertainty. Zbl 1218.68169 Riguzzi, Fabrizio; Swift, Terrance 26 2011 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 25 2011 Vicious circle principle and logic programs with aggregates. Zbl 1309.68032 Gelfond, Michael; Zhang, Yuanlin 24 2014 The YAP prolog system. Zbl 1244.68017 Costa, Vítor Santos; Rocha, Ricardo; Damas, Luís 23 2012 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 Diagnostic reasoning with A-prolog. Zbl 1079.68094 Balduccini, Marcello; Gelfond, Michael 23 2003 CP-logic: A language of causal probabilistic events and its relation to logic programming. Zbl 1179.68025 Vennekens, Joost; Denecker, Marc; Bruynooghe, Maurice 23 2009 Structure learning of probabilistic logic programs by searching the clause space. Zbl 1379.68269 Bellodi, Elena; Riguzzi, Fabrizio 22 2015 Complex optimization in answer set programming. Zbl 1222.68059 Gebser, Martin; Kaminski, Roland; Schaub, Torsten 20 2011 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 19 2008 As time goes by: constraint handling rules. Zbl 1186.68096 Sneyers, Jon; van Weert, Peter; Schrijvers, Tom; de Koninck, Leslie 17 2010 Detecting inconsistencies in large biological networks with answer set programming. Zbl 1220.68036 Gebser, Martin; Schaub, Torsten; Thiele, Sven; Veber, Philippe 17 2011 Justifying answer sets using argumentation. Zbl 1379.68301 Schulz, Claudia; Toni, Francesca 17 2016 Anytime answer set optimization via unsatisfiable core shrinking. Zbl 1379.68033 Alviano, Mario; Dodaro, Carmine 17 2016 On properties of update sequences based on causal rejection. Zbl 1105.68326 Eiter, Thomas; Fink, Michael; Sabbatini, Giuliana; Tompits, Hans 17 2002 Catching the Ouroboros: on debugging non-ground answer-set programs. Zbl 1213.68182 Oetsch, Johannes; Pührer, Jörg; Tompits, Hans 16 2010 claspfolio 2: advances in algorithm selection for answer set programming. Zbl 1307.68016 Hoos, Holger; Lindauer, Marius; Schaub, Torsten 16 2014 An abductive framework for computing knowledge base updates. Zbl 1085.68545 Sakama, Chiaki; Inoue, Katsumi 16 2003 Constraint answer set programming without grounding. Zbl 1451.68063 Arias, Joaquin; Carro, Manuel; Salazar, Elmer; Marple, Kyle; Gupta, Gopal 16 2018 Well-definedness and efficient inference for probabilistic logic programming under the distribution semantics. Zbl 1267.68084 Riguzzi, Fabrizio; Swift, Terrance 15 2013 FLUX: a logic programming method for reasoning agents. Zbl 1105.68333 Thielscher, Michael 15 2005 SUNNY: a lazy portfolio approach for constraint solving. Zbl 1307.68077 Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo 15 2014 Causal graph justifications of logic programs. Zbl 1309.68028 Cabalar, Pedro; Fandinno, Jorge; Fink, Michael 15 2014 Anytime computation of cautious consequences in answer set programming. Zbl 1307.68012 Alviano, Mario; Dodaro, Carmine; Ricca, Francesco 15 2014 Achieving compositionality of the stable model semantics for SMODELS programs. Zbl 1156.68012 Oikarinen, Emilia; Janhunen, Tomi 15 2008 Iterative learning of answer set programs from context dependent examples. Zbl 1379.68074 Law, Mark; Russo, Alessandra; Broda, Krysia 15 2016 Logic program specialisation through partial deduction: Control issues. Zbl 1105.68331 Leuschel, Michael; Bruynooghe, Maurice 15 2002 Transformation-based bottom-up computation of the well-founded model. Zbl 1105.68322 Brass, Stefan; Dix, Jürgen; Freitag, Burkhard; Zukowski, Ulrich 15 2001 An interactive semantics of logic programming. Zbl 1066.68512 Bruni, Roberto; Montanari, Ugo; Rossi, Francesca 15 2001 ASP modulo CSP: the clingcon system. Zbl 1260.68066 Ostrowski, Max; Schaub, Torsten 14 2012 The language features and architecture of B-Prolog. Zbl 1244.68024 Zhou, Neng-Fa 14 2012 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 14 2016 Logic programs with monotone abstract constraint atoms. Zbl 1142.68018 Marek, Victor W.; Niemelä, Ilkka; Truszczyński, Mirosław 14 2008 Solving Horn clauses on inductive data types without induction. Zbl 1451.68172 De Angelis, Emanuele; Fioravanti, Fabio; Pettorossi, Alberto; Proietti, Maurizio 14 2018 Specialization of functional logic programs based on needed narrowing. Zbl 1092.68018 Alpuente, María; Lucas, Salvador; Vidal, Germán; Hanus, Michael 13 2005 \(\text{ECL}^{\text{i}}\text{PS}^{\text{e}}\) – from LP to CLP. Zbl 1244.68020 Schimpf, Joachim; Shen, Kish 13 2012 Set unification. Zbl 1108.68104 Dovier, Agostino; Pontelli, Enrico; Rossi, Gianfranco 13 2006 Characterization of strongly equivalent logic programs in intermediate logics. Zbl 1069.68538 de Jongh, Dick H. J.; Hendriks, Lex 13 2003 A framework for compiling preferences in logic programs. Zbl 1105.68323 Delgrande, James P.; Schaub, Torsten; Tompits, Hans 13 2003 Propositional defeasible logic has linear complexity. Zbl 1066.68530 Maher, Michael J. 13 2001 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 13 2004 The magic of logical inference in probabilistic programming. Zbl 1222.68060 Gutmann, Bernd; Thon, Ingo; Kimmig, Angelika; Bruynooghe, Maurice; De Raedt, Luc 12 2011 Abstract answer set solvers with backjumping and learning. Zbl 1220.68038 Lierler, Yuliya 12 2011 Conflict-driven ASP solving with external sources. Zbl 1260.68060 Eiter, Thomas; Fink, Michael; Krennwallner, Thomas; Redl, Christoph 12 2012 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 The Seventh Answer Set Programming Competition: design and results. Zbl 1472.68026 Gebser, Martin; Maratea, Marco; Ricca, Francesco 12 2020 {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 12 2017 Rewriting recursive aggregates in answer set programming: back to monotonicity. Zbl 1379.68034 Alviano, Mario; Faber, Wolfgang; Gebser, Martin 12 2015 Epistemic foundation of stable model semantics. Zbl 1110.68070 Loyer, Yann; Straccia, Umberto 12 2006 Equivalence-checking on infinite-state systems: techniques and results. Zbl 1101.68700 Kučera, Antonín; Jančar, Petr 12 2006 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 12 2007 Minimum model semantics for extensional higher-order logic programming with negation. Zbl 1309.68030 Charalambidis, Angelos; Ésik, Zoltán; Rondogiannis, Panos 11 2014 Generating explanations for biomedical queries. Zbl 1379.68059 Erdem, Esra; Oztok, Umut 11 2015 Bounded LTL model checking with stable models. Zbl 1079.68058 Heljanko, Keijo; Niemelä, Ilkka 11 2003 State space computation and analysis of time Petri nets. Zbl 1104.68071 Gardey, Guillaume; Roux, Olivier H.; Roux, Olivier F. 11 2006 Planning with preferences using logic programming. Zbl 1122.68030 Son, Tran Cao; Pontelli, Enrico 11 2006 Compiling finite domain constraints to SAT with BEE. Zbl 1260.68081 Metodi, Amit; Codish, Michael 10 2012 SICStus Prolog – the first 25 years. Zbl 1244.68016 Carlsson, Mats; Mildner, Per 10 2012 Automated termination analysis for logic programs with cut. Zbl 1209.68098 Schneider-Kamp, Peter; Giesl, Jürgen; Ströder, Thomas; Serebrenik, Alexander; Thiemann, René 10 2010 Characterising equilibrium logic and nested logic programs: Reductions and complexity. Zbl 1186.68100 Pearce, David; Tompits, Hans; Woltran, Stefan 10 2009 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 10 2016 Clingo goes linear constraints over reals and integers. Zbl 1422.68024 Janhunen, Tomi; Kaminski, Roland; Ostrowski, Max; Schellhorn, Sebastian; Wanko, Philipp; Schaub, Torsten 10 2017 A probabilistic logic programming event calculus. Zbl 1379.68305 Skarlatidis, Anastasios; Artikis, Alexander; Filippou, Jason; Paliouras, Georgios 10 2015 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 10 2015 Exploiting answer set programming with external sources for meta-interpretive learning. Zbl 1451.68064 Kaminski, Tobias; Eiter, Thomas; Inoue, Katsumi 10 2018 Logic programming with satisfiability. Zbl 1128.68014 Codish, Michael; Lagoon, Vitaly; Stuckey, Peter J. 10 2008 Automatic verification of timed concurrent constraint programs. Zbl 1101.68679 Falaschi, Moreno; Villanueva, Alicia 10 2006 Answering the “why” in answer set programming – a survey of explanation approaches. Zbl 1486.68026 Fandinno, Jorge; Schulz, Claudia 10 2019 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 Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption. Zbl 1478.68170 Lopez-Garcia, P.; Darmawan, L.; Klemen, M.; Liqat, U.; Bueno, F.; Hermenegildo, M. V. 9 2018 Learning weak constraints in answer set programming. Zbl 1379.68073 Law, Mark; Russo, Alessandra; Broda, Krysia 9 2015 Disjunctive logic programs with inheritance. Zbl 1087.68527 Buccafurri, Francesco; Faber, Wolfgang; Leone, Nicola 9 2002 SWI-Prolog and the web. Zbl 1139.68012 Wielemaker, Jan; Huang, Zhisheng; van der Meij, Lourens 9 2008 Theory of finite or infinite trees revisited. Zbl 1148.68043 Djelloul, Khalil; Dao, Thi-Bich-Hanh; Frühwirth, Thom 9 2008 Preferred extensions as stable models. Zbl 1148.68012 Nieves, Juan Carlos; Cortés, Ulises; Osorio, Mauricio 9 2008 Temporal answer set programming on finite traces. Zbl 1451.68256 Cabalar, Pedro; Kaminski, Roland; Schaub, Torsten; Schuhmann, Anna 9 2018 Abstract diagnosis for timed concurrent constraint programs. Zbl 1222.68053 Comini, Marco; Titolo, Laura; Villanueva, Alicia 8 2011 Polytool: polynomial interpretations as a basis for termination analysis of logic programs. Zbl 1222.68064 Nguyen, Manh Thang; De Schreye, Danny; Giesl, Jürgen; Schneider-Kamp, Peter 8 2011 Functional answer set programming. Zbl 1220.68033 Cabalar, Pedro 8 2011 A translational approach to constraint answer set solving. Zbl 1209.68511 Drescher, Christian; Walsh, Toby 8 2010 Dynamic consistency checking in goal-directed answer set programming. Zbl 1307.68020 Marple, Kyle; Gupta, Gopal 8 2014 On applying or-parallelism and tabling to logic programs. Zbl 1093.68021 Rocha, Ricardo; Silva, Fernando; Costa, Vítor Santos 8 2005 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 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 Alternating fixpoint operator for hybrid MKNF knowledge bases as an approximator of AFT. Zbl 1530.68253 Liu, Fangfang; You, Jia-Huai 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 Exploiting database management systems and treewidth for counting. Zbl 1530.68067 Fichte, Johannes K.; Hecher, Markus; Thier, Patrick; Woltran, Stefan 2 2022 Thirty years of epistemic specifications. Zbl 1541.68348 Fandinno, Jorge; Faber, Wolfgang; Gelfond, Michael 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 Strong equivalence of logic programs with counting. Zbl 1541.68073 Lifschitz, Vladimir 1 2022 Problem decomposition and multi-shot ASP solving for job-shop scheduling. Zbl 1541.90146 El-Kholany, Mohammed M. S.; Gebser, Martin; Schekotihin, Konstantin 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 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 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 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 1 2022 Train scheduling with hybrid answer set programming. Zbl 1522.68095 Abels, Dirk; Jordi, Julian; Ostrowski, Max; Schaub, Torsten; Toletti, Ambra; Wanko, Philipp 4 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 Incremental and modular context-sensitive analysis. Zbl 1472.68035 Garcia-Contreras, Isabel; Morales, José F.; Hermenegildo, Manuel V. 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 An asymptotic analysis of probabilistic logic programming, with implications for expressing projective families of distributions. Zbl 1530.68061 Weitkämper, Felix Q. 3 2021 Splitting epistemic logic programs. Zbl 1522.68104 Cabalar, Pedro; Fandinno, Jorge; Fariñas del Cerro, Luis 2 2021 Utilizing treewidth for quantitative reasoning on epistemic logic programs. Zbl 1522.68100 Besin, Viktor; Hecher, Markus; Woltran, Stefan 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 Solution enumeration by optimality in answer set programming. Zbl 1530.68058 Pajunen, Jukka; Janhunen, Tomi 2 2021 Omission-based abstraction for answer set programs. Zbl 1472.68029 Saribatur, Zeynep G.; Eiter, Thomas 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 Planning with incomplete information in quantified answer set programming. Zbl 1522.68514 Fandinno, Jorge; Laferriere, Francois; Romero, Javier; Schaub, Torsten; Son, Tran Cao 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 45 2020 The Seventh Answer Set Programming Competition: design and results. Zbl 1472.68026 Gebser, Martin; Maratea, Marco; Ricca, Francesco 12 2020 An ASP approach for reasoning in a concept-aware multipreferential lightweight DL. Zbl 1468.68212 Giordano, Laura; Theseider Dupré, Daniele 8 2020 Flexible coinductive logic programming. Zbl 1468.68054 Dagnino, Francesco; Ancona, Davide; Zucca, Elena 7 2020 selp: a single-shot epistemic logic program solver. Zbl 1472.68022 Bichler, Manuel; Morak, Michael; Woltran, Stefan 6 2020 On the semantics of abstract argumentation frameworks: a logic programming approach. Zbl 1468.68211 Alfano, Gianvincenzo; Greco, Sergio; Parisi, Francesco; Trubitsyna, Irina 6 2020 Verifying tight logic programs with anthem and vampire. Zbl 1468.68127 Fandinno, Jorge; Lifschitz, Vladimir; Lühne, Patrick; Schaub, Torsten 6 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 5 2020 MAP inference for probabilistic logic programming. Zbl 1468.68051 Bellodi, Elena; Alberti, Marco; Riguzzi, Fabrizio; Zese, Riccardo 5 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. 4 2020 Solving advanced argumentation problems with answer set programming. Zbl 1472.68186 Brewka, Gerhard; Diller, Martin; Heissenberger, Georg; Linsbichler, Thomas; Woltran, Stefan 4 2020 Towards metric temporal answer set programming. Zbl 1468.68052 Cabalar, Pedro; Diéguez, Martín; Schaub, Torsten; Schuhmann, Anna 4 2020 eclingo: a solver for epistemic logic programs. Zbl 1468.68053 Cabalar, Pedro; Fandinno, Jorge; Garea, Javier; Romero, Javier; Schaub, Torsten 4 2020 Exploiting game theory for analysing justifications. Zbl 1468.68214 Marynissen, Simon; Bogaerts, Bart; Denecker, Marc 4 2020 The external interface for extending WASP. Zbl 1472.68183 Dodaro, Carmine; Ricca, Francesco 3 2020 Modular answer set programming as a formal specification language. Zbl 1468.68119 Cabalar, Pedro; Fandinno, Jorge; Lierler, Yuliya 3 2020 Concolic testing in CLP. Zbl 1468.68055 Mesnard, Fred; Payet, Étienne; Vidal, Germán 3 2020 Implementing a library for probabilistic programming using non-strict non-determinism. Zbl 1434.68062 Dylus, Sandra; Christiansen, Jan; Teegen, Finn 3 2020 A logic framework for P2P deductive databases. Zbl 1434.68140 Caroprese, Luciano; Zumpano, Ester 2 2020 In praise of impredicativity: a contribution to the formalization of meta-programming. Zbl 1434.68102 Bry, François 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 Reasoning about cardinal directions between 3-dimensional extended objects using answer set programming. Zbl 1468.68224 Izmirlioglu, Yusuf; Erdem, Esra 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 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 Rethinking defeasible reasoning: a scalable approach. Zbl 1472.68191 Maher, Michael J.; Tachmazidis, Ilias; Antoniou, Grigoris; Wade, Stephen; Cheng, Long 1 2020 Introduction to the 36th international conference on logic programming. Special issue I. Zbl 1468.68018 1 2020 Modelling multi-agent epistemic planning in ASP. Zbl 1468.68251 Burigana, Alessandro; Fabiano, Francesco; Dovier, Agostino; Pontelli, Enrico 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 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 Human robot collaborative assembly planning: an answer set programming approach. Zbl 1457.68270 Rizwan, Momina; Patoglu, Volkan; Erdem, Esra 1 2020 Multi-shot ASP solving with clingo. Zbl 1486.68027 Gebser, Martin; Kaminski, Roland; Kaufmann, Benjamin; Schaub, Torsten 64 2019 Answering the “why” in answer set programming – a survey of explanation approaches. Zbl 1486.68026 Fandinno, Jorge; Schulz, Claudia 10 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 7 2019 Optimizing answer set computation via heuristic-based decomposition. Zbl 1472.68024 Calimeri, Francesco; Perri, Simona; Zangari, Jessica 6 2019 Debugging non-ground ASP programs: technique and graphical tools. Zbl 1486.68025 Dodaro, Carmine; Gasteiger, Philip; Reale, Kristian; Ricca, Francesco; Schekotihin, Konstantin 6 2019 A syntactic operator for forgetting that satisfies strong persistence. Zbl 1434.68561 Berthold, Matti; Gonçalves, Ricardo; Knorr, Matthias; Leite, João 6 2019 Founded (auto)epistemic equilibrium logic satisfies epistemic splitting. Zbl 1434.68557 Fandinno, Jorge 5 2019 Resource analysis driven by (conditional) termination proofs. Zbl 1434.68101 Albert, Elvira; Bofill, Miquel; Borralleras, Cristina; Martin-Martin, Enrique; Rubio, Albert 4 2019 On uniform equivalence of epistemic logic programs. Zbl 1434.68073 Faber, Wolfgang; Morak, Michael; Woltran, Stefan 4 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 About epistemic negation and world views in epistemic logic programs. Zbl 1434.68071 Constantini, Stefania 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 Description, implementation, and evaluation of a generic design for tabled CLP. Zbl 1472.68021 Arias, Joaquín; Carro, Manuel 2 2019 plasp 3: towards effective ASP planning. Zbl 1472.68182 Dimopoulos, Yannis; Gebser, Martin; Lühne, Patrick; Romero, Javier; Schaub, Torsten 2 2019 Domain-independent cost-optimal planning in ASP. Zbl 1434.68548 Spies, David; You, Jia-Huai; Hayward, Ryan 2 2019 Enhancing magic sets with an application to ontological reasoning. Zbl 1434.68560 Alviano, Mario; Leone, Nicola; Veltri, Pierfrancesco; Zangari, Jessica 2 2019 Beyond NP: quantifying over answer sets. Zbl 1434.68068 Amendola, Giovanni; Ricca, Francesco; Truszczynski, Miroslaw 2 2019 Anti-unification in constraint logic programming. Zbl 1434.68076 Yernaux, Gonzague; Vanhoof, Wim 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 Incremental answer set programming with overgrounding. Zbl 1434.68555 Calimeri, Francesco; Ianni, Giovambattista; Pacenza, Francesco; Perri, Simona; Zangari, Jessica 2 2019 A distributed approach to LARS stream reasoning (system paper). Zbl 1434.68546 Eiter, Thomas; Ogris, Paul; Schekotihin, Konstantin 2 2019 Relating two dialects of answer set programming. Zbl 1434.68074 Harrison, Amelia; Lifschitz, Vladimir 2 2019 A case for stale synchronous distributed model for declarative recursive computation. Zbl 1434.68142 Das, Ariyam; Zaniolo, Carlo 2 2019 Probabilistic DL reasoning with pinpointing formulas: a Prolog-based approach. Zbl 1472.68194 Zese, Riccardo; Cota, Giuseppe; Lamma, Evelina; Bellodi, Elena; Riguzzi, Fabrizio 1 2019 Paracoherent answer set semantics meets argumentation frameworks. Zbl 1434.68554 Amendola, Giovanni; Ricca, Francesco 1 2019 Abstract solvers for computing cautious consequences of ASP programs. Zbl 1434.68066 Amendola, Giovanni; Dodaro, Carmine; Maratea, Marco 1 2019 Applying constraint logic programming to SQL semantic analysis. Zbl 1434.68075 Sáenz-Pérez, Fernando 1 2019 Symbolic analysis of Maude theories with Narval. Zbl 1434.68214 Alpuente, María; Escobar, Santiago; Sapina, Julia; Ballis, Demis 1 2019 Bridging commonsense reasoning and probabilistic planning via a probabilistic action language. Zbl 1434.68551 Wang, Yi; Zhang, Shiqi; Lee, Joohyung 1 2019 Constraint answer set programming without grounding. Zbl 1451.68063 Arias, Joaquin; Carro, Manuel; Salazar, Elmer; Marple, Kyle; Gupta, Gopal 16 2018 ...and 442 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 2,022 Authors 41 Woltran, Stefan 40 Schaub, Torsten H. 34 Eiter, Thomas 31 Cabalar, Pedro 27 Alviano, Mario 26 Gebser, Martin 26 Simari, Guillermo Ricardo 25 Ricca, Francesco 25 Riguzzi, Fabrizio 24 Hermenegildo, Manuel V. 23 Dodaro, Carmine 23 Fandinno, Jorge 22 Lierler, Yuliya 21 Lifschitz, Vladimir 18 Maratea, Marco 17 Denecker, Marc 16 Faber, Wolfgang 16 Janhunen, Tomi 16 Leone, Nicola 16 Pearce, David 16 Pontelli, Enrico 16 Truszczyński, Mirosław 15 Arieli, Ofer 15 Fink, Michael 15 Morales, Jose Francisco 15 Schrijvers, Tom 14 De Raedt, Luc 14 Erdem, Esra 14 Gupta, Gopal 14 Olarte, Carlos 14 You, Jia-Huai 13 Bogaerts, Bart 13 García, Alejandro Javier 13 Lee, Joohyung 13 Leite, João 13 Pettorossi, Alberto 13 Proietti, Maurizio 12 De Angelis, Emanuele 12 De Cock, Martine 12 Fichte, Johannes Klaus 12 Fioravanti, Fabio 12 Gallagher, John P. 12 Governatori, Guido 12 Greco, Sergio 12 Inoue, Katsumi 12 Lamma, Evelina 12 Nieves, Juan Carlos 12 Schockaert, Steven 11 Amendola, Giovanni 11 Bellodi, Elena 11 Drabent, Włodzimierz 11 Hunter, Anthony 11 Kaminski, Roland 11 López-García, Pedro 11 Russo, Alessandra M. 11 Son, Tran Cao 11 Toni, Francesca 10 Alpuente, María 10 Amgoud, Leila 10 Demoen, Bart 10 Gelfond, Michael 10 Giesl, Jürgen 10 Knorr, Matthias 10 Morak, Michael 10 Parisi, Francesco 10 Stuckey, Peter James 10 Vidal, Germán 10 Zese, Riccardo 9 Bertossi, Leopoldo E. 9 Bruni, Roberto 9 Bruynooghe, Maurice 9 Calimeri, Francesco 9 Carro, Manuel 9 Giordano, Laura 9 Gonçalves, Ricardo 9 Hecher, Markus 9 Krennwallner, Thomas 9 Sáenz-Pérez, Fernando 9 Shen, Yidong 9 Tompits, Hans 9 Vennekens, Joost 8 Antoniou, Grigoris 8 Balduccini, Marcello 8 Baral, Chitta R. 8 Broda, Krysia B. 8 Charalambidis, Angelos 8 Cropper, Andrew 8 Diéguez, Martín 8 Escobar, Santiago 8 Falappa, Marcelo Alejandro 8 Fariñas del Cerro, Luis 8 Formisano, Andrea 8 Gagliardi Cozman, Fabio 8 Harrison, Amelia 8 Law, Mark M. 8 Molinaro, Cristian 8 Osorio, Mauricio A. 8 Pimentel, Elaine 8 Romero, Javier 8 Sakama, Chiaki ...and 1,922 more Authors all top 5 Cited in 96 Journals 348 Theory and Practice of Logic Programming 145 Artificial Intelligence 79 International Journal of Approximate Reasoning 79 Annals of Mathematics and Artificial Intelligence 50 Theoretical Computer Science 38 Machine Learning 22 Journal of Applied Logic 19 Journal of Applied Non-Classical Logics 19 Constraints 17 Journal of Automated Reasoning 17 ACM Transactions on Computational Logic 15 Information and Computation 14 Fuzzy Sets and Systems 14 The Journal of Artificial Intelligence Research (JAIR) 10 Journal of Logical and Algebraic Methods in Programming 9 Fundamenta Informaticae 8 Information Sciences 8 Journal of Computer and System Sciences 8 Mathematical Structures in Computer Science 8 Formal Methods in System Design 7 Logical Methods in Computer Science 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 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 Annals of Operations Research 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 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,536 Computer science (68-XX) 257 Mathematical logic and foundations (03-XX) 69 Operations research, mathematical programming (90-XX) 23 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 22 Biology and other natural sciences (92-XX) 21 Combinatorics (05-XX) 18 Statistics (62-XX) 9 Order, lattices, ordered algebraic structures (06-XX) 8 Systems theory; control (93-XX) 7 General and overarching topics; collections (00-XX) 5 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