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,418 Publications (since 1990) References Indexed: 1,006 Publications with 33,714 References. all top 5 Latest Issues 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) 59, No. 3-4 (2010) 59, No. 2 (2010) 59, No. 1 (2010) 58, No. 3-4 (2010) ...and 104 more Volumes all top 5 Authors 17 Pardalos, Panos M. 12 Dix, Jurgen 12 Golumbic, Martin Charles 10 Benferhat, Salem 10 Prade, Henri M. 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 Rothe, Jörg-Matthias 7 Simari, Guillermo Ricardo 7 Truszczyński, Mirosław 6 Biskup, Joachim 6 Dubois, Didier 6 Kotsireas, Ilias S. 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 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 Čepek, Ondřej 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 Gottlob, Georg 4 Greenberg, Harvey Joel 4 Ibaraki, Toshihide 4 Ida, Tetsuo 4 Janičić, Predrag 4 Kogan, Alexander 4 Kovács, Zoltán 4 Kutsia, Temur 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 Mohri, Mehryar 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 Simos, Dimitris E. 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 ...and 2,257 more Authors all top 5 Fields 1,256 Computer science (68-XX) 261 Mathematical logic and foundations (03-XX) 118 General and overarching topics; collections (00-XX) 105 Operations research, mathematical programming (90-XX) 81 Statistics (62-XX) 77 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 54 Order, lattices, ordered algebraic structures (06-XX) 39 Combinatorics (05-XX) 26 Probability theory and stochastic processes (60-XX) 24 Numerical analysis (65-XX) 20 Information and communication theory, circuits (94-XX) 16 Geometry (51-XX) 16 Systems theory; control (93-XX) 12 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) 7 General algebraic systems (08-XX) 7 Algebraic geometry (14-XX) 7 Algebraic topology (55-XX) 6 History and biography (01-XX) 6 Functional analysis (46-XX) 5 Category theory; homological algebra (18-XX) 5 Group theory and generalizations (20-XX) 5 Special functions (33-XX) 5 Calculus of variations and optimal control; optimization (49-XX) 4 Number theory (11-XX) 4 Approximations and expansions (41-XX) 4 General topology (54-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) 3 Quantum theory (81-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 892 Publications have been cited 6,082 times in 4,564 Documents Cited by ▼ Year ▼ NIST digital library of mathematical functions. Zbl 1019.65001 Lozier, Daniel W. 191 2003 Logic programs with stable model semantics as a constraint programming paradigm. Zbl 0940.68018 Niemelä, Ilkka 166 1999 Probability density decomposition for conditionally dependent random variables modeled by vines. Zbl 1314.62040 Bedford, Tim; Cooke, Roger M. 138 2001 Stochastic independence in a coherent setting. Zbl 1005.60007 Coletti, G.; Scozzafava, R. 136 2002 On the computational cost of disjunctive logic programming: Propositional case. Zbl 0858.68016 Eiter, Thomas; Gottlob, Georg 99 1995 A reasoning model based on the production of acceptable arguments. Zbl 1002.68172 Amgoud, Leila; Cayrol, Claudette 80 2002 Nested expressions in logic programs. Zbl 0940.68075 Lifschitz, Vladimir; Tang, Lappoon R.; Turner, Hudson 76 1999 Possibility theory, probability theory and multiple-valued logics: a clarification. Zbl 1314.68309 Dubois, Didier; Prade, Henri 67 2001 Propositional semantics for disjunctive logic programs. Zbl 0858.68012 Ben-Eliyahu, Rachel; Dechter, Rina 63 1994 Another perspective on default reasoning. Zbl 0857.68096 Lehmann, Daniel 61 1995 Equilibrium logic. Zbl 1117.03039 Pearce, David 53 2006 Modeling genetic algorithms with Markov chains. Zbl 1034.68534 Nix, Allen E.; Vose, Michael D. 51 1992 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 41 2002 The tabu search metaheuristic: How we used it. Zbl 0878.68053 Hertz, A.; de Werra, D. 40 1990 Polynomial-time inference of all valid implications for Horn and related formulae. Zbl 0878.68105 Boros, E.; Crama, Y.; Hammer, P. L. 37 1990 Coverage for robotics – a survey of recent results. Zbl 1314.68317 Choset, Howie 37 2000 On the computational complexity of weighted voting games. Zbl 1185.91081 Elkind, Edith; Goldberg, Leslie Ann; Goldberg, Paul W.; Wooldridge, Michael 36 2009 From conditional events to conditional measures: a new axiomatic approach. Zbl 1314.68306 Coletti, G.; Scozzafava, R. 35 2001 Independence and possibilistic conditioning. Zbl 1004.60001 Bouchon-Meunier, Bernadette; Coletti, Giulianella; Marsala, Christophe 34 2002 Probability propagation. Zbl 0875.68676 Shafer, Glenn R.; Shenoy, Prakash P. 34 1990 Region-based theory of discrete spaces: A proximity approach. Zbl 1124.68105 Düntsch, Ivo; Vakarelov, Dimiter 32 2007 A thorough axiomatization of a principle of conditional preservation in belief revision. Zbl 1067.68141 Kern-Isberner, Gabriele 32 2004 Probabilistic logic under coherence: complexity and algorithms. Zbl 1083.03027 Biazzo, Veronica; Gilio, Angelo; Lukasiewicz, Thomas; Sanfilippo, Giuseppe 30 2006 An efficient algorithm for the minimal unsatisfiability problem for a subclass of CNF. Zbl 0913.68090 Davydov, Gennady; Davydova, Inna; Büning, Hans Kleine 27 1998 Approximate matching of polygonal shapes. Zbl 0855.68106 Alt, Helmut; Behrends, Bernd; Blömer, Johannes 27 1995 Integrating answer set programming and constraint logic programming. Zbl 1165.68504 Mellarkod, Veena S.; Gelfond, Michael; Zhang, Yuanlin 26 2008 Epistemic irrelevance on sets of desirable gambles. Zbl 1092.68097 Moral, Serafín 26 2006 Consistency, redundancy, and implied equalities in linear systems. Zbl 0887.90114 Greenberg, Harvey J. 26 1996 Locally strong coherence in inference processes. Zbl 1014.68146 Capotorti, Andrea; Vantaggi, Barbara 25 2002 Planning for temporally extended goals. Zbl 1034.68549 Bacchus, Fahiem; Kabanza, Froduald 25 1998 Logical preference representation and combinatorial vote. Zbl 1061.68147 Lang, Jérôme 25 2004 Probabilistic default reasoning with conditional constraints. Zbl 1002.68175 Lukasiewicz, Thomas 24 2002 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 Synthesis with rational environments. Zbl 1372.68173 Kupferman, Orna; Perelli, Giuseppe; Vardi, Moshe Y. 23 2016 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 Separoids: a mathematical framework for conditional independence and irrelevance. Zbl 1314.68308 Dawid, A. P. 22 2001 On stability of a formal concept. Zbl 1129.68086 Kuznetsov, Sergei O. 21 2007 Branch-and-cut solution of inference problems in propositional logic. Zbl 0878.68065 Hooker, J. N.; Fedjki, C. 21 1990 Semigraphoids and structures of probabilistic conditional independence. Zbl 0888.68112 Studený, Milan 21 1997 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 On measuring uncertainty and uncertainty-based information: recent developments. Zbl 1314.68311 Klir, George J.; Smith, Richard M. 21 2001 Possibilistic merging and distance-based fusion of propositional information. Zbl 1001.68032 Benferhat, Salem; Dubois, Didier; Kaci, Souhila; Prade, Henri 20 2002 Strong conditional independence for credal sets. Zbl 1005.60006 Moral, Serafín; Cano, Andrés 20 2002 Relational concept analysis: mining concept lattices from multi-relational data. Zbl 1297.68220 Rouane-Hacene, Mohamed; Huchard, Marianne; Napoli, Amedeo; Valtchev, Petko 20 2013 TALplanner: A temporal logic based forward chaining planner. Zbl 1002.68158 Kvarnström, Jonas; Doherty, Patrick 19 2000 Boolean lexicographic optimization: algorithms & applications. Zbl 1242.90199 Marques-Silva, Joao; Argelich, Josep; Graça, Ana; Lynce, Inês 19 2011 Belief models: An order-theoretic investigation. Zbl 1094.03007 de Cooman, Gert 19 2006 Logic programming and reasoning with incomplete information. Zbl 0858.68013 Gelfond, Michael 19 1994 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 Complexity results for answer set programming with bounded predicate arities and implications. Zbl 1138.68017 Eiter, Thomas; Faber, Wolfgang; Fink, Michael; Woltran, Stefan 18 2007 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 18 2010 Notes on desirability and conditional lower previsions. Zbl 1231.28017 Miranda, Enrique; Zaffalon, Marco 18 2010 An effective polynomial-time heuristic for the minimum-cardinality IIS set-covering problem. Zbl 0887.90112 Chinneck, John W. 18 1996 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 On the partial semantics for disjunctive deductive databases. Zbl 0880.68029 Eiter, Thomas; Leone, Nicola; Saccà, Domenico 18 1997 Properties of sensitivity analysis of Bayesian belief networks. Zbl 1015.68187 Coupé, Veerle M. H.; van der Gaag, Linda C. 18 2002 Prioritized repairing and consistent query answering in relational databases. Zbl 1250.68099 Staworko, Sławek; Chomicki, Jan; Marcinkowski, Jerzy 17 2012 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 Possibilistic uncertainty handling for answer set programming. Zbl 1105.68104 Nicolas, Pascal; Garcia, Laurent; Stéphan, Igor; Lefèvre, Claire 17 2006 Many-valued logic and mixed integer programming. Zbl 0856.03011 Hähnle, Reiner 17 1994 POPMUSIC as a matheuristic for the berth allocation problem. Zbl 1335.90124 Lalla-Ruiz, Eduardo; Voß, Stefan 17 2016 Multi-adjoint concept lattices with heterogeneous conjunctors and hedges. Zbl 1322.06004 Konecny, J.; Medina, J.; Ojeda-Aciego, M. 17 2014 Integration and conditioning in numerical possibility theory. Zbl 1314.28012 de Cooman, Gert 17 2001 Forgetting for knowledge bases in DL-lite. Zbl 1205.68410 Wang, Zhe; Wang, Kewen; Topor, Rodney; Pan, Jeff Z. 17 2010 Attribute-incremental construction of the canonical implication basis. Zbl 1125.68121 Obiedkov, S.; Duquenne, V. 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 Local computation with valuations from a commutative semigroup. Zbl 0895.68045 Lauritzen, S. L.; Jensen, F. V. 16 1997 The algebra of genetic algorithms. Zbl 0855.68034 Radcliffe, Nicholas J. 16 1994 Complex probabilistic modeling with recursive relational Bayesian networks. Zbl 1314.68302 Jaeger, Manfred 16 2001 Multi-robot area patrol under frequency constraints. Zbl 1253.68317 Elmaliach, Yehuda; Agmon, Noa; Kaminka, Gal A. 16 2009 Boosting complete techniques thanks to local search methods. Zbl 0905.68143 Mazure, Bertrand; Saïs, Lakhdar; Grégoire, Éric 15 1998 Analyzing bandit-based adaptive operator selection mechanisms. Zbl 1226.68081 Fialho, Álvaro; Da Costa, Luis; Schoenauer, Marc; Sebag, Michèle 15 2010 A new approach for preference-based argumentation frameworks. Zbl 1234.68371 Amgoud, Leila; Vesic, Srdjan 15 2012 External sources of knowledge and value invention in logic programming. Zbl 1125.68026 Calimeri, Francesco; Cozza, Susanna; Ianni, Giovambattista 15 2007 On renamable Horn and generalized Horn functions. Zbl 0878.68106 Chandru, Vijaya; Coullard, Collette R.; Hammer, Peter L.; Montañez, Miguel; Sun, Xiaorong 15 1990 Structures of opposition induced by relations. The Boolean and the gradual cases. Zbl 1336.03034 Ciucci, Davide; Dubois, Didier; Prade, Henri 15 2016 Conditional independence in a coherent finite setting. Zbl 1314.60012 Vantaggi, Barbara 15 2001 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 15 2018 Learning dynamic algorithm portfolios. Zbl 1113.68101 Gagliolo, Matteo; Schmidhuber, Jürgen 14 2006 Discovering the suitability of optimisation algorithms by learning from evolved instances. Zbl 1236.49008 Smith-Miles, Kate; van Hemert, Jano 14 2011 Flyspeck II: The basic linear programs. Zbl 1184.68465 Obua, Steven; Nipkow, Tobias 14 2009 Short PCPPs verifiable in polylogarithmic time with \(O(1)\) queries. Zbl 1184.68464 Mie, Thilo 14 2009 An introduction to fuzzy answer set programming. Zbl 1125.68118 Van Nieuwenborgh, Davy; De Cock, Martine; Vermeir, Dirk 14 2007 Relevance sensitive belief structures. Zbl 1001.68095 Chopra, Samir; Parikh, Rohit 14 2000 Lange and Wiehagen’s pattern language learning algorithm: An average-case analysis with respect to its total learning time. Zbl 0918.68103 Zeugmann, Thomas 14 1998 Approximation algorithms for the class cover problem. Zbl 1075.68609 Cannon, Adam H.; Cowen, Lenore J. 14 2004 Finding the minimum weight IIS cover of an infeasible system of linear inequalities. Zbl 0889.90110 Parker, Mark; Ryan, Jennifer 14 1996 UnitWalk: A new SAT solver that uses local search guided by unit clause elimination. Zbl 1100.68621 Hirsch, Edward A.; Kojevnikov, Arist 14 2005 An argumentation framework in default logic. Zbl 0866.03018 Prakken, Henry 14 1993 A formal analysis of the role of multi-point crossover in genetic algorithms. Zbl 1004.68538 De Jong, Kenneth A.; Spears, William M. 14 1992 Nonrecursive incremental evaluation of Datalog queries. Zbl 0855.68026 Dong, Guozhu; Su, Jianwen; Topor, Rodney 14 1995 Static semantics for normal and disjunctive logic programs. Zbl 0855.68015 Przymusinski, Teodor C. 14 1995 Neural networks in Fréchet spaces. Zbl 07644143 Benth, Fred Espen; Detering, Nils; Galimberti, Luca 2 2023 Hypergeometric structures in Feynman integrals. Zbl 1526.33008 Blümlein, J.; Saragnese, M.; Schneider, C. 1 2023 On the finite representation of linear group equivariant operators via permutant measures. Zbl 07730285 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 5 2022 Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings. Zbl 1508.68355 Beierle, Christoph; Haldimann, Jonas 5 2022 Knowledge cores in large formal contexts. Zbl 1505.68041 Hanika, Tom; Hirth, Johannes 3 2022 Nonmonotonic reasoning from conditional knowledge bases with system W. Zbl 1508.68362 Komo, Christian; Beierle, Christoph 3 2022 Order-sorted equational generalization algorithm revisited. Zbl 07517439 Alpuente, María; Escobar, Santiago; Meseguer, José; Sapiña, Julia 2 2022 Gaussoids are two-antecedental approximations of Gaussian conditional independence structures. Zbl 1493.62020 Boege, Tobias 2 2022 General information spaces: measuring inconsistency, rationality postulates, and complexity. Zbl 07473201 Grant, John; Parisi, Francesco 2 2022 Theory-relational belief revision. Zbl 1508.03051 Aravanis, Theofanis; Peppas, Pavlos 1 2022 Analogical proportions. Zbl 1490.68175 Antić, Christian 1 2022 Complexity of shift bribery for iterative voting rules. Zbl 07618985 Maushagen, Cynthia; Neveling, Marc; Rothe, Jörg; Selker, Ann-Kathrin 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 Learning with cone-based geometric models and orthologics. Zbl 1511.68276 Leemhuis, Mena; Özçep, Özgür L.; Wolter, Diedrich 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 Column generation for the equilibrium route-flow traffic assignment problem. Zbl 1492.90175 Krylatov, Alexander 1 2022 Classes of linear programs solvable by coordinate-wise minimization. Zbl 1492.90078 Dlask, Tomáš; Werner, Tomáš 1 2022 A robust multiobjective model for the integrated berth and quay crane scheduling problem at seaside container terminals. Zbl 07570856 Nourmohammadzadeh, Abtin; Voß, Stefan 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 Parameterised complexity of model checking and satisfiability in propositional dependence logic. Zbl 07473202 Mahmood, Yasir; Meier, Arne 1 2022 The universal approximation property. Characterization, construction, representation, and existence. Zbl 1511.41012 Kratsios, Anastasis 7 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 Instance space analysis for a personnel scheduling problem. Zbl 1511.90187 Kletzander, Lucas; Musliu, Nysret; Smith-Miles, Kate 4 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 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 \(\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 Multiple-source adaptation theory and algorithms. Zbl 1490.68194 Zhang, Ningshan; Mohri, Mehryar; Hoffman, Judy 2 2021 A dual RAMP algorithm for single source capacitated facility location problems. Zbl 07420369 Oliveira, Óscar; Matos, Telmo; Gamboa, Dorabela 1 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 1 2021 Constraint-based learning for non-parametric continuous Bayesian networks. Zbl 07447179 Lasserre, Marvin; Lebrun, Régis; Wuillemin, Pierre-Henri 1 2021 Ranking kinematics for revising by contextual information. Zbl 1494.68263 Sezgin, Meliha; Kern-Isberner, Gabriele; Beierle, Christoph 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 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 Classifier-based constraint acquisition. Zbl 1507.68252 Prestwich, S. D.; Freuder, E. C.; O’Sullivan, B.; Browne, D. 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. 9 2020 Data-driven Koopman operator approach for computational neuroscience. Zbl 1466.37073 Marrouch, Natasza; Slawinska, Joanna; Giannakis, Dimitrios; Read, Heather L. 5 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 Digitized rotations of 12 neighbors on the triangular grid. Zbl 1467.68195 Avkan, Aydın; Nagy, Benedek; Saadetoğlu, Müge 3 2020 Complexity and approximability of the Euclidean generalized traveling salesman problem in grid clusters. Zbl 1430.90491 Khachay, Michael; Neznakhina, Katherine 3 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 3 2020 Optimal probability aggregation based on generalized Brier scoring. Zbl 1452.68209 Feldbacher-Escamilla, Christian J.; Schurz, Gerhard 2 2020 Learning under \(p\)-tampering poisoning attacks. Zbl 1473.68155 Mahloujifar, Saeed; Diochnos, Dimitrios I.; Mahmoody, Mohammad 2 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 2 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 Directed Lovász local lemma and Shearer’s lemma. Zbl 1477.68534 Kirousis, Lefteris; Livieratos, John; Psaromiligkos, Kostas I. 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 Statistical learning based on Markovian data maximal deviation inequalities and learning rates. Zbl 1454.60112 Clémençon, Stephan; Bertail, Patrice; Ciołek, Gabriela 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 On integer closure in a system of unit two variable per inequality constraints. Zbl 1466.90053 Subramani, K.; Wojciechowski, P. 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 Non-terminating processes in the situation calculus. Zbl 1444.68179 De Giacomo, Giuseppe; Ternovska, Eugenia; Reiter, Ray 1 2020 Dynamic search trajectory methods for global optimization. Zbl 1461.65113 Alexandropoulos, Stamatios-Aggelos N.; Pardalos, Panos M.; Vrahatis, Michael N. 1 2020 Proof-checking Euclid. Zbl 07055783 Beeson, Michael; Narboux, Julien; Wiedijk, Freek 8 2019 A review of the relations between logical argumentation and reasoning with maximal consistency. Zbl 1474.68333 Arieli, Ofer; Borg, AnneMarie; Heyninck, Jesse 5 2019 Relative deviation learning bounds and generalization with unbounded loss functions. Zbl 1442.68194 Cortes, Corinna; Greenberg, Spencer; Mohri, Mehryar 5 2019 Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations. Zbl 1452.68179 Beierle, Christoph; Kutsch, Steven; Sauerwald, Kai 3 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 Two AGM-style characterizations of model repair. Zbl 1477.03039 Guerra, Paulo T.; Wassermann, Renata 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 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 A multiparametric view on answer set programming. Zbl 1420.68030 Fichte, Johannes K.; Kronegger, Martin; Woltran, Stefan 2 2019 Controlling sub-tournaments: easy or hard problem? Theoretical vs. practical analysis. Zbl 1493.68159 Eidelstein, Noa; Aronshtam, Lior; Eidelstein, Eitan; Shrot, Tammar 1 2019 Voting-based ensemble learning for partial lexicographic preference forests over combinatorial domains. Zbl 1452.68191 Liu, Xudong; Truszczynski, Miroslaw 1 2019 Rewriting input expressions in complex algebraic geometry provers. Zbl 1423.13004 Kovács, Z.; Recio, T.; Sólyom-Gecse, C. 1 2019 Portfolio theorem proving and prover runtime prediction for geometry. Zbl 1431.68123 Nikolić, Mladen; Marinković, Vesna; Kovács, Zoltán; Janičić, Predrag 1 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. 1 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 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 15 2018 Sentence entailment in compositional distributional semantics. Zbl 1459.03030 Sadrzadeh, Mehrnoosh; Kartsaklis, Dimitri; Balkır, Esma 11 2018 Approximation and dependence via multiteam semantics. Zbl 1459.03032 Durand, Arnaud; Hannula, Miika; Kontinen, Juha; Meier, Arne; Virtema, Jonni 10 2018 Geometric and cognitive differences between logical diagrams for the Boolean algebra \(\mathbb {B}_{4}\). Zbl 1448.68404 Demey, Lorenz; Smessaert, Hans 7 2018 Tableau reasoning for description logics and its extension to probabilities. Zbl 1398.68506 Zese, Riccardo; Bellodi, Elena; Riguzzi, Fabrizio; Cota, Giuseppe; Lamma, Evelina 4 2018 A labelling framework for probabilistic argumentation. Zbl 1459.68197 Riveret, Régis; Baroni, Pietro; Gao, Yang; Governatori, Guido; Rotolo, Antonino; Sartor, Giovanni 3 2018 A unifying logic for non-deterministic, parallel and concurrent abstract state machines. Zbl 1459.03033 Ferrarotti, Flavio; Schewe, Klaus-Dieter; Tec, Loredana; Wang, Qing 3 2018 The complexity of satisfiability in non-iterated and iterated probabilistic logics. Zbl 1459.03027 Kokkinis, Ioannis 3 2018 Upward refinement operators for conceptual blending in the description logic \(\mathcal{EL}^{++}\). Zbl 1398.68501 Confalonieri, Roberto; Eppe, Manfred; Schorlemmer, Marco; Kutz, Oliver; Peñaloza, Rafael; Plaza, Enric 2 2018 Complexity of control by partitioning veto elections and of control by adding candidates to plurality elections. Zbl 1404.91082 Maushagen, Cynthia; Rothe, Jörg 2 2018 Efficient suspect selection in unreachable state diagnosis. Zbl 1393.94974 Berryhill, Ryan; Veneris, Andreas 2 2018 Active integrity constraints for general-purpose knowledge bases. Zbl 1459.68198 Cruz-Filipe, Luís; Gaspar, Graça; Nunes, Isabel; Schneider-Kamp, Peter 2 2018 How does incoherence affect inconsistency-tolerant semantics for Datalog\(^\pm\)? Zbl 1398.68502 Deagustini, Cristhian A. D.; Martinez, M. Vanina; Falappa, Marcelo A.; Simari, Guillermo R. 1 2018 Minimal bases of temporal attribute implications. Zbl 1448.68412 Triska, Jan; Vychodil, Vilem 1 2018 Path homotopy invariants and their application to optimal trajectory planning. Zbl 1415.55001 Bhattacharya, Subhrajit; Ghrist, Robert 1 2018 Conformant planning as a case study of incremental QBF solving. Zbl 1409.68253 Egly, Uwe; Kronegger, Martin; Lonsing, Florian; Pfandler, Andreas 13 2017 Improving configuration checking for satisfiable random \(k\)-SAT instances. Zbl 1404.68136 Abramé, André; Habet, Djamal; Toumi, Donia 10 2017 Efficient design of experiments for sensitivity analysis based on polynomial chaos expansions. Zbl 1378.62022 Burnaev, Evgeny; Panin, Ivan; Sudret, Bruno 6 2017 ...and 792 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 6,388 Authors 49 Vantaggi, Barbara 44 Eiter, Thomas 37 Prade, Henri M. 34 Coletti, Giulianella 33 Dubois, Didier 32 Woltran, Stefan 28 Czado, Claudia 27 Cabalar, Pedro 27 Miranda, Enrique 25 Schaub, Torsten H. 25 Zaffalon, Marco 23 Kern-Isberner, Gabriele 23 Petturiti, Davide 23 Rothe, Jörg-Matthias 22 Beierle, Christoph 22 Montanari, Angelo 21 de Cooman, Gert 20 Link, Sebastian 20 Truszczyński, Mirosław 19 Arieli, Ofer 19 Benferhat, Salem 19 Fandinno, Jorge 19 Gilio, Angelo 19 Joe, Harry 18 Lierler, Yuliya 18 Ojeda-Aciego, Manuel 17 Gagliardi Cozman, Fabio 17 Gebser, Martin 17 Leone, Nicola 17 Lifschitz, Vladimir 17 Sanfilippo, Giuseppe 16 Boros, Endre 16 Maratea, Marco 16 Remmel, Jeffrey Brian 16 Schockaert, Steven 15 Amgoud, Leila 15 De Cock, Martine 15 Gabbay, Dov M. 15 Lukasiewicz, Thomas 15 Medina, Jesús 15 Napoli, Amedeo 15 Sciavicco, Guido 15 Szeider, Stefan 15 You, Jia-Huai 14 Faber, Wolfgang 14 Fink, Michael 14 Godo, Lluís 14 Hunter, Anthony 14 Jain, Sanjay 14 Janhunen, Tomi 14 Jiroušek, Radim 14 Marek, V. Wiktor 14 Simari, Guillermo Ricardo 14 Wooldridge, Michael J. 13 Alviano, Mario 13 Lin, Fangzhen 13 Ognjanović, Zoran 13 Peron, Adriano 13 Scozzafava, Romano 12 Bozzelli, Laura 12 Čepek, Ondřej 12 Cordero, Pablo 12 Giunchiglia, Enrico 12 Hooker, John N. jun. 12 Kučera, Petr 12 Marques-Silva, João P. 12 Ricca, Francesco 12 Stephan, Frank 12 Subrahmanian, V. S. 12 Subramani, Krishnan 12 Vermeir, Dirk 12 Voß, Stefan 11 Amendola, Giovanni 11 Baioletti, Marco 11 Baral, Chitta R. 11 Ciabattoni, Agata 11 Demey, Lorenz 11 Erdem, Esra 11 Giordano, Laura 11 Gottlob, Georg 11 Palopoli, Luigi 11 Pontelli, Enrico 11 Sala, Pietro 11 Son, Tran Cao 11 Wojciechowski, Piotr J. 10 Dodaro, Carmine 10 Hansen, Pierre 10 Hartmann, Sven 10 Inoue, Katsumi 10 Konecny, Jan 10 Krídlo, Ondrej 10 Liu, Weiru 10 Parisi, Francesco 10 Pérez, Gilberto 10 Pfeifer, Niki 10 Sakama, Chiaki 10 Shenoy, Prakash P. 10 van der Torre, Leendert W. N. 10 Wang, Kewen 9 Aguado, Felicidad ...and 6,288 more Authors all top 5 Cited in 476 Journals 382 Artificial Intelligence 354 Annals of Mathematics and Artificial Intelligence 268 International Journal of Approximate Reasoning 182 Theoretical Computer Science 144 Theory and Practice of Logic Programming 113 Discrete Applied Mathematics 91 Fuzzy Sets and Systems 86 European Journal of Operational Research 75 Information Sciences 70 Journal of Automated Reasoning 55 Information and Computation 54 Annals of Operations Research 53 Journal of Applied Non-Classical Logics 48 Computers & Operations Research 46 Journal of Applied Logic 38 Studia Logica 38 Synthese 36 Constraints 35 Journal of Computer and System Sciences 33 Annals of Pure and Applied Logic 32 Machine Learning 31 Information Processing Letters 29 Journal of High Energy Physics 25 Computational Statistics and Data Analysis 24 Journal of Multivariate Analysis 22 Journal of Philosophical Logic 22 ACM Transactions on Computational Logic 21 Journal of Global Optimization 20 Journal of Logic, Language and Information 20 The Journal of Artificial Intelligence Research (JAIR) 19 International Journal of General Systems 17 Algorithmica 17 Mathematics in Computer Science 17 Logical Methods in Computer Science 16 The Annals of Statistics 16 The Journal of Symbolic Logic 16 Journal of Symbolic Computation 15 Archive for Mathematical Logic 14 Applied Mathematics and Computation 14 Automatica 14 Kybernetika 14 Soft Computing 13 Discrete Mathematics 13 International Journal of Intelligent Systems 13 Computational Geometry 13 Theory of Computing Systems 13 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 12 New Generation Computing 11 Journal of Mathematical Analysis and Applications 11 Transactions of the American Mathematical Society 11 Journal of Computer Science and Technology 11 Mathematical Programming. Series A. Series B 11 INFORMS Journal on Computing 11 Journal of Machine Learning Research (JMLR) 10 Acta Informatica 10 International Journal of Computer Mathematics 10 The Bulletin of Symbolic Logic 10 Journal of Combinatorial Optimization 10 The Journal of Logic and Algebraic Programming 10 Logica Universalis 9 Mathematical Social Sciences 9 Operations Research Letters 9 Mathematical and Computer Modelling 9 International Transactions in Operational Research 8 Journal of Statistical Planning and Inference 8 Topology and its Applications 8 Pattern Recognition 8 Formal Methods in System Design 8 SIGMA. Symmetry, Integrability and Geometry: Methods and Applications 8 Statistics and Computing 8 Dependence Modeling 8 Journal of Logical and Algebraic Methods in Programming 7 Journal of Statistical Physics 7 Discrete & Computational Geometry 7 MSCS. Mathematical Structures in Computer Science 7 Journal of Mathematical Imaging and Vision 7 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering 7 Mathematical Problems in Engineering 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 the American Statistical Association 6 Insurance Mathematics & Economics 6 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 6 International Journal of Foundations of Computer Science 6 Applied Mathematical Modelling 6 Bernoulli 6 RAIRO. Theoretical Informatics and Applications 6 Journal of Satisfiability, Boolean Modeling and Computation 6 Journal of Physics A: Mathematical and Theoretical 5 Computers & Mathematics with Applications 5 Journal of Computational and Applied Mathematics 5 Journal of Mathematical Psychology 5 Statistics & Probability Letters 5 Physica D 5 Social Choice and Welfare 5 SIAM Journal on Discrete Mathematics 5 International Journal of Computational Geometry & Applications 5 Games and Economic Behavior ...and 376 more Journals all top 5 Cited in 63 Fields 3,049 Computer science (68-XX) 983 Mathematical logic and foundations (03-XX) 546 Operations research, mathematical programming (90-XX) 410 Statistics (62-XX) 333 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 179 Probability theory and stochastic processes (60-XX) 176 Combinatorics (05-XX) 142 Order, lattices, ordered algebraic structures (06-XX) 102 Numerical analysis (65-XX) 80 Information and communication theory, circuits (94-XX) 70 Quantum theory (81-XX) 70 Biology and other natural sciences (92-XX) 51 Special functions (33-XX) 48 Systems theory; control (93-XX) 41 Geometry (51-XX) 40 Number theory (11-XX) 35 Ordinary differential equations (34-XX) 34 Partial differential equations (35-XX) 31 Linear and multilinear algebra; matrix theory (15-XX) 31 Dynamical systems and ergodic theory (37-XX) 29 General algebraic systems (08-XX) 28 Measure and integration (28-XX) 26 Relativity and gravitational theory (83-XX) 25 History and biography (01-XX) 24 Group theory and generalizations (20-XX) 24 Convex and discrete geometry (52-XX) 23 Statistical mechanics, structure of matter (82-XX) 22 Category theory; homological algebra (18-XX) 21 Mechanics of particles and systems (70-XX) 20 General and overarching topics; collections (00-XX) 20 General topology (54-XX) 18 Differential geometry (53-XX) 16 Algebraic topology (55-XX) 15 Real functions (26-XX) 15 Harmonic analysis on Euclidean spaces (42-XX) 14 Functions of a complex variable (30-XX) 13 Operator theory (47-XX) 12 Algebraic geometry (14-XX) 11 Commutative algebra (13-XX) 10 Approximations and expansions (41-XX) 9 Field theory and polynomials (12-XX) 9 Calculus of variations and optimal control; optimization (49-XX) 8 Associative rings and algebras (16-XX) 8 Fluid mechanics (76-XX) 7 Integral equations (45-XX) 7 Functional analysis (46-XX) 7 Manifolds and cell complexes (57-XX) 5 Integral transforms, operational calculus (44-XX) 5 Global analysis, analysis on manifolds (58-XX) 5 Optics, electromagnetic theory (78-XX) 5 Mathematics education (97-XX) 4 Potential theory (31-XX) 3 Difference and functional equations (39-XX) 3 Sequences, series, summability (40-XX) 3 Mechanics of deformable solids (74-XX) 3 Classical thermodynamics, heat transfer (80-XX) 3 Astronomy and astrophysics (85-XX) 2 Nonassociative rings and algebras (17-XX) 2 Several complex variables and analytic spaces (32-XX) 2 Abstract harmonic analysis (43-XX) 2 Geophysics (86-XX) 1 \(K\)-theory (19-XX) 1 Topological groups, Lie groups (22-XX) Citations by Year