## 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,359 Publications (since 1990) References Indexed: 954 Publications with 31,908 References.
all top 5

### Latest Issues

 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) 57, No. 1 (2009) 56, No. 3-4 (2009) 56, No. 2 (2009) 56, No. 1 (2009) 55, No. 3-4 (2009) ...and 96 more Volumes
all top 5

### Authors

 12 Dix, Jurgen 12 Pardalos, Panos M. 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 B. 8 Subrahmanian, V. S. 7 Eiter, Thomas 7 Franco, John V. 7 Simari, Guillermo Ricardo 7 Truszczyński, Mirosław 6 Biskup, Joachim 6 Dubois, Didier 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 Gyssens, Marc 5 Hartmann, Sven 5 Hegner, Stephen J. 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 Wooldridge, Michael J. 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 Giunchiglia, Enrico 4 Godo, Lluís 4 Gottlob, Georg 4 Greenberg, Harvey Joel 4 Hoffman, Frederick 4 Ibaraki, Toshihide 4 Kogan, Alexander 4 Kotsireas, Ilias S. 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 Prestwich, Steven D. 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. 3 Agmon, Noa 3 Amgoud, Leila 3 Analyti, Anastasia 3 Armando, Alessandro 3 Artale, Alessandro 3 Arzi-Gonczarowski, Zippora ...and 2,160 more Authors
all top 5

