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,392 Publications (since 1990) References Indexed: 986 Publications with 32,969 References. all top 5 Latest Issues 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) 57, No. 2 (2009) ...and 101 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 Kogan, Alexander 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 3 Analyti, Anastasia 3 Aravanis, Theofanis I. ...and 2,224 more Authors all top 5 Fields 1,240 Computer science (68-XX) 259 Mathematical logic and foundations (03-XX) 112 General and overarching topics; collections (00-XX) 105 Operations research, mathematical programming (90-XX) 80 Statistics (62-XX) 75 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 51 Order, lattices, ordered algebraic structures (06-XX) 34 Combinatorics (05-XX) 25 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 Calculus of variations and optimal control; optimization (49-XX) 4 Special functions (33-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) 2 Ordinary differential equations (34-XX) 2 Operator theory (47-XX) 2 Global analysis, analysis on manifolds (58-XX) 2 Quantum theory (81-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 858 Publications have been cited 5,782 times in 4,327 Documents Cited by ▼ Year ▼ NIST digital library of mathematical functions. Zbl 1019.65001Lozier, Daniel W. 176 2003 Logic programs with stable model semantics as a constraint programming paradigm. Zbl 0940.68018Niemelä, Ilkka 158 1999 Stochastic independence in a coherent setting. Zbl 1005.60007Coletti, G.; Scozzafava, R. 134 2002 Probability density decomposition for conditionally dependent random variables modeled by vines. Zbl 1314.62040Bedford, Tim; Cooke, Roger M. 134 2001 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 79 2002 Nested expressions in logic programs. Zbl 0940.68075Lifschitz, Vladimir; Tang, Lappoon R.; Turner, Hudson 74 1999 Possibility theory, probability theory and multiple-valued logics: a clarification. Zbl 1314.68309Dubois, Didier; Prade, Henri 63 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 60 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 Coverage for robotics – a survey of recent results. Zbl 1314.68317Choset, Howie 36 2000 Polynomial-time inference of all valid implications for Horn and related formulae. Zbl 0878.68105Boros, E.; Crama, Y.; Hammer, P. L. 36 1990 On the computational complexity of weighted voting games. Zbl 1185.91081Elkind, Edith; Goldberg, Leslie Ann; Goldberg, Paul W.; Wooldridge, Michael 36 2009 Independence and possibilistic conditioning. Zbl 1004.60001Bouchon-Meunier, Bernadette; Coletti, Giulianella; Marsala, Christophe 34 2002 From conditional events to conditional measures: a new axiomatic approach. Zbl 1314.68306Coletti, G.; Scozzafava, R. 34 2001 Probability propagation. Zbl 0875.68676Shafer, Glenn R.; Shenoy, Prakash P. 33 1990 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 29 2007 A thorough axiomatization of a principle of conditional preservation in belief revision. Zbl 1067.68141Kern-Isberner, Gabriele 28 2004 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 Locally strong coherence in inference processes. Zbl 1014.68146Capotorti, Andrea; Vantaggi, Barbara 25 2002 Logical preference representation and combinatorial vote. Zbl 1061.68147Lang, Jérôme 25 2004 Consistency, redundancy, and implied equalities in linear systems. Zbl 0887.90114Greenberg, Harvey J. 25 1996 Planning for temporally extended goals. Zbl 1034.68549Bacchus, Fahiem; Kabanza, Froduald 25 1998 Epistemic irrelevance on sets of desirable gambles. Zbl 1092.68097Moral, Serafín 25 2006 Logic, semigroups and automata on words. Zbl 0860.68071Pin, Jean-Eric 24 1996 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 A linear programming approach to reasoning about probabilities. Zbl 0878.68034Kavvadias, Dimitris; Papadimitriou, Christos H. 24 1990 Approximate matching of polygonal shapes. Zbl 0855.68106Alt, Helmut; Behrends, Bernd; Blömer, Johannes 22 1995 Separoids: a mathematical framework for conditional independence and irrelevance. Zbl 1314.68308Dawid, A. P. 22 2001 A theory of nonmonotonic rule systems I. Zbl 0878.68035Marek, W.; Nerode, A.; Remmel, J. 22 1990 Graphoid properties of epistemic irrelevance and independence. Zbl 1097.68128Cozman, Fabio G.; Walley, Peter 22 2006 A survey of temporal extensions of description logics. Zbl 0998.03013Artale, Alessandro; Franconi, Enrico 21 2000 On measuring uncertainty and uncertainty-based information: recent developments. Zbl 1314.68311Klir, George J.; Smith, Richard M. 21 2001 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 Synthesis with rational environments. Zbl 1372.68173Kupferman, Orna; Perelli, Giuseppe; Vardi, Moshe Y. 20 2016 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 On stability of a formal concept. Zbl 1129.68086Kuznetsov, Sergei O. 20 2007 TALplanner: A temporal logic based forward chaining planner. Zbl 1002.68158Kvarnström, Jonas; Doherty, Patrick 19 2000 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 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 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 Generalized disjunctive well-founded semantics for logic programs. Zbl 1034.68506Baral, Chitta; Lobo, Jorge; Minker, Jack 18 1992 Relational concept analysis: mining concept lattices from multi-relational data. Zbl 1297.68220Rouane-Hacene, Mohamed; Huchard, Marianne; Napoli, Amedeo; Valtchev, Petko 18 2013 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 Simplification rules for the coherent probability assessment problem. Zbl 1006.68128Baioletti, Marco; Capotorti, Andrea; Tulipani, Sauro; Vantaggi, Barbara 17 2002 Integration and conditioning in numerical possibility theory. Zbl 1314.28012de Cooman, Gert 17 2001 Cellular automata, matrix substitutions and fractals. Zbl 0866.68069von Haeseler, Fritz; Peitgen, Heinz-Otto; Skordev, Gencho 17 1993 On the partial semantics for disjunctive deductive databases. Zbl 0880.68029Eiter, Thomas; Leone, Nicola; Saccà, Domenico 17 1997 An effective polynomial-time heuristic for the minimum-cardinality IIS set-covering problem. Zbl 0887.90112Chinneck, John W. 17 1996 Possibilistic uncertainty handling for answer set programming. Zbl 1105.68104Nicolas, Pascal; Garcia, Laurent; Stéphan, Igor; Lefèvre, Claire 17 2006 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 Nonmonotonic reasoning: From complexity to algorithms. Zbl 0905.68142Cayrol, C.; Lagasquie-Schiex, M.-C.; Schiex, T. 17 1998 Boolean lexicographic optimization: algorithms & applications. Zbl 1242.90199Marques-Silva, Joao; Argelich, Josep; Graça, Ana; Lynce, Inês 17 2011 Prioritized repairing and consistent query answering in relational databases. Zbl 1250.68099Staworko, Sławek; Chomicki, Jan; Marcinkowski, Jerzy 17 2012 Many-valued logic and mixed integer programming. Zbl 0856.03011Hähnle, Reiner 16 1994 Forgetting for knowledge bases in DL-lite. Zbl 1205.68410Wang, Zhe; Wang, Kewen; Topor, Rodney; Pan, Jeff Z. 16 2010 Multi-adjoint concept lattices with heterogeneous conjunctors and hedges. Zbl 1322.06004Konecny, J.; Medina, J.; Ojeda-Aciego, M. 16 2014 Distance semantics for database repair. Zbl 1126.68034Arieli, Ofer; Denecker, Marc; Bruynooghe, Maurice 16 2007 Multi-robot area patrol under frequency constraints. Zbl 1253.68317Elmaliach, Yehuda; Agmon, Noa; Kaminka, Gal A. 16 2009 The algebra of genetic algorithms. Zbl 0855.68034Radcliffe, Nicholas J. 15 1994 Local computation with valuations from a commutative semigroup. Zbl 0895.68045Lauritzen, S. L.; Jensen, F. V. 15 1997 Attribute-incremental construction of the canonical implication basis. Zbl 1125.68121Obiedkov, S.; Duquenne, V. 15 2007 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 Structures of opposition induced by relations. The Boolean and the gradual cases. Zbl 1336.03034Ciucci, Davide; Dubois, Didier; Prade, Henri 14 2016 Relevance sensitive belief structures. Zbl 1001.68095Chopra, Samir; Parikh, Rohit 14 2000 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 An argumentation framework in default logic. Zbl 0866.03018Prakken, Henry 14 1993 On renamable Horn and generalized Horn functions. Zbl 0878.68106Chandru, Vijaya; Coullard, Collette R.; Hammer, Peter L.; Montañez, Miguel; Sun, Xiaorong 14 1990 Learning dynamic algorithm portfolios. Zbl 1113.68101Gagliolo, Matteo; Schmidhuber, Jürgen 14 2006 Approximation algorithms for the class cover problem. Zbl 1075.68609Cannon, Adam H.; Cowen, Lenore J. 14 2004 Discovering the suitability of optimisation algorithms by learning from evolved instances. Zbl 1236.49008Smith-Miles, Kate; van Hemert, Jano 14 2011 Modelling and solving employee timetabling problems. Zbl 1045.68124Meisels, Amnon; Schaerf, Andrea 14 2003 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 UnitWalk: A new SAT solver that uses local search guided by unit clause elimination. Zbl 1100.68621Hirsch, Edward A.; Kojevnikov, Arist 13 2005 On coherent conditional probabilities and disintegrations. Zbl 1005.60008Berti, Patrizia; Rigo, Pietro 13 2002 Characterizing functional dependencies in formal concept analysis with pattern structures. Zbl 1320.68064Baixeries, Jaume; Kaytoue, Mehdi; Napoli, Amedeo 13 2014 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 A theory of nonmonotonic rule systems. II. Zbl 0865.03017Marek, W.; Nerode, A.; Remmel, J. 13 1992 A Prolog-like inference system for computing minimum-cost abductive explanations in natural-language interpretation. Zbl 1004.68552Stickel, Mark E. 13 1991 Parametrized topological complexity of collision-free motion planning in the plane. Zbl 1509.55011Cohen, Daniel C.; Farber, Michael; Weinberger, Shmuel 3 2022 Normal forms of conditional knowledge bases respecting system P-entailments and signature renamings. Zbl 1508.68355Beierle, Christoph; Haldimann, Jonas 3 2022 Nonmonotonic reasoning from conditional knowledge bases with system W. Zbl 1508.68362Komo, Christian; Beierle, Christoph 1 2022 General information spaces: measuring inconsistency, rationality postulates, and complexity. Zbl 07473201Grant, John; Parisi, Francesco 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 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 An investigation of parametrized difference revision operators. Zbl 1511.68262Aravanis, Theofanis; Peppas, Pavlos; Williams, Mary-Anne 5 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 The universal approximation property. Characterization, construction, representation, and existence. Zbl 1511.41012Kratsios, Anastasis 4 2021 Instance space analysis for a personnel scheduling problem. Zbl 1511.90187Kletzander, Lucas; Musliu, Nysret; Smith-Miles, Kate 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 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 Multiple-source adaptation theory and algorithms. Zbl 1490.68194Zhang, Ningshan; Mohri, Mehryar; Hoffman, Judy 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.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 On generalization in moment-based domain adaptation. Zbl 07363392Zellinger, 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 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 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 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. 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 Non-terminating processes in the situation calculus. Zbl 1444.68179De Giacomo, Giuseppe; Ternovska, Eugenia; Reiter, Ray 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 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 Contextual rational closure for defeasible \(\mathcal{ALC} \). Zbl 1452.68180Britz, Katarina; Varzinczak, Ivan 2 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 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 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 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 13 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 5 2018 A labelling framework for probabilistic argumentation. Zbl 1459.68197Riveret, Régis; Baroni, Pietro; Gao, Yang; Governatori, Guido; Rotolo, Antonino; Sartor, Giovanni 3 2018 The complexity of satisfiability in non-iterated and iterated probabilistic logics. Zbl 1459.03027Kokkinis, Ioannis 3 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 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 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 Path homotopy invariants and their application to optimal trajectory planning. Zbl 1415.55001Bhattacharya, Subhrajit; Ghrist, Robert 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 3 2017 Criteria of efficiency for set-valued classification. Zbl 1422.68208Vovk, Vladimir; Nouretdinov, Ilia; Fedorova, Valentina; Petej, Ivan; Gammerman, Alex 3 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 Bounded variability of metric temporal logic. Zbl 1420.03032Furia, Carlo A.; Spoletini, Paola 3 2017 Compact representations of all members of an independence system. Zbl 1358.52015Haus, Utz-Uwe; Michini, Carla 3 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 Time-expanded graph-based propositional encodings for makespan-optimal solving of cooperative path finding problems. Zbl 1423.68474Surynek, Pavel 2 2017 State duration and interval modeling in hidden semi-Markov model for sequential data analysis. Zbl 1423.68387Narimatsu, Hiromi; Kasai, Hiroyuki 2 2017 To be fair, use bundles. Zbl 1420.03034McCabe-Dansted, John; Reynolds, Mark 2 2017 Reliable region predictions for automated valuation models. Zbl 1377.62195Bellotti, Anthony 1 2017 Large scale variable fidelity surrogate modeling. Zbl 1374.60067Zaytsev, A.; Burnaev, E. 1 2017 Nonlinear multi-output regression on unknown input manifold. Zbl 1386.68133Kuleshov, Alexander; Bernstein, Alexander 1 2017 A Bayesian interpretation of the confusion matrix. Zbl 1423.68376Caelen, Olivier 1 2017 Hyper-arc consistency of polynomial constraints over finite domains using the modified Bernstein form. Zbl 1409.68268Bergenti, Federico; Monica, Stefania 1 2017 Theory blending: extended algorithmic aspects and examples. Zbl 1409.68281Martinez, M.; Abdel-Fattah, A. M. H.; Krumnack, U.; Gómez-Ramírez, D.; Smaill, A.; Besold, T. R.; Pease, A.; Schmidt, M.; Guhe, M.; Kühnberger, K.-U. 1 2017 Guest editorial: Temporal representation and reasoning. Zbl 1372.00097 1 2017 A spatio-temporal framework for managing archaeological data. (A spatio-temporal framework for managing archeological data.) Zbl 1419.68046Belussi, Alberto; Migliorini, Sara 1 2017 Boosting conditional probability estimators. Zbl 1407.62118Gutfreund, Dan; Kontorovich, Aryeh; Levy, Ran; Rosen-Zvi, Michal 1 2017 Probabilistic knowledge representation using the principle of maximum entropy and Gröbner basis theory. Zbl 1420.68203Kern-Isberner, Gabriele; Wilhelm, Marco; Beierle, Christoph 1 2017 Learning concepts and their unions from positive data with refinement operators. Zbl 1432.68209Ouchi, Seishi; Okayama, Tomohiko; Otaki, Keisuke; Yoshinaka, Ryo; Yamamoto, Akihiro 1 2017 Dualization of Boolean functions using ternary decision diagrams. Zbl 1420.68198Toda, Takahisa 1 2017 Synthesis with rational environments. Zbl 1372.68173Kupferman, Orna; Perelli, Giuseppe; Vardi, Moshe Y. 20 2016 ...and 758 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 6,061 Authors 48 Vantaggi, Barbara 44 Eiter, Thomas 35 Prade, Henri M. 34 Coletti, Giulianella 32 Dubois, Didier 31 Woltran, Stefan 28 Czado, Claudia 26 Cabalar, Pedro 23 Rothe, Jörg-Matthias 23 Schaub, Torsten H. 23 Zaffalon, Marco 22 Kern-Isberner, Gabriele 22 Petturiti, Davide 21 de Cooman, Gert 21 Montanari, Angelo 20 Link, Sebastian 19 Arieli, Ofer 19 Beierle, Christoph 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 14 Fink, Michael 14 Godo, Lluís 14 Hunter, Anthony 14 Jain, Sanjay 14 Lukasiewicz, Thomas 14 Marek, V. Wiktor 14 Napoli, Amedeo 14 Szeider, Stefan 14 Wooldridge, Michael J. 14 You, Jia-Huai 13 Alviano, Mario 13 Faber, Wolfgang 13 Janhunen, Tomi 13 Jiroušek, Radim 13 Lin, Fangzhen 13 Medina, Jesús 13 Ognjanović, Zoran 13 Sciavicco, Guido 13 Scozzafava, Romano 13 Simari, Guillermo Ricardo 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 11 Baioletti, Marco 11 Baral, Chitta R. 11 Ciabattoni, Agata 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 11 Voß, Stefan 10 Amendola, Giovanni 10 Bozzelli, Laura 10 Dodaro, Carmine 10 Hansen, Pierre 10 Hartmann, Sven 10 Inoue, Katsumi 10 Liu, Weiru 10 Pfeifer, Niki 10 Pontelli, Enrico 10 Sakama, Chiaki 10 van der Torre, Leendert W. N. 10 Wang, Kewen 10 Wojciechowski, Piotr J. 9 Beyersdorff, Olaf 9 Demey, Lorenz 9 Düntsch, Ivo 9 Hammer, Peter Ladislaw 9 Kleine Büning, Hans 9 Kullmann, Oliver 9 Lang, Jérôme 9 Makino, Kazuhisa ...and 5,961 more Authors all top 5 Cited in 453 Journals 376 Artificial Intelligence 345 Annals of Mathematics and Artificial Intelligence 260 International Journal of Approximate Reasoning 178 Theoretical Computer Science 133 Theory and Practice of Logic Programming 113 Discrete Applied Mathematics 85 European Journal of Operational Research 82 Fuzzy Sets and Systems 69 Journal of Automated Reasoning 65 Information Sciences 55 Information and Computation 54 Annals of Operations Research 50 Journal of Applied Non-Classical Logics 46 Journal of Applied Logic 45 Computers & Operations Research 36 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 The Journal of Artificial Intelligence Research (JAIR) 19 International Journal of General Systems 19 ACM Transactions on Computational Logic 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 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 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 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 5 Journal of Applied Statistics 5 Quantitative Finance 5 Journal of Applied Mathematics ...and 353 more Journals all top 5 Cited in 61 Fields 2,904 Computer science (68-XX) 942 Mathematical logic and foundations (03-XX) 509 Operations research, mathematical programming (90-XX) 384 Statistics (62-XX) 315 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 170 Combinatorics (05-XX) 166 Probability theory and stochastic processes (60-XX) 131 Order, lattices, ordered algebraic structures (06-XX) 95 Numerical analysis (65-XX) 77 Information and communication theory, circuits (94-XX) 68 Biology and other natural sciences (92-XX) 63 Quantum theory (81-XX) 46 Systems theory; control (93-XX) 45 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) 29 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) 23 Convex and discrete geometry (52-XX) 22 Group theory and generalizations (20-XX) 21 Statistical mechanics, structure of matter (82-XX) 20 Mechanics of particles and systems (70-XX) 20 Relativity and gravitational theory (83-XX) 19 Category theory; homological algebra (18-XX) 18 General and overarching topics; collections (00-XX) 18 General topology (54-XX) 16 Real functions (26-XX) 15 Differential geometry (53-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 Classical thermodynamics, heat transfer (80-XX) 2 Geophysics (86-XX) 1 Abstract harmonic analysis (43-XX) Citations by Year