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,400 Publications (since 1990) References Indexed: 992 Publications with 33,321 References. all top 5 Latest Issues 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) 58, No. 1-2 (2010) 57, No. 3-4 (2009) ...and 102 more Volumes all top 5 Authors 16 Pardalos, Panos M. 12 Dix, Jurgen 11 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 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 Kleine Büning, Hans 5 Kotsireas, Ilias S. 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 Foo, Norman Y. 4 Gammerman, Alexander 4 Giunchiglia, Enrico 4 Godo, Lluís 4 Gottlob, Georg 4 Greenberg, Harvey Joel 4 Hoffman, Frederick 4 Ibaraki, Toshihide 4 Ida, Tetsuo 4 Kogan, Alexander 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 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 3 Agmon, Noa 3 Amgoud, Leila ...and 2,236 more Authors all top 5 Fields 1,245 Computer science (68-XX) 260 Mathematical logic and foundations (03-XX) 114 General and overarching topics; collections (00-XX) 105 Operations research, mathematical programming (90-XX) 80 Statistics (62-XX) 76 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 52 Order, lattices, ordered algebraic structures (06-XX) 34 Combinatorics (05-XX) 26 Probability theory and stochastic processes (60-XX) 24 Numerical analysis (65-XX) 18 Information and communication theory, circuits (94-XX) 16 Systems theory; control (93-XX) 12 Geometry (51-XX) 12 Biology and other natural sciences (92-XX) 9 Linear and multilinear algebra; matrix theory (15-XX) 9 Measure and integration (28-XX) 8 Commutative algebra (13-XX) 7 General algebraic systems (08-XX) 7 Algebraic geometry (14-XX) 7 Convex and discrete geometry (52-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 Approximations and expansions (41-XX) 4 General topology (54-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) 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 Fluid mechanics (76-XX) 1 Mathematics education (97-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 875 Publications have been cited 5,867 times in 4,390 Documents Cited by ▼ Year ▼ NIST digital library of mathematical functions. Zbl 1019.65001Lozier, Daniel W. 177 2003 Logic programs with stable model semantics as a constraint programming paradigm. Zbl 0940.68018Niemelä, Ilkka 158 1999 Probability density decomposition for conditionally dependent random variables modeled by vines. Zbl 1314.62040Bedford, Tim; Cooke, Roger M. 136 2001 Stochastic independence in a coherent setting. Zbl 1005.60007Coletti, G.; Scozzafava, R. 134 2002 On the computational cost of disjunctive logic programming: Propositional case. Zbl 0858.68016Eiter, Thomas; Gottlob, Georg 94 1995 A reasoning model based on the production of acceptable arguments. Zbl 1002.68172Amgoud, Leila; Cayrol, Claudette 80 2002 Nested expressions in logic programs. Zbl 0940.68075Lifschitz, Vladimir; Tang, Lappoon R.; Turner, Hudson 75 1999 Possibility theory, probability theory and multiple-valued logics: a clarification. Zbl 1314.68309Dubois, Didier; Prade, Henri 64 2001 Propositional semantics for disjunctive logic programs. Zbl 0858.68012Ben-Eliyahu, Rachel; Dechter, Rina 61 1994 Another perspective on default reasoning. Zbl 0857.68096Lehmann, Daniel 61 1995 Equilibrium logic. Zbl 1117.03039Pearce, David 52 2006 Modeling genetic algorithms with Markov chains. Zbl 1034.68534Nix, Allen E.; Vose, Michael D. 50 1992 Solving propositional satisfiability problems. Zbl 0878.68107Jèroslow, Robert G.; Wang, Jinchang 49 1990 Hypersequents, logical consequence and intermediate logics for concurrency. Zbl 0865.03042Avron, Arnon 47 1991 Probabilistic reasoning under coherence in System P. Zbl 1014.68165Gilio, Angelo 41 2002 The tabu search metaheuristic: How we used it. Zbl 0878.68053Hertz, A.; de Werra, D. 40 1990 On the computational complexity of weighted voting games. Zbl 1185.91081Elkind, Edith; Goldberg, Leslie Ann; Goldberg, Paul W.; Wooldridge, Michael 36 2009 Polynomial-time inference of all valid implications for Horn and related formulae. Zbl 0878.68105Boros, E.; Crama, Y.; Hammer, P. L. 36 1990 Coverage for robotics – a survey of recent results. Zbl 1314.68317Choset, Howie 36 2000 From conditional events to conditional measures: a new axiomatic approach. Zbl 1314.68306Coletti, G.; Scozzafava, R. 35 2001 Independence and possibilistic conditioning. Zbl 1004.60001Bouchon-Meunier, Bernadette; Coletti, Giulianella; Marsala, Christophe 34 2002 Probability propagation. Zbl 0875.68676Shafer, Glenn R.; Shenoy, Prakash P. 33 1990 A thorough axiomatization of a principle of conditional preservation in belief revision. Zbl 1067.68141Kern-Isberner, Gabriele 32 2004 Probabilistic logic under coherence: complexity and algorithms. Zbl 1083.03027Biazzo, Veronica; Gilio, Angelo; Lukasiewicz, Thomas; Sanfilippo, Giuseppe 30 2006 Region-based theory of discrete spaces: A proximity approach. Zbl 1124.68105Düntsch, Ivo; Vakarelov, Dimiter 30 2007 An efficient algorithm for the minimal unsatisfiability problem for a subclass of CNF. Zbl 0913.68090Davydov, Gennady; Davydova, Inna; Büning, Hans Kleine 26 1998 Planning for temporally extended goals. Zbl 1034.68549Bacchus, Fahiem; Kabanza, Froduald 25 1998 Consistency, redundancy, and implied equalities in linear systems. Zbl 0887.90114Greenberg, Harvey J. 25 1996 Logical preference representation and combinatorial vote. Zbl 1061.68147Lang, Jérôme 25 2004 Epistemic irrelevance on sets of desirable gambles. Zbl 1092.68097Moral, Serafín 25 2006 Locally strong coherence in inference processes. Zbl 1014.68146Capotorti, Andrea; Vantaggi, Barbara 25 2002 Logic, semigroups and automata on words. Zbl 0860.68071Pin, Jean-Eric 24 1996 A linear programming approach to reasoning about probabilities. Zbl 0878.68034Kavvadias, Dimitris; Papadimitriou, Christos H. 24 1990 Integrating answer set programming and constraint logic programming. Zbl 1165.68504Mellarkod, Veena S.; Gelfond, Michael; Zhang, Yuanlin 24 2008 Probabilistic default reasoning with conditional constraints. Zbl 1002.68175Lukasiewicz, Thomas 24 2002 Approximate matching of polygonal shapes. Zbl 0855.68106Alt, Helmut; Behrends, Bernd; Blömer, Johannes 22 1995 A theory of nonmonotonic rule systems I. Zbl 0878.68035Marek, W.; Nerode, A.; Remmel, J. 22 1990 Separoids: a mathematical framework for conditional independence and irrelevance. Zbl 1314.68308Dawid, A. P. 22 2001 Graphoid properties of epistemic irrelevance and independence. Zbl 1097.68128Cozman, Fabio G.; Walley, Peter 22 2006 Branch-and-cut solution of inference problems in propositional logic. Zbl 0878.68065Hooker, J. N.; Fedjki, C. 21 1990 Semigraphoids and structures of probabilistic conditional independence. Zbl 0888.68112Studený, Milan 21 1997 On measuring uncertainty and uncertainty-based information: recent developments. Zbl 1314.68311Klir, George J.; Smith, Richard M. 21 2001 A survey of temporal extensions of description logics. Zbl 0998.03013Artale, Alessandro; Franconi, Enrico 21 2000 Synthesis with rational environments. Zbl 1372.68173Kupferman, Orna; Perelli, Giuseppe; Vardi, Moshe Y. 20 2016 On stability of a formal concept. Zbl 1129.68086Kuznetsov, Sergei O. 20 2007 Possibilistic merging and distance-based fusion of propositional information. Zbl 1001.68032Benferhat, Salem; Dubois, Didier; Kaci, Souhila; Prade, Henri 20 2002 Strong conditional independence for credal sets. Zbl 1005.60006Moral, Serafín; Cano, Andrés 20 2002 The dark side of interval temporal logic: marking the undecidability border. Zbl 1325.03014Bresolin, Davide; Della Monica, Dario; Goranko, Valentin; Montanari, Angelo; Sciavicco, Guido 19 2014 Challenges to complexity shields that are supposed to protect elections against manipulation and control: a survey. Zbl 1286.68207Rothe, Jörg; Schend, Lena 19 2013 Belief models: An order-theoretic investigation. Zbl 1094.03007de Cooman, Gert 19 2006 TALplanner: A temporal logic based forward chaining planner. Zbl 1002.68158Kvarnström, Jonas; Doherty, Patrick 19 2000 Relational concept analysis: mining concept lattices from multi-relational data. Zbl 1297.68220Rouane-Hacene, Mohamed; Huchard, Marianne; Napoli, Amedeo; Valtchev, Petko 18 2013 Generalized disjunctive well-founded semantics for logic programs. Zbl 1034.68506Baral, Chitta; Lobo, Jorge; Minker, Jack 18 1992 On the partial semantics for disjunctive deductive databases. Zbl 0880.68029Eiter, Thomas; Leone, Nicola; Saccà, Domenico 18 1997 Boolean lexicographic optimization: algorithms & applications. Zbl 1242.90199Marques-Silva, Joao; Argelich, Josep; Graça, Ana; Lynce, Inês 18 2011 Complexity results for answer set programming with bounded predicate arities and implications. Zbl 1138.68017Eiter, Thomas; Faber, Wolfgang; Fink, Michael; Woltran, Stefan 18 2007 Properties of sensitivity analysis of Bayesian belief networks. Zbl 1015.68187Coupé, Veerle M. H.; van der Gaag, Linda C. 18 2002 Multi-adjoint concept lattices with heterogeneous conjunctors and hedges. Zbl 1322.06004Konecny, J.; Medina, J.; Ojeda-Aciego, M. 17 2014 Logic programming and reasoning with incomplete information. Zbl 0858.68013Gelfond, Michael 17 1994 POPMUSIC as a matheuristic for the berth allocation problem. Zbl 1335.90124Lalla-Ruiz, Eduardo; Voß, Stefan 17 2016 Cellular automata, matrix substitutions and fractals. Zbl 0866.68069von Haeseler, Fritz; Peitgen, Heinz-Otto; Skordev, Gencho 17 1993 An effective polynomial-time heuristic for the minimum-cardinality IIS set-covering problem. Zbl 0887.90112Chinneck, John W. 17 1996 Nonmonotonic reasoning: From complexity to algorithms. Zbl 0905.68142Cayrol, C.; Lagasquie-Schiex, M.-C.; Schiex, T. 17 1998 Integration and conditioning in numerical possibility theory. Zbl 1314.28012de Cooman, Gert 17 2001 A new stochastic approach for solution of Riccati differential equation of fractional order. Zbl 1228.65116Raja, Muhammad Asif Zahoor; Khan, Junaid Ali; Qureshi, Ijaz Mansoor 17 2010 Notes on desirability and conditional lower previsions. Zbl 1231.28017Miranda, Enrique; Zaffalon, Marco 17 2010 Simplification rules for the coherent probability assessment problem. Zbl 1006.68128Baioletti, Marco; Capotorti, Andrea; Tulipani, Sauro; Vantaggi, Barbara 17 2002 Possibilistic uncertainty handling for answer set programming. Zbl 1105.68104Nicolas, Pascal; Garcia, Laurent; Stéphan, Igor; Lefèvre, Claire 17 2006 Prioritized repairing and consistent query answering in relational databases. Zbl 1250.68099Staworko, Sławek; Chomicki, Jan; Marcinkowski, Jerzy 17 2012 Forgetting for knowledge bases in DL-lite. Zbl 1205.68410Wang, Zhe; Wang, Kewen; Topor, Rodney; Pan, Jeff Z. 16 2010 Many-valued logic and mixed integer programming. Zbl 0856.03011Hähnle, Reiner 16 1994 Local computation with valuations from a commutative semigroup. Zbl 0895.68045Lauritzen, S. L.; Jensen, F. V. 16 1997 Multi-robot area patrol under frequency constraints. Zbl 1253.68317Elmaliach, Yehuda; Agmon, Noa; Kaminka, Gal A. 16 2009 Attribute-incremental construction of the canonical implication basis. Zbl 1125.68121Obiedkov, S.; Duquenne, V. 16 2007 Distance semantics for database repair. Zbl 1126.68034Arieli, Ofer; Denecker, Marc; Bruynooghe, Maurice 16 2007 The algebra of genetic algorithms. Zbl 0855.68034Radcliffe, Nicholas J. 15 1994 Structures of opposition induced by relations. The Boolean and the gradual cases. Zbl 1336.03034Ciucci, Davide; Dubois, Didier; Prade, Henri 15 2016 On renamable Horn and generalized Horn functions. Zbl 0878.68106Chandru, Vijaya; Coullard, Collette R.; Hammer, Peter L.; Montañez, Miguel; Sun, Xiaorong 15 1990 Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem. Zbl 1448.68397Beierle, Christoph; Eichhorn, Christian; Kern-Isberner, Gabriele; Kutsch, Steven 15 2018 Logical analysis of data – the vision of Peter L. Hammer. Zbl 1126.68064Alexe, Gabriela; Alexe, Sorin; Bonates, Tibérius O.; Kogan, Alexander 15 2007 External sources of knowledge and value invention in logic programming. Zbl 1125.68026Calimeri, Francesco; Cozza, Susanna; Ianni, Giovambattista 15 2007 A new approach for preference-based argumentation frameworks. Zbl 1234.68371Amgoud, Leila; Vesic, Srdjan 15 2012 Nonrecursive incremental evaluation of Datalog queries. Zbl 0855.68026Dong, Guozhu; Su, Jianwen; Topor, Rodney 14 1995 Static semantics for normal and disjunctive logic programs. Zbl 0855.68015Przymusinski, Teodor C. 14 1995 An argumentation framework in default logic. Zbl 0866.03018Prakken, Henry 14 1993 Boosting complete techniques thanks to local search methods. Zbl 0905.68143Mazure, Bertrand; Saïs, Lakhdar; Grégoire, Éric 14 1998 Lange and Wiehagen’s pattern language learning algorithm: An average-case analysis with respect to its total learning time. Zbl 0918.68103Zeugmann, Thomas 14 1998 Modelling and solving employee timetabling problems. Zbl 1045.68124Meisels, Amnon; Schaerf, Andrea 14 2003 Spanning-tree based coverage of continuous areas by a mobile robot. Zbl 1314.68318Gabriely, Yoav; Rimon, Elon 14 2000 Conditional independence in a coherent finite setting. Zbl 1314.60012Vantaggi, Barbara 14 2001 Approximation algorithms for the class cover problem. Zbl 1075.68609Cannon, Adam H.; Cowen, Lenore J. 14 2004 Relevance sensitive belief structures. Zbl 1001.68095Chopra, Samir; Parikh, Rohit 14 2000 Learning dynamic algorithm portfolios. Zbl 1113.68101Gagliolo, Matteo; Schmidhuber, Jürgen 14 2006 Discovering the suitability of optimisation algorithms by learning from evolved instances. Zbl 1236.49008Smith-Miles, Kate; van Hemert, Jano 14 2011 Characterizing functional dependencies in formal concept analysis with pattern structures. Zbl 1320.68064Baixeries, Jaume; Kaytoue, Mehdi; Napoli, Amedeo 13 2014 Conformant planning as a case study of incremental QBF solving. Zbl 1409.68253Egly, Uwe; Kronegger, Martin; Lonsing, Florian; Pfandler, Andreas 13 2017 Flyspeck II: The basic linear programs. Zbl 1184.68465Obua, Steven; Nipkow, Tobias 13 2009 Short PCPPs verifiable in polylogarithmic time with \(O(1)\) queries. Zbl 1184.68464Mie, Thilo 13 2009 In the realm of agents. Zbl 0866.03009Belnap, Nuel; Perloff, Michael 13 1993 A formal analysis of the role of multi-point crossover in genetic algorithms. Zbl 1004.68538De Jong, Kenneth A.; Spears, William M. 13 1992 Deductive belief change. Zbl 07730286Aravanis, Theofanis 1 2023 Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings. Zbl 1508.68355Beierle, Christoph; Haldimann, Jonas 5 2022 Nonmonotonic reasoning from conditional knowledge bases with system W. Zbl 1508.68362Komo, Christian; Beierle, Christoph 3 2022 Parametrized topological complexity of collision-free motion planning in the plane. Zbl 1509.55011Cohen, Daniel C.; Farber, Michael; Weinberger, Shmuel 3 2022 General information spaces: measuring inconsistency, rationality postulates, and complexity. Zbl 07473201Grant, John; Parisi, Francesco 2 2022 Gaussoids are two-antecedental approximations of Gaussian conditional independence structures. Zbl 1493.62020Boege, Tobias 2 2022 Knowledge cores in large formal contexts. Zbl 1505.68041Hanika, Tom; Hirth, Johannes 1 2022 Theory-relational belief revision. Zbl 1508.03051Aravanis, Theofanis; Peppas, Pavlos 1 2022 Column generation for the equilibrium route-flow traffic assignment problem. Zbl 1492.90175Krylatov, Alexander 1 2022 Classes of linear programs solvable by coordinate-wise minimization. Zbl 1492.90078Dlask, Tomáš; Werner, Tomáš 1 2022 Least squares approach to K-SVCR multi-class classification with its applications. Zbl 07570858Moosaei, Hossein; Hladík, Milan 1 2022 Chunking and cooperation in particle swarm optimization for feature selection. Zbl 07570859Sarhani, Malek; Voß, Stefan 1 2022 Order-sorted equational generalization algorithm revisited. Zbl 07517439Alpuente, María; Escobar, Santiago; Meseguer, José; Sapiña, Julia 1 2022 Complexity of shift bribery for iterative voting rules. Zbl 07618985Maushagen, Cynthia; Neveling, Marc; Rothe, Jörg; Selker, Ann-Kathrin 1 2022 A semiotic perspective on polysemy. Zbl 1511.68278Priss, Uta 1 2022 Indepth combinatorial analysis of admissible sets for abstract argumentation. Zbl 1511.68265Croitoru, Cosmina; Croitoru, Madalina 1 2022 Learning with cone-based geometric models and orthologics. Zbl 1511.68276Leemhuis, Mena; Özçep, Özgür L.; Wolter, Diedrich 1 2022 The universal approximation property. Characterization, construction, representation, and existence. Zbl 1511.41012Kratsios, Anastasis 5 2021 An investigation of parametrized difference revision operators. Zbl 1511.68262Aravanis, Theofanis; Peppas, Pavlos; Williams, Mary-Anne 5 2021 Instance space analysis for a personnel scheduling problem. Zbl 1511.90187Kletzander, Lucas; Musliu, Nysret; Smith-Miles, Kate 4 2021 On the correspondence between abstract dialectical frameworks and nonmonotonic conditional logics. Zbl 1496.68317Heyninck, Jesse; Kern-Isberner, Gabriele; Thimm, Matthias; Skiba, Kenneth 4 2021 A survey on the applications of variable neighborhood search algorithm in healthcare management. Zbl 07420366Lan, Shaowen; Fan, Wenjuan; Yang, Shanlin; Pardalos, Panos M.; Mladenovic, Nenad 2 2021 Irreducible bin packing and normality in routing open shop. Zbl 1476.90111Chernykh, Ilya; Pyatkin, Artem 2 2021 Multiple-source adaptation theory and algorithms. Zbl 1490.68194Zhang, Ningshan; Mohri, Mehryar; Hoffman, Judy 2 2021 A probabilistic interval-based event calculus for activity recognition. Zbl 1511.68280Artikis, Alexander; Makris, Evangelos; Paliouras, Georgios 2 2021 \(\mathit{Log}_A\mathbf{G}\): an algebraic non-monotonic logic for reasoning with graded propositions. Zbl 1511.68266Ehab, Nourhan; Ismail, Haythem O. 2 2021 A dual RAMP algorithm for single source capacitated facility location problems. Zbl 07420369Oliveira, Óscar; Matos, Telmo; Gamboa, Dorabela 1 2021 On generalization in moment-based domain adaptation. Zbl 1518.68329Zellinger, 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.18005Ray, Kumar Sankar; Das, Litan Kumar 1 2021 Classifier-based constraint acquisition. Zbl 1507.68252Prestwich, S. D.; Freuder, E. C.; O’Sullivan, B.; Browne, D. 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.91084Doria, Serena 1 2021 Joint desirability foundations of social choice and opinion pooling. Zbl 1497.91108Casanova, Arianna; Miranda, Enrique; Zaffalon, Marco 1 2021 Constraint-based learning for non-parametric continuous Bayesian networks. Zbl 07447179Lasserre, Marvin; Lebrun, Régis; Wuillemin, Pierre-Henri 1 2021 Ranking kinematics for revising by contextual information. Zbl 1494.68263Sezgin, Meliha; Kern-Isberner, Gabriele; Beierle, Christoph 1 2021 Valid attacks in argumentation frameworks with recursive attacks. Zbl 1511.68264Cayrol, C.; Fandinno, J.; Fariñas del Cerro, L.; Lagasquie-Schiex, M.-C. 1 2021 Model simplification for supervised classification of metabolic networks. Zbl 1436.62254Granata, Ilaria; Guarracino, Mario R.; Kalyagin, Valery A.; Maddalena, Lucia; Manipur, Ichcha; Pardalos, Panos M. 8 2020 Data-driven Koopman operator approach for computational neuroscience. Zbl 1466.37073Marrouch, Natasza; Slawinska, Joanna; Giannakis, Dimitrios; Read, Heather L. 5 2020 Targeting solutions in Bayesian multi-objective optimization: sequential and batch versions. Zbl 1432.90138Gaudrie, David; Le Riche, Rodolphe; Picheny, Victor; Enaux, Benoît; Herbert, Vincent 3 2020 Privacy stochastic games in distributed constraint reasoning. Zbl 1460.68121Savaux, Julien; Vion, Julien; Piechowiak, Sylvain; Mandiau, René; Matsui, Toshihiro; Hirayama, Katsutoshi; Yokoo, Makoto; Elmane, Shakre; Silaghi, Marius 3 2020 Soft computing methods for multiobjective location of garbage accumulation points in smart cities. Zbl 1430.90592Toutouh, Jamal; Rossit, Diego; Nesmachnow, Sergio 2 2020 Directed Lovász local lemma and Shearer’s lemma. Zbl 1477.68534Kirousis, 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.90288Pinheiro, Júlio C. S. N.; Arroyo, José Elias C. 2 2020 Towards a model of creative understanding: deconstructing and recreating conceptual blends using image schemas and qualitative spatial descriptors. Zbl 1444.68205Falomir, Zoe; Plaza, Enric 2 2020 Learning under \(p\)-tampering poisoning attacks. Zbl 1473.68155Mahloujifar, Saeed; Diochnos, Dimitrios I.; Mahmoody, Mohammad 2 2020 Complexity and approximability of the Euclidean generalized traveling salesman problem in grid clusters. Zbl 1430.90491Khachay, Michael; Neznakhina, Katherine 1 2020 Sufficient conditions for the existence of a sample mean of time series under dynamic time warping. Zbl 1440.49019Jain, Brijnesh; Schultz, David 1 2020 Discrepancy-based theory and algorithms for forecasting non-stationary time series. Zbl 1452.62654Kuznetsov, Vitaly; Mohri, Mehryar 1 2020 “All the world’s a stage”: incongruity humour revisited. Zbl 1444.68269Nijholt, Anton 1 2020 Non-terminating processes in the situation calculus. Zbl 1444.68179De Giacomo, Giuseppe; Ternovska, Eugenia; Reiter, Ray 1 2020 Optimal probability aggregation based on generalized Brier scoring. Zbl 1452.68209Feldbacher-Escamilla, Christian J.; Schurz, Gerhard 1 2020 The price to pay for forgoing normalization in fair division of indivisible goods. Zbl 1448.91137Lange, Pascal; Nguyen, Nhan-Tam; Rothe, Jörg 1 2020 Proof-checking Euclid. Zbl 07055783Beeson, Michael; Narboux, Julien; Wiedijk, Freek 7 2019 A review of the relations between logical argumentation and reasoning with maximal consistency. Zbl 1474.68333Arieli, Ofer; Borg, AnneMarie; Heyninck, Jesse 5 2019 Relative deviation learning bounds and generalization with unbounded loss functions. Zbl 1442.68194Cortes, Corinna; Greenberg, Spencer; Mohri, Mehryar 4 2019 Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations. Zbl 1452.68179Beierle, Christoph; Kutsch, Steven; Sauerwald, Kai 3 2019 Knowledge representation analysis of graph mining. Zbl 1485.68248van der Hallen, Matthias; Paramonov, Sergey; Janssens, Gerda; Denecker, Marc 2 2019 A multiparametric view on answer set programming. Zbl 1420.68030Fichte, Johannes K.; Kronegger, Martin; Woltran, Stefan 2 2019 Contextual rational closure for defeasible \(\mathcal{ALC} \). Zbl 1452.68180Britz, Katarina; Varzinczak, Ivan 2 2019 The SAT+CAS method for combinatorial search with applications to best matrices. Zbl 1434.05001Bright, Curtis; Đoković, Dragomir Ž.; Kotsireas, Ilias; Ganesh, Vijay 2 2019 Two AGM-style characterizations of model repair. Zbl 1477.03039Guerra, Paulo T.; Wassermann, Renata 2 2019 Practical reasoning using values: an argumentative approach based on a hierarchy of values. Zbl 1441.91024Teze, Juan C. L.; Perelló-Moragues, Antoni; Godo, Lluis; Noriega, Pablo 2 2019 Guest editorial: Special issue on answer set programming and other computing paradigms. Zbl 1476.00088 1 2019 A parallel memory-efficient epistemic logic program solver: harder, better, faster. Zbl 1485.68036Kahl, Patrick Thor; Leclerc, Anthony P.; Tran, Son Cao 1 2019 Multi-context systems in dynamic environments. Zbl 1485.68246Cabalar, Pedro; Costantini, Stefania; De Gasperis, Giovanni; Formisano, Andrea 1 2019 P-log: refinement and a new coherency condition. Zbl 1485.68247Balai, Evgenii; Gelfond, Michael; Zhang, Yuanlin 1 2019 Rewriting input expressions in complex algebraic geometry provers. Zbl 1423.13004Kovács, Z.; Recio, T.; Sólyom-Gecse, C. 1 2019 Portfolio theorem proving and prover runtime prediction for geometry. Zbl 1431.68123Nikolić, 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.03033Makowsky, Johann A. 1 2019 Controlling sub-tournaments: easy or hard problem? Theoretical vs. practical analysis. Zbl 1493.68159Eidelstein, Noa; Aronshtam, Lior; Eidelstein, Eitan; Shrot, Tammar 1 2019 Properties of skeptical c-inference for conditional knowledge bases and its realization as a constraint satisfaction problem. Zbl 1448.68397Beierle, Christoph; Eichhorn, Christian; Kern-Isberner, Gabriele; Kutsch, Steven 15 2018 Sentence entailment in compositional distributional semantics. Zbl 1459.03030Sadrzadeh, Mehrnoosh; Kartsaklis, Dimitri; Balkır, Esma 10 2018 Approximation and dependence via multiteam semantics. Zbl 1459.03032Durand, Arnaud; Hannula, Miika; Kontinen, Juha; Meier, Arne; Virtema, Jonni 9 2018 Geometric and cognitive differences between logical diagrams for the Boolean algebra \(\mathbb {B}_{4}\). Zbl 1448.68404Demey, Lorenz; Smessaert, Hans 7 2018 The complexity of satisfiability in non-iterated and iterated probabilistic logics. Zbl 1459.03027Kokkinis, Ioannis 3 2018 A labelling framework for probabilistic argumentation. Zbl 1459.68197Riveret, Régis; Baroni, Pietro; Gao, Yang; Governatori, Guido; Rotolo, Antonino; Sartor, Giovanni 3 2018 Active integrity constraints for general-purpose knowledge bases. Zbl 1459.68198Cruz-Filipe, Luís; Gaspar, Graça; Nunes, Isabel; Schneider-Kamp, Peter 2 2018 A unifying logic for non-deterministic, parallel and concurrent abstract state machines. Zbl 1459.03033Ferrarotti, Flavio; Schewe, Klaus-Dieter; Tec, Loredana; Wang, Qing 2 2018 Complexity of control by partitioning veto elections and of control by adding candidates to plurality elections. Zbl 1404.91082Maushagen, Cynthia; Rothe, Jörg 2 2018 Efficient suspect selection in unreachable state diagnosis. Zbl 1393.94974Berryhill, Ryan; Veneris, Andreas 2 2018 Upward refinement operators for conceptual blending in the description logic \(\mathcal{EL}^{++}\). Zbl 1398.68501Confalonieri, Roberto; Eppe, Manfred; Schorlemmer, Marco; Kutz, Oliver; Peñaloza, Rafael; Plaza, Enric 2 2018 Tableau reasoning for description logics and its extension to probabilities. Zbl 1398.68506Zese, Riccardo; Bellodi, Elena; Riguzzi, Fabrizio; Cota, Giuseppe; Lamma, Evelina 2 2018 Path homotopy invariants and their application to optimal trajectory planning. Zbl 1415.55001Bhattacharya, Subhrajit; Ghrist, Robert 1 2018 Minimal bases of temporal attribute implications. Zbl 1448.68412Triska, Jan; Vychodil, Vilem 1 2018 How does incoherence affect inconsistency-tolerant semantics for Datalog\(^\pm\)? Zbl 1398.68502Deagustini, Cristhian A. D.; Martinez, M. Vanina; Falappa, Marcelo A.; Simari, Guillermo R. 1 2018 Conformant planning as a case study of incremental QBF solving. Zbl 1409.68253Egly, Uwe; Kronegger, Martin; Lonsing, Florian; Pfandler, Andreas 13 2017 Improving configuration checking for satisfiable random \(k\)-SAT instances. Zbl 1404.68136Abramé, André; Habet, Djamal; Toumi, Donia 10 2017 Efficient design of experiments for sensitivity analysis based on polynomial chaos expansions. Zbl 1378.62022Burnaev, Evgeny; Panin, Ivan; Sudret, Bruno 6 2017 On extreme points of p-boxes and belief functions. Zbl 1377.60011Montes, Ignacio; Destercke, Sebastien 6 2017 Computing envelopes in dynamic geometry environments. Zbl 1409.68303Botana, Francisco; Recio, Tomas 5 2017 Logic of temporal attribute implications. Zbl 1409.68283Triska, Jan; Vychodil, Vilem 4 2017 Knowledge transfer in SVM and neural networks. Zbl 1422.68207Vapnik, Vladimir; Izmailov, Rauf 4 2017 Tennis manipulation: can we help Serena Williams win another tournament? Or can we control a knockout tournament with reasonable complexity? Zbl 1409.68131Aronshtam, Lior; Cohen, Havazelet; Shrot, Tammar 3 2017 Compact representations of all members of an independence system. Zbl 1358.52015Haus, Utz-Uwe; Michini, Carla 3 2017 Bounded variability of metric temporal logic. Zbl 1420.03032Furia, Carlo A.; Spoletini, Paola 3 2017 Criteria of efficiency for set-valued classification. Zbl 1422.68208Vovk, Vladimir; Nouretdinov, Ilia; Fedorova, Valentina; Petej, Ivan; Gammerman, Alex 3 2017 State duration and interval modeling in hidden semi-Markov model for sequential data analysis. Zbl 1423.68387Narimatsu, Hiromi; Kasai, Hiroyuki 3 2017 To be fair, use bundles. Zbl 1420.03034McCabe-Dansted, John; Reynolds, Mark 2 2017 Universal probability-free prediction. Zbl 1384.60076Vovk, Vladimir; Pavlovic, Dusko 2 2017 Accelerating difficulty estimation for conformal regression forests. Zbl 1377.62112Boström, Henrik; Linusson, Henrik; Löfström, Tuve; Johansson, Ulf 2 2017 A symbolic algebra for the computation of expected utilities in multiplicative influence diagrams. Zbl 1423.68508Leonelli, Manuele; Riccomagno, Eva; Smith, Jim Q. 2 2017 ...and 775 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 6,145 Authors 49 Vantaggi, Barbara 44 Eiter, Thomas 37 Prade, Henri M. 34 Coletti, Giulianella 33 Dubois, Didier 32 Woltran, Stefan 28 Czado, Claudia 26 Cabalar, Pedro 26 Miranda, Enrique 24 Zaffalon, Marco 23 Kern-Isberner, Gabriele 23 Petturiti, Davide 23 Rothe, Jörg-Matthias 23 Schaub, Torsten H. 22 Beierle, Christoph 21 de Cooman, Gert 21 Montanari, Angelo 20 Link, Sebastian 19 Arieli, Ofer 19 Benferhat, Salem 19 Gilio, Angelo 19 Joe, Harry 19 Truszczyński, Mirosław 18 Leone, Nicola 17 Gagliardi Cozman, Fabio 17 Gebser, Martin 17 Lifschitz, Vladimir 17 Ojeda-Aciego, Manuel 17 Sanfilippo, Giuseppe 16 Boros, Endre 16 Maratea, Marco 16 Remmel, Jeffrey Brian 16 Schockaert, Steven 15 Amgoud, Leila 15 De Cock, Martine 15 Fandinno, Jorge 15 Gabbay, Dov M. 15 Lierler, Yuliya 15 Medina, Jesús 14 Fink, Michael 14 Godo, Lluís 14 Hunter, Anthony 14 Jain, Sanjay 14 Jiroušek, Radim 14 Lukasiewicz, Thomas 14 Marek, V. Wiktor 14 Napoli, Amedeo 14 Sciavicco, Guido 14 Simari, Guillermo Ricardo 14 Szeider, Stefan 14 Wooldridge, Michael J. 14 You, Jia-Huai 13 Alviano, Mario 13 Faber, Wolfgang 13 Janhunen, Tomi 13 Lin, Fangzhen 13 Ognjanović, Zoran 13 Scozzafava, Romano 12 Čepek, Ondřej 12 Cordero, Pablo 12 Giunchiglia, Enrico 12 Kučera, Petr 12 Marques-Silva, João P. 12 Subrahmanian, V. S. 12 Vermeir, Dirk 12 Voß, Stefan 11 Baioletti, Marco 11 Baral, Chitta R. 11 Ciabattoni, Agata 11 Demey, Lorenz 11 Erdem, Esra 11 Giordano, Laura 11 Gottlob, Georg 11 Hooker, John N. jun. 11 Palopoli, Luigi 11 Peron, Adriano 11 Ricca, Francesco 11 Sala, Pietro 11 Son, Tran Cao 11 Stephan, Frank 11 Subramani, Krishnan 10 Amendola, Giovanni 10 Bozzelli, Laura 10 Dodaro, Carmine 10 Hansen, Pierre 10 Hartmann, Sven 10 Inoue, Katsumi 10 Liu, Weiru 10 Parisi, Francesco 10 Pfeifer, Niki 10 Pontelli, Enrico 10 Sakama, Chiaki 10 Shenoy, Prakash P. 10 van der Torre, Leendert W. N. 10 Wang, Kewen 10 Wojciechowski, Piotr J. 9 Beyersdorff, Olaf 9 Düntsch, Ivo 9 Greco, Sergio 9 Hammer, Peter Ladislaw ...and 6,045 more Authors all top 5 Cited in 458 Journals 378 Artificial Intelligence 346 Annals of Mathematics and Artificial Intelligence 265 International Journal of Approximate Reasoning 179 Theoretical Computer Science 133 Theory and Practice of Logic Programming 113 Discrete Applied Mathematics 91 Fuzzy Sets and Systems 86 European Journal of Operational Research 69 Journal of Automated Reasoning 67 Information Sciences 55 Information and Computation 54 Annals of Operations Research 53 Journal of Applied Non-Classical Logics 47 Computers & Operations Research 46 Journal of Applied Logic 38 Studia Logica 36 Constraints 34 Journal of Computer and System Sciences 33 Annals of Pure and Applied Logic 32 Machine Learning 31 Information Processing Letters 31 Synthese 25 Computational Statistics and Data Analysis 25 Journal of High Energy Physics 24 Journal of Multivariate Analysis 22 Journal of Philosophical Logic 20 Journal of Global Optimization 20 Journal of Logic, Language and Information 20 ACM Transactions on Computational Logic 19 International Journal of General Systems 19 The Journal of Artificial Intelligence Research (JAIR) 17 Mathematics in Computer Science 16 The Journal of Symbolic Logic 16 Journal of Symbolic Computation 16 Algorithmica 15 Archive for Mathematical Logic 14 The Annals of Statistics 14 Applied Mathematics and Computation 14 Automatica 14 Kybernetika 14 Soft Computing 14 Logical Methods in Computer Science 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 INFORMS Journal on Computing 11 Journal of Machine Learning Research (JMLR) 10 Acta Informatica 10 International Journal of Computer Mathematics 10 Mathematical Programming. Series A. Series B 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 8 Journal of Statistical Planning and Inference 8 Pattern Recognition 8 Formal Methods in System Design 8 International Transactions in Operational Research 8 Statistics and Computing 8 Dependence Modeling 7 Topology and its Applications 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 SIGMA. Symmetry, Integrability and Geometry: Methods and Applications 7 Journal of Logical and Algebraic Methods in Programming 6 Computer Methods in Applied Mechanics and Engineering 6 Journal of Statistical Physics 6 Algebra Universalis 6 Insurance Mathematics & Economics 6 Discrete & Computational Geometry 6 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 6 Applied Mathematical Modelling 6 RAIRO. Theoretical Informatics and Applications 6 Journal of Satisfiability, Boolean Modeling and Computation 6 Journal of Physics A: Mathematical and Theoretical 6 Journal of Computational and Graphical Statistics 5 Computers & Mathematics with Applications 5 Journal of Computational and Applied Mathematics 5 Journal of Mathematical Psychology 5 Statistics & Probability Letters 5 Social Choice and Welfare 5 SIAM Journal on Discrete Mathematics 5 International Journal of Computational Geometry & Applications 5 International Journal of Foundations of Computer Science 5 Games and Economic Behavior 5 Bernoulli 5 Journal of Heuristics 5 Journal of Scheduling 5 Data Mining and Knowledge Discovery ...and 358 more Journals all top 5 Cited in 61 Fields 2,939 Computer science (68-XX) 956 Mathematical logic and foundations (03-XX) 522 Operations research, mathematical programming (90-XX) 393 Statistics (62-XX) 319 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 170 Combinatorics (05-XX) 170 Probability theory and stochastic processes (60-XX) 133 Order, lattices, ordered algebraic structures (06-XX) 97 Numerical analysis (65-XX) 77 Information and communication theory, circuits (94-XX) 68 Biology and other natural sciences (92-XX) 64 Quantum theory (81-XX) 47 Systems theory; control (93-XX) 46 Special functions (33-XX) 39 Number theory (11-XX) 36 Geometry (51-XX) 32 Ordinary differential equations (34-XX) 31 Partial differential equations (35-XX) 30 Linear and multilinear algebra; matrix theory (15-XX) 29 Dynamical systems and ergodic theory (37-XX) 28 General algebraic systems (08-XX) 26 History and biography (01-XX) 26 Measure and integration (28-XX) 24 Relativity and gravitational theory (83-XX) 23 Group theory and generalizations (20-XX) 23 Convex and discrete geometry (52-XX) 21 Statistical mechanics, structure of matter (82-XX) 20 Mechanics of particles and systems (70-XX) 19 General and overarching topics; collections (00-XX) 19 Category theory; homological algebra (18-XX) 19 General topology (54-XX) 17 Differential geometry (53-XX) 16 Real functions (26-XX) 14 Functions of a complex variable (30-XX) 14 Harmonic analysis on Euclidean spaces (42-XX) 14 Algebraic topology (55-XX) 12 Operator theory (47-XX) 11 Commutative algebra (13-XX) 10 Algebraic geometry (14-XX) 9 Field theory and polynomials (12-XX) 9 Approximations and expansions (41-XX) 8 Fluid mechanics (76-XX) 7 Integral equations (45-XX) 7 Calculus of variations and optimal control; optimization (49-XX) 6 Associative rings and algebras (16-XX) 6 Manifolds and cell complexes (57-XX) 5 Integral transforms, operational calculus (44-XX) 5 Functional analysis (46-XX) 5 Mathematics education (97-XX) 4 Potential theory (31-XX) 4 Global analysis, analysis on manifolds (58-XX) 4 Optics, electromagnetic theory (78-XX) 3 Difference and functional equations (39-XX) 3 Mechanics of deformable solids (74-XX) 3 Astronomy and astrophysics (85-XX) 2 Nonassociative rings and algebras (17-XX) 2 Several complex variables and analytic spaces (32-XX) 2 Sequences, series, summability (40-XX) 2 Abstract harmonic analysis (43-XX) 2 Classical thermodynamics, heat transfer (80-XX) 2 Geophysics (86-XX) Citations by Year