### Fields

 1,212 Computer science (68-XX) 257 Mathematical logic and foundations (03-XX) 109 General and overarching topics; collections (00-XX) 96 Operations research, mathematical programming (90-XX) 76 Statistics (62-XX) 73 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 50 Order, lattices, ordered algebraic structures (06-XX) 34 Combinatorics (05-XX) 25 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) 9 Measure and integration (28-XX) 8 Commutative algebra (13-XX) 8 Linear and multilinear algebra; matrix theory (15-XX) 7 General algebraic systems (08-XX) 7 Convex and discrete geometry (52-XX) 6 History and biography (01-XX) 6 Algebraic geometry (14-XX) 5 Category theory; homological algebra (18-XX) 5 Functional analysis (46-XX) 5 Calculus of variations and optimal control; optimization (49-XX) 5 Algebraic topology (55-XX) 4 Group theory and generalizations (20-XX) 4 Special functions (33-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 Approximations and expansions (41-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 Associative rings and algebras (16-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)

### Citations contained in zbMATH Open

819 Publications have been cited 5,055 times in 3,883 Documents Cited by Year
Logic programs with stable model semantics as a constraint programming paradigm. Zbl 0940.68018
Niemelä, Ilkka
1999
NIST digital library of mathematical functions. Zbl 1019.65001
Lozier, Daniel W.
2003
Probability density decomposition for conditionally dependent random variables modeled by vines. Zbl 1314.62040
Bedford, Tim; Cooke, Roger M.
2001
Stochastic independence in a coherent setting. Zbl 1005.60007
Coletti, G.; Scozzafava, R.
2002
On the computational cost of disjunctive logic programming: Propositional case. Zbl 0858.68016
Eiter, Thomas; Gottlob, Georg
1995
A reasoning model based on the production of acceptable arguments. Zbl 1002.68172
Amgoud, Leila; Cayrol, Claudette
2002
Nested expressions in logic programs. Zbl 0940.68075
Lifschitz, Vladimir; Tang, Lappoon R.; Turner, Hudson
1999
Possibility theory, probability theory and multiple-valued logics: a clarification. Zbl 1314.68309
2001
Another perspective on default reasoning. Zbl 0857.68096
Lehmann, Daniel
1995
Propositional semantics for disjunctive logic programs. Zbl 0858.68012
Ben-Eliyahu, Rachel; Dechter, Rina
1994
Equilibrium logic. Zbl 1117.03039
Pearce, David
2006
Modeling genetic algorithms with Markov chains. Zbl 1034.68534
Nix, Allen E.; Vose, Michael D.
1992
Solving propositional satisfiability problems. Zbl 0878.68107
Jèroslow, Robert G.; Wang, Jinchang
1990
Hypersequents, logical consequence and intermediate logics for concurrency. Zbl 0865.03042
Avron, Arnon
1991
The tabu search metaheuristic: How we used it. Zbl 0878.68053
Hertz, A.; de Werra, D.
1990
Probabilistic reasoning under coherence in System P. Zbl 1014.68165
Gilio, Angelo
2002
Independence and possibilistic conditioning. Zbl 1004.60001
Bouchon-Meunier, Bernadette; Coletti, Giulianella; Marsala, Christophe
2002
Polynomial-time inference of all valid implications for Horn and related formulae. Zbl 0878.68105
Boros, E.; Crama, Y.; Hammer, P. L.
1990
Coverage for robotics – a survey of recent results. Zbl 1314.68317
Choset, Howie
2000
From conditional events to conditional measures: a new axiomatic approach. Zbl 1314.68306
Coletti, G.; Scozzafava, R.
2001
Probability propagation. Zbl 0875.68676
Shafer, Glenn R.; Shenoy, Prakash P.
1990
Probabilistic logic under coherence: complexity and algorithms. Zbl 1083.03027
Biazzo, Veronica; Gilio, Angelo; Lukasiewicz, Thomas; Sanfilippo, Giuseppe
2006
On the computational complexity of weighted voting games. Zbl 1185.91081
Elkind, Edith; Goldberg, Leslie Ann; Goldberg, Paul W.; Wooldridge, Michael
2009
Locally strong coherence in inference processes. Zbl 1014.68146
Capotorti, Andrea; Vantaggi, Barbara
2002
Region-based theory of discrete spaces: A proximity approach. Zbl 1124.68105
Düntsch, Ivo; Vakarelov, Dimiter
2007
An efficient algorithm for the minimal unsatisfiability problem for a subclass of CNF. Zbl 0913.68090
Davydov, Gennady; Davydova, Inna; Büning, Hans Kleine
1998
A thorough axiomatization of a principle of conditional preservation in belief revision. Zbl 1067.68141
Kern-Isberner, Gabriele
2004
Consistency, redundancy, and implied equalities in linear systems. Zbl 0887.90114
Greenberg, Harvey J.
1996
Probabilistic default reasoning with conditional constraints. Zbl 1002.68175
Lukasiewicz, Thomas
2002
Logic, semigroups and automata on words. Zbl 0860.68071
Pin, Jean-Eric
1996
A linear programming approach to reasoning about probabilities. Zbl 0878.68034
1990
Integrating answer set programming and constraint logic programming. Zbl 1165.68504
Mellarkod, Veena S.; Gelfond, Michael; Zhang, Yuanlin
2008
Logical preference representation and combinatorial vote. Zbl 1061.68147
Lang, Jérôme
2004
A theory of nonmonotonic rule systems I. Zbl 0878.68035
Marek, W.; Nerode, A.; Remmel, J.
1990
Graphoid properties of epistemic irrelevance and independence. Zbl 1097.68128
Cozman, Fabio G.; Walley, Peter
2006
Semigraphoids and structures of probabilistic conditional independence. Zbl 0888.68112
Studený, Milan
1997
Planning for temporally extended goals. Zbl 1034.68549
Bacchus, Fahiem; Kabanza, Froduald
1998
Epistemic irrelevance on sets of desirable gambles. Zbl 1092.68097
Moral, Serafín
2006
On measuring uncertainty and uncertainty-based information: recent developments. Zbl 1314.68311
Klir, George J.; Smith, Richard M.
2001
Separoids: a mathematical framework for conditional independence and irrelevance. Zbl 1314.68308
Dawid, A. P.
2001
Strong conditional independence for credal sets. Zbl 1005.60006
Moral, Serafín; Cano, Andrés
2002
Approximate matching of polygonal shapes. Zbl 0855.68106
Alt, Helmut; Behrends, Bernd; Blömer, Johannes
1995
Possibilistic merging and distance-based fusion of propositional information. Zbl 1001.68032
Benferhat, Salem; Dubois, Didier; Kaci, Souhila; Prade, Henri
2002
Cellular automata, matrix substitutions and fractals. Zbl 0866.68069
von Haeseler, Fritz; Peitgen, Heinz-Otto; Skordev, Gencho
1993
Branch-and-cut solution of inference problems in propositional logic. Zbl 0878.68065
Hooker, J. N.; Fedjki, C.
1990
An effective polynomial-time heuristic for the minimum-cardinality IIS set-covering problem. Zbl 0887.90112
Chinneck, John W.
1996
Complexity results for answer set programming with bounded predicate arities and implications. Zbl 1138.68017
Eiter, Thomas; Faber, Wolfgang; Fink, Michael; Woltran, Stefan
2007
Nonmonotonic reasoning: From complexity to algorithms. Zbl 0905.68142
Cayrol, C.; Lagasquie-Schiex, M.-C.; Schiex, T.
1998
Integration and conditioning in numerical possibility theory. Zbl 1314.28012
de Cooman, Gert
2001
TALplanner: A temporal logic based forward chaining planner. Zbl 1002.68158
Kvarnström, Jonas; Doherty, Patrick
2000
A survey of temporal extensions of description logics. Zbl 0998.03013
Artale, Alessandro; Franconi, Enrico
2000
Logic programming and reasoning with incomplete information. Zbl 0858.68013
Gelfond, Michael
1994
Notes on desirability and conditional lower previsions. Zbl 1231.28017
Miranda, Enrique; Zaffalon, Marco
2010
Belief models: An order-theoretic investigation. Zbl 1094.03007
de Cooman, Gert
2006
Possibilistic uncertainty handling for answer set programming. Zbl 1105.68104
Nicolas, Pascal; Garcia, Laurent; Stéphan, Igor; Lefèvre, Claire
2006
Simplification rules for the coherent probability assessment problem. Zbl 1006.68128
Baioletti, Marco; Capotorti, Andrea; Tulipani, Sauro; Vantaggi, Barbara
2002
On the partial semantics for disjunctive deductive databases. Zbl 0880.68029
Eiter, Thomas; Leone, Nicola; Saccà, Domenico
1997
Synthesis with rational environments. Zbl 1372.68173
Kupferman, Orna; Perelli, Giuseppe; Vardi, Moshe Y.
2016
Distance semantics for database repair. Zbl 1126.68034
Arieli, Ofer; Denecker, Marc; Bruynooghe, Maurice
2007
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
2014
Properties of sensitivity analysis of Bayesian belief networks. Zbl 1015.68187
Coupé, Veerle M. H.; van der Gaag, Linda C.
2002
Approximation algorithms for the class cover problem. Zbl 1075.68609
Cannon, Adam H.; Cowen, Lenore J.
2004
Many-valued logic and mixed integer programming. Zbl 0856.03011
Hähnle, Reiner
1994
On renamable Horn and generalized Horn functions. Zbl 0878.68106
Chandru, Vijaya; Coullard, Collette R.; Hammer, Peter L.; Montañez, Miguel; Sun, Xiaorong
1990
Forgetting for knowledge bases in DL-lite. Zbl 1205.68410
Wang, Zhe; Wang, Kewen; Topor, Rodney; Pan, Jeff Z.
2010
Multi-robot area patrol under frequency constraints. Zbl 1253.68317
Elmaliach, Yehuda; Agmon, Noa; Kaminka, Gal A.
2009
Logical analysis of data – the vision of Peter L. Hammer. Zbl 1126.68064
Alexe, Gabriela; Alexe, Sorin; Bonates, Tibérius O.; Kogan, Alexander
2007
External sources of knowledge and value invention in logic programming. Zbl 1125.68026
Calimeri, Francesco; Cozza, Susanna; Ianni, Giovambattista
2007
Spanning-tree based coverage of continuous areas by a mobile robot. Zbl 1314.68318
Gabriely, Yoav; Rimon, Elon
2000
Conditional independence in a coherent finite setting. Zbl 1314.60012
Vantaggi, Barbara
2001
Multi-adjoint concept lattices with heterogeneous conjunctors and hedges. Zbl 1322.06004
Konecny, J.; Medina, J.; Ojeda-Aciego, M.
2014
POPMUSIC as a matheuristic for the berth allocation problem. Zbl 1335.90124
Lalla-Ruiz, Eduardo; Voß, Stefan
2016
Relevance sensitive belief structures. Zbl 1001.68095
Chopra, Samir; Parikh, Rohit
2000
Boolean lexicographic optimization: algorithms & applications. Zbl 1242.90199
Marques-Silva, Joao; Argelich, Josep; Graça, Ana; Lynce, Inês
2011
Static semantics for normal and disjunctive logic programs. Zbl 0855.68015
Przymusinski, Teodor C.
1995
An argumentation framework in default logic. Zbl 0866.03018
Prakken, Henry
1993
Generalized disjunctive well-founded semantics for logic programs. Zbl 1034.68506
Baral, Chitta; Lobo, Jorge; Minker, Jack
1992
A theory of nonmonotonic rule systems. II. Zbl 0865.03017
Marek, W.; Nerode, A.; Remmel, J.
1992
A fast parallel SAT-solver – efficient workload balancing. Zbl 0891.68096
Böhm, Max; Speckenmeyer, Ewald
1996
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
2010
Prioritized repairing and consistent query answering in relational databases. Zbl 1250.68099
Staworko, Sławek; Chomicki, Jan; Marcinkowski, Jerzy
2012
On stability of a formal concept. Zbl 1129.68086
Kuznetsov, Sergei O.
2007
An introduction to fuzzy answer set programming. Zbl 1125.68118
Van Nieuwenborgh, Davy; De Cock, Martine; Vermeir, Dirk
2007
Challenges to complexity shields that are supposed to protect elections against manipulation and control: a survey. Zbl 1286.68207
Rothe, Jörg; Schend, Lena
2013
On coherent conditional probabilities and disintegrations. Zbl 1005.60008
Berti, Patrizia; Rigo, Pietro
2002
A graphical characterization of lattice conditional independence models. Zbl 0888.68090
1997
A new approach for preference-based argumentation frameworks. Zbl 1234.68371
Amgoud, Leila; Vesic, Srdjan
2012
Discovering the suitability of optimisation algorithms by learning from evolved instances. Zbl 1236.49008
Smith-Miles, Kate; van Hemert, Jano
2011
Modelling and solving employee timetabling problems. Zbl 1045.68124
Meisels, Amnon; Schaerf, Andrea
2003
UnitWalk: A new SAT solver that uses local search guided by unit clause elimination. Zbl 1100.68621
Hirsch, Edward A.; Kojevnikov, Arist
2005
Nonrecursive incremental evaluation of Datalog queries. Zbl 0855.68026
Dong, Guozhu; Su, Jianwen; Topor, Rodney
1995
A Prolog-like inference system for computing minimum-cost abductive explanations in natural-language interpretation. Zbl 1004.68552
Stickel, Mark E.
1991
Relational concept analysis: mining concept lattices from multi-relational data. Zbl 1297.68220
Rouane-Hacene, Mohamed; Huchard, Marianne; Napoli, Amedeo; Valtchev, Petko
2013
Learning dynamic algorithm portfolios. Zbl 1113.68101
Gagliolo, Matteo; Schmidhuber, Jürgen
2006
Attribute-incremental construction of the canonical implication basis. Zbl 1125.68121
Obiedkov, S.; Duquenne, V.
2007
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
2013
Boosting complete techniques thanks to local search methods. Zbl 0905.68143
Mazure, Bertrand; Saïs, Lakhdar; Grégoire, Éric
1998
Lange and Wiehagen’s pattern language learning algorithm: An average-case analysis with respect to its total learning time. Zbl 0918.68103
Zeugmann, Thomas
1998
Constraints and universal algebra. Zbl 0930.68143
Jeavons, Peter; Cohen, David; Pearson, Justin
1998
Answer set based design of knowledge systems. Zbl 1105.68105
Balduccini, Marcello; Gelfond, Michael; Nogueira, Monica
2006
An investigation of parametrized difference revision operators. Zbl 07355084
Aravanis, Theofanis; Peppas, Pavlos; Williams, Mary-Anne
2021
Instance space analysis for a personnel scheduling problem. Zbl 07377241
Kletzander, Lucas; Musliu, Nysret; Smith-Miles, Kate
2021
$$Log_A\mathbf{G}$$: an algebraic non-monotonic logic for reasoning with graded propositions. Zbl 07355087
Ehab, Nourhan; Ismail, Haythem O.
2021
Multiple-source adaptation theory and algorithms. Zbl 1490.68194
Zhang, Ningshan; Mohri, Mehryar; Hoffman, Judy
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
2021
Joint desirability foundations of social choice and opinion pooling. Zbl 07447177
Casanova, Arianna; Miranda, Enrique; Zaffalon, Marco
2021
Constraint-based learning for non-parametric continuous Bayesian networks. Zbl 07447179
Lasserre, Marvin; Lebrun, Régis; Wuillemin, Pierre-Henri
2021
Irreducible bin packing and normality in routing open shop. Zbl 1476.90111
Chernykh, Ilya; Pyatkin, Artem
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.
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
2020
Data-driven Koopman operator approach for computational neuroscience. Zbl 1466.37073
Marrouch, Natasza; Slawinska, Joanna; Giannakis, Dimitrios; Read, Heather L.
2020
Discrepancy-based theory and algorithms for forecasting non-stationary time series. Zbl 1452.62654
Kuznetsov, Vitaly; Mohri, Mehryar
2020
Blending under deconstruction. The roles of logic, ontology, and cognition in computational concept invention. Zbl 1444.68178
Confalonieri, Roberto; Kutz, Oliver
2020
Non-terminating processes in the situation calculus. Zbl 1444.68179
De Giacomo, Giuseppe; Ternovska, Eugenia; Reiter, Ray
2020
Directed Lovász local lemma and Shearer’s lemma. Zbl 1477.68534
Kirousis, Lefteris; Livieratos, John; Psaromiligkos, Kostas I.
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.
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
2020
Proof-checking Euclid. Zbl 07055783
Beeson, Michael; Narboux, Julien; Wiedijk, Freek
2019
Relative deviation learning bounds and generalization with unbounded loss functions. Zbl 1442.68194
Cortes, Corinna; Greenberg, Spencer; Mohri, Mehryar
2019
Compilation of static and evolving conditional knowledge bases for computing induced nonmonotonic inference relations. Zbl 1452.68179
Beierle, Christoph; Kutsch, Steven; Sauerwald, Kai
2019
A review of the relations between logical argumentation and reasoning with maximal consistency. Zbl 1474.68333
Arieli, Ofer; Borg, AnneMarie; Heyninck, Jesse
2019
A multiparametric view on answer set programming. Zbl 1420.68030
Fichte, Johannes K.; Kronegger, Martin; Woltran, Stefan
2019
Contextual rational closure for defeasible $$\mathcal{ALC}$$. Zbl 1452.68180
Britz, Katarina; Varzinczak, Ivan
2019
Rewriting input expressions in complex algebraic geometry provers. Zbl 1423.13004
Kovács, Z.; Recio, T.; Sólyom-Gecse, C.
2019
Portfolio theorem proving and prover runtime prediction for geometry. Zbl 1431.68123
Nikolić, Mladen; Marinković, Vesna; Kovács, Zoltán; Janičić, Predrag
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.
2019
Guest editorial: Special issue on answer set programming and other computing paradigms. Zbl 1476.00088
2019
Knowledge representation analysis of graph mining. Zbl 1485.68248
van der Hallen, Matthias; Paramonov, Sergey; Janssens, Gerda; Denecker, Marc
2019
A parallel memory-efficient epistemic logic program solver: harder, better, faster. Zbl 1485.68036
Kahl, Patrick Thor; Leclerc, Anthony P.; Tran, Son Cao
2019
Multi-context systems in dynamic environments. Zbl 1485.68246
Cabalar, Pedro; Costantini, Stefania; De Gasperis, Giovanni; Formisano, Andrea
2019
P-log: refinement and a new coherency condition. Zbl 1485.68247
Balai, Evgenii; Gelfond, Michael; Zhang, Yuanlin
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
2018
Approximation and dependence via multiteam semantics. Zbl 1459.03032
Durand, Arnaud; Hannula, Miika; Kontinen, Juha; Meier, Arne; Virtema, Jonni
2018
Sentence entailment in compositional distributional semantics. Zbl 1459.03030
2018
A labelling framework for probabilistic argumentation. Zbl 1459.68197
Riveret, Régis; Baroni, Pietro; Gao, Yang; Governatori, Guido; Rotolo, Antonino; Sartor, Giovanni
2018
Geometric and cognitive differences between logical diagrams for the Boolean algebra $$\mathbb {B}_{4}$$. Zbl 1448.68404
Demey, Lorenz; Smessaert, Hans
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
2018
The complexity of satisfiability in non-iterated and iterated probabilistic logics. Zbl 1459.03027
Kokkinis, Ioannis
2018
Tableau reasoning for description logics and its extension to probabilities. Zbl 1398.68506
Zese, Riccardo; Bellodi, Elena; Riguzzi, Fabrizio; Cota, Giuseppe; Lamma, Evelina
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
2018
Efficient suspect selection in unreachable state diagnosis. Zbl 1393.94974
Berryhill, Ryan; Veneris, Andreas
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.
2018
Active integrity constraints for general-purpose knowledge bases. Zbl 1459.68198
Cruz-Filipe, Luís; Gaspar, Graça; Nunes, Isabel; Schneider-Kamp, Peter
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
2018
Path homotopy invariants and their application to optimal trajectory planning. Zbl 1415.55001
Bhattacharya, Subhrajit; Ghrist, Robert
2018
Conformant planning as a case study of incremental QBF solving. Zbl 1409.68253
Egly, Uwe; Kronegger, Martin; Lonsing, Florian; Pfandler, Andreas
2017
Improving configuration checking for satisfiable random $$k$$-SAT instances. Zbl 1404.68136
Abramé, André; Habet, Djamal; Toumi, Donia
2017
Computing envelopes in dynamic geometry environments. Zbl 1409.68303
Botana, Francisco; Recio, Tomas
2017
On extreme points of p-boxes and belief functions. Zbl 1377.60011
Montes, Ignacio; Destercke, Sebastien
2017
Logic of temporal attribute implications. Zbl 1409.68283
Triska, Jan; Vychodil, Vilem
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
2017
Compact representations of all members of an independence system. Zbl 1358.52015
Haus, Utz-Uwe; Michini, Carla
2017
Bounded variability of metric temporal logic. Zbl 1420.03032
Furia, Carlo A.; Spoletini, Paola
2017
Knowledge transfer in SVM and neural networks. Zbl 1422.68207
2017
Criteria of efficiency for set-valued classification. Zbl 1422.68208
Vovk, Vladimir; Nouretdinov, Ilia; Fedorova, Valentina; Petej, Ivan; Gammerman, Alex
2017
Efficient design of experiments for sensitivity analysis based on polynomial chaos expansions. Zbl 1378.62022
Burnaev, Evgeny; Panin, Ivan; Sudret, Bruno
2017
Universal probability-free prediction. Zbl 1384.60076
2017
A symbolic algebra for the computation of expected utilities in multiplicative influence diagrams. Zbl 1423.68508
Leonelli, Manuele; Riccomagno, Eva; Smith, Jim Q.
2017
State duration and interval modeling in hidden semi-Markov model for sequential data analysis. Zbl 1423.68387
Narimatsu, Hiromi; Kasai, Hiroyuki
2017
Hyper-arc consistency of polynomial constraints over finite domains using the modified Bernstein form. Zbl 1409.68268
Bergenti, Federico; Monica, Stefania
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.
2017
Boosting conditional probability estimators. Zbl 1407.62118
Gutfreund, Dan; Kontorovich, Aryeh; Levy, Ran; Rosen-Zvi, Michal
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
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
2017
Dualization of Boolean functions using ternary decision diagrams. Zbl 1420.68198
Toda, Takahisa
2017
Guest editorial: Temporal representation and reasoning. Zbl 1372.00097
2017
A spatio-temporal framework for managing archaeological data. (A spatio-temporal framework for managing archeological data.) Zbl 1419.68046
Belussi, Alberto; Migliorini, Sara
2017
To be fair, use bundles. Zbl 1420.03034
McCabe-Dansted, John; Reynolds, Mark
2017
Reliable region predictions for automated valuation models. Zbl 1377.62195
Bellotti, Anthony
2017
Accelerating difficulty estimation for conformal regression forests. Zbl 1377.62112
Boström, Henrik; Linusson, Henrik; Löfström, Tuve; Johansson, Ulf
2017
Large scale variable fidelity surrogate modeling. Zbl 1374.60067
Zaytsev, A.; Burnaev, E.
2017
Nonlinear multi-output regression on unknown input manifold. Zbl 1386.68133
Kuleshov, Alexander; Bernstein, Alexander
2017
Time-expanded graph-based propositional encodings for makespan-optimal solving of cooperative path finding problems. Zbl 1423.68474
Surynek, Pavel
2017
A Bayesian interpretation of the confusion matrix. Zbl 1423.68376
Caelen, Olivier
2017
Synthesis with rational environments. Zbl 1372.68173
Kupferman, Orna; Perelli, Giuseppe; Vardi, Moshe Y.
2016
POPMUSIC as a matheuristic for the berth allocation problem. Zbl 1335.90124
Lalla-Ruiz, Eduardo; Voß, Stefan
2016
Structures of opposition induced by relations. The Boolean and the gradual cases. Zbl 1336.03034
Ciucci, Davide; Dubois, Didier; Prade, Henri
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
2016
Matching couples with Scarf’s algorithm. Zbl 1410.91353
Biró, Péter; Fleiner, Tamás; Irving, Robert W.
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
2016
Preferences in artificial intelligence. Zbl 1371.68262
Pigozzi, Gabriella; Tsoukiàs, Alexis; Viappiani, Paolo
2016
Portfolio approaches for constraint optimization problems. Zbl 1335.90077
Amadini, Roberto; Gabbrielli, Maurizio; Mauro, Jacopo
2016
On the hardness of bribery variants in voting with CP-nets. Zbl 1345.91006
Dorn, Britta; Krüger, Dominikus
2016
Models and algorithms for competitive facility location problems with different customer behavior. Zbl 1335.90052
Biesinger, Benjamin; Hu, Bin; Raidl, Günther
2016
Manipulation complexity of same-system runoff elections. Zbl 1346.91071
Fitzsimmons, Zack; Hemaspaandra, Edith; Hemaspaandra, Lane A.
2016
The complexity of priced control in elections. Zbl 1372.91033
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
2016
Distributive mereotopology: extended distributive contact lattices. Zbl 1378.06008
Ivanova, Tatyana; Vakarelov, Dimiter
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
2016
A hybrid clonal selection algorithm for the location routing problem with stochastic demands. Zbl 1335.90008
Marinakis, Yannis; Marinaki, Magdalene; Migdalas, Athanasios
2016
Algorithm portfolios for noisy optimization. Zbl 1346.90763
Cauwet, Marie-Liesse; Liu, Jialin; Rozière, Baptiste; Teytaud, Olivier
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
2016
A quantitative approach to belief revision in structured probabilistic argumentation. Zbl 1356.68224
Simari, Gerardo I.; Shakarian, Paulo; Falappa, Marcelo A.
2016
A Borda count for collective sentiment analysis. Zbl 1371.68227
Grandi, Umberto; Loreggia, Andrea; Rossi, Francesca; Saraswat, Vijay
2016
On compositional reasoning about anonymity and privacy in epistemic logic. Zbl 1403.03051
2016
Refining complexity analyses in planning by exploiting the exponential time hypothesis. Zbl 1401.68092
Aghighi, Meysam; Bäckström, Christer; Jonsson, Peter; Ståhlberg, Simon
2016
Latent binary MRF for online reconstruction of large scale systems. Zbl 1401.68266
Martin, Victorin; Lasgouttes, Jean-Marc; Furtlehner, Cyril
2016
Belief change and argumentation in multi-agent scenarios. Zbl 1360.03011
2016
A series of revisions of David Poole’s specificity. Zbl 1378.68138
Wirth, Claus-Peter; Stolzenburg, Frieder
2016
Assessing the epistemological relevance of Dung-style argumentation theories. Zbl 1380.03011
Betz, Gregor
2016
...and 719 more Documents
all top 5

### Cited by 5,470 Authors

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

### Cited in 431 Journals

 345 Artificial Intelligence 327 Annals of Mathematics and Artificial Intelligence 236 International Journal of Approximate Reasoning 169 Theoretical Computer Science 131 Theory and Practice of Logic Programming 112 Discrete Applied Mathematics 82 Fuzzy Sets and Systems 76 European Journal of Operational Research 66 Journal of Automated Reasoning 62 Information Sciences 53 Information and Computation 52 Annals of Operations Research 48 Journal of Applied Non-Classical Logics 46 Journal of Applied Logic 40 Computers & Operations Research 35 Studia Logica 35 Constraints 33 Journal of Computer and System Sciences 32 Annals of Pure and Applied Logic 31 Information Processing Letters 30 Synthese 28 Machine Learning 24 Computational Statistics and Data Analysis 23 Journal of Multivariate Analysis 22 Journal of Philosophical Logic 19 International Journal of General Systems 18 Journal of Global Optimization 18 Journal of Logic, Language and Information 17 Mathematics in Computer Science 16 The Journal of Symbolic Logic 16 Journal of Symbolic Computation 15 Algorithmica 14 Kybernetika 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 Theory of Computing Systems 13 Soft Computing 13 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 12 Applied Mathematics and Computation 12 New Generation Computing 12 Logical Methods in Computer Science 11 Journal of Computer Science and Technology 11 Computational Geometry 11 The Journal of Artificial Intelligence Research (JAIR) 11 INFORMS Journal on Computing 11 Journal of High Energy Physics 10 Acta Informatica 10 Journal of Mathematical Analysis and Applications 10 International Journal of Computer Mathematics 10 The Bulletin of Symbolic Logic 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 Mathematical Programming. Series A. Series B 8 Journal of Statistical Planning and Inference 8 Pattern Recognition 8 Formal Methods in System Design 8 Journal of Combinatorial Optimization 8 Statistics and Computing 8 Dependence Modeling 7 Transactions of the American Mathematical Society 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 6 Computer Methods in Applied Mechanics and Engineering 6 Journal of Statistical Physics 6 Algebra Universalis 6 Insurance Mathematics & Economics 6 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 6 MSCS. Mathematical Structures in Computer Science 6 Journal of Mathematical Imaging and Vision 6 RAIRO. Theoretical Informatics and Applications 6 Journal of Satisfiability, Boolean Modeling and Computation 6 Journal of Logical and Algebraic Methods in Programming 5 Computers & Mathematics with Applications 5 Journal of Computational and Applied Mathematics 5 Statistics & Probability Letters 5 Social Choice and Welfare 5 Discrete & Computational Geometry 5 International Journal of Computational Geometry & Applications 5 International Journal of Foundations of Computer Science 5 Games and Economic Behavior 5 Applied Mathematical Modelling 5 Journal of Heuristics 5 Journal of Applied Statistics 5 Quantitative Finance 5 Journal of Machine Learning Research (JMLR) 5 Computational Intelligence 5 Statistical Methods and Applications 5 Science in China. Series F 5 Optimization Letters 5 Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas. RACSAM 5 Journal of Computational and Graphical Statistics 4 Communications in Mathematical Physics ...and 331 more Journals
all top 5

### Cited in 60 Fields

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