Artificial Intelligence Short Title: Artif. Intell. Publisher: Elsevier, Amsterdam ISSN: 0004-3702 Online: http://www.sciencedirect.com/science/journal/00043702/ Comments: Indexed cover-to-cover Documents Indexed: 2,341 Publications (since 1970) References Indexed: 2,231 Publications with 97,937 References. all top 5 Latest Issues 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) 227 (2015) 226 (2015) 225 (2015) 224 (2015) 223 (2015) 221 (2015) 220 (2015) 219 (2015) 218 (2015) 217 (2014) 216 (2014) 215 (2014) ...and 313 more Volumes all top 5 Authors 34 Kraus, Sarit 29 Eiter, Thomas 21 Wooldridge, Michael J. 20 Jennings, Nicholas R. 19 Dechter, Rina 18 Pearl, Judea 17 Dunne, Paul E. 16 Halpern, Joseph Yehuda 16 Lin, Fangzhen 16 Walsh, Toby 15 Cooper, Martin C. 15 Jonsson, Peter A. 15 Woltran, Stefan 14 Kambhampati, Subbarao 14 Levesque, Hector J. 14 Tennenholtz, Moshe 14 Zhou, Zhihua 13 Boutilier, Craig 13 Lifschitz, Vladimir 12 Gottlob, Georg 12 Lang, Jérôme 12 Lukasiewicz, Thomas 11 Bessiere, Christian 11 De Raedt, Luc 11 Delgrande, James P. 11 Giacomin, Massimiliano 11 Marquis, Pierre 11 Shoham, Yoav 10 Baroni, Pietro 10 Brafman, Ronen I. 10 Darwiche, Adnan 10 Dvořák, Wolfgang 10 Felner, Ariel 10 Korf, Richard E. 10 Prade, Henri M. 10 Toni, Francesca 10 van der Hoek, Wiebe 10 Yang, Qiang 9 Ben-Eliyahu-Zohary, Rachel 9 Bench-Capon, Trevor J. M. 9 Elkind, Edith 9 Gatti, Nicola 9 Gerevini, Alfonso Emilio 9 Greco, Gianluigi 9 Leone, Nicola 9 Li, Sanjiang 9 Nebel, Bernhard 9 Sandholm, Tuomas W. 9 Schaub, Torsten H. 9 Stern, Roni 9 Thielscher, Michael 9 Yokoo, Makoto 9 Zhang, Weixiong 8 Baral, Chitta R. 8 Bonatti, Piero Andrea 8 Brewka, Gerhard 8 Cadoli, Marco 8 Cai, Shaowei 8 Caragiannis, Ioannis 8 Chakrabarti, Partha Pratim 8 Davis, Ernest 8 De Giacomo, Giuseppe 8 Gent, Ian Philip 8 Greiner, Russell 8 Holte, Robert C. 8 Horrocks, Ian 8 Hunter, Anthony 8 Koenig, Sven 8 Liberatore, Paolo 8 McIlraith, Sheila A. 8 Nightingale, Peter W. 8 Rosenschein, Jeffrey S. 8 Simari, Guillermo Ricardo 8 Smith, David E. 8 Subrahmanian, V. S. 8 Thimm, Matthias 8 Truszczyński, Mirosław 8 Veloso, Manuela M. 8 Voudouris, Alexandros A. 8 Wolter, Frank 8 Zaffalon, Marco 8 Zakharyaschev, Michael Viktorovich 7 Bratko, Ivan 7 Domshlak, Carmel 7 Dubois, Didier 7 Hoos, Holger H. 7 Lakemeyer, Gerhard 7 Lutz, Carsten 7 Miguel, Ian 7 Nau, Dana S. 7 Palopoli, Luigi 7 Perlis, Donald R. 7 Phan Minh Dung 7 Procaccia, Ariel D. 7 Schockaert, Steven 7 Tambe, Milind 7 Weld, Daniel S. 6 Abdelbar, Ashraf M. 6 Bacchus, Fahiem 6 Bäckström, Christer ...and 3,331 more Authors all top 5 Fields 2,221 Computer science (68-XX) 293 Mathematical logic and foundations (03-XX) 241 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 122 Operations research, mathematical programming (90-XX) 46 Statistics (62-XX) 20 General and overarching topics; collections (00-XX) 19 Information and communication theory, circuits (94-XX) 16 Biology and other natural sciences (92-XX) 15 Combinatorics (05-XX) 14 Probability theory and stochastic processes (60-XX) 13 Systems theory; control (93-XX) 10 Numerical analysis (65-XX) 7 Order, lattices, ordered algebraic structures (06-XX) 7 Geometry (51-XX) 5 Dynamical systems and ergodic theory (37-XX) 5 Mechanics of particles and systems (70-XX) 4 History and biography (01-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 1,851 Publications have been cited 24,754 times in 11,265 Documents Cited by ▼ Year ▼ A logic for default reasoning. Zbl 0435.68069Reiter, R. 550 1980 On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games. Zbl 1013.68556Dung, Phan Minh 406 1995 Nonmonotonic reasoning, preferential models and cumulative logics. Zbl 0782.03012Kraus, Sarit; Lehmann, Daniel; Magidor, Menachem 364 1990 Circumscription - a form of non-monotonic reasoning. Zbl 0435.68073McCarthy, John 295 1980 Default reasoning and possibility theory. Zbl 0645.68108Dubois, Didier; Prade, Henri 262 1988 The transferable belief model. Zbl 0807.68087Smets, Philippe; Kennes, Robert 260 1994 Consistency in networks of relations. Zbl 0341.68061Mackworth, Alan K. 229 1977 Wrappers for feature subset selection. Zbl 0904.68143Kohavi, Ron; John, George H. 227 1997 Probabilistic logic. Zbl 0589.03007Nilsson, Nils J. 224 1986 A theory of diagnosis from first principles. Zbl 0643.68122Reiter, Raymond 218 1987 STRIPS: A new approach to the application of theorem proving to problem solving. Zbl 0234.68036Fikes, Richard E.; Nilsson, Nils J. 191 1971 Semantical considerations on nonmonotonic logic. Zbl 0569.68079Moore, Robert C. 184 1985 What does a conditional knowledge base entail? Zbl 0762.68057Lehmann, Daniel; Magidor, Menachem 182 1992 Belief, awareness, and limited reasoning. Zbl 0634.03013Fagin, Ronald; Halpern, Joseph Y. 165 1988 Propositional knowledge base revision and minimal change. Zbl 0792.68182Katsuno, Hirofumi; Mendelzon, Alberto O. 151 1991 A guide to completeness and complexity for modal logics of knowledge and belief. Zbl 0762.68029Halpern, Joseph Y.; Moses, Yoram 148 1992 Constraints on deformable models: Recovering 3D shape and nonrigid motion. Zbl 0646.68105Terzopoulos, Demetri; Witkin, Andrew; Kass, Michael 148 1988 Extending and implementing the stable model semantics. Zbl 0995.68021Simons, Patrik; Niemelä, Ilkka; Soininen, Timo 140 2002 On the logic of iterated belief revision. Zbl 1018.03012Darwiche, Adnan; Pearl, Judea 137 1997 The computational complexity of probabilistic inference using Bayesian belief networks. Zbl 0717.68080Cooper, Gregory F. 137 1990 Temporal constraint networks. Zbl 0737.68070Dechter, Rina; Meiri, Itay; Pearl, Judea 136 1991 Depth-first iterative-deepening: An optimal admissible tree search. Zbl 0573.68030Korf, Richard E. 133 1985 Non-monotonic logic. I. Zbl 0435.68074McDermott, Drew; Doyle, Jon 124 1980 Positive approximation: an accelerator for attribute reduction in rough set theory. Zbl 1205.68310Qian, Yuhua; Liang, Jiye; Pedrycz, Witold; Dang, Chuangyin 124 2010 Fusion, propagation, and structuring in belief networks. Zbl 0624.68081Pearl, Judea 121 1986 Planning and acting in partially observable stochastic domains. Zbl 0908.68165Kaelbling, Leslie Pack; Littman, Michael L.; Cassandra, Anthony R. 116 1998 A logical framework for default reasoning. Zbl 0647.68094Poole, David 111 1988 Diagnosing multiple faults. Zbl 0642.94045de Kleer, Johan; Williams, Brian C. 110 1987 Network-based heuristics for constraint-satisfaction problems. Zbl 0643.68156Dechter, Rina; Pearl, Judea 103 1988 An abstract, argumentation-theoretic approach to default reasoning. Zbl 1017.03511Bondarenko, A.; Dung, P. M.; Kowalski, R. A.; Toni, F. 100 1997 A mathematical treatment of defeasible reasoning and its implementation. Zbl 1193.68238Simari, Guillermo R.; Loui, Ronald P. 91 1992 Conflict-driven answer set solving: from theory to practice. Zbl 1251.68060Gebser, Martin; Kaufmann, Benjamin; Schaub, Torsten 89 2012 Selection of relevant features and examples in machine learning. Zbl 0904.68142Blum, Avrim L.; Langley, Pat 88 1997 Attributive concept descriptions with complements. Zbl 0712.68095Schmidt-Schauß, Manfred; Smolka, Gert 87 1991 Uncertainty measures of rough set prediction. Zbl 0909.68040Düntsch, Ivo; Gediga, Günther 86 1998 Towards a general theory of action and time. Zbl 0567.68025Allen, James F. 83 1984 Tree clustering for constraint networks. Zbl 0665.68084Dechter, Rina; Pearl, Judea 80 1989 Fast planning through planning graph analysis. Zbl 1017.68533Blum, Avrim L.; Furst, Merrick L. 80 1997 An analysis of first-order logics of probability. Zbl 0723.03007Halpern, Joseph Y. 80 1990 An analysis of alpha-beta pruning. Zbl 0358.68143Knuth, Donald E.; Moore, Ronald W. 78 1975 On the evaluation of argumentation formalisms. Zbl 1168.68562Caminada, Martin; Amgoud, Leila 78 2007 The computational complexity of propositional STRIPS planning. Zbl 0821.68065Bylander, Tom 76 1994 Argumentation in artificial intelligence. Zbl 1168.68560Bench-Capon, T. J. M.; Dunne, Paul E. 76 2007 Probabilistic Horn abduction and Bayesian networks. Zbl 0792.68176Poole, David 75 1993 The value of the four values. Zbl 0928.03025Arieli, Ofer; Avron, Arnon 74 1998 ASSAT: computing answer sets of a logic program by SAT solvers. Zbl 1085.68544Lin, Fangzhen; Zhao, Yuting 72 2004 On the relation between default and autoepistemic logic. Zbl 0647.68088Konolige, Kurt 70 1988 Bucket elimination: A unifying framework for reasoning. Zbl 0939.68847Dechter, R. 68 1999 Credal networks. Zbl 0945.68163Cozman, F. G. 68 2000 All I know: A study in autoepistemic logic. Zbl 0724.03019Levesque, Hector J. 68 1990 The independent choice logic for modelling multiple agents under uncertainty. Zbl 0902.03017Poole, David 67 1997 Combining answer set programming with description logics for the semantic web. Zbl 1183.68595Eiter, Thomas; Ianni, Giovambattista; Lukasiewicz, Thomas; Schindlauer, Roman; Tompits, Hans 67 2008 On the complexity of propositional knowledge base revision, updates, and counterfactuals. Zbl 0763.68038Eiter, Thomas; Gottlob, Georg 65 1992 Planning as heuristic search. Zbl 0971.68146Bonet, B.; Geffner, H. 65 2001 Computing ideal sceptical argumentation. Zbl 1168.68564Dung, P. M.; Mancarella, P.; Toni, F. 65 2007 A logic-based theory of deductive arguments. Zbl 0971.68143Besnard, P.; Hunter, A. 64 2001 Solving the multiple instance problem with axis-parallel rectangles. Zbl 1042.68650Dietterich, Thomas G.; Lathrop, Richard H.; Lozano-Pérez, Tomás 63 1997 Intention is choice with commitment. Zbl 0721.03017Cohen, Philip R.; Levesque, Hector J. 63 1990 Nonmonotonic inference based on expectations. Zbl 0803.68125Gärdenfors, Peter; Makinson, David 62 1994 Drift analysis and average time complexity of evolutionary algorithms. Zbl 0971.68129He, Jun; Yao, Xin 62 2001 Conjunctive and disjunctive combination of belief functions induced by nondistinct bodies of evidence. Zbl 1182.68298Denœux, Thierry 62 2008 Constraints, consistency and closure. Zbl 0909.68076Jeavons, Peter; Cohen, David; Cooper, Martin C. 61 1998 Nonmonotonic causal theories. Zbl 1085.68161Giunchiglia, Enrico; Lee, Joohyung; Lifschitz, Vladimir; McCain, Norman; Turner, Hudson 61 2004 Qualitative simulation. Zbl 0624.68098Kuipers, Benjamin 61 1986 Nonmonotonic logic and temporal projection. Zbl 0654.68107Hanks, Steve; McDermott, Drew 61 1987 Planning for conjunctive goals. Zbl 0642.68171Chapman, David 60 1987 Answer set programming and plan generation. Zbl 0995.68020Lifschitz, Vladimir 59 2002 Characterizing diagnoses and systems. Zbl 0772.68085de Kleer, Johan; Mackworth, Alan K.; Reiter, Raymond 57 1992 Minimizing conflicts: A heuristic repair method for constraint satisfaction and scheduling problems. Zbl 0782.90054Minton, Steven; Johnston, Mark D.; Philips, Andrew B.; Laird, Philip 57 1992 Anyone but him: the complexity of precluding an alternative. Zbl 1168.91346Hemaspaandra, Edith; Hemaspaandra, Lane A.; Rothe, Jörg 57 2007 Algorithm for optimal winner determination in combinatorial auctions. Zbl 0984.68039Sandholm, Tuomas 57 2002 Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis. Zbl 0372.94024Stallman, Richard M.; Sussman, Gerald J. 56 1977 Semantics and complexity of recursive aggregates in answer set programming. Zbl 1216.68263Faber, Wolfgang; Pfeifer, Gerald; Leone, Nicola 55 2011 SCC-recursiveness: a general schema for argumentation semantics. Zbl 1132.68765Baroni, Pietro; Giacomin, Massimiliano; Guida, Giovanni 55 2005 Conditional entailment: bridging two approaches to default reasoning. Zbl 1193.68235Geffner, Hector; Pearl, Judea 55 1992 On principle-based evaluation of extension-based argumentation semantics. Zbl 1168.68559Baroni, Pietro; Giacomin, Massimiliano 55 2007 Reasoning about preferences in argumentation frameworks. Zbl 1192.68663Modgil, Sanjay 54 2009 Conditional logics of normality: A modal approach. Zbl 0811.68114Boutilier, Craig 53 1994 Approximating probabilistic inference in Bayesian belief networks is NP- hard. Zbl 0781.68105Dagum, Paul; Luby, Michael 52 1993 A comparison of structural CSP decomposition methods. Zbl 0952.68044Gottlob, G.; Leone, N.; Scarcello, F. 52 2000 Bayesian and non-Bayesian evidential updating. Zbl 0622.68069Kyburg, Henry E. jun. 52 1987 Explanation in artificial intelligence: insights from the social sciences. Zbl 1478.68274Miller, Tim 52 2019 Epistemic entrenchment and possibilistic logic. Zbl 0749.03019Dubois, Didier; Prade, Henri 51 1991 Robot motion planning with uncertainty in control and sensing. Zbl 0817.93045Latombe, Jean-Claude; Lazanas, Anthony; Shekhar, Shashank 50 1991 Ensembling neural networks: Many could be better than all. Zbl 0995.68077Zhou, Zhi-Hua; Wu, Jianxin; Tang, Wei 50 2002 Linear resolution with selection function. Zbl 0234.68037Kowalski, Robert; Kuehner, Donald 50 1971 Methods for task allocation via agent coalition formation. Zbl 0908.68032Shehory, Onn; Kraus, Sarit 49 1998 Constraint propagation with interval labels. Zbl 0642.68176Davis, Ernest 49 1987 A generic arc-consistency algorithm and its specializations. Zbl 0763.68059van Hentenryck, Pascal; Deville, Yves; Teng, Choh-Man 48 1992 On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus. Zbl 0914.68160Renz, Jochen; Nebel, Bernhard 48 1999 Nonmonotonic reasoning, conditional objects and possibility theory. Zbl 1017.68539Benferhat, Salem; Dubois, Didier; Prade, Henri 47 1997 Coherence in finite argument systems. Zbl 1043.68098Dunne, Paul E.; Bench-Capon, T. J. M. 47 2002 An approach to default reasoning based on a first-order conditional logic: Revised report. Zbl 0646.03015Delgrande, James P. 46 1988 A skeptical theory of inheritance in nonmonotonic semantic networks. Zbl 0717.68085Horty, John F.; Thomason, Richmond H.; Touretzky, David S. 46 1990 Real-time heuristic search. Zbl 0718.68082Korf, Richard E. 46 1990 Refutational theorem proving using term-rewriting systems. Zbl 0558.68072Hsiang, Jieh 45 1985 Cumulative default logic: In defense of nonmonotonic inference rules. Zbl 0753.03011Brewka, Gerhard 45 1991 A general account of argumentation with preferences. Zbl 1270.68284Modgil, Sanjay; Prakken, Henry 45 2013 Weighted argument systems: basic definitions, algorithms, and complexity results. Zbl 1216.68261Dunne, Paul E.; Hunter, Anthony; McBurney, Peter; Parsons, Simon; Wooldridge, Michael 44 2011 Quantifying inductive bias: AI learning algorithms and Valiant’s learning framework. Zbl 0651.68104Haussler, David 44 1988 An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms. Zbl 07505979Baumann, Ringo; Strass, Hannes 3 2022 Diversity of solutions: an exploration through the lens of fixed-parameter tractability theory. Zbl 07482897Baste, Julien; Fellows, Michael R.; Jaffke, Lars; Masařík, Tomáš; de Oliveira Oliveira, Mateus; Philip, Geevarghese; Rosamond, Frances A. 2 2022 Envy-free allocations respecting social networks. Zbl 07505974Bredereck, Robert; Kaczmarczyk, Andrzej; Niedermeier, Rolf 2 2022 Inconsistency-tolerant query answering for existential rules. Zbl 07505988Lukasiewicz, Thomas; Malizia, Enrico; Martinez, Maria Vanina; Molinaro, Cristian; Pieris, Andreas; Simari, Gerardo I. 2 2022 Margin of victory for tournament solutions. Zbl 1481.91074Brill, Markus; Schmidt-Kraepelin, Ulrike; Suksompong, Warut 1 2022 Analyzing differentiable fuzzy logic operators. Zbl 1490.68233van Krieken, Emile; Acar, Erman; van Harmelen, Frank 1 2022 Evaluation of argument strength in attack graphs: foundations and semantics. Zbl 1478.68339Amgoud, Leila; Doder, Dragan; Vesic, Srdjan 1 2022 On the impact of the performance metric on efficient algorithm configuration. Zbl 07482888Hall, George T.; Oliveto, Pietro S.; Sudholt, Dirk 1 2022 Complexity results for preference aggregation over \((m)\)CP-nets: max and rank voting. Zbl 07482895Lukasiewicz, Thomas; Malizia, Enrico 1 2022 Rethinking formal models of partially observable multiagent decision making. Zbl 07482898Kovařík, Vojtěch; Schmid, Martin; Burch, Neil; Bowling, Michael; Lisý, Viliam 1 2022 Result diversification by multi-objective evolutionary algorithms with theoretical guarantees. Zbl 1496.68306Qian, Chao; Liu, Dan-Xuan; Zhou, Zhi-Hua 1 2022 Risk-averse autonomous systems: a brief history and recent developments from the perspective of optimal control. Zbl 07596154Wang, Yuheng; Chapman, Margaret P. 1 2022 Choice logics and their computational properties. Zbl 07596156Bernreiter, Michael; Maly, Jan; Woltran, Stefan 1 2022 Peeking behind the ordinal curtain: improving distortion via cardinal queries. Zbl 07418619Amanatidis, Georgios; Birmpas, Georgios; Filos-Ratsikas, Aris; Voudouris, Alexandros A. 7 2021 Explaining individual predictions when features are dependent: more accurate approximations to Shapley values. Zbl 07418670Aas, Kjersti; Jullum, Martin; Løland, Anders 7 2021 Neural probabilistic logic programming in DeepProbLog. Zbl 07418672Manhaeve, Robin; Dumančić, Sebastijan; Kimmig, Angelika; Demeester, Thomas; De Raedt, Luc 6 2021 Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models. Zbl 07418624Beierle, Christoph; Eichhorn, Christian; Kern-Isberner, Gabriele; Kutsch, Steven 5 2021 An improved approximation algorithm for maximin shares. Zbl 07418691Garg, Jugal; Taki, Setareh 5 2021 A survey of inverse reinforcement learning: challenges, methods and progress. Zbl 07418628Arora, Saurabh; Doshi, Prashant 4 2021 The complexity landscape of decompositional parameters for ILP: programs with few global variables and constraints. Zbl 07418701Dvořák, Pavel; Eiben, Eduard; Ganian, Robert; Knop, Dušan; Ordyniak, Sebastian 4 2021 Picking sequences and monotonicity in weighted fair division. Zbl 1481.91090Chakraborty, Mithun; Schmidt-Kraepelin, Ulrike; Suksompong, Warut 4 2021 A reconstruction of multipreference closure. Zbl 07382237Giordano, Laura; Gliozzi, Valentina 3 2021 Protecting elections by recounting ballots. Zbl 07382238Elkind, Edith; Gan, Jiarui; Obraztsova, Svetlana; Rabinovich, Zinovi; Voudouris, Alexandros A. 3 2021 Fair division of mixed divisible and indivisible goods. Zbl 07418631Bei, Xiaohui; Li, Zihao; Liu, Jinyan; Liu, Shengxin; Lu, Xinhang 3 2021 Acceptance in incomplete argumentation frameworks. Zbl 07418650Baumeister, Dorothea; Järvisalo, Matti; Neugebauer, Daniel; Niskanen, Andreas; Rothe, Jörg 3 2021 SAT competition 2020. Zbl 1478.68320Froleyks, Nils; Heule, Marijn; Iser, Markus; Järvisalo, Matti; Suda, Martin 3 2021 Making sense of sensory input. Zbl 07418632Evans, Richard; Hernández-Orallo, José; Welbl, Johannes; Kohli, Pushmeet; Sergot, Marek 2 2021 Incremental computation for structured argumentation over dynamic DeLP knowledge bases. Zbl 07418697Alfano, Gianvincenzo; Greco, Sergio; Parisi, Francesco; Simari, Gerardo I.; Simari, Guillermo R. 2 2021 Foundations of explanations as model reconciliation. Zbl 1478.68336Sreedharan, Sarath; Chakraborti, Tathagata; Kambhampati, Subbarao 2 2021 Pairwise symmetry reasoning for multi-agent path finding search. Zbl 1478.68326Li, Jiaoyang; Harabor, Daniel; Stuckey, Peter J.; Ma, Hang; Gange, Graeme; Koenig, Sven 2 2021 Swarm intelligence for self-organized clustering. Zbl 07382235Thrun, Michael C.; Ultsch, Alfred 1 2021 What do we want from explainable artificial intelligence (XAI)? – a stakeholder perspective on XAI and a conceptual model guiding interdisciplinary XAI research. Zbl 07418613Langer, Markus; Oster, Daniel; Speith, Timo; Hermanns, Holger; Kästner, Lena; Schmidt, Eva; Sesing, Andreas; Baum, Kevin 1 2021 Planning-based knowing how: a unified approach. Zbl 07418618Li, Yanjun; Wang, Yanjing 1 2021 Expecting the unexpected: goal recognition for rational and irrational agents. Zbl 07418625Masters, Peta; Sardina, Sebastian 1 2021 Credibility dynamics: a belief-revision-based trust model with pairwise comparisons. Zbl 07418635Jelenc, David; Tamargo, Luciano H.; Gottifredi, Sebastian; García, Alejandro J. 1 2021 A semantics for hybrid probabilistic logic programs with function symbols. Zbl 07418639Azzolini, Damiano; Riguzzi, Fabrizio; Lamma, Evelina 1 2021 Epistemic GDL: a logic for representing and reasoning about imperfect information games. Zbl 07418640Jiang, Guifei; Zhang, Dongmo; Perrussel, Laurent; Zhang, Heng 1 2021 GLocalX – from local to global explanations of black box AI models. Zbl 07418642Setzu, Mattia; Guidotti, Riccardo; Monreale, Anna; Turini, Franco; Pedreschi, Dino; Giannotti, Fosca 1 2021 Open-world probabilistic databases: semantics, algorithms, complexity. Zbl 07418651Ceylan, İsmail İlkan; Darwiche, Adnan; Van den Broeck, Guy 1 2021 Evaluating XAI: a comparison of rule-based and example-based explanations. Zbl 07418653van der Waa, Jasper; Nieuwburg, Elisabeth; Cremers, Anita; Neerincx, Mark 1 2021 Dynamically improved bounds bidirectional search. Zbl 07418654Sewell, E. C.; Jacobson, S. H. 1 2021 Evaluating local explanation methods on ground truth. Zbl 07418658Guidotti, Riccardo 1 2021 Game description language and dynamic epistemic logic compared. Zbl 07418665Engesser, Thorsten; Mattmüller, Robert; Nebel, Bernhard; Thielscher, Michael 1 2021 A lightweight epistemic logic and its application to planning. Zbl 07418669Cooper, Martin C.; Herzig, Andreas; Maffre, Faustine; Maris, Frédéric; Perrotin, Elise; Régnier, Pierre 1 2021 Making sense of raw input. Zbl 07418679Evans, Richard; Bošnjak, Matko; Buesing, Lars; Ellis, Kevin; Pfau, David; Kohli, Pushmeet; Sergot, Marek 1 2021 Schelling games on graphs. Zbl 1481.91037Agarwal, Aishwarya; Elkind, Edith; Gan, Jiarui; Igarashi, Ayumi; Suksompong, Warut; Voudouris, Alexandros A. 1 2021 Design and results of the second international competition on computational models of argumentation. Zbl 1478.68353Gaggl, Sarah A.; Linsbichler, Thomas; Maratea, Marco; Woltran, Stefan 8 2020 Relative inconsistency measures. Zbl 1476.68257Besnard, Philippe; Grant, John 8 2020 The distortion of distributed voting. Zbl 1496.91047Filos-Ratsikas, Aris; Micha, Evi; Voudouris, Alexandros A. 6 2020 Boolean algebras of conditionals, probability and logic. Zbl 1493.68349Flaminio, Tommaso; Godo, Lluis; Hosni, Hykel 6 2020 Compatibility, desirability, and the running intersection property. Zbl 1433.68455Miranda, Enrique; Zaffalon, Marco 5 2020 SCCWalk: an efficient local search algorithm and its improvements for maximum weight clique problem. Zbl 1476.68218Wang, Yiyuan; Cai, Shaowei; Chen, Jiejiang; Yin, Minghao 5 2020 Landmark-based approaches for goal recognition as planning. Zbl 1478.68331Pereira, Ramon Fraga; Oren, Nir; Meneguzzi, Felipe 4 2020 Dynamic term-modal logics for first-order epistemic planning. Zbl 1471.68274Occhipinti Liberman, Andrés; Achen, Andreas; Rendsvig, Rasmus Kræmmer 3 2020 DEL-based epistemic planning: decidability and complexity. Zbl 1493.68359Bolander, Thomas; Charrier, Tristan; Pinchinat, Sophie; Schwarzentruber, François 3 2020 Price of Pareto optimality in hedonic games. Zbl 07382215Elkind, Edith; Fanelli, Angelo; Flammini, Michele 3 2020 Coalitional games induced by matching problems: complexity and islands of tractability for the Shapley value. Zbl 1482.91011Greco, Gianluigi; Lupia, Francesco; Scarcello, Francesco 3 2020 The Hanabi challenge: a new frontier for AI research. Zbl 1476.68223Bard, Nolan; Foerster, Jakob N.; Chandar, Sarath; Burch, Neil; Lanctot, Marc; Song, H. Francis; Parisotto, Emilio; Dumoulin, Vincent; Moitra, Subhodeep; Hughes, Edward; Dunning, Iain; Mourad, Shibl; Larochelle, Hugo; Bellemare, Marc G.; Bowling, Michael 3 2020 Rethinking epistemic logic with belief bases. Zbl 1435.03036Lorini, Emiliano 3 2020 On the equivalence of optimal recommendation sets and myopically optimal query sets. Zbl 1493.68353Viappiani, Paolo; Boutilier, Craig 2 2020 Handling and measuring inconsistency in non-monotonic logics. Zbl 1493.68345Ulbricht, Markus; Thimm, Matthias; Brewka, Gerhard 2 2020 Automated temporal equilibrium analysis: verification and synthesis of multi-player games. Zbl 1493.68360Gutierrez, Julian; Najib, Muhammad; Perelli, Giuseppe; Wooldridge, Michael 2 2020 Limited lookahead in imperfect-information games. Zbl 1437.91067Kroer, Christian; Sandholm, Tuomas 2 2020 Negotiating team formation using deep reinforcement learning. Zbl 07382214Bachrach, Yoram; Everett, Richard; Hughes, Edward; Lazaridou, Angeliki; Leibo, Joel Z.; Lanctot, Marc; Johanson, Michael; Czarnecki, Wojciech M.; Graepel, Thore 2 2020 Utilitarian welfare and representation guarantees of approval-based multiwinner rules. Zbl 07382217Lackner, Martin; Skowron, Piotr 2 2020 Dashed strings for string constraint solving. Zbl 07382222Amadini, Roberto; Gange, Graeme; Stuckey, Peter J. 2 2020 Realizability of three-valued semantics for abstract dialectical frameworks. Zbl 1478.68358Pührer, Jörg 2 2020 Clause vivification by unit propagation in CDCL SAT solvers. Zbl 1478.68325Li, Chu-Min; Xiao, Fan; Luo, Mao; Manyà, Felip; Lü, Zhipeng; Li, Yu 2 2020 Polynomial rewritings from expressive description logics with closed predicates to variants of Datalog. Zbl 1476.68250Ahmetaj, Shqiponja; Ortiz, Magdalena; Šimkus, Mantas 2 2020 On the complexity of reasoning about opinion diffusion under majority dynamics. Zbl 1454.91154Auletta, Vincenzo; Ferraioli, Diodato; Greco, Gianluigi 2 2020 Autoepistemic equilibrium logic and epistemic specifications. Zbl 1432.68453Su, Ezgi Iraz; Fariñas del Cerro, Luis; Herzig, Andreas 2 2020 The logic of gossiping. Zbl 1493.68346van Ditmarsch, Hans; van der Hoek, Wiebe; Kuijer, Louwe B. 1 2020 On the limits of forgetting in answer set programming. Zbl 1493.68350Gonçalves, Ricardo; Knorr, Matthias; Leite, João; Woltran, Stefan 1 2020 Interpretable time series kernel analytics by pre-image estimation. Zbl 1493.68319Tran, Thi Phuong Thao; Douzal-Chouakria, Ahlame; Varasteh Yazdi, Saeed; Honeine, Paul; Gallinari, Patrick 1 2020 Memetic algorithms outperform evolutionary algorithms in multimodal optimisation. Zbl 1493.68415Nguyen, Phan Trung Hai; Sudholt, Dirk 1 2020 Designing normative theories for ethical and legal reasoning: LogiKEy framework, methodology, and tool support. Zbl 1493.68286Benzmüller, Christoph; Parent, Xavier; van der Torre, Leendert 1 2020 Evaluation of the moral permissibility of action plans. Zbl 1493.68287Lindner, Felix; Mattmüller, Robert; Nebel, Bernhard 1 2020 Old techniques in new ways: clause weighting, unit propagation and hybridization for maximum satisfiability. Zbl 1493.68340Cai, Shaowei; Lei, Zhendong 1 2020 Adapting a kidney exchange algorithm to align with human values. Zbl 1433.68317Freedman, Rachel; Borg, Jana Schaich; Sinnott-Armstrong, Walter; Dickerson, John P.; Conitzer, Vincent 1 2020 Knowledge-based programs as succinct policies for partially observable domains. Zbl 07382216Zanuttini, Bruno; Lang, Jérôme; Saffidine, Abdallah; Schwarzentruber, François 1 2020 Artificial intelligence requires more than deep learning – but what, exactly? Zbl 07382229Wooldridge, Michael 1 2020 Explanation in AI and law: past, present and future. Zbl 07382230Atkinson, Katie; Bench-Capon, Trevor; Bollegala, Danushka 1 2020 Governing convergence of Max-sum on DCOPs through damping and splitting. Zbl 1478.68319Cohen, Liel; Galiki, Rotem; Zivan, Roie 1 2020 Computing AES related-key differential characteristics with constraint programming. Zbl 1482.94049Gerault, David; Lafourcade, Pascal; Minier, Marine; Solnon, Christine 1 2020 Gradient conjugate priors and multi-layer neural networks. Zbl 1478.68287Gurevich, Pavel; Stuke, Hannes 1 2020 Probabilistic sentence satisfiability: an approach to PSAT. Zbl 1478.68322Henderson, T. C.; Simmons, R.; Serbinowski, B.; Cline, M.; Sacharny, D.; Fan, X.; Mitiche, A. 1 2020 New models for generating hard random Boolean formulas and disjunctive logic programs. Zbl 1478.68316Amendola, Giovanni; Ricca, Francesco; Truszczynski, Miroslaw 1 2020 Recursively modeling other agents for decision making: a research perspective. Zbl 1478.68381Doshi, Prashant; Gmytrasiewicz, Piotr; Durfee, Edmund 1 2020 When autonomous agents model other agents: an appeal for altered judgment coupled with mouths, ears, and a little more tape. Zbl 1476.68260Crandall, Jacob W. 1 2020 Reasoning about uncertain parameters and agent behaviors through encoded experiences and belief planning. Zbl 1476.68261Hayashi, Akinobu; A. Ruiken, Dirk; Hasegawa, Tadaaki; Goerick, Christian 1 2020 The computational complexity of Angry Birds. Zbl 1476.68224Stephenson, Matthew; Renz, Jochen; Ge, Xiaoyu 1 2020 Epistemic graphs for representing and reasoning with positive and negative influences of arguments. Zbl 1435.68316Hunter, Anthony; Polberg, Sylwia; Thimm, Matthias 1 2020 CPCES: a planning framework to solve conformant planning problems through a counterexample guided refinement. Zbl 1451.68248Grastien, Alban; Scala, Enrico 1 2020 Knowing the price of success. Zbl 1451.68291Cao, Rui; Naumov, Pavel 1 2020 Robust learning with imperfect privileged information. Zbl 1432.68393Li, Xue; Du, Bo; Xu, Chang; Zhang, Yipeng; Zhang, Lefei; Tao, Dacheng 1 2020 Explanation in artificial intelligence: insights from the social sciences. Zbl 1478.68274Miller, Tim 52 2019 Democratic fair allocation of indivisible goods. Zbl 1482.91106Segal-Halevi, Erel; Suksompong, Warut 9 2019 Forgetting auxiliary atoms in forks. Zbl 1478.68338Aguado, Felicidad; Cabalar, Pedro; Fandinno, Jorge; Pearce, David; Pérez, Gilberto; Vidal, Concepción 7 2019 Maintenance of datalog materialisations revisited. Zbl 1478.68076Motik, Boris; Nenov, Yavor; Piro, Robert; Horrocks, Ian 6 2019 The 2016 and 2017 QBF solvers evaluations (QBFEVAL’16 and QBFEVAL’17). Zbl 1478.68332Pulina, Luca; Seidl, Martina 6 2019 ...and 1447 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 14,485 Authors 73 Dubois, Didier 63 Eiter, Thomas 62 Prade, Henri M. 50 Gabbay, Dov M. 46 Wooldridge, Michael J. 42 Schaub, Torsten H. 42 Woltran, Stefan 40 Gottlob, Georg 39 Denœux, Thierry 39 Halpern, Joseph Yehuda 35 Kern-Isberner, Gabriele 34 Benferhat, Salem 32 Leone, Nicola 32 Rothe, Jörg-Matthias 32 Yager, Ronald R. 31 Kraus, Sarit 31 Liang, Jiye 31 Qian, Yuhua 31 Simari, Guillermo Ricardo 30 Jonsson, Peter A. 29 Cooper, Martin C. 29 Hunter, Anthony 29 van der Hoek, Wiebe 28 Lifschitz, Vladimir 28 Truszczyński, Mirosław 28 Walsh, Toby 28 Zaffalon, Marco 27 Dechter, Rina 26 Arieli, Ofer 26 De Raedt, Luc 26 Živný, Stanislav 25 Godo, Lluís 25 Herzig, Andreas 25 Lang, Jérôme 25 Lukasiewicz, Thomas 24 Beierle, Christoph 24 de Cooman, Gert 24 Delgrande, James P. 24 Lawry, Jonathan 24 Lorini, Emiliano 24 Marques-Silva, João P. 24 van Ditmarsch, Hans Pieter 23 Gagliardi Cozman, Fabio 23 Marquis, Pierre 22 Amgoud, Leila 22 Bloch, Isabelle 22 Destercke, Sébastien 22 Fargier, Hélène 22 Greco, Gianluigi 22 Jeavons, Peter G. 22 Marek, V. Wiktor 22 Moral, Serafín 22 Riguzzi, Fabrizio 22 van der Torre, Leendert W. N. 21 Besnard, Philippe 21 Ognjanović, Zoran 21 Subrahmanian, V. S. 20 Dunne, Paul E. 20 Inoue, Katsumi 20 Jaulin, Luc 20 Jennings, Nicholas R. 20 Lin, Fangzhen 20 Scarcello, Francesco 20 Schockaert, Steven 20 Szeider, Stefan 19 Alviano, Mario 19 Baral, Chitta R. 19 Denecker, Marc 19 Gebser, Martin 19 Grant, John R. 19 Labreuche, Christophe 19 Lierler, Yuliya 19 Sandholm, Tuomas W. 19 Stuckey, Peter James 19 Thimm, Matthias 19 Yin, Minghao 19 You, Jia-Huai 18 Baroni, Pietro 18 Cabalar, Pedro 18 De Giacomo, Giuseppe 18 Elkind, Edith 18 Ibaraki, Toshihide 18 Liu, Weiru 18 Pearl, Judea 18 Shenoy, Prakash P. 18 Straccia, Umberto 18 Tennenholtz, Moshe 18 Toni, Francesca 17 Baader, Franz 17 Bessiere, Christian 17 Chakrabarti, Partha Pratim 17 Cohen, David A. 17 Dang, Chuangyin 17 Faber, Wolfgang 17 Fink, Michael 17 Giacomin, Massimiliano 17 Kamide, Norihiro 17 Maratea, Marco 17 Montanari, Angelo 17 Ricca, Francesco ...and 14,385 more Authors all top 5 Cited in 551 Journals 1,769 Artificial Intelligence 736 International Journal of Approximate Reasoning 409 Annals of Mathematics and Artificial Intelligence 365 Theoretical Computer Science 305 Information Sciences 242 Theory and Practice of Logic Programming 236 European Journal of Operational Research 223 Fuzzy Sets and Systems 180 Machine Learning 170 Journal of Automated Reasoning 164 Constraints 156 Journal of Applied Non-Classical Logics 125 Journal of Applied Logic 121 Studia Logica 120 Synthese 109 Journal of Computer and System Sciences 109 Journal of Philosophical Logic 109 Pattern Recognition 97 Annals of Operations Research 95 Computers & Operations Research 91 Information and Computation 89 Information Processing Letters 82 Discrete Applied Mathematics 81 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 81 The Journal of Artificial Intelligence Research (JAIR) 74 Algorithmica 74 Neural Computation 71 International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems 63 Journal of Logic, Language and Information 62 Computers & Mathematics with Applications 59 Soft Computing 58 Journal of Symbolic Computation 55 International Journal of Intelligent Systems 54 Journal of Computer Science and Technology 53 New Generation Computing 48 International Journal of General Systems 48 Mathematical Problems in Engineering 47 Games and Economic Behavior 42 Automatica 40 Mathematical Social Sciences 38 Applied Mathematics and Computation 36 Computational Statistics and Data Analysis 36 Journal of Mathematical Imaging and Vision 36 The Review of Symbolic Logic 33 Journal of Global Optimization 31 Annals of Pure and Applied Logic 30 International Journal of Computer Vision 29 The Journal of Symbolic Logic 27 International Journal of Applied Mathematics and Computer Science 26 Theory and Decision 26 Neural Networks 26 Erkenntnis 26 Journal of Machine Learning Research (JMLR) 26 ACM Transactions on Computational Logic 25 Theory of Computing Systems 25 Data Mining and Knowledge Discovery 25 Logical Methods in Computer Science 24 International Journal of Computer Mathematics 23 Journal of Economic Theory 21 Kybernetika 21 Social Choice and Welfare 21 Journal of Intelligent & Robotic Systems 20 Acta Informatica 20 Journal of Mathematical Psychology 20 Formal Methods in System Design 20 Journal of Combinatorial Optimization 20 Logica Universalis 19 SIAM Journal on Computing 19 Cybernetics and Systems 19 International Journal of Production Research 19 Formal Aspects of Computing 19 Journal of Heuristics 19 INFORMS Journal on Computing 19 Games 18 Mathematical and Computer Modelling 18 Journal of Computer and Systems Sciences International 18 Computational Intelligence 17 Applied Intelligence 17 Cybernetics and Systems Analysis 17 Journal of Scheduling 16 Biological Cybernetics 16 International Journal of Systems Science 16 Notre Dame Journal of Formal Logic 16 Discrete Event Dynamic Systems 16 RAIRO. Operations Research 16 Fuzzy Optimization and Decision Making 16 Journal of Theoretical Biology 15 Operations Research 15 AI Communications 14 The Journal of Logic and Algebraic Programming 14 Discrete Optimization 14 New Mathematics and Natural Computation 14 Computational & Mathematical Methods in Medicine 14 Frontiers of Computer Science 13 Discrete Mathematics 13 Journal of Mathematical Analysis and Applications 13 Mathematics and Computers in Simulation 12 The Annals of Statistics 12 Artificial Intelligence Review 12 Applied Mathematical Modelling ...and 451 more Journals all top 5 Cited in 60 Fields 8,189 Computer science (68-XX) 2,204 Mathematical logic and foundations (03-XX) 1,357 Operations research, mathematical programming (90-XX) 1,251 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 754 Statistics (62-XX) 308 Combinatorics (05-XX) 293 Systems theory; control (93-XX) 264 Information and communication theory, circuits (94-XX) 252 Probability theory and stochastic processes (60-XX) 228 Biology and other natural sciences (92-XX) 220 Numerical analysis (65-XX) 114 Order, lattices, ordered algebraic structures (06-XX) 70 Measure and integration (28-XX) 51 General and overarching topics; collections (00-XX) 48 Calculus of variations and optimal control; optimization (49-XX) 46 General algebraic systems (08-XX) 35 History and biography (01-XX) 30 Dynamical systems and ergodic theory (37-XX) 30 Quantum theory (81-XX) 29 Ordinary differential equations (34-XX) 28 Convex and discrete geometry (52-XX) 28 Statistical mechanics, structure of matter (82-XX) 27 Mechanics of particles and systems (70-XX) 26 General topology (54-XX) 25 Algebraic geometry (14-XX) 20 Commutative algebra (13-XX) 19 Partial differential equations (35-XX) 19 Geometry (51-XX) 17 Linear and multilinear algebra; matrix theory (15-XX) 15 Category theory; homological algebra (18-XX) 15 Real functions (26-XX) 12 Field theory and polynomials (12-XX) 11 Associative rings and algebras (16-XX) 11 Differential geometry (53-XX) 10 Mechanics of deformable solids (74-XX) 10 Fluid mechanics (76-XX) 10 Geophysics (86-XX) 9 Number theory (11-XX) 8 Approximations and expansions (41-XX) 8 Functional analysis (46-XX) 7 Difference and functional equations (39-XX) 7 Operator theory (47-XX) 6 Algebraic topology (55-XX) 5 Group theory and generalizations (20-XX) 5 Manifolds and cell complexes (57-XX) 4 Global analysis, analysis on manifolds (58-XX) 4 Classical thermodynamics, heat transfer (80-XX) 3 Functions of a complex variable (30-XX) 3 Harmonic analysis on Euclidean spaces (42-XX) 3 Optics, electromagnetic theory (78-XX) 2 Potential theory (31-XX) 2 Several complex variables and analytic spaces (32-XX) 2 Abstract harmonic analysis (43-XX) 2 Relativity and gravitational theory (83-XX) 2 Astronomy and astrophysics (85-XX) 2 Mathematics education (97-XX) 1 Nonassociative rings and algebras (17-XX) 1 Topological groups, Lie groups (22-XX) 1 Integral transforms, operational calculus (44-XX) 1 Integral equations (45-XX) Citations by Year