×

zbMATH — the first resource for mathematics

Annals of Mathematics and Artificial Intelligence

Short Title: Ann. Math. Artif. Intell.
Publisher: Springer International Publishing, Cham
ISSN: 1012-2443; 1573-7470/e
Online: http://link.springer.com/journal/volumesAndIssues/10472
Comments: Indexed cover-to-cover
Documents Indexed: 1,298 Publications (since 1990)
References Indexed: 899 Publications with 29,883 References.
all top 5

Latest Issues

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)
57, No. 1 (2009)
56, No. 3-4 (2009)
56, No. 2 (2009)
56, No. 1 (2009)
55, No. 3-4 (2009)
55, No. 1-2 (2009)
54, No. 4 (2008)
54, No. 1-3 (2008)
53, No. 1-4 (2008)
52, No. 2-4 (2008)
52, No. 1 (2008)
51, No. 2-4 (2007)
51, No. 1 (2007)
50, No. 3-4 (2007)
...and 87 more Volumes
all top 5

Authors

12 Dix, Jurgen
11 Golumbic, Martin Charles
10 Prade, Henri M.
9 Benferhat, Salem
9 Boros, Endre
9 Gabbay, Dov M.
9 Kraus, Sarit
8 Calmet, Jacques
8 Lukasiewicz, Thomas
8 Marek, V. Wiktor
8 Napoli, Amedeo
8 Remmel, Jeffrey B.
8 Subrahmanian, V. S.
7 Eiter, Thomas
7 Franco, John V.
7 Kern-Isberner, Gabriele
7 Simari, Guillermo Ricardo
7 Truszczyński, Mirosław
6 Beierle, Christoph
6 Biskup, Joachim
6 Dubois, Didier
6 Pardalos, Panos M.
6 Rossi, Francesca
6 Rothe, Jörg-Matthias
6 Van Gelder, Allen
6 Woltran, Stefan
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 Hartmann, Sven
5 Hegner, Stephen J.
5 Kleine Büning, Hans
5 Leone, Nicola
5 Lifschitz, Vladimir
5 Link, Sebastian
5 Lobo, Jorge
5 Meyer, John-Jules Charles
5 Montanari, Angelo
5 Simari, Gerardo I.
5 van der Hoek, Wiebe
5 Venable, Kristen Brent
5 Vovk, Vladimir G.
5 Wang, Jinchang
5 Wooldridge, Michael J.
4 Antoniou, Grigoris
4 Baral, Chitta R.
4 Blair, Howard A.
4 Bochman, Alexander
4 Čepek, Ondřej
4 de Cooman, Gert
4 Demetrovics, János
4 Denecker, Marc
4 Foo, Norman Y.
4 Giunchiglia, Enrico
4 Godo, Lluís
4 Gottlob, Georg
4 Greenberg, Harvey Joel
4 Gyssens, Marc
4 Hoffman, Frederick
4 Ibaraki, Toshihide
4 Kaminsky, Michael
4 Kogan, Alexander
4 Lassez, Jean-Louis
4 Manevitz, Larry Michael
4 Marques-Silva, João P.
4 Martinez, Maria Vanina
4 Meisels, Amnon
4 Minker, Jack
4 Nerode, Anil
4 Ojeda-Aciego, Manuel
4 Okushi, Fumiaki
4 Palopoli, Luigi
4 Pearl, Judea
4 Prestwich, Steven D.
4 Rosenschein, Jeffrey S.
4 Schewe, Klaus-Dieter
4 Schlipf, John Stewart
4 Sciavicco, Guido
4 Subramani, Krishnan
4 Thalheim, Bernhard
4 Turán, Gyorgy
4 van der Torre, Leendert W. N.
4 Vermeir, Dirk
4 Zaffalon, Marco
3 Agmon, Noa
3 Amgoud, Leila
3 Analyti, Anastasia
3 Armando, Alessandro
3 Artale, Alessandro
3 Arzi-Gonczarowski, Zippora
3 Behrens, Tristan M.
3 Bettini, Claudio
3 Bonatti, Piero Andrea
3 Brown, Allen L. jun.
3 Bundy, Alan
...and 2,069 more Authors
all top 5

Fields

