×

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

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 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