Annals of Mathematics and Artificial Intelligence Short Title: Ann. Math. Artif. Intell. Publisher: Springer International Publishing, Cham ISSN: 1012-2443; 1573-7470/e Online: https://link.springer.com/journal/10472/volumes-and-issues Comments: Journal; Indexed cover-to-cover Documents Indexed: 1,460 Publications (since 1990) References Indexed: 1,037 Publications with 35,224 References. all top 5 Latest Issues 92, No. 5 (2024) 92, No. 4 (2024) 92, No. 3 (2024) 92, No. 2 (2024) 92, No. 1 (2024) 91, No. 6 (2023) 91, No. 5 (2023) 91, No. 4 (2023) 91, No. 2-3 (2023) 91, No. 1 (2023) 90, No. 11-12 (2022) 90, No. 10 (2022) 90, No. 7-9 (2022) 90, No. 6 (2022) 90, No. 5 (2022) 90, No. 4 (2022) 90, No. 2-3 (2022) 90, No. 1 (2022) 89, No. 12 (2021) 89, No. 10-11 (2021) 89, No. 8-9 (2021) 89, No. 7 (2021) 89, No. 5-6 (2021) 89, No. 3-4 (2021) 89, No. 1-2 (2021) 88, No. 11-12 (2020) 88, No. 10 (2020) 88, No. 9 (2020) 88, No. 8 (2020) 88, No. 7 (2020) 88, No. 5-6 (2020) 88, No. 4 (2020) 88, No. 1-3 (2020) 87, No. 4 (2019) 87, No. 3 (2019) 87, No. 1-2 (2019) 86, No. 4 (2019) 86, No. 1-3 (2019) 85, No. 2-4 (2019) 85, No. 1 (2019) 84, No. 3-4 (2018) 83, No. 3-4 (2018) 83, No. 2 (2018) 83, No. 1 (2018) 82, No. 4 (2018) 82, No. 1-3 (2018) 81, No. 3-4 (2017) 81, No. 1-2 (2017) 80, No. 3-4 (2017) 80, No. 2 (2017) 80, No. 1 (2017) 79, No. 4 (2017) 79, No. 1-3 (2017) 78, No. 3-4 (2016) 78, No. 2 (2016) 78, No. 1 (2016) 77, No. 3-4 (2016) 77, No. 1-2 (2016) 76, No. 3-4 (2016) 76, No. 1-2 (2016) 75, No. 3-4 (2015) 75, No. 1-2 (2015) 74, No. 3-4 (2015) 74, No. 1-2 (2015) 73, No. 3-4 (2015) 73, No. 1-2 (2015) 72, No. 3-4 (2014) 72, No. 1-2 (2014) 71, No. 4 (2014) 71, No. 1-3 (2014) 70, No. 4 (2014) 70, No. 3 (2014) 70, No. 1-2 (2014) 69, No. 4 (2013) 69, No. 3 (2013) 69, No. 2 (2013) 69, No. 1 (2013) 68, No. 4 (2013) 68, No. 1-3 (2013) 67, No. 3-4 (2013) 67, No. 2 (2013) 67, No. 1 (2013) 66, No. 1-4 (2012) 65, No. 4 (2012) 65, No. 2-3 (2012) 65, No. 1 (2012) 64, No. 4 (2012) 64, No. 2-3 (2012) 64, No. 1 (2012) 63, No. 3-4 (2011) 63, No. 2 (2011) 63, No. 1 (2011) 62, No. 3-4 (2011) 62, No. 1-2 (2011) 61, No. 4 (2011) 61, No. 3 (2011) 61, No. 2 (2011) 61, No. 1 (2011) 60, No. 3-4 (2010) 60, No. 1-2 (2010) ...and 108 more Volumes all top 5 Authors 17 Pardalos, Panos M. 14 Dix, Jurgen 12 Golumbic, Martin Charles 10 Benferhat, Salem 10 Prade, Henri M. 10 Rothe, Jörg-Matthias 9 Beierle, Christoph 9 Boros, Endre 9 Gabbay, Dov M. 9 Kern-Isberner, Gabriele 9 Kraus, Sarit 8 Calmet, Jacques 8 Lukasiewicz, Thomas 8 Marek, V. Wiktor 8 Napoli, Amedeo 8 Remmel, Jeffrey Brian 8 Subrahmanian, V. S. 7 Eiter, Thomas 7 Franco, John V. 7 Simari, Guillermo Ricardo 7 Truszczyński, Mirosław 6 Biskup, Joachim 6 Dubois, Didier 6 Kotsireas, Ilias S. 6 Mohri, Mehryar 6 Rossi, Francesca 6 Van Gelder, Allen 6 Woltran, Stefan 6 Wooldridge, Michael J. 5 Arieli, Ofer 5 Bělohlávek, Radim 5 Bruckstein, Alfred Marcel 5 Bruynooghe, Maurice 5 Čepek, Ondřej 5 Chomicki, Jan 5 Dechter, Rina 5 Gelfond, Michael 5 Greco, Sergio 5 Gyssens, Marc 5 Hartmann, Sven 5 Hegner, Stephen J. 5 Hoffman, Frederick 5 Kleine Büning, Hans 5 Leone, Nicola 5 Lifschitz, Vladimir 5 Link, Sebastian 5 Meisels, Amnon 5 Meyer, John-Jules Charles 5 Montanari, Angelo 5 Simari, Gerardo I. 5 Subramani, Krishnan 5 van der Hoek, Wiebe 5 Venable, Kristen Brent 5 Vovk, Vladimir G. 5 Wang, Jinchang 5 Zaffalon, Marco 4 Antoniou, Grigoris 4 Baral, Chitta R. 4 Blair, Howard A. 4 Bochman, Alexander 4 Bonatti, Piero Andrea 4 de Cooman, Gert 4 Demetrovics, János 4 Denecker, Marc 4 Felner, Ariel 4 Fisher, Michael 4 Foo, Norman Y. 4 Gammerman, Alexander 4 Giunchiglia, Enrico 4 Godo, Lluís 4 Goldsmith, Judy 4 Gottlob, Georg 4 Greenberg, Harvey Joel 4 Ibaraki, Toshihide 4 Janičić, Predrag 4 Kogan, Alexander 4 Kovács, Zoltán 4 Kwuida, Léonard 4 Lassez, Jean-Louis 4 Lobo, Jorge 4 Marques-Silva, João P. 4 Martinez, Maria Vanina 4 Minker, Jack 4 Nerode, Anil 4 Ojeda-Aciego, Manuel 4 Okushi, Fumiaki 4 Palopoli, Luigi 4 Pearl, Judea 4 Rosenschein, Jeffrey S. 4 Schewe, Klaus-Dieter 4 Schlipf, John Stewart 4 Sciavicco, Guido 4 Thalheim, Bernhard 4 Turán, Gyorgy 4 Van den Bussche, Jan 4 van der Torre, Leendert W. N. 4 Vermeir, Dirk 4 Voß, Stefan 4 Wojciechowski, Piotr J. 4 Yang, Shanlin ...and 2,342 more Authors all top 5 Fields 1,291 Computer science (68-XX) 266 Mathematical logic and foundations (03-XX) 120 General and overarching topics; collections (00-XX) 115 Operations research, mathematical programming (90-XX) 90 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 83 Statistics (62-XX) 54 Order, lattices, ordered algebraic structures (06-XX) 37 Combinatorics (05-XX) 27 Probability theory and stochastic processes (60-XX) 26 Numerical analysis (65-XX) 21 Information and communication theory, circuits (94-XX) 20 Geometry (51-XX) 17 Systems theory; control (93-XX) 13 Biology and other natural sciences (92-XX) 11 Linear and multilinear algebra; matrix theory (15-XX) 9 Measure and integration (28-XX) 8 Commutative algebra (13-XX) 8 Convex and discrete geometry (52-XX) 8 Algebraic topology (55-XX) 7 General algebraic systems (08-XX) 7 Algebraic geometry (14-XX) 6 History and biography (01-XX) 6 Category theory; homological algebra (18-XX) 6 Functional analysis (46-XX) 5 Group theory and generalizations (20-XX) 5 Special functions (33-XX) 5 Approximations and expansions (41-XX) 5 Calculus of variations and optimal control; optimization (49-XX) 4 General topology (54-XX) 4 Quantum theory (81-XX) 3 Number theory (11-XX) 3 Real functions (26-XX) 3 Functions of a complex variable (30-XX) 3 Dynamical systems and ergodic theory (37-XX) 3 Mechanics of particles and systems (70-XX) 2 Ordinary differential equations (34-XX) 2 Operator theory (47-XX) 2 Global analysis, analysis on manifolds (58-XX) 2 Statistical mechanics, structure of matter (82-XX) 1 Field theory and polynomials (12-XX) 1 Associative rings and algebras (16-XX) 1 Partial differential equations (35-XX) 1 Integral transforms, operational calculus (44-XX) 1 Fluid mechanics (76-XX) 1 Mathematics education (97-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 923 Publications have been cited 6,591 times in 4,972 Documents Cited by ▼ Year ▼ NIST digital library of mathematical functions. Zbl 1019.65001 Lozier, Daniel W. 230 2003 Logic programs with stable model semantics as a constraint programming paradigm. Zbl 0940.68018 Niemelä, Ilkka 176 1999 Probability density decomposition for conditionally dependent random variables modeled by vines. Zbl 1314.62040 Bedford, Tim; Cooke, Roger M. 157 2001 Stochastic independence in a coherent setting. Zbl 1005.60007 Coletti, G.; Scozzafava, R. 139 2002 On the computational cost of disjunctive logic programming: Propositional case. Zbl 0858.68016 Eiter, Thomas; Gottlob, Georg 103 1995 A reasoning model based on the production of acceptable arguments. Zbl 1002.68172 Amgoud, Leila; Cayrol, Claudette 85 2002 Nested expressions in logic programs. Zbl 0940.68075 Lifschitz, Vladimir; Tang, Lappoon R.; Turner, Hudson 78 1999 Possibility theory, probability theory and multiple-valued logics: a clarification. Zbl 1314.68309 Dubois, Didier; Prade, Henri 71 2001 Another perspective on default reasoning. Zbl 0857.68096 Lehmann, Daniel 69 1995 Propositional semantics for disjunctive logic programs. Zbl 0858.68012 Ben-Eliyahu, Rachel; Dechter, Rina 63 1994 Modeling genetic algorithms with Markov chains. Zbl 1034.68534 Nix, Allen E.; Vose, Michael D. 56 1992 Equilibrium logic. Zbl 1117.03039 Pearce, David 55 2006 Hypersequents, logical consequence and intermediate logics for concurrency. Zbl 0865.03042 Avron, Arnon 50 1991 Solving propositional satisfiability problems. Zbl 0878.68107 Jèroslow, Robert G.; Wang, Jinchang 49 1990 Probabilistic reasoning under coherence in System P. Zbl 1014.68165 Gilio, Angelo 44 2002 On the computational complexity of weighted voting games. Zbl 1185.91081 Elkind, Edith; Goldberg, Leslie Ann; Goldberg, Paul W.; Wooldridge, Michael 42 2009 The tabu search metaheuristic: How we used it. Zbl 0878.68053 Hertz, A.; de Werra, D. 40 1990 Coverage for robotics – a survey of recent results. Zbl 1314.68317 Choset, Howie 40 2000 Polynomial-time inference of all valid implications for Horn and related formulae. Zbl 0878.68105 Boros, E.; Crama, Y.; Hammer, P. L. 39 1990 A thorough axiomatization of a principle of conditional preservation in belief revision. Zbl 1067.68141 Kern-Isberner, Gabriele 38 2004 Probability propagation. Zbl 0875.68676 Shafer, Glenn R.; Shenoy, Prakash P. 37 1990 Independence and possibilistic conditioning. Zbl 1004.60001 Bouchon-Meunier, Bernadette; Coletti, Giulianella; Marsala, Christophe 35 2002 From conditional events to conditional measures: a new axiomatic approach. Zbl 1314.68306 Coletti, G.; Scozzafava, R. 35 2001 Region-based theory of discrete spaces: A proximity approach. Zbl 1124.68105 Düntsch, Ivo; Vakarelov, Dimiter 34 2007 An efficient algorithm for the minimal unsatisfiability problem for a subclass of CNF. Zbl 0913.68090 Davydov, Gennady; Davydova, Inna; Büning, Hans Kleine 31 1998 Probabilistic logic under coherence: complexity and algorithms. Zbl 1083.03027 Biazzo, Veronica; Gilio, Angelo; Lukasiewicz, Thomas; Sanfilippo, Giuseppe 31 2006 Approximate matching of polygonal shapes. Zbl 0855.68106 Alt, Helmut; Behrends, Bernd; Blömer, Johannes 29 1995 Synthesis with rational environments. Zbl 1372.68173 Kupferman, Orna; Perelli, Giuseppe; Vardi, Moshe Y. 29 2016 Planning for temporally extended goals. Zbl 1034.68549 Bacchus, Fahiem; Kabanza, Froduald 28 1998 Consistency, redundancy, and implied equalities in linear systems. Zbl 0887.90114 Greenberg, Harvey J. 27 1996 Integrating answer set programming and constraint logic programming. Zbl 1165.68504 Mellarkod, Veena S.; Gelfond, Michael; Zhang, Yuanlin 26 2008 Locally strong coherence in inference processes. Zbl 1014.68146 Capotorti, Andrea; Vantaggi, Barbara 26 2002 Epistemic irrelevance on sets of desirable gambles. Zbl 1092.68097 Moral, Serafín 26 2006 Relational concept analysis: mining concept lattices from multi-relational data. Zbl 1297.68220 Rouane-Hacene, Mohamed; Huchard, Marianne; Napoli, Amedeo; Valtchev, Petko 26 2013 Probabilistic default reasoning with conditional constraints. Zbl 1002.68175 Lukasiewicz, Thomas 25 2002 Logical preference representation and combinatorial vote. Zbl 1061.68147 Lang, Jérôme 25 2004 Logic, semigroups and automata on words. Zbl 0860.68071 Pin, Jean-Eric 24 1996 A linear programming approach to reasoning about probabilities. Zbl 0878.68034 Kavvadias, Dimitris; Papadimitriou, Christos H. 24 1990 Graphoid properties of epistemic irrelevance and independence. Zbl 1097.68128 Cozman, Fabio G.; Walley, Peter 23 2006 Belief models: An order-theoretic investigation. Zbl 1094.03007 de Cooman, Gert 23 2006 On stability of a formal concept. Zbl 1129.68086 Kuznetsov, Sergei O. 23 2007 Separoids: a mathematical framework for conditional independence and irrelevance. Zbl 1314.68308 Dawid, A. P. 23 2001 A survey of temporal extensions of description logics. Zbl 0998.03013 Artale, Alessandro; Franconi, Enrico 22 2000 A theory of nonmonotonic rule systems I. Zbl 0878.68035 Marek, W.; Nerode, A.; Remmel, J. 22 1990 Boolean lexicographic optimization: algorithms & applications. Zbl 1242.90199 Marques-Silva, Joao; Argelich, Josep; Graça, Ana; Lynce, Inês 22 2011 On measuring uncertainty and uncertainty-based information: recent developments. Zbl 1314.68311 Klir, George J.; Smith, Richard M. 22 2001 Semigraphoids and structures of probabilistic conditional independence. Zbl 0888.68112 Studený, Milan 21 1997 Branch-and-cut solution of inference problems in propositional logic. Zbl 0878.68065 Hooker, J. N.; Fedjki, C. 21 1990 Possibilistic merging and distance-based fusion of propositional information. Zbl 1001.68032 Benferhat, Salem; Dubois, Didier; Kaci, Souhila; Prade, Henri 21 2002 A new stochastic approach for solution of Riccati differential equation of fractional order. Zbl 1228.65116 Raja, Muhammad Asif Zahoor; Khan, Junaid Ali; Qureshi, Ijaz Mansoor 21 2010 The dark side of interval temporal logic: marking the undecidability border. Zbl 1325.03014 Bresolin, Davide; Della Monica, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido 21 2014 Attribute-incremental construction of the canonical implication basis. Zbl 1125.68121 Obiedkov, S.; Duquenne, V. 21 2007 Strong conditional independence for credal sets. Zbl 1005.60006 Moral, Serafín; Cano, Andrés 20 2002 Many-valued logic and mixed integer programming. Zbl 0856.03011 Hähnle, Reiner 20 1994 Logic programming and reasoning with incomplete information. Zbl 0858.68013 Gelfond, Michael 20 1994 Properties of sensitivity analysis of Bayesian belief networks. Zbl 1015.68187 Coupé, Veerle M. H.; van der Gaag, Linda C. 20 2002 Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem. Zbl 1448.68397 Beierle, Christoph; Eichhorn, Christian; Kern-Isberner, Gabriele; Kutsch, Steven 20 2018 Structures of opposition induced by relations. The Boolean and the gradual cases. Zbl 1336.03034 Ciucci, Davide; Dubois, Didier; Prade, Henri 20 2016 On the partial semantics for disjunctive deductive databases. Zbl 0880.68029 Eiter, Thomas; Leone, Nicola; Saccà, Domenico 19 1997 TALplanner: A temporal logic based forward chaining planner. Zbl 1002.68158 Kvarnström, Jonas; Doherty, Patrick 19 2000 Complexity results for answer set programming with bounded predicate arities and implications. Zbl 1138.68017 Eiter, Thomas; Faber, Wolfgang; Fink, Michael; Woltran, Stefan 19 2007 Possibilistic uncertainty handling for answer set programming. Zbl 1105.68104 Nicolas, Pascal; Garcia, Laurent; Stéphan, Igor; Lefèvre, Claire 19 2006 Challenges to complexity shields that are supposed to protect elections against manipulation and control: a survey. Zbl 1286.68207 Rothe, Jörg; Schend, Lena 19 2013 An effective polynomial-time heuristic for the minimum-cardinality IIS set-covering problem. Zbl 0887.90112 Chinneck, John W. 19 1996 Notes on desirability and conditional lower previsions. Zbl 1231.28017 Miranda, Enrique; Zaffalon, Marco 19 2010 Integration and conditioning in numerical possibility theory. Zbl 1314.28012 de Cooman, Gert 19 2001 Cellular automata, matrix substitutions and fractals. Zbl 0866.68069 von Haeseler, Fritz; Peitgen, Heinz-Otto; Skordev, Gencho 18 1993 Generalized disjunctive well-founded semantics for logic programs. Zbl 1034.68506 Baral, Chitta; Lobo, Jorge; Minker, Jack 18 1992 Multi-adjoint concept lattices with heterogeneous conjunctors and hedges. Zbl 1322.06004 Konecny, J.; Medina, J.; Ojeda-Aciego, M. 18 2014 Prioritized repairing and consistent query answering in relational databases. Zbl 1250.68099 Staworko, Sławek; Chomicki, Jan; Marcinkowski, Jerzy 18 2012 On renamable Horn and generalized Horn functions. Zbl 0878.68106 Chandru, Vijaya; Coullard, Collette R.; Hammer, Peter L.; Montañez, Miguel; Sun, Xiaorong 17 1990 The algebra of genetic algorithms. Zbl 0855.68034 Radcliffe, Nicholas J. 17 1994 Nonmonotonic reasoning: From complexity to algorithms. Zbl 0905.68142 Cayrol, C.; Lagasquie-Schiex, M.-C.; Schiex, T. 17 1998 Simplification rules for the coherent probability assessment problem. Zbl 1006.68128 Baioletti, Marco; Capotorti, Andrea; Tulipani, Sauro; Vantaggi, Barbara 17 2002 Cross-conformal predictors. Zbl 1331.68195 Vovk, Vladimir 17 2015 A conformal prediction approach to explore functional data. Zbl 1317.62039 Lei, Jing; Rinaldo, Alessandro; Wasserman, Larry 17 2015 Characterizing functional dependencies in formal concept analysis with pattern structures. Zbl 1320.68064 Baixeries, Jaume; Kaytoue, Mehdi; Napoli, Amedeo 17 2014 Forgetting for knowledge bases in DL-lite. Zbl 1205.68410 Wang, Zhe; Wang, Kewen; Topor, Rodney; Pan, Jeff Z. 17 2010 An introduction to fuzzy answer set programming. Zbl 1125.68118 Van Nieuwenborgh, Davy; De Cock, Martine; Vermeir, Dirk 17 2007 Complex probabilistic modeling with recursive relational Bayesian networks. Zbl 1314.68302 Jaeger, Manfred 17 2001 Local computation with valuations from a commutative semigroup. Zbl 0895.68045 Lauritzen, S. L.; Jensen, F. V. 16 1997 Multi-robot area patrol under frequency constraints. Zbl 1253.68317 Elmaliach, Yehuda; Agmon, Noa; Kaminka, Gal A. 16 2009 Static semantics for normal and disjunctive logic programs. Zbl 0855.68015 Przymusinski, Teodor C. 16 1995 Finding the minimum weight IIS cover of an infeasible system of linear inequalities. Zbl 0889.90110 Parker, Mark; Ryan, Jennifer 16 1996 Approximation algorithms for the class cover problem. Zbl 1075.68609 Cannon, Adam H.; Cowen, Lenore J. 16 2004 POPMUSIC as a matheuristic for the berth allocation problem. Zbl 1335.90124 Lalla-Ruiz, Eduardo; Voß, Stefan 16 2016 Short PCPPs verifiable in polylogarithmic time with \(O(1)\) queries. Zbl 1184.68464 Mie, Thilo 16 2009 A new approach for preference-based argumentation frameworks. Zbl 1234.68371 Amgoud, Leila; Vesic, Srdjan 16 2012 Discovering the suitability of optimisation algorithms by learning from evolved instances. Zbl 1236.49008 Smith-Miles, Kate; van Hemert, Jano 16 2011 Relational concept discovery in structured datasets. Zbl 1125.68097 Huchard, M.; Hacene, M. Rouane; Roume, C.; Valtchev, P. 16 2007 Logical analysis of data – the vision of Peter L. Hammer. Zbl 1126.68064 Alexe, Gabriela; Alexe, Sorin; Bonates, Tibérius O.; Kogan, Alexander 16 2007 Distance semantics for database repair. Zbl 1126.68034 Arieli, Ofer; Denecker, Marc; Bruynooghe, Maurice 16 2007 On maximal frequent and minimal infrequent sets in binary matrices. Zbl 1038.68041 Boros, E.; Gurvich, V.; Khachiyan, L.; Makino, K. 15 2003 A new algorithm for shortest paths among obstacles in the plane. Zbl 0875.68765 Mitchell, Joseph S. B. 15 1991 A formal analysis of the role of multi-point crossover in genetic algorithms. Zbl 1004.68538 De Jong, Kenneth A.; Spears, William M. 15 1992 Boosting complete techniques thanks to local search methods. Zbl 0905.68143 Mazure, Bertrand; Saïs, Lakhdar; Grégoire, Éric 15 1998 UnitWalk: A new SAT solver that uses local search guided by unit clause elimination. Zbl 1100.68621 Hirsch, Edward A.; Kojevnikov, Arist 15 2005 Analyzing bandit-based adaptive operator selection mechanisms. Zbl 1226.68081 Fialho, Álvaro; Da Costa, Luis; Schoenauer, Marc; Sebag, Michèle 15 2010 Conformant planning as a case study of incremental QBF solving. Zbl 1409.68253 Egly, Uwe; Kronegger, Martin; Lonsing, Florian; Pfandler, Andreas 15 2017 Learning dynamic algorithm portfolios. Zbl 1113.68101 Gagliolo, Matteo; Schmidhuber, Jürgen 15 2006 Lexicographically maximal edges of dual hypergraphs and Nash-solvability of tight game forms. Zbl 1532.91022 Gurvich, Vladimir; Naumova, Mariya 2 2024 On those Boolean functions that are coset leaders of first order Reed-Muller codes. Zbl 07802493 Carlet, Claude; Feukoua, Serge 1 2024 Digital continuity of rotations in the 2D regular grids. Zbl 1534.68249 Saadetoğlu, Müge; Nagy, Benedek; Avkan, Aydın 1 2024 Altruism in coalition formation games. Zbl 07904646 Kerkmann, Anna Maria; Cramer, Simon; Rothe, Jörg 1 2024 Hypergeometric structures in Feynman integrals. Zbl 1526.33008 Blümlein, J.; Saragnese, M.; Schneider, C. 6 2023 Neural networks in Fréchet spaces. Zbl 07644143 Benth, Fred Espen; Detering, Nils; Galimberti, Luca 3 2023 On the finite representation of linear group equivariant operators via permutant measures. Zbl 1542.55001 Bocchi, Giovanni; Botteghi, Stefano; Brasini, Martina; Frosini, Patrizio; Quercioli, Nicola 1 2023 Deductive belief change. Zbl 07730286 Aravanis, Theofanis 1 2023 Knowledge forgetting in propositional \(\mu\)-calculus. Zbl 07644141 Feng, Renyan; Wang, Yisong; Qian, Ren; Yang, Lei; Chen, Panfeng 1 2023 Parametrized topological complexity of collision-free motion planning in the plane. Zbl 1509.55011 Cohen, Daniel C.; Farber, Michael; Weinberger, Shmuel 8 2022 Nonmonotonic reasoning from conditional knowledge bases with system W. Zbl 1508.68362 Komo, Christian; Beierle, Christoph 7 2022 Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings. Zbl 1508.68355 Beierle, Christoph; Haldimann, Jonas 6 2022 Analogical proportions. Zbl 1490.68175 Antić, Christian 4 2022 Knowledge cores in large formal contexts. Zbl 1505.68041 Hanika, Tom; Hirth, Johannes 3 2022 Gaussoids are two-antecedental approximations of Gaussian conditional independence structures. Zbl 1493.62020 Boege, Tobias 3 2022 A robust multiobjective model for the integrated berth and quay crane scheduling problem at seaside container terminals. Zbl 07570856 Nourmohammadzadeh, Abtin; Voß, Stefan 3 2022 Learning with cone-based geometric models and orthologics. Zbl 1511.68276 Leemhuis, Mena; Özçep, Özgür L.; Wolter, Diedrich 3 2022 Theory-relational belief revision. Zbl 1508.03051 Aravanis, Theofanis; Peppas, Pavlos 2 2022 Order-sorted equational generalization algorithm revisited. Zbl 07517439 Alpuente, María; Escobar, Santiago; Meseguer, José; Sapiña, Julia 2 2022 General information spaces: measuring inconsistency, rationality postulates, and complexity. Zbl 07473201 Grant, John; Parisi, Francesco 2 2022 Parameterised complexity of model checking and satisfiability in propositional dependence logic. Zbl 1534.68108 Mahmood, Yasir; Meier, Arne 2 2022 Addendum to: “Multiple-source adaptation theory and algorithms”. Zbl 1490.68185 Hoffman, Judy; Mohri, Mehryar; Zhang, Ningshan 1 2022 Least squares approach to K-SVCR multi-class classification with its applications. Zbl 07570858 Moosaei, Hossein; Hladík, Milan 1 2022 Chunking and cooperation in particle swarm optimization for feature selection. Zbl 07570859 Sarhani, Malek; Voß, Stefan 1 2022 An integrated bi-objective U-shaped assembly line balancing and parts feeding problem: optimization model and exact solution method. Zbl 07570849 Yılmaz, Ömer Faruk 1 2022 Column generation for the equilibrium route-flow traffic assignment problem. Zbl 1492.90175 Krylatov, Alexander 1 2022 Evolutionary game analysis on government subsidy policy and bank loan strategy in China’s distributed photovoltaic market. Zbl 07570853 Zhu, Xing; Liao, Baoyu; Yang, Shanlin; Pardalos, Panos M. 1 2022 Classes of linear programs solvable by coordinate-wise minimization. Zbl 1492.90078 Dlask, Tomáš; Werner, Tomáš 1 2022 Functions-as-constructors higher-order unification: extended pattern unification. Zbl 1542.68213 Libal, Tomer; Miller, Dale 1 2022 About the unification type of \(\mathbf{K}+\square \square \bot\). Zbl 07517438 Balbiani, Philippe; Gencer, Çiğdem; Rostamigiv, Maryam; Tinchev, Tinko 1 2022 Complexity of shift bribery for iterative voting rules. Zbl 07618985 Maushagen, Cynthia; Neveling, Marc; Rothe, Jörg; Selker, Ann-Kathrin 1 2022 Topological measurement of deep neural networks using persistent homology. Zbl 07473194 Watanabe, Satoru; Yamana, Hayato 1 2022 A semiotic perspective on polysemy. Zbl 1511.68278 Priss, Uta 1 2022 Indepth combinatorial analysis of admissible sets for abstract argumentation. Zbl 1511.68265 Croitoru, Cosmina; Croitoru, Madalina 1 2022 On Shapley value interpretability in concept-based learning with formal concept analysis. Zbl 1511.68272 Ignatov, Dmitry I.; Kwuida, Léonard 1 2022 The universal approximation property. Characterization, construction, representation, and existence. Zbl 1511.41012 Kratsios, Anastasis 9 2021 Instance space analysis for a personnel scheduling problem. Zbl 1511.90187 Kletzander, Lucas; Musliu, Nysret; Smith-Miles, Kate 5 2021 On the correspondence between abstract dialectical frameworks and nonmonotonic conditional logics. Zbl 1496.68317 Heyninck, Jesse; Kern-Isberner, Gabriele; Thimm, Matthias; Skiba, Kenneth 5 2021 An investigation of parametrized difference revision operators. Zbl 1511.68262 Aravanis, Theofanis; Peppas, Pavlos; Williams, Mary-Anne 5 2021 Classifier-based constraint acquisition. Zbl 1507.68252 Prestwich, S. D.; Freuder, E. C.; O’Sullivan, B.; Browne, D. 3 2021 Multiple-source adaptation theory and algorithms. Zbl 1490.68194 Zhang, Ningshan; Mohri, Mehryar; Hoffman, Judy 3 2021 \(\mathit{Log}_A\mathbf{G}\): an algebraic non-monotonic logic for reasoning with graded propositions. Zbl 1511.68266 Ehab, Nourhan; Ismail, Haythem O. 2 2021 Improving parity games in practice. Zbl 1507.68184 Di Stasio, Antonio; Murano, Aniello; Prignano, Vincenzo; Sorrentino, Loredana 2 2021 Ranking kinematics for revising by contextual information. Zbl 1494.68263 Sezgin, Meliha; Kern-Isberner, Gabriele; Beierle, Christoph 2 2021 A survey on the applications of variable neighborhood search algorithm in healthcare management. Zbl 07420366 Lan, Shaowen; Fan, Wenjuan; Yang, Shanlin; Pardalos, Panos M.; Mladenovic, Nenad 2 2021 Irreducible bin packing and normality in routing open shop. Zbl 1476.90111 Chernykh, Ilya; Pyatkin, Artem 2 2021 Coherent lower and upper conditional previsions defined by Hausdorff inner and outer measures to represent the role of conscious and unconscious thought in human decision making. Zbl 1497.91084 Doria, Serena 2 2021 Joint desirability foundations of social choice and opinion pooling. Zbl 1497.91108 Casanova, Arianna; Miranda, Enrique; Zaffalon, Marco 2 2021 A probabilistic interval-based event calculus for activity recognition. Zbl 1511.68280 Artikis, Alexander; Makris, Evangelos; Paliouras, Georgios 2 2021 Logic programming in tensor spaces. Zbl 1496.68092 Sakama, Chiaki; Inoue, Katsumi; Sato, Taisuke 1 2021 RAMP algorithms for the capacitated facility location problem. Zbl 07420368 Matos, Telmo; Oliveira, Óscar; Gamboa, Dorabela 1 2021 A dual RAMP algorithm for single source capacitated facility location problems. Zbl 07420369 Oliveira, Óscar; Matos, Telmo; Gamboa, Dorabela 1 2021 Constraint-based learning for non-parametric continuous Bayesian networks. Zbl 07447179 Lasserre, Marvin; Lebrun, Régis; Wuillemin, Pierre-Henri 1 2021 Efficient implicit Lagrangian twin parametric insensitive support vector regression via unconstrained minimization problems. Zbl 1522.68456 Gupta, Deepak; Richhariya, Bharat 1 2021 On generalization in moment-based domain adaptation. Zbl 1518.68329 Zellinger, Werner; Moser, Bernhard A.; Saminger-Platz, Susanne 1 2021 Categorical study for algebras of Fitting’s lattice-valued logic and lattice-valued modal logic. Zbl 1465.18005 Ray, Kumar Sankar; Das, Litan Kumar 1 2021 Valid attacks in argumentation frameworks with recursive attacks. Zbl 1511.68264 Cayrol, C.; Fandinno, J.; Fariñas del Cerro, L.; Lagasquie-Schiex, M.-C. 1 2021 Model simplification for supervised classification of metabolic networks. Zbl 1436.62254 Granata, Ilaria; Guarracino, Mario R.; Kalyagin, Valery A.; Maddalena, Lucia; Manipur, Ichcha; Pardalos, Panos M. 10 2020 Complexity and approximability of the Euclidean generalized traveling salesman problem in grid clusters. Zbl 1430.90491 Khachay, Michael; Neznakhina, Katherine 7 2020 Data-driven Koopman operator approach for computational neuroscience. Zbl 1466.37073 Marrouch, Natasza; Slawinska, Joanna; Giannakis, Dimitrios; Read, Heather L. 6 2020 Targeting solutions in Bayesian multi-objective optimization: sequential and batch versions. Zbl 1432.90138 Gaudrie, David; Le Riche, Rodolphe; Picheny, Victor; Enaux, Benoît; Herbert, Vincent 4 2020 Privacy stochastic games in distributed constraint reasoning. Zbl 1460.68121 Savaux, Julien; Vion, Julien; Piechowiak, Sylvain; Mandiau, René; Matsui, Toshihiro; Hirayama, Katsutoshi; Yokoo, Makoto; Elmane, Shakre; Silaghi, Marius 4 2020 Directed Lovász local lemma and Shearer’s lemma. Zbl 1477.68534 Kirousis, Lefteris; Livieratos, John; Psaromiligkos, Kostas I. 3 2020 Digitized rotations of 12 neighbors on the triangular grid. Zbl 1467.68195 Avkan, Aydın; Nagy, Benedek; Saadetoğlu, Müge 3 2020 Towards a model of creative understanding: deconstructing and recreating conceptual blends using image schemas and qualitative spatial descriptors. Zbl 1444.68205 Falomir, Zoe; Plaza, Enric 3 2020 Soft computing methods for multiobjective location of garbage accumulation points in smart cities. Zbl 1430.90592 Toutouh, Jamal; Rossit, Diego; Nesmachnow, Sergio 2 2020 Effective IG heuristics for a single-machine scheduling problem with family setups and resource constraints. Zbl 1430.90288 Pinheiro, Júlio C. S. N.; Arroyo, José Elias C. 2 2020 Optimal probability aggregation based on generalized Brier scoring. Zbl 1452.68209 Feldbacher-Escamilla, Christian J.; Schurz, Gerhard 2 2020 Statistical learning based on Markovian data maximal deviation inequalities and learning rates. Zbl 1454.60112 Clémençon, Stephan; Bertail, Patrice; Ciołek, Gabriela 2 2020 Learning under \(p\)-tampering poisoning attacks. Zbl 1473.68155 Mahloujifar, Saeed; Diochnos, Dimitrios I.; Mahmoody, Mohammad 2 2020 On integer closure in a system of unit two variable per inequality constraints. Zbl 1466.90053 Subramani, K.; Wojciechowski, P. 2 2020 Dynamic search trajectory methods for global optimization. Zbl 1461.65113 Alexandropoulos, Stamatios-Aggelos N.; Pardalos, Panos M.; Vrahatis, Michael N. 1 2020 Feature uncertainty bounds for explicit feature maps and large robust nonlinear SVM classifiers. Zbl 1436.62246 Couellan, Nicolas; Jan, Sophie 1 2020 The price to pay for forgoing normalization in fair division of indivisible goods. Zbl 1448.91137 Lange, Pascal; Nguyen, Nhan-Tam; Rothe, Jörg 1 2020 Non-terminating processes in the situation calculus. Zbl 1444.68179 De Giacomo, Giuseppe; Ternovska, Eugenia; Reiter, Ray 1 2020 Sufficient conditions for the existence of a sample mean of time series under dynamic time warping. Zbl 1440.49019 Jain, Brijnesh; Schultz, David 1 2020 Discrepancy-based theory and algorithms for forecasting non-stationary time series. Zbl 1452.62654 Kuznetsov, Vitaly; Mohri, Mehryar 1 2020 “All the world’s a stage”: incongruity humour revisited. Zbl 1444.68269 Nijholt, Anton 1 2020 Multivariate time series analysis from a Bayesian machine learning perspective. Zbl 1465.62101 Qiu, Jinwen; Jammalamadaka, S. Rao; Ning, Ning 1 2020 Analyzing cognitive processes from complex neuro-physiologically based data: some lessons. Zbl 1465.62120 Frid, Alex; Manevitz, Larry M. 1 2020 Deep learning models for brain machine interfaces. Zbl 1477.68276 Bozhkov, Lachezar; Georgieva, Petia 1 2020 Proof-checking Euclid. Zbl 1539.68361 Beeson, Michael; Narboux, Julien; Wiedijk, Freek 10 2019 Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations. Zbl 1452.68179 Beierle, Christoph; Kutsch, Steven; Sauerwald, Kai 8 2019 A review of the relations between logical argumentation and reasoning with maximal consistency. Zbl 1474.68333 Arieli, Ofer; Borg, AnneMarie; Heyninck, Jesse 6 2019 Relative deviation learning bounds and generalization with unbounded loss functions. Zbl 1442.68194 Cortes, Corinna; Greenberg, Spencer; Mohri, Mehryar 6 2019 A multiparametric view on answer set programming. Zbl 1420.68030 Fichte, Johannes K.; Kronegger, Martin; Woltran, Stefan 4 2019 Contextual rational closure for defeasible \(\mathcal{ALC} \). Zbl 1452.68180 Britz, Katarina; Varzinczak, Ivan 3 2019 The SAT+CAS method for combinatorial search with applications to best matrices. Zbl 1434.05001 Bright, Curtis; Đoković, Dragomir Ž.; Kotsireas, Ilias; Ganesh, Vijay 3 2019 Knowledge representation analysis of graph mining. Zbl 1485.68248 van der Hallen, Matthias; Paramonov, Sergey; Janssens, Gerda; Denecker, Marc 2 2019 A parallel memory-efficient epistemic logic program solver: harder, better, faster. Zbl 1485.68036 Kahl, Patrick Thor; Leclerc, Anthony P.; Tran, Son Cao 2 2019 Practical reasoning using values: an argumentative approach based on a hierarchy of values. Zbl 1441.91024 Teze, Juan C. L.; Perelló-Moragues, Antoni; Godo, Lluis; Noriega, Pablo 2 2019 Two AGM-style characterizations of model repair. Zbl 1477.03039 Guerra, Paulo T.; Wassermann, Renata 2 2019 Can one design a geometry engine? Can one design a geometry engine? On the (un)decidability of certain affine Euclidean geometries. Zbl 1439.03033 Makowsky, Johann A. 2 2019 Guest editorial: Special issue on answer set programming and other computing paradigms. Zbl 1476.00088 1 2019 Multi-context systems in dynamic environments. Zbl 1485.68246 Cabalar, Pedro; Costantini, Stefania; De Gasperis, Giovanni; Formisano, Andrea 1 2019 P-log: refinement and a new coherency condition. Zbl 1485.68247 Balai, Evgenii; Gelfond, Michael; Zhang, Yuanlin 1 2019 Voting-based ensemble learning for partial lexicographic preference forests over combinatorial domains. Zbl 1452.68191 Liu, Xudong; Truszczynski, Miroslaw 1 2019 Fundamental conditions on the sampling pattern for union of low-rank subspaces retrieval. Zbl 1474.68312 Ashraphijuo, Morteza; Wang, Xiaodong 1 2019 Multi-valued logic in graph transformation theory and self-adaptive systems. Zbl 1474.68338 Maximov, Dmitry; Ryvkin, Sergey 1 2019 Probability, coherent belief and coherent belief changes. Zbl 1474.68343 Cantwell, John; Rott, Hans 1 2019 ...and 823 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 6,891 Authors 51 Vantaggi, Barbara 46 Eiter, Thomas 43 Prade, Henri M. 41 Dubois, Didier 34 Coletti, Giulianella 33 Woltran, Stefan 31 Czado, Claudia 30 Beierle, Christoph 29 Cabalar, Pedro 29 Miranda, Enrique 29 Schaub, Torsten H. 28 Kern-Isberner, Gabriele 26 Zaffalon, Marco 25 Petturiti, Davide 24 Rothe, Jörg-Matthias 23 Montanari, Angelo 21 de Cooman, Gert 21 Joe, Harry 20 Link, Sebastian 20 Sanfilippo, Giuseppe 20 Truszczyński, Mirosław 19 Arieli, Ofer 19 Benferhat, Salem 19 Gagliardi Cozman, Fabio 19 Gilio, Angelo 19 Lierler, Yuliya 19 Ojeda-Aciego, Manuel 18 Boros, Endre 18 Fandinno, Jorge 18 Napoli, Amedeo 18 Schockaert, Steven 17 Gebser, Martin 17 Lifschitz, Vladimir 17 Maratea, Marco 17 Medina, Jesús 16 Alviano, Mario 16 Gabbay, Dov M. 16 Leone, Nicola 16 Pearce, David 16 Remmel, Jeffrey Brian 16 Sciavicco, Guido 16 Subramani, Krishnan 16 You, Jia-Huai 15 Amgoud, Leila 15 De Cock, Martine 15 Godo, Lluís 15 Jain, Sanjay 15 Lukasiewicz, Thomas 15 Simari, Guillermo Ricardo 15 Szeider, Stefan 15 Wojciechowski, Piotr J. 14 Demey, Lorenz 14 Faber, Wolfgang 14 Fink, Michael 14 Hunter, Anthony 14 Inoue, Katsumi 14 Janhunen, Tomi 14 Jiroušek, Radim 14 Marek, V. Wiktor 14 Ognjanović, Zoran 14 Wooldridge, Michael J. 13 Bozzelli, Laura 13 Giordano, Laura 13 Giunchiglia, Enrico 13 Kučera, Petr 13 Lin, Fangzhen 13 Marques-Silva, João P. 13 Peron, Adriano 13 Scozzafava, Romano 13 Stephan, Frank 12 Beyersdorff, Olaf 12 Čepek, Ondřej 12 Ciabattoni, Agata 12 Cordero, Pablo 12 Dodaro, Carmine 12 Erdem, Esra 12 Hooker, John N. jun. 12 Makino, Kazuhisa 12 Parisi, Francesco 12 Pfeifer, Niki 12 Ricca, Francesco 12 Subrahmanian, V. S. 12 Vermeir, Dirk 12 Voß, Stefan 11 Amendola, Giovanni 11 Baioletti, Marco 11 Baral, Chitta R. 11 Gottlob, Georg 11 Greco, Sergio 11 Haldimann, Jonas Philipp 11 Konecny, Jan 11 Krídlo, Ondrej 11 Kullmann, Oliver 11 Lagasquie-Schiex, Marie-Christine 11 Palopoli, Luigi 11 Pontelli, Enrico 11 Sala, Pietro 11 Son, Tran Cao 11 van der Torre, Leendert W. N. 10 Doder, Dragan ...and 6,791 more Authors all top 5 Cited in 511 Journals 392 Artificial Intelligence 359 Annals of Mathematics and Artificial Intelligence 283 International Journal of Approximate Reasoning 190 Theoretical Computer Science 144 Theory and Practice of Logic Programming 118 Discrete Applied Mathematics 95 Fuzzy Sets and Systems 88 European Journal of Operational Research 85 Information Sciences 72 Journal of Automated Reasoning 57 Information and Computation 57 Annals of Operations Research 57 Journal of Applied Non-Classical Logics 49 Computers & Operations Research 46 Journal of Applied Logic 39 Studia Logica 38 Synthese 36 Constraints 35 Journal of Computer and System Sciences 35 Annals of Pure and Applied Logic 35 Journal of High Energy Physics 32 Information Processing Letters 32 Machine Learning 31 ACM Transactions on Computational Logic 27 Journal of Multivariate Analysis 26 Computational Statistics and Data Analysis 25 The Journal of Artificial Intelligence Research (JAIR) 23 Journal of Philosophical Logic 22 Journal of Global Optimization 20 Journal of Logic, Language and Information 20 Logical Methods in Computer Science 19 International Journal of General Systems 19 Algorithmica 17 Journal of Symbolic Computation 17 Mathematics in Computer Science 16 The Annals of Statistics 16 The Journal of Symbolic Logic 16 Computational Geometry 15 Applied Mathematics and Computation 15 Archive for Mathematical Logic 14 Automatica 14 Kybernetika 14 Theory of Computing Systems 14 Soft Computing 14 Journal of Machine Learning Research (JMLR) 13 Discrete Mathematics 13 International Journal of Intelligent Systems 13 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 13 Logica Universalis 12 Journal of Mathematical Analysis and Applications 12 SIGMA. Symmetry, Integrability and Geometry: Methods and Applications 11 Transactions of the American Mathematical Society 11 Journal of Computer Science and Technology 11 New Generation Computing 11 Mathematical Programming. Series A. Series B 11 INFORMS Journal on Computing 10 Acta Informatica 10 International Journal of Computer Mathematics 10 International Transactions in Operational Research 10 Mathematical Problems in Engineering 10 Journal of Combinatorial Optimization 10 The Journal of Logic and Algebraic Programming 9 Topology and its Applications 9 Mathematical Social Sciences 9 Operations Research Letters 9 Mathematical and Computer Modelling 9 Mathematical Structures in Computer Science 9 The Bulletin of Symbolic Logic 9 Statistics and Computing 8 Journal of the American Statistical Association 8 Journal of Statistical Planning and Inference 8 SIAM Journal on Discrete Mathematics 8 Pattern Recognition 8 Journal of Mathematical Imaging and Vision 8 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering 8 Formal Methods in System Design 8 Dependence Modeling 8 Journal of Logical and Algebraic Methods in Programming 7 Journal of Statistical Physics 7 Mathematics and Computers in Simulation 7 Discrete & Computational Geometry 7 Neural Networks 7 Journal of Cosmology and Astroparticle Physics 7 Journal of Physics A: Mathematical and Theoretical 7 Journal of Computational and Graphical Statistics 6 Computer Methods in Applied Mechanics and Engineering 6 Mathematical Methods in the Applied Sciences 6 Algebra Universalis 6 Journal of Computational and Applied Mathematics 6 Bulletin of the Section of Logic 6 Insurance Mathematics & Economics 6 Physica D 6 Social Choice and Welfare 6 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 6 International Journal of Foundations of Computer Science 6 Applied Mathematical Modelling 6 Integral Transforms and Special Functions 6 Bernoulli 6 Data Mining and Knowledge Discovery 6 RAIRO. Theoretical Informatics and Applications ...and 411 more Journals all top 5 Cited in 63 Fields 3,309 Computer science (68-XX) 1,049 Mathematical logic and foundations (03-XX) 592 Operations research, mathematical programming (90-XX) 466 Statistics (62-XX) 370 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 203 Combinatorics (05-XX) 202 Probability theory and stochastic processes (60-XX) 149 Order, lattices, ordered algebraic structures (06-XX) 113 Numerical analysis (65-XX) 88 Quantum theory (81-XX) 81 Information and communication theory, circuits (94-XX) 78 Biology and other natural sciences (92-XX) 63 Special functions (33-XX) 51 Systems theory; control (93-XX) 48 Geometry (51-XX) 42 Number theory (11-XX) 41 Ordinary differential equations (34-XX) 38 Partial differential equations (35-XX) 35 Linear and multilinear algebra; matrix theory (15-XX) 35 Relativity and gravitational theory (83-XX) 34 Dynamical systems and ergodic theory (37-XX) 30 Measure and integration (28-XX) 29 General algebraic systems (08-XX) 29 Convex and discrete geometry (52-XX) 27 History and biography (01-XX) 25 Category theory; homological algebra (18-XX) 25 Group theory and generalizations (20-XX) 25 Statistical mechanics, structure of matter (82-XX) 24 General topology (54-XX) 24 Algebraic topology (55-XX) 21 General and overarching topics; collections (00-XX) 21 Mechanics of particles and systems (70-XX) 20 Harmonic analysis on Euclidean spaces (42-XX) 20 Differential geometry (53-XX) 18 Real functions (26-XX) 17 Operator theory (47-XX) 15 Algebraic geometry (14-XX) 15 Functions of a complex variable (30-XX) 15 Approximations and expansions (41-XX) 13 Commutative algebra (13-XX) 10 Field theory and polynomials (12-XX) 10 Fluid mechanics (76-XX) 9 Associative rings and algebras (16-XX) 9 Calculus of variations and optimal control; optimization (49-XX) 8 Functional analysis (46-XX) 8 Manifolds and cell complexes (57-XX) 7 Integral equations (45-XX) 6 Mechanics of deformable solids (74-XX) 6 Optics, electromagnetic theory (78-XX) 5 Integral transforms, operational calculus (44-XX) 5 Global analysis, analysis on manifolds (58-XX) 5 Astronomy and astrophysics (85-XX) 4 Potential theory (31-XX) 4 Mathematics education (97-XX) 3 Several complex variables and analytic spaces (32-XX) 3 Difference and functional equations (39-XX) 3 Sequences, series, summability (40-XX) 3 Classical thermodynamics, heat transfer (80-XX) 3 Geophysics (86-XX) 2 Nonassociative rings and algebras (17-XX) 2 Abstract harmonic analysis (43-XX) 1 \(K\)-theory (19-XX) 1 Topological groups, Lie groups (22-XX) Citations by Year