1,167 Computer science (68-XX)
248 Mathematical logic and foundations (03-XX)
103 General and overarching topics; collections (00-XX)
84 Operations research, mathematical programming (90-XX)
66 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
64 Statistics (62-XX)
50 Order, lattices, ordered algebraic structures (06-XX)
32 Combinatorics (05-XX)
24 Probability theory and stochastic processes (60-XX)
24 Numerical analysis (65-XX)
16 Systems theory; control (93-XX)
16 Information and communication theory, circuits (94-XX)
11 Geometry (51-XX)
11 Biology and other natural sciences (92-XX)
8 Commutative algebra (13-XX)
8 Measure and integration (28-XX)
7 Linear and multilinear algebra; matrix theory (15-XX)
7 Convex and discrete geometry (52-XX)
6 History and biography (01-XX)
6 General algebraic systems (08-XX)
5 Category theory; homological algebra (18-XX)
4 Algebraic geometry (14-XX)
4 Group theory and generalizations (20-XX)
4 Functional analysis (46-XX)
4 Calculus of variations and optimal control; optimization (49-XX)
4 General topology (54-XX)
4 Algebraic topology (55-XX)
3 Number theory (11-XX)
3 Functions of a complex variable (30-XX)
3 Special functions (33-XX)
3 Approximations and expansions (41-XX)
2 Real functions (26-XX)
2 Ordinary differential equations (34-XX)
2 Dynamical systems and ergodic theory (37-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 Partial differential equations (35-XX)
1 Mechanics of particles and systems (70-XX)
1 Fluid mechanics (76-XX)
1 Mathematics education (97-XX)

Publications by Year

Citations contained in zbMATH Open

785 Publications have been cited 4,600 times in 3,509 Documents Cited by Year
Logic programs with stable model semantics as a constraint programming paradigm. Zbl 0940.68018
Niemelä, Ilkka
137
1999
NIST digital library of mathematical functions. Zbl 1019.65001
Lozier, Daniel W.
111
2003
Stochastic independence in a coherent setting. Zbl 1005.60007
Coletti, G.; Scozzafava, R.
103
2002
Probability density decomposition for conditionally dependent random variables modeled by vines. Zbl 1314.62040
Bedford, Tim; Cooke, Roger M.
102
2001
On the computational cost of disjunctive logic programming: Propositional case. Zbl 0858.68016
Eiter, Thomas; Gottlob, Georg
80
1995
A reasoning model based on the production of acceptable arguments. Zbl 1002.68172
Amgoud, Leila; Cayrol, Claudette
65
2002
Nested expressions in logic programs. Zbl 0940.68075
Lifschitz, Vladimir; Tang, Lappoon R.; Turner, Hudson
60
1999
Possibility theory, probability theory and multiple-valued logics: a clarification. Zbl 1314.68309
Dubois, Didier; Prade, Henri
60
2001
Another perspective on default reasoning. Zbl 0857.68096
Lehmann, Daniel
54
1995
Modeling genetic algorithms with Markov chains. Zbl 1034.68534
Nix, Allen E.; Vose, Michael D.
48
1992
Propositional semantics for disjunctive logic programs. Zbl 0858.68012
Ben-Eliyahu, Rachel; Dechter, Rina
48
1994
Equilibrium logic. Zbl 1117.03039
Pearce, David
47
2006
Solving propositional satisfiability problems. Zbl 0878.68107
Jèroslow, Robert G.; Wang, Jinchang
43
1990
The tabu search metaheuristic: How we used it. Zbl 0878.68053
Hertz, A.; de Werra, D.
38
1990
Hypersequents, logical consequence and intermediate logics for concurrency. Zbl 0865.03042
Avron, Arnon
36
1991
Probabilistic reasoning under coherence in System P. Zbl 1014.68165
Gilio, Angelo
34
2002
Polynomial-time inference of all valid implications for Horn and related formulae. Zbl 0878.68105
Boros, E.; Crama, Y.; Hammer, P. L.
32
1990
From conditional events to conditional measures: a new axiomatic approach. Zbl 1314.68306
Coletti, G.; Scozzafava, R.
31
2001
Independence and possibilistic conditioning. Zbl 1004.60001
Bouchon-Meunier, Bernadette; Coletti, Giulianella; Marsala, Christophe
31
2002
Coverage for robotics – a survey of recent results. Zbl 1314.68317
Choset, Howie
29
2000
Probability propagation. Zbl 0875.68676
Shafer, Glenn R.; Shenoy, Prakash P.
28
1990
Probabilistic logic under coherence: complexity and algorithms. Zbl 1083.03027
Biazzo, Veronica; Gilio, Angelo; Lukasiewicz, Thomas; Sanfilippo, Giuseppe
27
2006
On the computational complexity of weighted voting games. Zbl 1185.91081
Elkind, Edith; Goldberg, Leslie Ann; Goldberg, Paul W.; Wooldridge, Michael
24
2009
Locally strong coherence in inference processes. Zbl 1014.68146
Capotorti, Andrea; Vantaggi, Barbara
24
2002
An efficient algorithm for the minimal unsatisfiability problem for a subclass of CNF. Zbl 0913.68090
Davydov, Gennady; Davydova, Inna; Büning, Hans Kleine
24
1998
Consistency, redundancy, and implied equalities in linear systems. Zbl 0887.90114
Greenberg, Harvey J.
23
1996
Logic, semigroups and automata on words. Zbl 0860.68071
Pin, Jean-Eric
23
1996
Probabilistic default reasoning with conditional constraints. Zbl 1002.68175
Lukasiewicz, Thomas
23
2002
A linear programming approach to reasoning about probabilities. Zbl 0878.68034
Kavvadias, Dimitris; Papadimitriou, Christos H.
22
1990
Integrating answer set programming and constraint logic programming. Zbl 1165.68504
Mellarkod, Veena S.; Gelfond, Michael; Zhang, Yuanlin
22
2008
A theory of nonmonotonic rule systems I. Zbl 0878.68035
Marek, W.; Nerode, A.; Remmel, J.
21
1990
Semigraphoids and structures of probabilistic conditional independence. Zbl 0888.68112
Studený, Milan
21
1997
Planning for temporally extended goals. Zbl 1034.68549
Bacchus, Fahiem; Kabanza, Froduald
21
1998
On measuring uncertainty and uncertainty-based information: recent developments. Zbl 1314.68311
Klir, George J.; Smith, Richard M.
21
2001
Logical preference representation and combinatorial vote. Zbl 1061.68147
Lang, Jérôme
21
2004
Graphoid properties of epistemic irrelevance and independence. Zbl 1097.68128
Cozman, Fabio G.; Walley, Peter
21
2006
Epistemic irrelevance on sets of desirable gambles. Zbl 1092.68097
Moral, Serafín
21
2006
Region-based theory of discrete spaces: A proximity approach. Zbl 1124.68105
Düntsch, Ivo; Vakarelov, Dimiter
20
2007
Separoids: a mathematical framework for conditional independence and irrelevance. Zbl 1314.68308
Dawid, A. P.
19
2001
Possibilistic merging and distance-based fusion of propositional information. Zbl 1001.68032
Benferhat, Salem; Dubois, Didier; Kaci, Souhila; Prade, Henri
19
2002
Strong conditional independence for credal sets. Zbl 1005.60006
Moral, Serafín; Cano, Andrés
19
2002
Branch-and-cut solution of inference problems in propositional logic. Zbl 0878.68065
Hooker, J. N.; Fedjki, C.
17
1990
Integration and conditioning in numerical possibility theory. Zbl 1314.28012
de Cooman, Gert
17
2001
Nonmonotonic reasoning: From complexity to algorithms. Zbl 0905.68142
Cayrol, C.; Lagasquie-Schiex, M.-C.; Schiex, T.
17
1998
Approximate matching of polygonal shapes. Zbl 0855.68106
Alt, Helmut; Behrends, Bernd; Blömer, Johannes
16
1995
Possibilistic uncertainty handling for answer set programming. Zbl 1105.68104
Nicolas, Pascal; Garcia, Laurent; Stéphan, Igor; Lefèvre, Claire
16
2006
TALplanner: A temporal logic based forward chaining planner. Zbl 1002.68158
Kvarnström, Jonas; Doherty, Patrick
16
2000
A survey of temporal extensions of description logics. Zbl 0998.03013
Artale, Alessandro; Franconi, Enrico
16
2000
A thorough axiomatization of a principle of conditional preservation in belief revision. Zbl 1067.68141
Kern-Isberner, Gabriele
16
2004
Cellular automata, matrix substitutions and fractals. Zbl 0866.68069
von Haeseler, Fritz; Peitgen, Heinz-Otto; Skordev, Gencho
15
1993
An effective polynomial-time heuristic for the minimum-cardinality IIS set-covering problem. Zbl 0887.90112
Chinneck, John W.
15
1996
Notes on desirability and conditional lower previsions. Zbl 1231.28017
Miranda, Enrique; Zaffalon, Marco
15
2010
Simplification rules for the coherent probability assessment problem. Zbl 1006.68128
Baioletti, Marco; Capotorti, Andrea; Tulipani, Sauro; Vantaggi, Barbara
15
2002
On renamable Horn and generalized Horn functions. Zbl 0878.68106
Chandru, Vijaya; Coullard, Collette R.; Hammer, Peter L.; Montañez, Miguel; Sun, Xiaorong
14
1990
Spanning-tree based coverage of continuous areas by a mobile robot. Zbl 1314.68318
Gabriely, Yoav; Rimon, Elon
14
2000
Distance semantics for database repair. Zbl 1126.68034
Arieli, Ofer; Denecker, Marc; Bruynooghe, Maurice
14
2007
Multi-robot area patrol under frequency constraints. Zbl 1253.68317
Elmaliach, Yehuda; Agmon, Noa; Kaminka, Gal A.
14
2009
Properties of sensitivity analysis of Bayesian belief networks. Zbl 1015.68187
Coupé, Veerle M. H.; van der Gaag, Linda C.
14
2002
Multi-adjoint concept lattices with heterogeneous conjunctors and hedges. Zbl 1322.06004
Konecny, J.; Medina, J.; Ojeda-Aciego, M.
14
2014
Complexity results for answer set programming with bounded predicate arities and implications. Zbl 1138.68017
Eiter, Thomas; Faber, Wolfgang; Fink, Michael; Woltran, Stefan
14
2007
Generalized disjunctive well-founded semantics for logic programs. Zbl 1034.68506
Baral, Chitta; Lobo, Jorge; Minker, Jack
13
1992
A theory of nonmonotonic rule systems. II. Zbl 0865.03017
Marek, W.; Nerode, A.; Remmel, J.
13
1992
A fast parallel SAT-solver – efficient workload balancing. Zbl 0891.68096
Böhm, Max; Speckenmeyer, Ewald
13
1996
Many-valued logic and mixed integer programming. Zbl 0856.03011
Hähnle, Reiner
13
1994
Logic programming and reasoning with incomplete information. Zbl 0858.68013
Gelfond, Michael
13
1994
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
13
2014
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
13
2010
Conditional independence in a coherent finite setting. Zbl 1314.60012
Vantaggi, Barbara
13
2001
Forgetting for knowledge bases in DL-lite. Zbl 1205.68410
Wang, Zhe; Wang, Kewen; Topor, Rodney; Pan, Jeff Z.
13
2010
External sources of knowledge and value invention in logic programming. Zbl 1125.68026
Calimeri, Francesco; Cozza, Susanna; Ianni, Giovambattista
13
2007
An introduction to fuzzy answer set programming. Zbl 1125.68118
Van Nieuwenborgh, Davy; De Cock, Martine; Vermeir, Dirk
13
2007
Approximation algorithms for the class cover problem. Zbl 1075.68609
Cannon, Adam H.; Cowen, Lenore J.
13
2004
Prioritized repairing and consistent query answering in relational databases. Zbl 1250.68099
Staworko, Sławek; Chomicki, Jan; Marcinkowski, Jerzy
13
2012
An argumentation framework in default logic. Zbl 0866.03018
Prakken, Henry
12
1993
A graphical characterization of lattice conditional independence models. Zbl 0888.68090
Andersson, Steen A.; Madigan, David; Perlman, Michael D.; Triggs, Christopher M.
12
1997
On the partial semantics for disjunctive deductive databases. Zbl 0880.68029
Eiter, Thomas; Leone, Nicola; Saccà, Domenico
12
1997
Static semantics for normal and disjunctive logic programs. Zbl 0855.68015
Przymusinski, Teodor C.
12
1995
A survey of approximability and inapproximability results for social welfare optimization in multiagent resource allocation. Zbl 1286.68205
Nguyen, Trung Thanh; Roos, Magnus; Rothe, Jörg
12
2013
On stability of a formal concept. Zbl 1129.68086
Kuznetsov, Sergei O.
12
2007
Logical analysis of data – the vision of Peter L. Hammer. Zbl 1126.68064
Alexe, Gabriela; Alexe, Sorin; Bonates, Tibérius O.; Kogan, Alexander
12
2007
Lange and Wiehagen’s pattern language learning algorithm: An average-case analysis with respect to its total learning time. Zbl 0918.68103
Zeugmann, Thomas
12
1998
Constraints and universal algebra. Zbl 0930.68143
Jeavons, Peter; Cohen, David; Pearson, Justin
12
1998
Modelling and solving employee timetabling problems. Zbl 1045.68124
Meisels, Amnon; Schaerf, Andrea
12
2003
POPMUSIC as a matheuristic for the berth allocation problem. Zbl 1335.90124
Lalla-Ruiz, Eduardo; Voß, Stefan
12
2016
Belief models: An order-theoretic investigation. Zbl 1094.03007
de Cooman, Gert
12
2006
A Prolog-like inference system for computing minimum-cost abductive explanations in natural-language interpretation. Zbl 1004.68552
Stickel, Mark E.
11
1991
Modal logic for default reasoning. Zbl 0871.03009
Marek, W.; Truszczyński, M.
11
1990
Local computation with valuations from a commutative semigroup. Zbl 0895.68045
Lauritzen, S. L.; Jensen, F. V.
11
1997
On computing minimal models. Zbl 0891.68109
Ben-Eliyahu, Rachel; Dechter, Rina
11
1996
Challenges to complexity shields that are supposed to protect elections against manipulation and control: a survey. Zbl 1286.68207
Rothe, Jörg; Schend, Lena
11
2013
Synthesis with rational environments. Zbl 1372.68173
Kupferman, Orna; Perelli, Giuseppe; Vardi, Moshe Y.
11
2016
Answer set based design of knowledge systems. Zbl 1105.68105
Balduccini, Marcello; Gelfond, Michael; Nogueira, Monica
11
2006
Learning dynamic algorithm portfolios. Zbl 1113.68101
Gagliolo, Matteo; Schmidhuber, Jürgen
11
2006
Flyspeck II: The basic linear programs. Zbl 1184.68465
Obua, Steven; Nipkow, Tobias
11
2009
Temporal representation and reasoning in artificial intelligence: Issues and approaches. Zbl 1001.68096
Chittaro, Luca; Montanari, Angelo
11
2000
Relevance sensitive belief structures. Zbl 1001.68095
Chopra, Samir; Parikh, Rohit
11
2000
A new algebraic tool for automatic theorem provers. Multisemilattice: A structure to improve the efficiency of provers in temporal logics. Zbl 1095.68110
Cordero, P.; Gutiérrez, G.; Martínez, J.; de Guzmán, I. P.
11
2004
A formal analysis of the role of multi-point crossover in genetic algorithms. Zbl 1004.68538
De Jong, Kenneth A.; Spears, William M.
10
1992
Boolean query optimization and the 0-1 hyperbolic sum problem. Zbl 0870.68048
Hansen, Pierre; Poggi de Aragão, Marcus V.; Ribeiro, Celso C.
10
1990
Tabling for non-monotonic programming. Zbl 0940.68025
Swift, Terrance
10
1999
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.
1
2020
Directed Lovász local lemma and Shearer’s lemma. Zbl 07166070
Kirousis, Lefteris; Livieratos, John; Psaromiligkos, Kostas I.
1
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
1
2020
Data-driven Koopman operator approach for computational neuroscience. Zbl 1466.37073
Marrouch, Natasza; Slawinska, Joanna; Giannakis, Dimitrios; Read, Heather L.
1
2020
Relative deviation learning bounds and generalization with unbounded loss functions. Zbl 1442.68194
Cortes, Corinna; Greenberg, Spencer; Mohri, Mehryar
3
2019
Contextual rational closure for defeasible \(\mathcal{ALC} \). Zbl 1452.68180
Britz, Katarina; Varzinczak, Ivan
2
2019
A review of the relations between logical argumentation and reasoning with maximal consistency. Zbl 07166044
Arieli, Ofer; Borg, AnneMarie; Heyninck, Jesse
2
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
Guest editorial: special issue on answer set programming and other computing paradigms. Zbl 07093476
Bogaerts, Bart; Erdem, Esra; Harrison, Amelia
1
2019
Knowledge representation analysis of graph mining. Zbl 07093478
van der Hallen, Matthias; Paramonov, Sergey; Janssens, Gerda; Denecker, Marc
1
2019
A parallel memory-efficient epistemic logic program solver: harder, better, faster. Zbl 07093479
Kahl, Patrick Thor; Leclerc, Anthony P.; Tran, Son Cao
1
2019
P-log: refinement and a new coherency condition. Zbl 07093482
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
4
2018
Geometric and cognitive differences between logical diagrams for the Boolean algebra \(\mathbb {B}_{4}\). Zbl 1448.68404
Demey, Lorenz; Smessaert, Hans
3
2018
Sentence entailment in compositional distributional semantics. Zbl 1459.03030
Sadrzadeh, Mehrnoosh; Kartsaklis, Dimitri; Balkır, Esma
3
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
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
Path homotopy invariants and their application to optimal trajectory planning. Zbl 1415.55001
Bhattacharya, Subhrajit; Ghrist, Robert
1
2018
Active integrity constraints for general-purpose knowledge bases. Zbl 1459.68198
Cruz-Filipe, Luís; Gaspar, Graça; Nunes, Isabel; Schneider-Kamp, Peter
1
2018
Approximation and dependence via multiteam semantics. Zbl 1459.03032
Durand, Arnaud; Hannula, Miika; Kontinen, Juha; Meier, Arne; Virtema, Jonni
1
2018
The complexity of satisfiability in non-iterated and iterated probabilistic logics. Zbl 1459.03027
Kokkinis, Ioannis
1
2018
Efficient suspect selection in unreachable state diagnosis. Zbl 1393.94974
Berryhill, Ryan; Veneris, Andreas
1
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
Tableau reasoning for description logics and its extension to probabilities. Zbl 1398.68506
Zese, Riccardo; Bellodi, Elena; Riguzzi, Fabrizio; Cota, Giuseppe; Lamma, Evelina
1
2018
Conformant planning as a case study of incremental QBF solving. Zbl 1409.68253
Egly, Uwe; Kronegger, Martin; Lonsing, Florian; Pfandler, Andreas
10
2017
Improving configuration checking for satisfiable random \(k\)-SAT instances. Zbl 1404.68136
Abramé, André; Habet, Djamal; Toumi, Donia
5
2017
Logic of temporal attribute implications. Zbl 1409.68283
Triska, Jan; Vychodil, Vilem
4
2017
Computing envelopes in dynamic geometry environments. Zbl 1409.68303
Botana, Francisco; Recio, Tomas
4
2017
Tennis manipulation: can we help Serena Williams win another tournament? Or can we control a knockout tournament with reasonable complexity? Zbl 1409.68131
Aronshtam, Lior; Cohen, Havazelet; Shrot, Tammar
3
2017
On extreme points of p-boxes and belief functions. Zbl 1377.60011
Montes, Ignacio; Destercke, Sebastien
3
2017
Bounded variability of metric temporal logic. Zbl 1420.03032
Furia, Carlo A.; Spoletini, Paola
2
2017
Knowledge transfer in SVM and neural networks. Zbl 1422.68207
Vapnik, Vladimir; Izmailov, Rauf
2
2017
Criteria of efficiency for set-valued classification. Zbl 1422.68208
Vovk, Vladimir; Nouretdinov, Ilia; Fedorova, Valentina; Petej, Ivan; Gammerman, Alex
2
2017
Universal probability-free prediction. Zbl 1384.60076
Vovk, Vladimir; Pavlovic, Dusko
2
2017
Efficient design of experiments for sensitivity analysis based on polynomial chaos expansions. Zbl 1378.62022
Burnaev, Evgeny; Panin, Ivan; Sudret, Bruno
2
2017
A symbolic algebra for the computation of expected utilities in multiplicative influence diagrams. Zbl 1423.68508
Leonelli, Manuele; Riccomagno, Eva; Smith, Jim Q.
2
2017
State duration and interval modeling in hidden semi-Markov model for sequential data analysis. Zbl 1423.68387
Narimatsu, Hiromi; Kasai, Hiroyuki
2
2017
Compact representations of all members of an independence system. Zbl 1358.52015
Haus, Utz-Uwe; Michini, Carla
2
2017
Hyper-arc consistency of polynomial constraints over finite domains using the modified Bernstein form. Zbl 1409.68268
Bergenti, Federico; Monica, Stefania
1
2017
Theory blending: extended algorithmic aspects and examples. Zbl 1409.68281
Martinez, 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
Combi, Carlo
1
2017
A spatio-temporal framework for managing archaeological data. (A spatio-temporal framework for managing archeological data.) Zbl 1419.68046
Belussi, Alberto; Migliorini, Sara
1
2017
To be fair, use bundles. Zbl 1420.03034
McCabe-Dansted, John; Reynolds, Mark
1
2017
Reliable region predictions for automated valuation models. Zbl 1377.62195
Bellotti, Anthony
1
2017
Accelerating difficulty estimation for conformal regression forests. Zbl 1377.62112
Boström, Henrik; Linusson, Henrik; Löfström, Tuve; Johansson, Ulf
1
2017
Large scale variable fidelity surrogate modeling. Zbl 1374.60067
Zaytsev, A.; Burnaev, E.
1
2017
Nonlinear multi-output regression on unknown input manifold. Zbl 1386.68133
Kuleshov, Alexander; Bernstein, Alexander
1
2017
A Bayesian interpretation of the confusion matrix. Zbl 1423.68376
Caelen, Olivier
1
2017
Boosting conditional probability estimators. Zbl 1407.62118
Gutfreund, 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.68203
Kern-Isberner, Gabriele; Wilhelm, Marco; Beierle, Christoph
1
2017
Learning concepts and their unions from positive data with refinement operators. Zbl 1432.68209
Ouchi, Seishi; Okayama, Tomohiko; Otaki, Keisuke; Yoshinaka, Ryo; Yamamoto, Akihiro
1
2017
Dualization of Boolean functions using ternary decision diagrams. Zbl 1420.68198
Toda, Takahisa
1
2017
POPMUSIC as a matheuristic for the berth allocation problem. Zbl 1335.90124
Lalla-Ruiz, Eduardo; Voß, Stefan
12
2016
Synthesis with rational environments. Zbl 1372.68173
Kupferman, Orna; Perelli, Giuseppe; Vardi, Moshe Y.
11
2016
Structures of opposition induced by relations. The Boolean and the gradual cases. Zbl 1336.03034
Ciucci, Davide; Dubois, Didier; Prade, Henri
10
2016
Schulze and ranked-pairs voting are fixed-parameter tractable to bribe, manipulate, and control. Zbl 1346.91072
Hemaspaandra, Lane A.; Lavaee, Rahman; Menton, Curtis
6
2016
Portfolio approaches for constraint optimization problems. Zbl 1335.90077
Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo
4
2016
On the hardness of bribery variants in voting with CP-nets. Zbl 1345.91006
Dorn, Britta; Krüger, Dominikus
3
2016
Belief revision in structured probabilistic argumentation, model and application to cyber security. Zbl 1405.68367
Shakarian, Paulo; Simari, Gerardo I.; Moores, Geoffrey; Paulo, Damon; Parsons, Simon; Falappa, Marcelo A.; Aleali, Ashkan
3
2016
Models and algorithms for competitive facility location problems with different customer behavior. Zbl 1335.90052
Biesinger, Benjamin; Hu, Bin; Raidl, Günther
3
2016
A quantitative approach to belief revision in structured probabilistic argumentation. Zbl 1356.68224
Simari, Gerardo I.; Shakarian, Paulo; Falappa, Marcelo A.
2
2016
The complexity of priced control in elections. Zbl 1372.91033
Miasko, Tomasz; Faliszewski, Piotr
2
2016
Matching couples with Scarf’s algorithm. Zbl 1410.91353
Biró, Péter; Fleiner, Tamás; Irving, Robert W.
2
2016
Toward the complexity of the existence of wonderfully stable partitions and strictly core stable coalition structures in enemy-oriented hedonic games. Zbl 1371.68121
Rey, Anja; Rothe, Jörg; Schadrack, Hilmar; Schend, Lena
2
2016
Preferences in artificial intelligence. Zbl 1371.68262
Pigozzi, Gabriella; Tsoukiàs, Alexis; Viappiani, Paolo
2
2016
Two axiomatic characterizations for the system of spheres-based (and the epistemic entrenchment-based) multiple contractions. Zbl 1397.03021
Reis, Maurício D. L.; Peppas, Pavlos; Fermé, Eduardo
2
2016
A hybrid clonal selection algorithm for the location routing problem with stochastic demands. Zbl 1335.90008
Marinakis, Yannis; Marinaki, Magdalene; Migdalas, Athanasios
2
2016
Algorithm portfolios for noisy optimization. Zbl 1346.90763
Cauwet, Marie-Liesse; Liu, Jialin; Rozière, Baptiste; Teytaud, Olivier
2
2016
Scheduling jobs on a single serial-batching machine with dynamic job arrivals and multiple job types. Zbl 1338.90181
Pei, Jun; Liu, Xinbao; Fan, Wenjuan; Pardalos, Panos M.; Migdalas, Athanasios; Yang, Shanlin
2
2016
Distributive mereotopology: extended distributive contact lattices. Zbl 1378.06008
Ivanova, Tatyana; Vakarelov, Dimiter
2
2016
Manipulation complexity of same-system runoff elections. Zbl 1346.91071
Fitzsimmons, Zack; Hemaspaandra, Edith; Hemaspaandra, Lane A.
1
2016
A Borda count for collective sentiment analysis. Zbl 1371.68227
Grandi, Umberto; Loreggia, Andrea; Rossi, Francesca; Saraswat, Vijay
1
2016
Belief change and argumentation in multi-agent scenarios. Zbl 1360.03011
Dix, Jürgen; Hansson, Sven Ove; Kern-Isberner, Gabriele; Simari, Guillermo R.
1
2016
A series of revisions of David Poole’s specificity. Zbl 1378.68138
Wirth, Claus-Peter; Stolzenburg, Frieder
1
2016
Assessing the epistemological relevance of Dung-style argumentation theories. Zbl 1380.03011
Betz, Gregor
1
2016
Guest editorial: Revised selected papers from the LION 8 conference. Zbl 1335.00162
Pardalos, Panos M.; Vogiatzis, Chrysafis; Walteros, Jose L.
1
2016
Controlling selection areas of useful infeasible solutions for directed mating in evolutionary constrained multi-objective optimization. Zbl 1335.90118
Miyakawa, Minami; Takadama, Keiki; Sato, Hiroyuki
1
2016
On compositional reasoning about anonymity and privacy in epistemic logic. Zbl 1403.03051
Tsukada, Yasuyuki; Sakurada, Hideki; Mano, Ken; Manabe, Yoshifumi
1
2016
Latent binary MRF for online reconstruction of large scale systems. Zbl 1401.68266
Martin, Victorin; Lasgouttes, Jean-Marc; Furtlehner, Cyril
1
2016
Automated generation of machine verifiable and readable proofs: a case study of Tarski’s geometry. Zbl 1327.68206
Stojanović Đurđević, Sana; Narboux, Julien; Janičić, Predrag
8
2015
Automated generation of geometric theorems from images of diagrams. Zbl 1330.68263
Chen, Xiaoyu; Song, Dan; Wang, Dongming
7
2015
Cellular topology and topological coordinate systems on the hexagonal and on the triangular grids. Zbl 1325.52011
Nagy, Benedek
7
2015
Probabilistic satisfiability: algorithms with the presence and absence of a phase transition. Zbl 1347.68331
Finger, Marcelo; De Bona, Glauber
6
2015
Cross-conformal predictors. Zbl 1331.68195
Vovk, Vladimir
5
2015
A conformal prediction approach to explore functional data. Zbl 1317.62039
Lei, Jing; Rinaldo, Alessandro; Wasserman, Larry
5
2015
Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective. Zbl 1326.03074
Magaud, Nicolas; Chollet, Agathe; Fuchs, Laurent
5
2015
A Singular web service for geometric computations. Zbl 1330.68336
Botana, Francisco; Kovács, Zoltán
5
2015
Topology preservation on the triangular grid. Zbl 1325.65034
Kardos, Péter; Palágyi, Kálmán
5
2015
Contextual array grammars and array P systems. Zbl 1341.68090
Fernau, Henning; Freund, Rudolf; Schmid, Markus L.; Subramanian, K. G.; Wiederhold, Petra
4
2015
Conformal predictions for information fusion. A comparative study of p-value combination methods. Zbl 1331.68180
Balasubramanian, Vineeth N.; Chakraborty, Shayok; Panchanathan, Sethuraman
3
2015
Formalizing complex plane geometry. Zbl 1330.68264
Marić, Filip; Petrović, Danijela
3
2015
The impact of transitive closure on the expressiveness of navigational query languages on unlabeled graphs. Zbl 1319.68070
Fletcher, George H. L.; Gyssens, Marc; Leinders, Dirk; Van den Bussche, Jan; Van Gucht, Dirk; Vansummeren, Stijn; Wu, Yuqing
3
2015
Guest editors’ preface to the special issue on conformal prediction and its applications. Zbl 1315.00118
Papadopoulos, Harris; Vovk, Vladimir; Gammerman, Alexander
2
2015
Inductive conformal anomaly detection for sequential detection of anomalous sub-trajectories. Zbl 1331.68186
Laxhammar, Rikard; Falkman, Göran
1
2015
Inductive Venn prediction. Zbl 1315.68261
Lambrou, Antonis; Nouretdinov, Ilia; Papadopoulos, Harris
1
2015
Lang’s universal molecule algorithm. Zbl 1330.68297
Bowers, John C.; Streinu, Ileana
1
2015
Convenient adjacencies for structuring the digital plane. Zbl 1321.05139
Šlapal, Josef
1
2015
Fitting discrete polynomial curve and surface to noisy data. Zbl 1327.65028
Sekiya, Fumiki; Sugimoto, Akihiro
1
2015
On 2D constrained discrete rigid transformations. Zbl 1341.68304
Ngo, Phuc; Kenmochi, Yukiko; Passat, Nicolas; Talbot, Hugues
1
2015
Efficient segmentation with the convex local-global fuzzy Gaussian distribution active contour for medical applications. Zbl 1343.49053
Thieu, Quang Tung; Luong, Marie; Rocchisani, Jean-Marie; Sirakov, Nikolay Metodiev; Viennet, Emmanuel
1
2015
...and 685 more Documents
all top 5

Cited by 4,960 Authors

41 Vantaggi, Barbara
39 Eiter, Thomas
31 Prade, Henri M.
29 Dubois, Didier
28 Coletti, Giulianella
27 Woltran, Stefan
25 Czado, Claudia
20 Cabalar, Pedro
20 de Cooman, Gert
19 Benferhat, Salem
19 Schaub, Torsten H.
18 Link, Sebastian
18 Petturiti, Davide
18 Truszczyński, Mirosław
17 Joe, Harry
17 Zaffalon, Marco
16 Gagliardi Cozman, Fabio
16 Gilio, Angelo
16 Leone, Nicola
16 Remmel, Jeffrey B.
16 Rothe, Jörg-Matthias
15 Arieli, Ofer
15 Lifschitz, Vladimir
15 Montanari, Angelo
15 Schockaert, Steven
14 Boros, Endre
14 De Cock, Martine
14 Fink, Michael
14 Maratea, Marco
14 Marek, V. Wiktor
14 Ojeda-Aciego, Manuel
13 Amgoud, Leila
13 Gabbay, Dov M.
13 Jain, Sanjay
13 Kern-Isberner, Gabriele
13 Lukasiewicz, Thomas
13 Medina, Jesús
13 Sanfilippo, Giuseppe
13 You, Jia-Huai
12 Alviano, Mario
12 Gebser, Martin
12 Giunchiglia, Enrico
12 Lierler, Yuliya
12 Lin, Fangzhen
12 Scozzafava, Romano
12 Subrahmanian, V. S.
12 Szeider, Stefan
12 Vermeir, Dirk
11 Cordero, Pablo
11 Fandinno, Jorge
11 Gottlob, Georg
11 Hooker, John N. jun.
10 Čepek, Ondřej
10 Hansen, Pierre
10 Hartmann, Sven
10 Hunter, Anthony
10 Jiroušek, Radim
10 Kučera, Petr
10 Liu, Weiru
10 Marques-Silva, João P.
10 Palopoli, Luigi
10 Stephan, Frank
10 Voß, Stefan
10 Wang, Kewen
9 Baioletti, Marco
9 Baral, Chitta R.
9 Dodaro, Carmine
9 Erdem, Esra
9 Faber, Wolfgang
9 Godo, Lluís
9 Hammer, Peter Ladislaw
9 Meisels, Amnon
9 Moral, Serafín
9 Ognjanović, Zoran
9 Pfeifer, Niki
9 Sciavicco, Guido
9 Shen, Yidong
9 Simari, Guillermo Ricardo
9 Son, Tran Cao
9 Subramani, Krishnan
9 van der Gaag, Linda C.
9 van der Torre, Leendert W. N.
9 Wooldridge, Michael J.
8 Abellán, Joaquín
8 Bruni, Renato
8 Busanello, Giuseppe
8 Cadoli, Marco
8 Case, John
8 Ciabattoni, Agata
8 Giordano, Laura
8 Janhunen, Tomi
8 Kleine Büning, Hans
8 Krennwallner, Thomas
8 Kullmann, Oliver
8 Lang, Jérôme
8 Lee, Joohyung
8 Napoli, Amedeo
8 Nerode, Anil
8 Peitgen, Heinz-Otto
8 Pontelli, Enrico
...and 4,860 more Authors
all top 5

Cited in 395 Journals

318 Artificial Intelligence
312 Annals of Mathematics and Artificial Intelligence
219 International Journal of Approximate Reasoning
164 Theoretical Computer Science
129 Theory and Practice of Logic Programming
111 Discrete Applied Mathematics
82 Fuzzy Sets and Systems
69 European Journal of Operational Research
64 Journal of Automated Reasoning
60 Information Sciences
50 Annals of Operations Research
49 Information and Computation
48 Journal of Applied Non-Classical Logics
46 Journal of Applied Logic
35 Computers & Operations Research
33 Constraints
32 Studia Logica
31 Journal of Computer and System Sciences
30 Information Processing Letters
29 Annals of Pure and Applied Logic
28 Synthese
23 Journal of Multivariate Analysis
22 Journal of Philosophical Logic
22 Machine Learning
21 Computational Statistics and Data Analysis
19 International Journal of General Systems
16 Journal of Symbolic Computation
16 Journal of Logic, Language and Information
15 Journal of Global Optimization
15 Mathematics in Computer Science
14 The Journal of Symbolic Logic
14 Kybernetika
14 Algorithmica
14 Archive for Mathematical Logic
14 ACM Transactions on Computational Logic
13 Discrete Mathematics
13 The Annals of Statistics
13 Automatica
13 International Journal of Intelligent Systems
13 Soft Computing
13 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems
12 New Generation Computing
12 Theory of Computing Systems
11 Applied Mathematics and Computation
11 Journal of Computer Science and Technology
11 Computational Geometry
10 Journal of Mathematical Analysis and Applications
10 The Bulletin of Symbolic Logic
10 Journal of High Energy Physics
10 The Journal of Logic and Algebraic Programming
9 Operations Research Letters
9 Mathematical and Computer Modelling
9 International Journal of Computer Mathematics
9 Logical Methods in Computer Science
8 Acta Informatica
8 Journal of Statistical Planning and Inference
8 Mathematical Social Sciences
8 Pattern Recognition
8 Mathematical Programming. Series A. Series B
8 INFORMS Journal on Computing
8 Logica Universalis
8 Statistics and Computing
7 Transactions of the American Mathematical Society
7 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering
7 Formal Methods in System Design
7 Mathematical Problems in Engineering
7 Journal of Combinatorial Optimization
6 Journal of Statistical Physics
6 Insurance Mathematics & Economics
6 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
6 The Journal of Artificial Intelligence Research (JAIR)
6 RAIRO. Theoretical Informatics and Applications
6 Journal of Logical and Algebraic Methods in Programming
5 Computers & Mathematics with Applications
5 Computer Methods in Applied Mechanics and Engineering
5 Algebra Universalis
5 Journal of Computational and Applied Mathematics
5 International Journal of Computational Geometry & Applications
5 MSCS. Mathematical Structures in Computer Science
5 International Journal of Foundations of Computer Science
5 Games and Economic Behavior
5 Applied Mathematical Modelling
5 Journal of Heuristics
5 Quantitative Finance
5 Computational Intelligence
5 Science in China. Series F
5 SIGMA. Symmetry, Integrability and Geometry: Methods and Applications
5 Optimization Letters
5 Dependence Modeling
4 Journal of the American Statistical Association
4 Topology and its Applications
4 Statistics & Probability Letters
4 Social Choice and Welfare
4 Discrete & Computational Geometry
4 Applicable Algebra in Engineering, Communication and Computing
4 Journal of Mathematical Imaging and Vision
4 Computational Optimization and Applications
4 Mathematical Logic Quarterly (MLQ)
4 Bernoulli
4 International Journal of Applied Mathematics and Computer Science
...and 295 more Journals
all top 5

Cited in 58 Fields

2,372 Computer science (68-XX)
760 Mathematical logic and foundations (03-XX)
424 Operations research, mathematical programming (90-XX)
295 Statistics (62-XX)
239 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
145 Combinatorics (05-XX)
137 Probability theory and stochastic processes (60-XX)
116 Order, lattices, ordered algebraic structures (06-XX)
82 Numerical analysis (65-XX)
64 Information and communication theory, circuits (94-XX)
51 Biology and other natural sciences (92-XX)
42 Systems theory; control (93-XX)
36 Special functions (33-XX)
33 Number theory (11-XX)
32 Quantum theory (81-XX)
26 Geometry (51-XX)
25 Linear and multilinear algebra; matrix theory (15-XX)
25 Ordinary differential equations (34-XX)
24 General algebraic systems (08-XX)
22 Convex and discrete geometry (52-XX)
21 Measure and integration (28-XX)
21 Dynamical systems and ergodic theory (37-XX)
20 Partial differential equations (35-XX)
19 History and biography (01-XX)
18 Group theory and generalizations (20-XX)
17 General and overarching topics; collections (00-XX)
14 Mechanics of particles and systems (70-XX)
13 Real functions (26-XX)
13 General topology (54-XX)
12 Statistical mechanics, structure of matter (82-XX)
11 Category theory; homological algebra (18-XX)
11 Functions of a complex variable (30-XX)
10 Harmonic analysis on Euclidean spaces (42-XX)
9 Field theory and polynomials (12-XX)
9 Commutative algebra (13-XX)
9 Algebraic topology (55-XX)
8 Approximations and expansions (41-XX)
7 Differential geometry (53-XX)
6 Relativity and gravitational theory (83-XX)
5 Associative rings and algebras (16-XX)
5 Integral equations (45-XX)
5 Operator theory (47-XX)
5 Fluid mechanics (76-XX)
4 Algebraic geometry (14-XX)
4 Mathematics education (97-XX)
3 Integral transforms, operational calculus (44-XX)
3 Calculus of variations and optimal control; optimization (49-XX)
3 Mechanics of deformable solids (74-XX)
2 Nonassociative rings and algebras (17-XX)
2 Potential theory (31-XX)
2 Difference and functional equations (39-XX)
2 Manifolds and cell complexes (57-XX)
2 Global analysis, analysis on manifolds (58-XX)
1 Several complex variables and analytic spaces (32-XX)
1 Sequences, series, summability (40-XX)
1 Functional analysis (46-XX)
1 Optics, electromagnetic theory (78-XX)
1 Geophysics (86-XX)

Citations by Year