Artificial Intelligence Short Title: Artif. Intell. Publisher: Elsevier, Amsterdam ISSN: 0004-3702 Online: http://www.sciencedirect.com/science/journal/00043702/ Comments: Journal; Indexed cover-to-cover Documents Indexed: 2,539 Publications (since 1970) References Indexed: 2,425 Publications with 106,777 References. all top 5 Latest Issues 327 (2024) 326 (2024) 325 (2023) 324 (2023) 323 (2023) 322 (2023) 321 (2023) 320 (2023) 319 (2023) 318 (2023) 317 (2023) 316 (2023) 315 (2023) 314 (2023) 313 (2022) 312 (2022) 311 (2022) 310 (2022) 309 (2022) 308 (2022) 307 (2022) 306 (2022) 305 (2022) 304 (2022) 303 (2022) 302 (2022) 301 (2021) 300 (2021) 299 (2021) 298 (2021) 297 (2021) 296 (2021) 295 (2021) 294 (2021) 293 (2021) 292 (2021) 291 (2021) 290 (2021) 289 (2020) 288 (2020) 287 (2020) 286 (2020) 285 (2020) 284 (2020) 283 (2020) 282 (2020) 281 (2020) 280 (2020) 279 (2020) 278 (2020) 277 (2019) 276 (2019) 275 (2019) 274 (2019) 273 (2019) 272 (2019) 271 (2019) 270 (2019) 269 (2019) 268 (2019) 267 (2019) 266 (2019) 265 (2018) 264 (2018) 263 (2018) 262 (2018) 261 (2018) 260 (2018) 259 (2018) 258 (2018) 257 (2018) 256 (2018) 255 (2018) 254 (2018) 253 (2017) 252 (2017) 251 (2017) 250 (2017) 249 (2017) 248 (2017) 247 (2017) 246 (2017) 245 (2017) 244 (2017) 243 (2017) 242 (2017) 241 (2016) 240 (2016) 239 (2016) 238 (2016) 237 (2016) 236 (2016) 235 (2016) 234 (2016) 233 (2016) 232 (2016) 231 (2016) 230 (2016) 229 (2015) 228 (2015) ...and 338 more Volumes all top 5 Authors 35 Kraus, Sarit 29 Eiter, Thomas 22 Dechter, Rina 21 Wooldridge, Michael J. 20 Jennings, Nicholas R. 20 Pearl, Judea 18 Halpern, Joseph Yehuda 18 Levesque, Hector J. 18 Walsh, Toby 17 Cooper, Martin C. 17 Dunne, Paul E. 17 Woltran, Stefan 16 Jonsson, Peter 16 Lin, Fangzhen 16 Tennenholtz, Moshe 16 Zhou, Zhihua 15 Kambhampati, Subbarao 14 Boutilier, Craig 13 Gottlob, Georg 13 Korf, Richard E. 13 Lifschitz, Vladimir 12 Bessiere, Christian 12 Delgrande, James P. 12 Dvořák, Wolfgang 12 Lukasiewicz, Thomas 12 Shoham, Yoav 12 Yang, Qiang 12 Zhang, Weixiong 11 De Raedt, Luc 11 Felner, Ariel 11 Gatti, Nicola 11 Giacomin, Massimiliano 11 Greiner, Russell 11 Lang, JĂ©rĂ´me 11 Rosenschein, Jeffrey S. 10 Baroni, Pietro 10 Bench-Capon, Trevor J. M. 10 Brafman, Ronen I. 10 Darwiche, Adnan 10 Gerevini, Alfonso Emilio 10 Marquis, Pierre 10 Nebel, Bernhard 10 Prade, Henri M. 10 Schaub, Torsten H. 10 Toni, Francesca 10 van der Hoek, Wiebe 10 Yokoo, Makoto 9 Ben-Eliyahu-Zohary, Rachel 9 Brewka, Gerhard 9 Chakrabarti, Partha Pratim 9 Elkind, Edith 9 Gent, Ian Philip 9 Greco, Gianluigi 9 Hunter, Anthony 9 Koenig, Sven 9 Leone, Nicola 9 Li, Sanjiang 9 McIlraith, Sheila A. 9 Sandholm, Tuomas W. 9 Selman, Bart 9 Stern, Roni 9 Thielscher, Michael 9 Thimm, Matthias 9 Voudouris, Alexandros A. 8 Baral, Chitta R. 8 Cadoli, Marco 8 Cai, Shaowei 8 Caragiannis, Ioannis 8 Davis, Ernest 8 De Giacomo, Giuseppe 8 Holte, Robert C. 8 Horrocks, Ian 8 Lakemeyer, Gerhard 8 Liberatore, Paolo 8 Miguel, Ian 8 Nau, Dana S. 8 Nightingale, Peter W. 8 Simari, Guillermo Ricardo 8 Smith, David E. 8 Subrahmanian, V. S. 8 TruszczyĹ„ski, MirosĹ‚aw 8 Veloso, Manuela M. 8 Wolter, Frank 8 Zaffalon, Marco 8 Zakharyaschev, Michael Viktorovich 7 Bacchus, Fahiem 7 Bonatti, Piero Andrea 7 Bratko, Ivan 7 Cabalar, Pedro 7 DeSarkar, S. C. 7 Domshlak, Carmel 7 Dubois, Didier 7 Filos-Ratsikas, Aris 7 Hoos, Holger H. 7 Jeavons, Peter G. 7 Lutz, Carsten 7 Ordyniak, Sebastian 7 Palopoli, Luigi 7 Perlis, Donald R. 7 Phan Minh Dung ...and 3,634 more Authors all top 5 Fields 2,407 Computer science (68-XX) 317 Mathematical logic and foundations (03-XX) 271 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 136 Operations research, mathematical programming (90-XX) 58 Statistics (62-XX) 25 Information and communication theory, circuits (94-XX) 23 General and overarching topics; collections (00-XX) 17 Combinatorics (05-XX) 17 Biology and other natural sciences (92-XX) 17 Systems theory; control (93-XX) 15 Probability theory and stochastic processes (60-XX) 10 Numerical analysis (65-XX) 9 Order, lattices, ordered algebraic structures (06-XX) 7 Geometry (51-XX) 6 History and biography (01-XX) 5 Dynamical systems and ergodic theory (37-XX) 5 Mechanics of particles and systems (70-XX) 4 Algebraic geometry (14-XX) 4 Ordinary differential equations (34-XX) 3 Measure and integration (28-XX) 2 General algebraic systems (08-XX) 2 Fluid mechanics (76-XX) 2 Mathematics education (97-XX) 1 Number theory (11-XX) 1 Commutative algebra (13-XX) 1 Associative rings and algebras (16-XX) 1 Convex and discrete geometry (52-XX) 1 General topology (54-XX) 1 Algebraic topology (55-XX) 1 Classical thermodynamics, heat transfer (80-XX) 1 Statistical mechanics, structure of matter (82-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 2,051 Publications have been cited 28,610 times in 13,025 Documents Cited by ▼ Year ▼ A logic for default reasoning. Zbl 0435.68069 Reiter, R. 581 1980 On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games. Zbl 1013.68556 Dung, Phan Minh 501 1995 Nonmonotonic reasoning, preferential models and cumulative logics. Zbl 0782.03012 Kraus, Sarit; Lehmann, Daniel; Magidor, Menachem 398 1990 Circumscription - a form of non-monotonic reasoning. Zbl 0435.68073 McCarthy, John 307 1980 The transferable belief model. Zbl 0807.68087 Smets, Philippe; Kennes, Robert 282 1994 Default reasoning and possibility theory. Zbl 0645.68108 Dubois, Didier; Prade, Henri 274 1988 Probabilistic logic. Zbl 0589.03007 Nilsson, Nils J. 244 1986 Consistency in networks of relations. Zbl 0341.68061 Mackworth, Alan K. 241 1977 Wrappers for feature subset selection. Zbl 0904.68143 Kohavi, Ron; John, George H. 240 1997 A theory of diagnosis from first principles. Zbl 0643.68122 Reiter, Raymond 236 1987 STRIPS: A new approach to the application of theorem proving to problem solving. Zbl 0234.68036 Fikes, Richard E.; Nilsson, Nils J. 204 1971 What does a conditional knowledge base entail? Zbl 0762.68057 Lehmann, Daniel; Magidor, Menachem 198 1992 Semantical considerations on nonmonotonic logic. Zbl 0569.68079 Moore, Robert C. 195 1985 Belief, awareness, and limited reasoning. Zbl 0634.03013 Fagin, Ronald; Halpern, Joseph Y. 187 1988 Propositional knowledge base revision and minimal change. Zbl 0792.68182 Katsuno, Hirofumi; Mendelzon, Alberto O. 179 1991 A guide to completeness and complexity for modal logics of knowledge and belief. Zbl 0762.68029 Halpern, Joseph Y.; Moses, Yoram 163 1992 Extending and implementing the stable model semantics. Zbl 0995.68021 Simons, Patrik; Niemelä, Ilkka; Soininen, Timo 157 2002 The computational complexity of probabilistic inference using Bayesian belief networks. Zbl 0717.68080 Cooper, Gregory F. 157 1990 Constraints on deformable models: Recovering 3D shape and nonrigid motion. Zbl 0646.68105 Terzopoulos, Demetri; Witkin, Andrew; Kass, Michael 155 1988 On the logic of iterated belief revision. Zbl 1018.03012 Darwiche, Adnan; Pearl, Judea 155 1997 Temporal constraint networks. Zbl 0737.68070 Dechter, Rina; Meiri, Itay; Pearl, Judea 147 1991 Depth-first iterative-deepening: An optimal admissible tree search. Zbl 0573.68030 Korf, Richard E. 142 1985 Planning and acting in partially observable stochastic domains. Zbl 0908.68165 Kaelbling, Leslie Pack; Littman, Michael L.; Cassandra, Anthony R. 137 1998 Positive approximation: an accelerator for attribute reduction in rough set theory. Zbl 1205.68310 Qian, Yuhua; Liang, Jiye; Pedrycz, Witold; Dang, Chuangyin 136 2010 Fusion, propagation, and structuring in belief networks. Zbl 0624.68081 Pearl, Judea 130 1986 Non-monotonic logic. I. Zbl 0435.68074 McDermott, Drew; Doyle, Jon 128 1980 Determining optical flow. Zbl 1497.68488 Horn, Berthold K. P.; Schunck, Brian G. 122 1981 Diagnosing multiple faults. Zbl 0642.94045 de Kleer, Johan; Williams, Brian C. 117 1987 Network-based heuristics for constraint-satisfaction problems. Zbl 0643.68156 Dechter, Rina; Pearl, Judea 114 1988 A logical framework for default reasoning. Zbl 0647.68094 Poole, David 114 1988 An abstract, argumentation-theoretic approach to default reasoning. Zbl 1017.03511 Bondarenko, A.; Dung, P. M.; Kowalski, R. A.; Toni, F. 114 1997 Conflict-driven answer set solving: from theory to practice. Zbl 1251.68060 Gebser, Martin; Kaufmann, Benjamin; Schaub, Torsten 111 2012 Selection of relevant features and examples in machine learning. Zbl 0904.68142 Blum, Avrim L.; Langley, Pat 98 1997 A mathematical treatment of defeasible reasoning and its implementation. Zbl 1193.68238 Simari, Guillermo R.; Loui, Ronald P. 98 1992 An analysis of first-order logics of probability. Zbl 0723.03007 Halpern, Joseph Y. 95 1990 Attributive concept descriptions with complements. Zbl 0712.68095 Schmidt-SchauĂź, Manfred; Smolka, Gert 93 1991 Towards a general theory of action and time. Zbl 0567.68025 Allen, James F. 89 1984 Uncertainty measures of rough set prediction. Zbl 0909.68040 DĂĽntsch, Ivo; Gediga, GĂĽnther 89 1998 Tree clustering for constraint networks. Zbl 0665.68084 Dechter, Rina; Pearl, Judea 87 1989 Argumentation in artificial intelligence. Zbl 1168.68560 Bench-Capon, T. J. M.; Dunne, Paul E. 87 2007 Probabilistic Horn abduction and Bayesian networks. Zbl 0792.68176 Poole, David 87 1993 On the evaluation of argumentation formalisms. Zbl 1168.68562 Caminada, Martin; Amgoud, Leila 86 2007 An analysis of alpha-beta pruning. Zbl 0358.68143 Knuth, Donald E.; Moore, Ronald W. 84 1975 ASSAT: computing answer sets of a logic program by SAT solvers. Zbl 1085.68544 Lin, Fangzhen; Zhao, Yuting 83 2004 A logic-based theory of deductive arguments. Zbl 0971.68143 Besnard, P.; Hunter, A. 82 2001 The value of the four values. Zbl 0928.03025 Arieli, Ofer; Avron, Arnon 82 1998 The computational complexity of propositional STRIPS planning. Zbl 0821.68065 Bylander, Tom 82 1994 Fast planning through planning graph analysis. Zbl 1017.68533 Blum, Avrim L.; Furst, Merrick L. 82 1997 On the relation between default and autoepistemic logic. Zbl 0647.68088 Konolige, Kurt 76 1988 Bucket elimination: A unifying framework for reasoning. Zbl 0939.68847 Dechter, R. 75 1999 Computing ideal sceptical argumentation. Zbl 1168.68564 Dung, P. M.; Mancarella, P.; Toni, F. 75 2007 Combining answer set programming with description logics for the semantic web. Zbl 1183.68595 Eiter, Thomas; Ianni, Giovambattista; Lukasiewicz, Thomas; Schindlauer, Roman; Tompits, Hans 74 2008 The independent choice logic for modelling multiple agents under uncertainty. Zbl 0902.03017 Poole, David 73 1997 All I know: A study in autoepistemic logic. Zbl 0724.03019 Levesque, Hector J. 73 1990 Credal networks. Zbl 0945.68163 Cozman, F. G. 71 2000 On the complexity of propositional knowledge base revision, updates, and counterfactuals. Zbl 0763.68038 Eiter, Thomas; Gottlob, Georg 71 1992 Answer set programming and plan generation. Zbl 0995.68020 Lifschitz, Vladimir 70 2002 Intention is choice with commitment. Zbl 0721.03017 Cohen, Philip R.; Levesque, Hector J. 70 1990 Planning as heuristic search. Zbl 0971.68146 Bonet, B.; Geffner, H. 69 2001 Solving the multiple instance problem with axis-parallel rectangles. Zbl 1042.68650 Dietterich, Thomas G.; Lathrop, Richard H.; Lozano-PĂ©rez, Tomás 69 1997 Drift analysis and average time complexity of evolutionary algorithms. Zbl 0971.68129 He, Jun; Yao, Xin 68 2001 Nonmonotonic causal theories. Zbl 1085.68161 Giunchiglia, Enrico; Lee, Joohyung; Lifschitz, Vladimir; McCain, Norman; Turner, Hudson 68 2004 Explanation in artificial intelligence: insights from the social sciences. Zbl 1478.68274 Miller, Tim 68 2019 Planning for conjunctive goals. Zbl 0642.68171 Chapman, David 65 1987 Nonmonotonic logic and temporal projection. Zbl 0654.68107 Hanks, Steve; McDermott, Drew 65 1987 SCC-recursiveness: a general schema for argumentation semantics. Zbl 1132.68765 Baroni, Pietro; Giacomin, Massimiliano; Guida, Giovanni 65 2005 On principle-based evaluation of extension-based argumentation semantics. Zbl 1168.68559 Baroni, Pietro; Giacomin, Massimiliano 65 2007 Minimizing conflicts: A heuristic repair method for constraint satisfaction and scheduling problems. Zbl 0782.90054 Minton, Steven; Johnston, Mark D.; Philips, Andrew B.; Laird, Philip 65 1992 Conjunctive and disjunctive combination of belief functions induced by nondistinct bodies of evidence. Zbl 1182.68298 DenĹ“ux, Thierry 65 2008 Constraints, consistency and closure. Zbl 0909.68076 Jeavons, Peter; Cohen, David; Cooper, Martin C. 64 1998 Nonmonotonic inference based on expectations. Zbl 0803.68125 Gärdenfors, Peter; Makinson, David 64 1994 Qualitative simulation. Zbl 0624.68098 Kuipers, Benjamin 63 1986 Anyone but him: the complexity of precluding an alternative. Zbl 1168.91346 Hemaspaandra, Edith; Hemaspaandra, Lane A.; Rothe, Jörg 62 2007 Characterizing diagnoses and systems. Zbl 0772.68085 de Kleer, Johan; Mackworth, Alan K.; Reiter, Raymond 61 1992 Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis. Zbl 0372.94024 Stallman, Richard M.; Sussman, Gerald J. 61 1977 Algorithm for optimal winner determination in combinatorial auctions. Zbl 0984.68039 Sandholm, Tuomas 60 2002 Reasoning about preferences in argumentation frameworks. Zbl 1192.68663 Modgil, Sanjay 60 2009 Approximating probabilistic inference in Bayesian belief networks is NP- hard. Zbl 0781.68105 Dagum, Paul; Luby, Michael 60 1993 On the hardness of approximate reasoning. Zbl 1506.68143 Roth, Dan 60 1996 Conditional logics of normality: A modal approach. Zbl 0811.68114 Boutilier, Craig 58 1994 Conditional entailment: bridging two approaches to default reasoning. Zbl 1193.68235 Geffner, Hector; Pearl, Judea 58 1992 Semantics and complexity of recursive aggregates in answer set programming. Zbl 1216.68263 Faber, Wolfgang; Pfeifer, Gerald; Leone, Nicola 57 2011 A comparison of structural CSP decomposition methods. Zbl 0952.68044 Gottlob, G.; Leone, N.; Scarcello, F. 57 2000 Ensembling neural networks: Many could be better than all. Zbl 0995.68077 Zhou, Zhi-Hua; Wu, Jianxin; Tang, Wei 55 2002 Top-down induction of first-order logical decision trees. Zbl 0909.68034 Blockeel, Hendrik; de Raedt, Luc 55 1998 A general account of argumentation with preferences. Zbl 1270.68284 Modgil, Sanjay; Prakken, Henry 55 2013 Bayesian and non-Bayesian evidential updating. Zbl 0622.68069 Kyburg, Henry E. jun. 54 1987 Epistemic entrenchment and possibilistic logic. Zbl 0749.03019 Dubois, Didier; Prade, Henri 54 1991 Robot motion planning with uncertainty in control and sensing. Zbl 0817.93045 Latombe, Jean-Claude; Lazanas, Anthony; Shekhar, Shashank 54 1991 Refutational theorem proving using term-rewriting systems. Zbl 0558.68072 Hsiang, Jieh 53 1985 On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus. Zbl 0914.68160 Renz, Jochen; Nebel, Bernhard 53 1999 Linear resolution with selection function. Zbl 0234.68037 Kowalski, Robert; Kuehner, Donald 53 1971 Coherence in finite argument systems. Zbl 1043.68098 Dunne, Paul E.; Bench-Capon, T. J. M. 53 2002 Measures of uncertainty in expert systems. Zbl 1506.68157 Walley, Peter 53 1996 Constraint propagation with interval labels. Zbl 0642.68176 Davis, Ernest 52 1987 Weighted argument systems: basic definitions, algorithms, and complexity results. Zbl 1216.68261 Dunne, Paul E.; Hunter, Anthony; McBurney, Peter; Parsons, Simon; Wooldridge, Michael 52 2011 Methods for task allocation via agent coalition formation. Zbl 0908.68032 Shehory, Onn; Kraus, Sarit 52 1998 Qualitative probabilities for default reasoning, belief revision, and causal modeling. Zbl 1497.68457 Goldszmidt, MoisĂ©s; Pearl, Judea 52 1996 Bounded-parameter Markov decision processes. Zbl 0948.68171 Givan, R.; Leach, S.; Dean, T. 51 2000 Real-time heuristic search. Zbl 0718.68082 Korf, Richard E. 51 1990 Reasoning about causality in games. Zbl 07702955 Hammond, Lewis; Fox, James; Everitt, Tom; Carey, Ryan; Abate, Alessandro; Wooldridge, Michael 2 2023 Fair division of indivisible goods: recent progress and open questions. Zbl 07732234 Amanatidis, Georgios; Aziz, Haris; Birmpas, Georgios; Filos-Ratsikas, Aris; Li, Bo; Moulin, HervĂ©; Voudouris, Alexandros A.; Wu, Xiaowei 2 2023 When move acceptance selection hyper-heuristics outperform metropolis and elitist evolutionary algorithms and when not. Zbl 07638282 Lissovoi, Andrei; Oliveto, Pietro S.; Warwicker, John Alasdair 2 2023 Regret minimization in online Bayesian persuasion: handling adversarial receiver’s types under full and partial feedback models. Zbl 07638293 Castiglioni, Matteo; Celli, Andrea; Marchesi, Alberto; Gatti, Nicola 2 2023 Parameterized complexity of envy-free resource allocation in social networks. Zbl 07638300 Eiben, Eduard; Ganian, Robert; Hamm, Thekla; Ordyniak, Sebastian 2 2023 Designing menus of contracts efficiently: the power of randomization. Zbl 07702929 Castiglioni, Matteo; Marchesi, Alberto; Gatti, Nicola 1 2023 On existence of truthful fair cake cutting mechanisms. Zbl 07702946 Bu, Xiaolin; Song, Jiaxin; Tao, Biaoshuai 1 2023 Levi and Harper identities for non-prioritized belief base change. Zbl 07702949 Garapa, Marco; FermĂ©, Eduardo; Reis, MaurĂcio D. L. 1 2023 Safe, learning-based MPC for highway driving under Lane-change uncertainty: a distributionally robust approach. Zbl 07702956 Schuurmans, Mathijs; Katriniok, Alexander; Meissen, Christopher; Tseng, H. Eric; Patrinos, Panagiotis 1 2023 ASP and subset minimality: enumeration, cautious reasoning and MUSes. Zbl 07702961 Alviano, Mario; Dodaro, Carmine; Fiorentino, Salvatore; Previti, Alessandro; Ricca, Francesco 1 2023 How to find a good explanation for clustering? Zbl 07732223 Bandyapadhyay, Sayan; Fomin, Fedor V.; Golovach, Petr A.; Lochet, William; Purohit, Nidhi; Simonov, Kirill 1 2023 Certified reinforcement learning with logic guidance. Zbl 07732224 Hasanbeig, Hosein; Kroening, Daniel; Abate, Alessandro 1 2023 Learning MAX-SAT from contextual examples for combinatorial optimisation. Zbl 07638281 Kumar, Mohit; Kolb, Samuel; Teso, Stefano; De Raedt, Luc 1 2023 Improved local search for the minimum weight dominating set problem in massive graphs by using a deep optimization mechanism. Zbl 07638291 Chen, Jiejiang; Cai, Shaowei; Wang, Yiyuan; Xu, Wenhao; Ji, Jia; Yin, Minghao 1 2023 Logic explained networks. Zbl 07638294 Ciravegna, Gabriele; Barbiero, Pietro; Giannini, Francesco; Gori, Marco; Liò, Pietro; Maggini, Marco; Melacci, Stefano 1 2023 Strategyproof allocation mechanisms with endowments and M-convex distributional constraints. Zbl 07638299 Suzuki, Takamasa; Tamura, Akihisa; Yahiro, Kentaro; Yokoo, Makoto; Zhang, Yuzhe 1 2023 Epistemic planning: perspectives on the special issue. Zbl 07697282 Belle, Vaishak; Bolander, Thomas; Herzig, Andreas; Nebel, Bernhard 1 2023 The complexity landscape of claim-augmented argumentation frameworks. Zbl 07698052 Dvořák, Wolfgang; GreĂźler, Alexander; Rapberger, Anna; Woltran, Stefan 1 2023 Online learning of energy consumption for navigation of electric vehicles. Zbl 07698057 Ă…kerblom, Niklas; Chen, Yuxin; Haghir Chehreghani, Morteza 1 2023 Envy-free allocations respecting social networks. Zbl 07505974 Bredereck, Robert; Kaczmarczyk, Andrzej; Niedermeier, Rolf 8 2022 Analyzing differentiable fuzzy logic operators. Zbl 1490.68233 van Krieken, Emile; Acar, Erman; van Harmelen, Frank 5 2022 Evaluation of argument strength in attack graphs: foundations and semantics. Zbl 1478.68339 Amgoud, Leila; Doder, Dragan; Vesic, Srdjan 5 2022 Margin of victory for tournament solutions. Zbl 1481.91074 Brill, Markus; Schmidt-Kraepelin, Ulrike; Suksompong, Warut 4 2022 The distortion of distributed metric social choice. Zbl 1503.91058 Anshelevich, Elliot; Filos-Ratsikas, Aris; Voudouris, Alexandros A. 4 2022 Diversity of solutions: an exploration through the lens of fixed-parameter tractability theory. Zbl 07482897 Baste, Julien; Fellows, Michael R.; Jaffke, Lars; MasaĹ™Ăk, Tomáš; de Oliveira Oliveira, Mateus; Philip, Geevarghese; Rosamond, Frances A. 4 2022 Logic tensor networks. Zbl 07482899 Badreddine, Samy; d’Avila Garcez, Artur; Serafini, Luciano; Spranger, Michael 4 2022 An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms. Zbl 07505979 Baumann, Ringo; Strass, Hannes 4 2022 Bayesian agency: linear versus tractable contracts. Zbl 07505987 Castiglioni, Matteo; Marchesi, Alberto; Gatti, Nicola 4 2022 An action language for multi-agent domains. Zbl 1481.68044 Baral, Chitta; Gelfond, Gregory; Pontelli, Enrico; Son, Tran Cao 3 2022 Memory-limited model-based diagnosis. Zbl 07505980 Rodler, Patrick 3 2022 Inconsistency-tolerant query answering for existential rules. Zbl 07505988 Lukasiewicz, Thomas; Malizia, Enrico; Martinez, Maria Vanina; Molinaro, Cristian; Pieris, Andreas; Simari, Gerardo I. 3 2022 Logical separability of labeled data examples under ontologies. Zbl 07613163 Jung, Jean Christoph; Lutz, Carsten; Pulcini, Hadrien; Wolter, Frank 3 2022 SAT encodings for pseudo-Boolean constraints together with at-most-one constraints. Zbl 1478.68201 Bofill, Miquel; Coll, Jordi; Nightingale, Peter; Suy, Josep; Ulrich-Oltean, Felix; Villaret, Mateu 2 2022 Conjure: automatic generation of constraint models from problem specifications. Zbl 07570882 AkgĂĽn, Ă–zgĂĽr; Frisch, Alan M.; Gent, Ian P.; Jefferson, Christopher; Miguel, Ian; Nightingale, Peter 2 2022 Choice logics and their computational properties. Zbl 07596156 Bernreiter, Michael; Maly, Jan; Woltran, Stefan 2 2022 Risk-averse policy optimization via risk-neutral policy optimization. Zbl 07596159 Bisi, Lorenzo; Santambrogio, Davide; Sandrelli, Federico; Tirinzoni, Andrea; Ziebart, Brian D.; Restelli, Marcello 2 2022 An efficient algorithm for counting Markov equivalent DAGs. Zbl 07482901 Ganian, Robert; Hamm, Thekla; Talvitie, Topi 2 2022 Multi-agent pathfinding with continuous time. Zbl 07505972 Andreychuk, Anton; Yakovlev, Konstantin; Surynek, Pavel; Atzmon, Dor; Stern, Roni 2 2022 Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving. Zbl 07505991 Linsbichler, Thomas; Maratea, Marco; Niskanen, Andreas; Wallner, Johannes P.; Woltran, Stefan 2 2022 Mind the gap: cake cutting with separation. Zbl 07613161 Elkind, Edith; Segal-Halevi, Erel; Suksompong, Warut 2 2022 Pareto optimization for subset selection with dynamic cost constraints. Zbl 1482.90201 Roostapour, Vahid; Neumann, Aneta; Neumann, Frank; Friedrich, Tobias 1 2022 Propositional and predicate logics of incomplete information. Zbl 1478.68074 Console, Marco; Guagliardo, Paolo; Libkin, Leonid 1 2022 Efficient multi-agent epistemic planning: teaching planners about nested belief. Zbl 1524.68386 Muise, Christian; Belle, Vaishak; Felli, Paolo; McIlraith, Sheila; Miller, Tim; Pearce, Adrian R.; Sonenberg, Liz 1 2022 On fair selection in the presence of implicit and differential variance. Zbl 1481.91124 Emelianov, Vitalii; Gast, Nicolas; Gummadi, Krishna P.; Loiseau, Patrick 1 2022 Fast optimal and bounded suboptimal Euclidean pathfinding. Zbl 1478.68334 Shen, Bojie; Cheema, Muhammad Aamir; Harabor, Daniel D.; Stuckey, Peter J. 1 2022 A complete classification of the complexity and rewritability of ontology-mediated queries based on the description logic \(\mathcal{EL}\). Zbl 1495.68211 Lutz, Carsten; Sabellek, Leif 1 2022 Shedding new light on the foundations of abstract argumentation: modularization and weak admissibility. Zbl 07570880 Baumann, Ringo; Brewka, Gerhard; Ulbricht, Markus 1 2022 Priority inheritance with backtracking for iterative multi-agent path finding. Zbl 07570883 Okumura, Keisuke; Machida, Manao; DĂ©fago, Xavier; Tamura, Yasumasa 1 2022 Risk-averse autonomous systems: a brief history and recent developments from the perspective of optimal control. Zbl 07596154 Wang, Yuheng; Chapman, Margaret P. 1 2022 On the impact of the performance metric on efficient algorithm configuration. Zbl 07482888 Hall, George T.; Oliveto, Pietro S.; Sudholt, Dirk 1 2022 Fair allocation of indivisible goods: beyond additive valuations. Zbl 07482892 Ghodsi, Mohammad; HajiAghayi, MohammadTaghi; Seddighin, Masoud; Seddighin, Saeed; Yami, Hadi 1 2022 Knowledge-based programs as building blocks for planning. Zbl 07482893 Baier, Jorge A.; McIlraith, Sheila A. 1 2022 Complexity results for preference aggregation over \((m)\)CP-nets: max and rank voting. Zbl 07482895 Lukasiewicz, Thomas; Malizia, Enrico 1 2022 Rethinking formal models of partially observable multiagent decision making. Zbl 07482898 KovaĹ™Ăk, VojtÄ›ch; Schmid, Martin; Burch, Neil; Bowling, Michael; LisĂ˝, Viliam 1 2022 Exploration-exploitation in multi-agent learning: catastrophe theory meets game theory. Zbl 07482905 Leonardos, Stefanos; Piliouras, Georgios 1 2022 Online joint bid/daily budget optimization of Internet advertising campaigns. Zbl 07505973 Nuara, Alessandro; Trovò, Francesco; Gatti, Nicola; Restelli, Marcello 1 2022 Decidability and complexity of action-based temporal planning over dense time. Zbl 07505989 Gigante, Nicola; Micheli, Andrea; Montanari, Angelo; Scala, Enrico 1 2022 Analyzing generalized planning under nondeterminism. Zbl 07505990 Belle, Vaishak 1 2022 On Pareto optimality in social distance games. Zbl 07613151 Balliu, Alkida; Flammini, Michele; Melideo, Giovanna; Olivetti, Dennis 1 2022 Preference-based inconsistency-tolerant query answering under existential rules. Zbl 07613154 Calautti, Marco; Greco, Sergio; Molinaro, Cristian; Trubitsyna, Irina 1 2022 Two’s company, three’s a crowd: consensus-halving for a constant number of agents. Zbl 07613162 Deligkas, Argyrios; Filos-Ratsikas, Aris; Hollender, Alexandros 1 2022 Actions of the hyperoctahedral group to compute minimal contractors. Zbl 07613168 Jaulin, Luc 1 2022 The metric distortion of multiwinner voting. Zbl 07613172 Caragiannis, Ioannis; Shah, Nisarg; Voudouris, Alexandros A. 1 2022 Scheduling with complete multipartite incompatibility graph on parallel machines: complexity and algorithms. Zbl 1493.90067 Pikies, Tytus; Turowski, Krzysztof; Kubale, Marek 1 2022 Knowledge-based strategies for multi-agent teams playing against nature. Zbl 1491.68246 Gurov, Dilian; Goranko, Valentin; Lundberg, Edvin 1 2022 Result diversification by multi-objective evolutionary algorithms with theoretical guarantees. Zbl 1496.68306 Qian, Chao; Liu, Dan-Xuan; Zhou, Zhi-Hua 1 2022 A tetrachotomy of ontology-mediated queries with a covering axiom. Zbl 07554486 Gerasimova, Olga; Kikot, Stanislav; Kurucz, Agi; Podolskii, Vladimir; Zakharyaschev, Michael 1 2022 Acceptance in incomplete argumentation frameworks. Zbl 1519.68244 Baumeister, Dorothea; Järvisalo, Matti; Neugebauer, Daniel; Niskanen, Andreas; Rothe, Jörg 14 2021 Explaining individual predictions when features are dependent: more accurate approximations to Shapley values. Zbl 1520.68136 Aas, Kjersti; Jullum, Martin; Løland, Anders 13 2021 Peeking behind the ordinal curtain: improving distortion via cardinal queries. Zbl 1521.91092 Amanatidis, Georgios; Birmpas, Georgios; Filos-Ratsikas, Aris; Voudouris, Alexandros A. 10 2021 Neural probabilistic logic programming in DeepProbLog. Zbl 1520.68022 Manhaeve, Robin; DumanÄŤić, Sebastijan; Kimmig, Angelika; Demeester, Thomas; De Raedt, Luc 10 2021 An improved approximation algorithm for maximin shares. Zbl 1521.91147 Garg, Jugal; Taki, Setareh 8 2021 SAT competition 2020. Zbl 1478.68320 Froleyks, Nils; Heule, Marijn; Iser, Markus; Järvisalo, Matti; Suda, Martin 8 2021 Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models. Zbl 1519.68245 Beierle, Christoph; Eichhorn, Christian; Kern-Isberner, Gabriele; Kutsch, Steven 7 2021 The complexity landscape of decompositional parameters for ILP: programs with few global variables and constraints. Zbl 1520.90171 Dvořák, Pavel; Eiben, Eduard; Ganian, Robert; Knop, Dušan; Ordyniak, Sebastian 7 2021 Schelling games on graphs. Zbl 1481.91037 Agarwal, Aishwarya; Elkind, Edith; Gan, Jiarui; Igarashi, Ayumi; Suksompong, Warut; Voudouris, Alexandros A. 7 2021 Making sense of sensory input. Zbl 1519.68214 Evans, Richard; Hernández-Orallo, JosĂ©; Welbl, Johannes; Kohli, Pushmeet; Sergot, Marek 6 2021 Planning-based knowing how: a unified approach. Zbl 1519.68255 Li, Yanjun; Wang, Yanjing 5 2021 A survey of inverse reinforcement learning: challenges, methods and progress. Zbl 1519.68207 Arora, Saurabh; Doshi, Prashant 5 2021 Picking sequences and monotonicity in weighted fair division. Zbl 1481.91090 Chakraborty, Mithun; Schmidt-Kraepelin, Ulrike; Suksompong, Warut 5 2021 Fair division of mixed divisible and indivisible goods. Zbl 1521.91142 Bei, Xiaohui; Li, Zihao; Liu, Jinyan; Liu, Shengxin; Lu, Xinhang 4 2021 Open-world probabilistic databases: semantics, algorithms, complexity. Zbl 1519.68068 Ceylan, Ä°smail Ä°lkan; Darwiche, Adnan; Van den Broeck, Guy 4 2021 A reconstruction of multipreference closure. Zbl 1504.68210 Giordano, Laura; Gliozzi, Valentina 4 2021 Argumentative explanations for interactive recommendations. Zbl 1519.68269 Rago, Antonio; Cocarascu, Oana; Bechlivanidis, Christos; Lagnado, David; Toni, Francesca 3 2021 Computational complexity of flat and generic assumption-based argumentation, with and without probabilities. Zbl 1519.68246 ÄŚyras, Kristijonas; Heinrich, Quentin; Toni, Francesca 3 2021 Paracoherent answer set computation. Zbl 1520.68180 Amendola, Giovanni; Dodaro, Carmine; Faber, Wolfgang; Ricca, Francesco 3 2021 First-order rewritability of ontology-mediated queries in linear temporal logic. Zbl 1520.68182 Artale, Alessandro; Kontchakov, Roman; Kovtunova, Alisa; Ryzhikov, Vladislav; Wolter, Frank; Zakharyaschev, Michael 3 2021 Pairwise symmetry reasoning for multi-agent path finding search. Zbl 1478.68326 Li, Jiaoyang; Harabor, Daniel; Stuckey, Peter J.; Ma, Hang; Gange, Graeme; Koenig, Sven 3 2021 Protecting elections by recounting ballots. Zbl 1507.91075 Elkind, Edith; Gan, Jiarui; Obraztsova, Svetlana; Rabinovich, Zinovi; Voudouris, Alexandros A. 3 2021 Acyclic orders, partition schemes and CSPs: unified hardness proofs and improved algorithms. Zbl 1519.68234 Jonsson, Peter; Lagerkvist, Victor; Osipov, George 2 2021 Expecting the unexpected: goal recognition for rational and irrational agents. Zbl 1519.68235 Masters, Peta; Sardina, Sebastian 2 2021 Credibility dynamics: a belief-revision-based trust model with pairwise comparisons. Zbl 1519.68289 Jelenc, David; Tamargo, Luciano H.; Gottifredi, Sebastian; GarcĂa, Alejandro J. 2 2021 A semantics for hybrid probabilistic logic programs with function symbols. Zbl 1519.68040 Azzolini, Damiano; Riguzzi, Fabrizio; Lamma, Evelina 2 2021 Epistemic GDL: a logic for representing and reasoning about imperfect information games. Zbl 1519.68252 Jiang, Guifei; Zhang, Dongmo; Perrussel, Laurent; Zhang, Heng 2 2021 Dynamically improved bounds bidirectional search. Zbl 1519.68238 Sewell, E. C.; Jacobson, S. H. 2 2021 Game description language and dynamic epistemic logic compared. Zbl 1519.68248 Engesser, Thorsten; MattmĂĽller, Robert; Nebel, Bernhard; Thielscher, Michael 2 2021 A lightweight epistemic logic and its application to planning. Zbl 1520.68184 Cooper, Martin C.; Herzig, Andreas; Maffre, Faustine; Maris, FrĂ©dĂ©ric; Perrotin, Elise; RĂ©gnier, Pierre 2 2021 Reward is enough. Zbl 1520.68134 Silver, David; Singh, Satinder; Precup, Doina; Sutton, Richard S. 2 2021 A framework for step-wise explaining how to solve constraint satisfaction problems. Zbl 1520.68176 Bogaerts, Bart; Gamba, Emilio; Guns, Tias 2 2021 Incremental computation for structured argumentation over dynamic DeLP knowledge bases. Zbl 1520.68179 Alfano, Gianvincenzo; Greco, Sergio; Parisi, Francesco; Simari, Gerardo I.; Simari, Guillermo R. 2 2021 ...and 1469 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 16,712 Authors 77 Dubois, Didier 71 Prade, Henri M. 69 Eiter, Thomas 52 Schaub, Torsten H. 51 Gabbay, Dov M. 51 Wooldridge, Michael J. 50 Woltran, Stefan 43 Gottlob, Georg 42 DenĹ“ux, Thierry 42 Halpern, Joseph Yehuda 41 Kern-Isberner, Gabriele 40 Miranda, Enrique 38 Benferhat, Salem 38 Rothe, Jörg-Matthias 36 Simari, Guillermo Ricardo 35 Jonsson, Peter 34 De Raedt, Luc 34 Hunter, Anthony 34 Kraus, Sarit 33 Cooper, Martin C. 33 Leone, Nicola 33 Liang, Jiye 33 Zaffalon, Marco 32 Qian, Yuhua 32 van der Hoek, Wiebe 32 van Ditmarsch, Hans Pieter 32 Yager, Ronald R. 31 Walsh, Toby 30 Dechter, Rina 30 TruszczyĹ„ski, MirosĹ‚aw 29 Beierle, Christoph 29 Godo, LluĂs 29 Lifschitz, Vladimir 29 Marques-Silva, JoĂŁo P. 29 Ĺ˝ivnĂ˝, Stanislav 28 Arieli, Ofer 28 Herzig, Andreas 28 Lang, JĂ©rĂ´me 28 Lorini, Emiliano 28 Lukasiewicz, Thomas 27 Amgoud, Leila 27 Delgrande, James P. 27 Destercke, SĂ©bastien 27 Gebser, Martin 26 Bloch, Isabelle 26 de Cooman, Gert 26 Ricca, Francesco 25 Cabalar, Pedro 25 Inoue, Katsumi 25 Jeavons, Peter G. 25 Moral, SerafĂn 25 Ognjanović, Zoran 25 Riguzzi, Fabrizio 25 Szeider, Stefan 25 van der Torre, Leendert W. N. 24 Alviano, Mario 24 Doerr, Benjamin 24 Grant, John R. 24 Lawry, Jonathan 24 Marquis, Pierre 24 Tennenholtz, Moshe 23 Gagliardi Cozman, Fabio 23 Lierler, Yuliya 23 Montanari, Angelo 22 Baader, Franz 22 Denecker, Marc 22 Dunne, Paul E. 22 Fandinno, Jorge 22 Fargier, HĂ©lène 22 Greco, Gianluigi 22 Jaulin, Luc 22 Marek, V. Wiktor 22 Subrahmanian, V. S. 21 Baral, Chitta R. 21 Besnard, Philippe 21 Dodaro, Carmine 21 Janhunen, Tomi 21 Jennings, Nicholas R. 21 Labreuche, Christophe 21 Levesque, Hector J. 21 Lin, Fangzhen 21 Shenoy, Prakash P. 21 Suksompong, Warut 21 Thimm, Matthias 21 Yin, Minghao 21 You, Jia-Huai 20 Baroni, Pietro 20 Maratea, Marco 20 Pearl, Judea 20 Peñaloza, Rafael 20 Pino PĂ©rez, RamĂłn 20 Scarcello, Francesco 20 Schockaert, Steven 20 Toni, Francesca 19 Bessiere, Christian 19 Cohen, David A. 19 De Giacomo, Giuseppe 19 Elkind, Edith 19 Faber, Wolfgang 19 GarcĂa, Alejandro Javier ...and 16,612 more Authors all top 5 Cited in 607 Journals 1,945 Artificial Intelligence 790 International Journal of Approximate Reasoning 416 Annals of Mathematics and Artificial Intelligence 401 Theoretical Computer Science 372 Information Sciences 261 Theory and Practice of Logic Programming 251 European Journal of Operational Research 240 Fuzzy Sets and Systems 213 Machine Learning 177 Constraints 175 Journal of Automated Reasoning 172 Journal of Applied Non-Classical Logics 146 Pattern Recognition 137 Synthese 128 Studia Logica 127 Journal of Applied Logic 123 Journal of Philosophical Logic 118 Journal of Computer and System Sciences 111 Computers & Operations Research 103 Information and Computation 102 Annals of Operations Research 100 The Journal of Artificial Intelligence Research (JAIR) 98 Discrete Applied Mathematics 91 Information Processing Letters 90 Algorithmica 81 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 77 Neural Computation 73 Journal of Logic, Language and Information 71 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 65 Computers & Mathematics with Applications 61 Journal of Symbolic Computation 60 Journal of Mathematical Imaging and Vision 59 Soft Computing 55 International Journal of Intelligent Systems 54 Journal of Computer Science and Technology 54 Games and Economic Behavior 53 New Generation Computing 51 Mathematical Problems in Engineering 48 International Journal of General Systems 48 Automatica 44 The Review of Symbolic Logic 43 Applied Mathematics and Computation 42 ACM Transactions on Computational Logic 40 Mathematical Social Sciences 38 Neural Networks 38 Journal of Machine Learning Research (JMLR) 37 Computational Statistics and Data Analysis 34 Journal of Global Optimization 33 Annals of Pure and Applied Logic 31 International Journal of Computer Vision 30 The Journal of Symbolic Logic 30 Data Mining and Knowledge Discovery 30 Logical Methods in Computer Science 29 Theory of Computing Systems 27 Theory and Decision 27 International Journal of Applied Mathematics and Computer Science 26 Erkenntnis 25 International Journal of Computer Mathematics 24 SIAM Journal on Computing 24 Mathematical and Computer Modelling 24 Logica Universalis 23 Journal of Economic Theory 23 SIAM Journal on Imaging Sciences 22 Journal of Mathematical Psychology 22 Kybernetika 22 Social Choice and Welfare 22 Journal of Combinatorial Optimization 21 Journal of Intelligent & Robotic Systems 21 Mathematical Programming. Series A. Series B 21 Formal Methods in System Design 20 Acta Informatica 20 Journal of Scheduling 20 Games 19 Cybernetics and Systems 19 International Journal of Production Research 19 Formal Aspects of Computing 19 Cybernetics and Systems Analysis 19 Journal of Heuristics 19 INFORMS Journal on Computing 18 Operations Research 18 AI Communications 18 Journal of Computer and Systems Sciences International 18 Computational Intelligence 18 Discrete Optimization 17 Biological Cybernetics 17 Discrete Event Dynamic Systems 17 Applied Intelligence 16 International Journal of Systems Science 16 Notre Dame Journal of Formal Logic 16 Applied Mathematical Modelling 16 RAIRO. Operations Research 16 Fuzzy Optimization and Decision Making 16 Computational & Mathematical Methods in Medicine 16 Journal of Theoretical Biology 15 The Journal of Logic and Algebraic Programming 15 Journal of Logical and Algebraic Methods in Programming 14 Computer Methods in Applied Mechanics and Engineering 14 Physica A 14 The Annals of Statistics 14 Mathematics and Computers in Simulation ...and 507 more Journals all top 5 Cited in 61 Fields 9,439 Computer science (68-XX) 2,538 Mathematical logic and foundations (03-XX) 1,579 Operations research, mathematical programming (90-XX) 1,468 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 879 Statistics (62-XX) 383 Combinatorics (05-XX) 349 Systems theory; control (93-XX) 346 Information and communication theory, circuits (94-XX) 289 Probability theory and stochastic processes (60-XX) 278 Numerical analysis (65-XX) 271 Biology and other natural sciences (92-XX) 127 Order, lattices, ordered algebraic structures (06-XX) 81 Measure and integration (28-XX) 73 Calculus of variations and optimal control; optimization (49-XX) 65 General and overarching topics; collections (00-XX) 52 General algebraic systems (08-XX) 47 Quantum theory (81-XX) 40 History and biography (01-XX) 38 Partial differential equations (35-XX) 37 Statistical mechanics, structure of matter (82-XX) 34 Dynamical systems and ergodic theory (37-XX) 33 Convex and discrete geometry (52-XX) 33 Mechanics of particles and systems (70-XX) 31 Ordinary differential equations (34-XX) 30 Algebraic geometry (14-XX) 26 General topology (54-XX) 24 Geometry (51-XX) 22 Commutative algebra (13-XX) 22 Real functions (26-XX) 21 Linear and multilinear algebra; matrix theory (15-XX) 19 Fluid mechanics (76-XX) 18 Category theory; homological algebra (18-XX) 16 Differential geometry (53-XX) 14 Mechanics of deformable solids (74-XX) 12 Field theory and polynomials (12-XX) 12 Associative rings and algebras (16-XX) 11 Functional analysis (46-XX) 11 Geophysics (86-XX) 10 Approximations and expansions (41-XX) 9 Number theory (11-XX) 9 Operator theory (47-XX) 7 Group theory and generalizations (20-XX) 7 Difference and functional equations (39-XX) 7 Algebraic topology (55-XX) 7 Global analysis, analysis on manifolds (58-XX) 7 Classical thermodynamics, heat transfer (80-XX) 6 Optics, electromagnetic theory (78-XX) 6 Relativity and gravitational theory (83-XX) 5 Harmonic analysis on Euclidean spaces (42-XX) 5 Manifolds and cell complexes (57-XX) 4 Mathematics education (97-XX) 3 Functions of a complex variable (30-XX) 3 Abstract harmonic analysis (43-XX) 3 Astronomy and astrophysics (85-XX) 2 Topological groups, Lie groups (22-XX) 2 Potential theory (31-XX) 2 Several complex variables and analytic spaces (32-XX) 2 Special functions (33-XX) 2 Integral equations (45-XX) 1 Nonassociative rings and algebras (17-XX) 1 Integral transforms, operational calculus (44-XX) Citations by Year