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

#### 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
1999
NIST digital library of mathematical functions. Zbl 1019.65001
Lozier, Daniel W.
2003
Stochastic independence in a coherent setting. Zbl 1005.60007
Coletti, G.; Scozzafava, R.
2002
Probability density decomposition for conditionally dependent random variables modeled by vines. Zbl 1314.62040
Bedford, Tim; Cooke, Roger M.
2001
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
Possibility theory, probability theory and multiple-valued logics: a clarification. Zbl 1314.68309
2001
Nested expressions in logic programs. Zbl 0940.68075
Lifschitz, Vladimir; Tang, Lappoon R.; Turner, Hudson
1999
Another perspective on default reasoning. Zbl 0857.68096
Lehmann, Daniel
1995
Modeling genetic algorithms with Markov chains. Zbl 1034.68534
Nix, Allen E.; Vose, Michael D.
1992
Propositional semantics for disjunctive logic programs. Zbl 0858.68012
Ben-Eliyahu, Rachel; Dechter, Rina
1994
Equilibrium logic. Zbl 1117.03039
Pearce, David
2006
Solving propositional satisfiability problems. Zbl 0878.68107
Jèroslow, Robert G.; Wang, Jinchang
1990
The tabu search metaheuristic: How we used it. Zbl 0878.68053
Hertz, A.; de Werra, D.
1990
Hypersequents, logical consequence and intermediate logics for concurrency. Zbl 0865.03042
Avron, Arnon
1991
Probabilistic reasoning under coherence in System P. Zbl 1014.68165
Gilio, Angelo
2002
Polynomial-time inference of all valid implications for Horn and related formulae. Zbl 0878.68105
Boros, E.; Crama, Y.; Hammer, P. L.
1990
From conditional events to conditional measures: a new axiomatic approach. Zbl 1314.68306
Coletti, G.; Scozzafava, R.
2001
Independence and possibilistic conditioning. Zbl 1004.60001
Bouchon-Meunier, Bernadette; Coletti, Giulianella; Marsala, Christophe
2002
Coverage for robotics – a survey of recent results. Zbl 1314.68317
Choset, Howie
2000
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
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
Locally strong coherence in inference processes. Zbl 1014.68146
Capotorti, Andrea; Vantaggi, Barbara
2002
Consistency, redundancy, and implied equalities in linear systems. Zbl 0887.90114
Greenberg, Harvey J.
1996
Logic, semigroups and automata on words. Zbl 0860.68071
Pin, Jean-Eric
1996
Probabilistic default reasoning with conditional constraints. Zbl 1002.68175
Lukasiewicz, Thomas
2002
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
A theory of nonmonotonic rule systems I. Zbl 0878.68035
Marek, W.; Nerode, A.; Remmel, J.
1990
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
On measuring uncertainty and uncertainty-based information: recent developments. Zbl 1314.68311
Klir, George J.; Smith, Richard M.
2001
Logical preference representation and combinatorial vote. Zbl 1061.68147
Lang, Jérôme
2004
Graphoid properties of epistemic irrelevance and independence. Zbl 1097.68128
Cozman, Fabio G.; Walley, Peter
2006
Epistemic irrelevance on sets of desirable gambles. Zbl 1092.68097
Moral, Serafín
2006
Region-based theory of discrete spaces: A proximity approach. Zbl 1124.68105
Düntsch, Ivo; Vakarelov, Dimiter
2007
Separoids: a mathematical framework for conditional independence and irrelevance. Zbl 1314.68308
Dawid, A. P.
2001
Possibilistic merging and distance-based fusion of propositional information. Zbl 1001.68032
Benferhat, Salem; Dubois, Didier; Kaci, Souhila; Prade, Henri
2002
Strong conditional independence for credal sets. Zbl 1005.60006
Moral, Serafín; Cano, Andrés
2002
Nonmonotonic reasoning: From complexity to algorithms. Zbl 0905.68142
Cayrol, C.; Lagasquie-Schiex, M.-C.; Schiex, T.
1998
Branch-and-cut solution of inference problems in propositional logic. Zbl 0878.68065
Hooker, J. N.; Fedjki, C.
1990
Integration and conditioning in numerical possibility theory. Zbl 1314.28012
de Cooman, Gert
2001
Approximate matching of polygonal shapes. Zbl 0855.68106
Alt, Helmut; Behrends, Bernd; Blömer, Johannes
1995
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
A thorough axiomatization of a principle of conditional preservation in belief revision. Zbl 1067.68141
Kern-Isberner, Gabriele
2004
Possibilistic uncertainty handling for answer set programming. Zbl 1105.68104
Nicolas, Pascal; Garcia, Laurent; Stéphan, Igor; Lefèvre, Claire
2006
Notes on desirability and conditional lower previsions. Zbl 1231.28017
Miranda, Enrique; Zaffalon, Marco
2010
Cellular automata, matrix substitutions and fractals. Zbl 0866.68069
von Haeseler, Fritz; Peitgen, Heinz-Otto; Skordev, Gencho
1993
An effective polynomial-time heuristic for the minimum-cardinality IIS set-covering problem. Zbl 0887.90112
Chinneck, John W.
1996
Simplification rules for the coherent probability assessment problem. Zbl 1006.68128
Baioletti, Marco; Capotorti, Andrea; Tulipani, Sauro; Vantaggi, Barbara
2002
Multi-robot area patrol under frequency constraints. Zbl 1253.68317
Elmaliach, Yehuda; Agmon, Noa; Kaminka, Gal A.
2009
On renamable Horn and generalized Horn functions. Zbl 0878.68106
Chandru, Vijaya; Coullard, Collette R.; Hammer, Peter L.; Montañez, Miguel; Sun, Xiaorong
1990
Multi-adjoint concept lattices with heterogeneous conjunctors and hedges. Zbl 1322.06004
Konecny, J.; Medina, J.; Ojeda-Aciego, M.
2014
Spanning-tree based coverage of continuous areas by a mobile robot. Zbl 1314.68318
Gabriely, Yoav; Rimon, Elon
2000
Properties of sensitivity analysis of Bayesian belief networks. Zbl 1015.68187
Coupé, Veerle M. H.; van der Gaag, Linda C.
2002
Complexity results for answer set programming with bounded predicate arities and implications. Zbl 1138.68017
Eiter, Thomas; Faber, Wolfgang; Fink, Michael; Woltran, Stefan
2007
Distance semantics for database repair. Zbl 1126.68034
Arieli, Ofer; Denecker, Marc; Bruynooghe, Maurice
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
2010
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
Many-valued logic and mixed integer programming. Zbl 0856.03011
Hähnle, Reiner
1994
Logic programming and reasoning with incomplete information. Zbl 0858.68013
Gelfond, Michael
1994
Conditional independence in a coherent finite setting. Zbl 1314.60012
Vantaggi, Barbara
2001
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
Approximation algorithms for the class cover problem. Zbl 1075.68609
Cannon, Adam H.; Cowen, Lenore J.
2004
External sources of knowledge and value invention in logic programming. Zbl 1125.68026
Calimeri, Francesco; Cozza, Susanna; Ianni, Giovambattista
2007
An introduction to fuzzy answer set programming. Zbl 1125.68118
Van Nieuwenborgh, Davy; De Cock, Martine; Vermeir, Dirk
2007
Forgetting for knowledge bases in DL-lite. Zbl 1205.68410
Wang, Zhe; Wang, Kewen; Topor, Rodney; Pan, Jeff Z.
2010
Prioritized repairing and consistent query answering in relational databases. Zbl 1250.68099
Staworko, Sławek; Chomicki, Jan; Marcinkowski, Jerzy
2012
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
An argumentation framework in default logic. Zbl 0866.03018
Prakken, Henry
1993
A graphical characterization of lattice conditional independence models. Zbl 0888.68090
1997
On the partial semantics for disjunctive deductive databases. Zbl 0880.68029
Eiter, Thomas; Leone, Nicola; Saccà, Domenico
1997
Static semantics for normal and disjunctive logic programs. Zbl 0855.68015
Przymusinski, Teodor C.
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
2013
POPMUSIC as a matheuristic for the berth allocation problem. Zbl 1335.90124
Lalla-Ruiz, Eduardo; Voß, Stefan
2016
Modelling and solving employee timetabling problems. Zbl 1045.68124
Meisels, Amnon; Schaerf, Andrea
2003
Belief models: An order-theoretic investigation. Zbl 1094.03007
de Cooman, Gert
2006
On stability of a formal concept. Zbl 1129.68086
Kuznetsov, Sergei O.
2007
Logical analysis of data – the vision of Peter L. Hammer. Zbl 1126.68064
Alexe, Gabriela; Alexe, Sorin; Bonates, Tibérius O.; Kogan, Alexander
2007
Synthesis with rational environments. Zbl 1372.68173
Kupferman, Orna; Perelli, Giuseppe; Vardi, Moshe Y.
2016
A Prolog-like inference system for computing minimum-cost abductive explanations in natural-language interpretation. Zbl 1004.68552
Stickel, Mark E.
1991
Modal logic for default reasoning. Zbl 0871.03009
Marek, W.; Truszczyński, M.
1990
Local computation with valuations from a commutative semigroup. Zbl 0895.68045
Lauritzen, S. L.; Jensen, F. V.
1997
On computing minimal models. Zbl 0891.68109
Ben-Eliyahu, Rachel; Dechter, Rina
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
2013
Temporal representation and reasoning in artificial intelligence: Issues and approaches. Zbl 1001.68096
Chittaro, Luca; Montanari, Angelo
2000
Relevance sensitive belief structures. Zbl 1001.68095
Chopra, Samir; Parikh, Rohit
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.
2004
Answer set based design of knowledge systems. Zbl 1105.68105
Balduccini, Marcello; Gelfond, Michael; Nogueira, Monica
2006
Learning dynamic algorithm portfolios. Zbl 1113.68101
Gagliolo, Matteo; Schmidhuber, Jürgen
2006
Flyspeck II: The basic linear programs. Zbl 1184.68465
Obua, Steven; Nipkow, Tobias
2009
Boosting complete techniques thanks to local search methods. Zbl 0905.68143
Mazure, Bertrand; Saïs, Lakhdar; Grégoire, Éric
1998
A formal analysis of the role of multi-point crossover in genetic algorithms. Zbl 1004.68538
De Jong, Kenneth A.; Spears, William M.
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.
1990
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
Directed Lovász local lemma and Shearer’s lemma. Zbl 07166070
Kirousis, Lefteris; Livieratos, John; Psaromiligkos, Kostas I.
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
Relative deviation learning bounds and generalization with unbounded loss functions. Zbl 1442.68194
Cortes, Corinna; Greenberg, Spencer; Mohri, Mehryar
2019
Contextual rational closure for defeasible $$\mathcal{ALC}$$. Zbl 1452.68180
Britz, Katarina; Varzinczak, Ivan
2019
A review of the relations between logical argumentation and reasoning with maximal consistency. Zbl 07166044
Arieli, Ofer; Borg, AnneMarie; Heyninck, Jesse
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
Guest editorial: special issue on answer set programming and other computing paradigms. Zbl 07093476
Bogaerts, Bart; Erdem, Esra; Harrison, Amelia
2019
Knowledge representation analysis of graph mining. Zbl 07093478
van der Hallen, Matthias; Paramonov, Sergey; Janssens, Gerda; Denecker, Marc
2019
A parallel memory-efficient epistemic logic program solver: harder, better, faster. Zbl 07093479
Kahl, Patrick Thor; Leclerc, Anthony P.; Tran, Son Cao
2019
P-log: refinement and a new coherency condition. Zbl 07093482
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
Geometric and cognitive differences between logical diagrams for the Boolean algebra $$\mathbb {B}_{4}$$. Zbl 1448.68404
Demey, Lorenz; Smessaert, Hans
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
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
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
Tableau reasoning for description logics and its extension to probabilities. Zbl 1398.68506
Zese, Riccardo; Bellodi, Elena; Riguzzi, Fabrizio; Cota, Giuseppe; Lamma, Evelina
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
Approximation and dependence via multiteam semantics. Zbl 1459.03032
Durand, Arnaud; Hannula, Miika; Kontinen, Juha; Meier, Arne; Virtema, Jonni
2018
The complexity of satisfiability in non-iterated and iterated probabilistic logics. Zbl 1459.03027
Kokkinis, Ioannis
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
Logic of temporal attribute implications. Zbl 1409.68283
Triska, Jan; Vychodil, Vilem
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
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
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
Universal probability-free prediction. Zbl 1384.60076
2017
Efficient design of experiments for sensitivity analysis based on polynomial chaos expansions. Zbl 1378.62022
Burnaev, Evgeny; Panin, Ivan; Sudret, Bruno
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
Compact representations of all members of an independence system. Zbl 1358.52015
Haus, Utz-Uwe; Michini, Carla
2017
Guest editorial: Temporal representation and reasoning. Zbl 1372.00097
Combi, Carlo
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
A Bayesian interpretation of the confusion matrix. Zbl 1423.68376
Caelen, Olivier
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
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
POPMUSIC as a matheuristic for the berth allocation problem. Zbl 1335.90124
Lalla-Ruiz, Eduardo; Voß, Stefan
2016
Synthesis with rational environments. Zbl 1372.68173
Kupferman, Orna; Perelli, Giuseppe; Vardi, Moshe Y.
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
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
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
The complexity of priced control in elections. Zbl 1372.91033
2016
Matching couples with Scarf’s algorithm. Zbl 1410.91353
Biró, Péter; Fleiner, Tamás; Irving, Robert W.
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
Preferences in artificial intelligence. Zbl 1371.68262
Pigozzi, Gabriella; Tsoukiàs, Alexis; Viappiani, Paolo
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
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
Manipulation complexity of same-system runoff elections. Zbl 1346.91071
Fitzsimmons, Zack; Hemaspaandra, Edith; Hemaspaandra, Lane A.
2016
A Borda count for collective sentiment analysis. Zbl 1371.68227
Grandi, Umberto; Loreggia, Andrea; Rossi, Francesca; Saraswat, Vijay
2016
Guest editorial: Revised selected papers from the LION 8 conference. Zbl 1335.00162
Pardalos, Panos M.; Vogiatzis, Chrysafis; Walteros, Jose L.
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
2016
On compositional reasoning about anonymity and privacy in epistemic logic. Zbl 1403.03051
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
Dix, Jürgen; Hansson, Sven Ove; Kern-Isberner, Gabriele; Simari, Guillermo R.
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
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
2015
Automated generation of geometric theorems from images of diagrams. Zbl 1330.68263
Chen, Xiaoyu; Song, Dan; Wang, Dongming
2015
Cellular topology and topological coordinate systems on the hexagonal and on the triangular grids. Zbl 1325.52011
Nagy, Benedek
2015
Probabilistic satisfiability: algorithms with the presence and absence of a phase transition. Zbl 1347.68331
Finger, Marcelo; De Bona, Glauber
2015
Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective. Zbl 1326.03074
Magaud, Nicolas; Chollet, Agathe; Fuchs, Laurent
2015
A Singular web service for geometric computations. Zbl 1330.68336
Botana, Francisco; Kovács, Zoltán
2015
Topology preservation on the triangular grid. Zbl 1325.65034
Kardos, Péter; Palágyi, Kálmán
2015
Cross-conformal predictors. Zbl 1331.68195
2015
A conformal prediction approach to explore functional data. Zbl 1317.62039
Lei, Jing; Rinaldo, Alessandro; Wasserman, Larry
2015
Contextual array grammars and array P systems. Zbl 1341.68090
Fernau, Henning; Freund, Rudolf; Schmid, Markus L.; Subramanian, K. G.; Wiederhold, Petra
2015
Formalizing complex plane geometry. Zbl 1330.68264
Marić, Filip; Petrović, Danijela
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
2015
Conformal predictions for information fusion. A comparative study of p-value combination methods. Zbl 1331.68180
Balasubramanian, Vineeth N.; Chakraborty, Shayok; Panchanathan, Sethuraman
2015
Guest editors’ preface to the special issue on conformal prediction and its applications. Zbl 1315.00118
2015
Extended RDF: computability and complexity issues. Zbl 1347.68316
Analyti, Anastasia; Viegas Damásio, Carlos; Antoniou, Grigoris
2015
A $$kd$$-tree algorithm to discover the boundary of a black box hypervolume. Or how to peel potatoes by recursively cutting them in halves. Zbl 1347.68349
Rouquier, Jean-Baptiste; Alvarez, Isabelle; Reuillon, Romain; Wuillemin, Pierre-Henri
2015
Lang’s universal molecule algorithm. Zbl 1330.68297
Bowers, John C.; Streinu, Ileana
2015
Convenient adjacencies for structuring the digital plane. Zbl 1321.05139
Šlapal, Josef
2015
Fitting discrete polynomial curve and surface to noisy data. Zbl 1327.65028
Sekiya, Fumiki; Sugimoto, Akihiro
2015
On 2D constrained discrete rigid transformations. Zbl 1341.68304
Ngo, Phuc; Kenmochi, Yukiko; Passat, Nicolas; Talbot, Hugues
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
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)