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,513 Publications (since 1970) References Indexed: 2,399 Publications with 105,308 References. all top 5 Latest Issues 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) 227 (2015) 226 (2015) 225 (2015) ...and 335 more Volumes all top 5 Authors 34 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 15 Kambhampati, Subbarao 15 Zhou, Zhihua 14 Boutilier, Craig 13 Gottlob, Georg 13 Korf, Richard E. 13 Lifschitz, Vladimir 12 Bessiere, Christian 12 Dvořák, Wolfgang 12 Lukasiewicz, Thomas 12 Shoham, Yoav 12 Yang, Qiang 12 Zhang, Weixiong 11 De Raedt, Luc 11 Delgrande, James P. 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 Toni, Francesca 10 van der Hoek, Wiebe 10 Yokoo, Makoto 9 Ben-Eliyahu-Zohary, Rachel 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 Schaub, Torsten H. 9 Selman, Bart 9 Stern, Roni 9 Thielscher, Michael 9 Thimm, Matthias 9 Voudouris, Alexandros A. 8 Baral, Chitta R. 8 Brewka, Gerhard 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 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 7 Procaccia, Ariel D. ...and 3,580 more Authors all top 5 Fields 2,383 Computer science (68-XX) 317 Mathematical logic and foundations (03-XX) 268 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 133 Operations research, mathematical programming (90-XX) 55 Statistics (62-XX) 22 General and overarching topics; collections (00-XX) 19 Information and communication theory, circuits (94-XX) 17 Biology and other natural sciences (92-XX) 16 Combinatorics (05-XX) 15 Probability theory and stochastic processes (60-XX) 15 Systems theory; control (93-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,026 Publications have been cited 27,873 times in 12,618 Documents Cited by ▼ Year ▼ A logic for default reasoning. Zbl 0435.68069Reiter, R. 574 1980 On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games. Zbl 1013.68556Dung, Phan Minh 480 1995 Nonmonotonic reasoning, preferential models and cumulative logics. Zbl 0782.03012Kraus, Sarit; Lehmann, Daniel; Magidor, Menachem 393 1990 Circumscription - a form of non-monotonic reasoning. Zbl 0435.68073McCarthy, John 304 1980 Default reasoning and possibility theory. Zbl 0645.68108Dubois, Didier; Prade, Henri 274 1988 The transferable belief model. Zbl 0807.68087Smets, Philippe; Kennes, Robert 272 1994 Probabilistic logic. Zbl 0589.03007Nilsson, Nils J. 242 1986 Wrappers for feature subset selection. Zbl 0904.68143Kohavi, Ron; John, George H. 238 1997 Consistency in networks of relations. Zbl 0341.68061Mackworth, Alan K. 238 1977 A theory of diagnosis from first principles. Zbl 0643.68122Reiter, Raymond 233 1987 STRIPS: A new approach to the application of theorem proving to problem solving. Zbl 0234.68036Fikes, Richard E.; Nilsson, Nils J. 202 1971 What does a conditional knowledge base entail? Zbl 0762.68057Lehmann, Daniel; Magidor, Menachem 198 1992 Semantical considerations on nonmonotonic logic. Zbl 0569.68079Moore, Robert C. 194 1985 Belief, awareness, and limited reasoning. Zbl 0634.03013Fagin, Ronald; Halpern, Joseph Y. 182 1988 Propositional knowledge base revision and minimal change. Zbl 0792.68182Katsuno, Hirofumi; Mendelzon, Alberto O. 175 1991 A guide to completeness and complexity for modal logics of knowledge and belief. Zbl 0762.68029Halpern, Joseph Y.; Moses, Yoram 159 1992 The computational complexity of probabilistic inference using Bayesian belief networks. Zbl 0717.68080Cooper, Gregory F. 156 1990 Constraints on deformable models: Recovering 3D shape and nonrigid motion. Zbl 0646.68105Terzopoulos, Demetri; Witkin, Andrew; Kass, Michael 155 1988 Extending and implementing the stable model semantics. Zbl 0995.68021Simons, Patrik; Niemelä, Ilkka; Soininen, Timo 153 2002 On the logic of iterated belief revision. Zbl 1018.03012Darwiche, Adnan; Pearl, Judea 151 1997 Temporal constraint networks. Zbl 0737.68070Dechter, Rina; Meiri, Itay; Pearl, Judea 144 1991 Depth-first iterative-deepening: An optimal admissible tree search. Zbl 0573.68030Korf, Richard E. 142 1985 Planning and acting in partially observable stochastic domains. Zbl 0908.68165Kaelbling, Leslie Pack; Littman, Michael L.; Cassandra, Anthony R. 134 1998 Positive approximation: an accelerator for attribute reduction in rough set theory. Zbl 1205.68310Qian, Yuhua; Liang, Jiye; Pedrycz, Witold; Dang, Chuangyin 130 2010 Fusion, propagation, and structuring in belief networks. Zbl 0624.68081Pearl, Judea 129 1986 Non-monotonic logic. I. Zbl 0435.68074McDermott, Drew; Doyle, Jon 127 1980 Diagnosing multiple faults. Zbl 0642.94045de Kleer, Johan; Williams, Brian C. 115 1987 Network-based heuristics for constraint-satisfaction problems. Zbl 0643.68156Dechter, Rina; Pearl, Judea 113 1988 A logical framework for default reasoning. Zbl 0647.68094Poole, David 113 1988 Determining optical flow. Zbl 1497.68488Horn, Berthold K. P.; Schunck, Brian G. 113 1981 An abstract, argumentation-theoretic approach to default reasoning. Zbl 1017.03511Bondarenko, A.; Dung, P. M.; Kowalski, R. A.; Toni, F. 111 1997 Conflict-driven answer set solving: from theory to practice. Zbl 1251.68060Gebser, Martin; Kaufmann, Benjamin; Schaub, Torsten 104 2012 A mathematical treatment of defeasible reasoning and its implementation. Zbl 1193.68238Simari, Guillermo R.; Loui, Ronald P. 97 1992 Selection of relevant features and examples in machine learning. Zbl 0904.68142Blum, Avrim L.; Langley, Pat 96 1997 Attributive concept descriptions with complements. Zbl 0712.68095Schmidt-Schauß, Manfred; Smolka, Gert 91 1991 An analysis of first-order logics of probability. Zbl 0723.03007Halpern, Joseph Y. 90 1990 Towards a general theory of action and time. Zbl 0567.68025Allen, James F. 89 1984 Uncertainty measures of rough set prediction. Zbl 0909.68040Düntsch, Ivo; Gediga, Günther 88 1998 Probabilistic Horn abduction and Bayesian networks. Zbl 0792.68176Poole, David 86 1993 Tree clustering for constraint networks. Zbl 0665.68084Dechter, Rina; Pearl, Judea 86 1989 On the evaluation of argumentation formalisms. Zbl 1168.68562Caminada, Martin; Amgoud, Leila 86 2007 Argumentation in artificial intelligence. Zbl 1168.68560Bench-Capon, T. J. M.; Dunne, Paul E. 85 2007 An analysis of alpha-beta pruning. Zbl 0358.68143Knuth, Donald E.; Moore, Ronald W. 84 1975 ASSAT: computing answer sets of a logic program by SAT solvers. Zbl 1085.68544Lin, Fangzhen; Zhao, Yuting 82 2004 Fast planning through planning graph analysis. Zbl 1017.68533Blum, Avrim L.; Furst, Merrick L. 82 1997 The computational complexity of propositional STRIPS planning. Zbl 0821.68065Bylander, Tom 81 1994 The value of the four values. Zbl 0928.03025Arieli, Ofer; Avron, Arnon 81 1998 A logic-based theory of deductive arguments. Zbl 0971.68143Besnard, P.; Hunter, A. 78 2001 On the relation between default and autoepistemic logic. Zbl 0647.68088Konolige, Kurt 75 1988 Computing ideal sceptical argumentation. Zbl 1168.68564Dung, P. M.; Mancarella, P.; Toni, F. 74 2007 Bucket elimination: A unifying framework for reasoning. Zbl 0939.68847Dechter, R. 73 1999 All I know: A study in autoepistemic logic. Zbl 0724.03019Levesque, Hector J. 73 1990 The independent choice logic for modelling multiple agents under uncertainty. Zbl 0902.03017Poole, David 72 1997 Combining answer set programming with description logics for the semantic web. Zbl 1183.68595Eiter, Thomas; Ianni, Giovambattista; Lukasiewicz, Thomas; Schindlauer, Roman; Tompits, Hans 72 2008 Credal networks. Zbl 0945.68163Cozman, F. G. 70 2000 Planning as heuristic search. Zbl 0971.68146Bonet, B.; Geffner, H. 69 2001 Intention is choice with commitment. Zbl 0721.03017Cohen, Philip R.; Levesque, Hector J. 69 1990 On the complexity of propositional knowledge base revision, updates, and counterfactuals. Zbl 0763.68038Eiter, Thomas; Gottlob, Georg 68 1992 Solving the multiple instance problem with axis-parallel rectangles. Zbl 1042.68650Dietterich, Thomas G.; Lathrop, Richard H.; Lozano-Pérez, Tomás 67 1997 Answer set programming and plan generation. Zbl 0995.68020Lifschitz, Vladimir 67 2002 Nonmonotonic causal theories. Zbl 1085.68161Giunchiglia, Enrico; Lee, Joohyung; Lifschitz, Vladimir; McCain, Norman; Turner, Hudson 66 2004 Drift analysis and average time complexity of evolutionary algorithms. Zbl 0971.68129He, Jun; Yao, Xin 65 2001 Planning for conjunctive goals. Zbl 0642.68171Chapman, David 65 1987 Minimizing conflicts: A heuristic repair method for constraint satisfaction and scheduling problems. Zbl 0782.90054Minton, Steven; Johnston, Mark D.; Philips, Andrew B.; Laird, Philip 64 1992 Nonmonotonic inference based on expectations. Zbl 0803.68125Gärdenfors, Peter; Makinson, David 64 1994 Constraints, consistency and closure. Zbl 0909.68076Jeavons, Peter; Cohen, David; Cooper, Martin C. 64 1998 Nonmonotonic logic and temporal projection. Zbl 0654.68107Hanks, Steve; McDermott, Drew 64 1987 On principle-based evaluation of extension-based argumentation semantics. Zbl 1168.68559Baroni, Pietro; Giacomin, Massimiliano 64 2007 Qualitative simulation. Zbl 0624.68098Kuipers, Benjamin 63 1986 SCC-recursiveness: a general schema for argumentation semantics. Zbl 1132.68765Baroni, Pietro; Giacomin, Massimiliano; Guida, Giovanni 63 2005 Conjunctive and disjunctive combination of belief functions induced by nondistinct bodies of evidence. Zbl 1182.68298Denœux, Thierry 63 2008 Anyone but him: the complexity of precluding an alternative. Zbl 1168.91346Hemaspaandra, Edith; Hemaspaandra, Lane A.; Rothe, Jörg 62 2007 Characterizing diagnoses and systems. Zbl 0772.68085de Kleer, Johan; Mackworth, Alan K.; Reiter, Raymond 61 1992 Reasoning about preferences in argumentation frameworks. Zbl 1192.68663Modgil, Sanjay 61 2009 Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis. Zbl 0372.94024Stallman, Richard M.; Sussman, Gerald J. 61 1977 Algorithm for optimal winner determination in combinatorial auctions. Zbl 0984.68039Sandholm, Tuomas 60 2002 Approximating probabilistic inference in Bayesian belief networks is NP- hard. Zbl 0781.68105Dagum, Paul; Luby, Michael 59 1993 Explanation in artificial intelligence: insights from the social sciences. Zbl 1478.68274Miller, Tim 59 2019 Conditional entailment: bridging two approaches to default reasoning. Zbl 1193.68235Geffner, Hector; Pearl, Judea 58 1992 Conditional logics of normality: A modal approach. Zbl 0811.68114Boutilier, Craig 57 1994 Semantics and complexity of recursive aggregates in answer set programming. Zbl 1216.68263Faber, Wolfgang; Pfeifer, Gerald; Leone, Nicola 56 2011 On the hardness of approximate reasoning. Zbl 1506.68143Roth, Dan 56 1996 A comparison of structural CSP decomposition methods. Zbl 0952.68044Gottlob, G.; Leone, N.; Scarcello, F. 55 2000 Epistemic entrenchment and possibilistic logic. Zbl 0749.03019Dubois, Didier; Prade, Henri 54 1991 Ensembling neural networks: Many could be better than all. Zbl 0995.68077Zhou, Zhi-Hua; Wu, Jianxin; Tang, Wei 54 2002 Robot motion planning with uncertainty in control and sensing. Zbl 0817.93045Latombe, Jean-Claude; Lazanas, Anthony; Shekhar, Shashank 53 1991 Bayesian and non-Bayesian evidential updating. Zbl 0622.68069Kyburg, Henry E. jun. 53 1987 Top-down induction of first-order logical decision trees. Zbl 0909.68034Blockeel, Hendrik; de Raedt, Luc 53 1998 A general account of argumentation with preferences. Zbl 1270.68284Modgil, Sanjay; Prakken, Henry 53 2013 Measures of uncertainty in expert systems. Zbl 1506.68157Walley, Peter 53 1996 Coherence in finite argument systems. Zbl 1043.68098Dunne, Paul E.; Bench-Capon, T. J. M. 52 2002 On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus. Zbl 0914.68160Renz, Jochen; Nebel, Bernhard 52 1999 Constraint propagation with interval labels. Zbl 0642.68176Davis, Ernest 52 1987 Qualitative probabilities for default reasoning, belief revision, and causal modeling. Zbl 1497.68457Goldszmidt, Moisés; Pearl, Judea 52 1996 Weighted argument systems: basic definitions, algorithms, and complexity results. Zbl 1216.68261Dunne, Paul E.; Hunter, Anthony; McBurney, Peter; Parsons, Simon; Wooldridge, Michael 51 2011 Linear resolution with selection function. Zbl 0234.68037Kowalski, Robert; Kuehner, Donald 51 1971 Methods for task allocation via agent coalition formation. Zbl 0908.68032Shehory, Onn; Kraus, Sarit 51 1998 Refutational theorem proving using term-rewriting systems. Zbl 0558.68072Hsiang, Jieh 50 1985 Nonmonotonic reasoning, conditional objects and possibility theory. Zbl 1017.68539Benferhat, Salem; Dubois, Didier; Prade, Henri 50 1997 Real-time heuristic search. Zbl 0718.68082Korf, Richard E. 50 1990 Regret minimization in online Bayesian persuasion: handling adversarial receiver’s types under full and partial feedback models. Zbl 07638293Castiglioni, Matteo; Celli, Andrea; Marchesi, Alberto; Gatti, Nicola 2 2023 Parameterized complexity of envy-free resource allocation in social networks. Zbl 07638300Eiben, Eduard; Ganian, Robert; Hamm, Thekla; Ordyniak, Sebastian 2 2023 Learning MAX-SAT from contextual examples for combinatorial optimisation. Zbl 07638281Kumar, 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 07638291Chen, Jiejiang; Cai, Shaowei; Wang, Yiyuan; Xu, Wenhao; Ji, Jia; Yin, Minghao 1 2023 Strategyproof allocation mechanisms with endowments and M-convex distributional constraints. Zbl 07638299Suzuki, Takamasa; Tamura, Akihisa; Yahiro, Kentaro; Yokoo, Makoto; Zhang, Yuzhe 1 2023 The complexity landscape of claim-augmented argumentation frameworks. Zbl 07698052Dvořá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 Designing menus of contracts efficiently: the power of randomization. Zbl 07702929Castiglioni, Matteo; Marchesi, Alberto; Gatti, Nicola 1 2023 Reasoning about causality in games. Zbl 07702955Hammond, Lewis; Fox, James; Everitt, Tom; Carey, Ryan; Abate, Alessandro; Wooldridge, Michael 1 2023 How to find a good explanation for clustering? Zbl 07732223Bandyapadhyay, Sayan; Fomin, Fedor V.; Golovach, Petr A.; Lochet, William; Purohit, Nidhi; Simonov, Kirill 1 2023 Certified reinforcement learning with logic guidance. Zbl 07732224Hasanbeig, Hosein; Kroening, Daniel; Abate, Alessandro 1 2023 Envy-free allocations respecting social networks. Zbl 07505974Bredereck, Robert; Kaczmarczyk, Andrzej; Niedermeier, Rolf 6 2022 Analyzing differentiable fuzzy logic operators. Zbl 1490.68233van Krieken, Emile; Acar, Erman; van Harmelen, Frank 4 2022 Bayesian agency: linear versus tractable contracts. Zbl 07505987Castiglioni, Matteo; Marchesi, Alberto; Gatti, Nicola 4 2022 Evaluation of argument strength in attack graphs: foundations and semantics. Zbl 1478.68339Amgoud, Leila; Doder, Dragan; Vesic, Srdjan 3 2022 Logical separability of labeled data examples under ontologies. Zbl 07613163Jung, Jean Christoph; Lutz, Carsten; Pulcini, Hadrien; Wolter, Frank 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. 3 2022 An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms. Zbl 07505979Baumann, Ringo; Strass, Hannes 3 2022 Memory-limited model-based diagnosis. Zbl 07505980Rodler, Patrick 3 2022 Inconsistency-tolerant query answering for existential rules. Zbl 07505988Lukasiewicz, Thomas; Malizia, Enrico; Martinez, Maria Vanina; Molinaro, Cristian; Pieris, Andreas; Simari, Gerardo I. 3 2022 An action language for multi-agent domains. Zbl 1481.68044Baral, Chitta; Gelfond, Gregory; Pontelli, Enrico; Son, Tran Cao 2 2022 Risk-averse policy optimization via risk-neutral policy optimization. Zbl 07596159Bisi, Lorenzo; Santambrogio, Davide; Sandrelli, Federico; Tirinzoni, Andrea; Ziebart, Brian D.; Restelli, Marcello 2 2022 Mind the gap: cake cutting with separation. Zbl 07613161Elkind, Edith; Segal-Halevi, Erel; Suksompong, Warut 2 2022 The metric distortion of multiwinner voting. Zbl 07613172Caragiannis, Ioannis; Shah, Nisarg; Voudouris, Alexandros A. 2 2022 Logic tensor networks. Zbl 07482899Badreddine, Samy; d’Avila Garcez, Artur; Serafini, Luciano; Spranger, Michael 2 2022 An efficient algorithm for counting Markov equivalent DAGs. Zbl 07482901Ganian, Robert; Hamm, Thekla; Talvitie, Topi 2 2022 Conjure: automatic generation of constraint models from problem specifications. Zbl 07570882Akgün, Özgür; Frisch, Alan M.; Gent, Ian P.; Jefferson, Christopher; Miguel, Ian; Nightingale, Peter 2 2022 The distortion of distributed metric social choice. Zbl 1503.91058Anshelevich, Elliot; Filos-Ratsikas, Aris; Voudouris, Alexandros A. 2 2022 Margin of victory for tournament solutions. Zbl 1481.91074Brill, Markus; Schmidt-Kraepelin, Ulrike; Suksompong, Warut 1 2022 Propositional and predicate logics of incomplete information. Zbl 1478.68074Console, Marco; Guagliardo, Paolo; Libkin, Leonid 1 2022 SAT encodings for pseudo-Boolean constraints together with at-most-one constraints. Zbl 1478.68201Bofill, Miquel; Coll, Jordi; Nightingale, Peter; Suy, Josep; Ulrich-Oltean, Felix; Villaret, Mateu 1 2022 Efficient multi-agent epistemic planning: teaching planners about nested belief. Zbl 07443175Muise, 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.91124Emelianov, Vitalii; Gast, Nicolas; Gummadi, Krishna P.; Loiseau, Patrick 1 2022 Fast optimal and bounded suboptimal Euclidean pathfinding. Zbl 1478.68334Shen, Bojie; Cheema, Muhammad Aamir; Harabor, Daniel D.; Stuckey, Peter J. 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 Preference-based inconsistency-tolerant query answering under existential rules. Zbl 07613154Calautti, 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 07613162Deligkas, Argyrios; Filos-Ratsikas, Aris; Hollender, Alexandros 1 2022 Actions of the hyperoctahedral group to compute minimal contractors. Zbl 07613168Jaulin, Luc 1 2022 On the impact of the performance metric on efficient algorithm configuration. Zbl 07482888Hall, George T.; Oliveto, Pietro S.; Sudholt, Dirk 1 2022 Fair allocation of indivisible goods: beyond additive valuations. Zbl 07482892Ghodsi, Mohammad; HajiAghayi, MohammadTaghi; Seddighin, Masoud; Seddighin, Saeed; Yami, Hadi 1 2022 Knowledge-based programs as building blocks for planning. Zbl 07482893Baier, Jorge A.; McIlraith, Sheila A. 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 Exploration-exploitation in multi-agent learning: catastrophe theory meets game theory. Zbl 07482905Leonardos, Stefanos; Piliouras, Georgios 1 2022 Online joint bid/daily budget optimization of Internet advertising campaigns. Zbl 07505973Nuara, Alessandro; Trovò, Francesco; Gatti, Nicola; Restelli, Marcello 1 2022 Decidability and complexity of action-based temporal planning over dense time. Zbl 07505989Gigante, Nicola; Micheli, Andrea; Montanari, Angelo; Scala, Enrico 1 2022 Analyzing generalized planning under nondeterminism. Zbl 07505990Belle, Vaishak 1 2022 Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving. Zbl 07505991Linsbichler, Thomas; Maratea, Marco; Niskanen, Andreas; Wallner, Johannes P.; Woltran, Stefan 1 2022 Scheduling with complete multipartite incompatibility graph on parallel machines: complexity and algorithms. Zbl 1493.90067Pikies, Tytus; Turowski, Krzysztof; Kubale, Marek 1 2022 Result diversification by multi-objective evolutionary algorithms with theoretical guarantees. Zbl 1496.68306Qian, Chao; Liu, Dan-Xuan; Zhou, Zhi-Hua 1 2022 A tetrachotomy of ontology-mediated queries with a covering axiom. Zbl 07554486Gerasimova, Olga; Kikot, Stanislav; Kurucz, Agi; Podolskii, Vladimir; Zakharyaschev, Michael 1 2022 Priority inheritance with backtracking for iterative multi-agent path finding. Zbl 07570883Okumura, Keisuke; Machida, Manao; Défago, Xavier; Tamura, Yasumasa 1 2022 A complete classification of the complexity and rewritability of ontology-mediated queries based on the description logic \(\mathcal{EL}\). Zbl 1495.68211Lutz, Carsten; Sabellek, Leif 1 2022 Acceptance in incomplete argumentation frameworks. Zbl 1519.68244Baumeister, Dorothea; Järvisalo, Matti; Neugebauer, Daniel; Niskanen, Andreas; Rothe, Jörg 13 2021 Explaining individual predictions when features are dependent: more accurate approximations to Shapley values. Zbl 1520.68136Aas, Kjersti; Jullum, Martin; Løland, Anders 12 2021 Peeking behind the ordinal curtain: improving distortion via cardinal queries. Zbl 1521.91092Amanatidis, Georgios; Birmpas, Georgios; Filos-Ratsikas, Aris; Voudouris, Alexandros A. 9 2021 Neural probabilistic logic programming in DeepProbLog. Zbl 1520.68022Manhaeve, Robin; Dumančić, Sebastijan; Kimmig, Angelika; Demeester, Thomas; De Raedt, Luc 9 2021 Properties and interrelationships of skeptical, weakly skeptical, and credulous inference induced by classes of minimal models. Zbl 1519.68245Beierle, Christoph; Eichhorn, Christian; Kern-Isberner, Gabriele; Kutsch, Steven 7 2021 An improved approximation algorithm for maximin shares. Zbl 1521.91147Garg, Jugal; Taki, Setareh 7 2021 SAT competition 2020. Zbl 1478.68320Froleyks, Nils; Heule, Marijn; Iser, Markus; Järvisalo, Matti; Suda, Martin 6 2021 The complexity landscape of decompositional parameters for ILP: programs with few global variables and constraints. Zbl 1520.90171Dvořák, Pavel; Eiben, Eduard; Ganian, Robert; Knop, Dušan; Ordyniak, Sebastian 6 2021 Schelling games on graphs. Zbl 1481.91037Agarwal, Aishwarya; Elkind, Edith; Gan, Jiarui; Igarashi, Ayumi; Suksompong, Warut; Voudouris, Alexandros A. 5 2021 Picking sequences and monotonicity in weighted fair division. Zbl 1481.91090Chakraborty, Mithun; Schmidt-Kraepelin, Ulrike; Suksompong, Warut 5 2021 Making sense of sensory input. Zbl 1519.68214Evans, Richard; Hernández-Orallo, José; Welbl, Johannes; Kohli, Pushmeet; Sergot, Marek 5 2021 A reconstruction of multipreference closure. Zbl 1504.68210Giordano, Laura; Gliozzi, Valentina 4 2021 Protecting elections by recounting ballots. Zbl 1507.91075Elkind, Edith; Gan, Jiarui; Obraztsova, Svetlana; Rabinovich, Zinovi; Voudouris, Alexandros A. 4 2021 A survey of inverse reinforcement learning: challenges, methods and progress. Zbl 1519.68207Arora, Saurabh; Doshi, Prashant 4 2021 Fair division of mixed divisible and indivisible goods. Zbl 1521.91142Bei, Xiaohui; Li, Zihao; Liu, Jinyan; Liu, Shengxin; Lu, Xinhang 4 2021 Planning-based knowing how: a unified approach. Zbl 1519.68255Li, Yanjun; Wang, Yanjing 3 2021 Argumentative explanations for interactive recommendations. Zbl 1519.68269Rago, 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 Open-world probabilistic databases: semantics, algorithms, complexity. Zbl 1519.68068Ceylan, İsmail İlkan; Darwiche, Adnan; Van den Broeck, Guy 3 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 Acyclic orders, partition schemes and CSPs: unified hardness proofs and improved algorithms. Zbl 1519.68234Jonsson, Peter; Lagerkvist, Victor; Osipov, George 2 2021 Expecting the unexpected: goal recognition for rational and irrational agents. Zbl 1519.68235Masters, Peta; Sardina, Sebastian 2 2021 Credibility dynamics: a belief-revision-based trust model with pairwise comparisons. Zbl 1519.68289Jelenc, David; Tamargo, Luciano H.; Gottifredi, Sebastian; García, Alejandro J. 2 2021 Epistemic GDL: a logic for representing and reasoning about imperfect information games. Zbl 1519.68252Jiang, Guifei; Zhang, Dongmo; Perrussel, Laurent; Zhang, Heng 2 2021 Dynamically improved bounds bidirectional search. Zbl 1519.68238Sewell, E. C.; Jacobson, S. H. 2 2021 Game description language and dynamic epistemic logic compared. Zbl 1519.68248Engesser, Thorsten; Mattmüller, Robert; Nebel, Bernhard; Thielscher, Michael 2 2021 A lightweight epistemic logic and its application to planning. Zbl 1520.68184Cooper, Martin C.; Herzig, Andreas; Maffre, Faustine; Maris, Frédéric; Perrotin, Elise; Régnier, Pierre 2 2021 Reward is enough. Zbl 1520.68134Silver, David; Singh, Satinder; Precup, Doina; Sutton, Richard S. 2 2021 First-order rewritability of ontology-mediated queries in linear temporal logic. Zbl 1520.68182Artale, Alessandro; Kontchakov, Roman; Kovtunova, Alisa; Ryzhikov, Vladislav; Wolter, Frank; Zakharyaschev, Michael 2 2021 Incremental computation for structured argumentation over dynamic DeLP knowledge bases. Zbl 1520.68179Alfano, Gianvincenzo; Greco, Sergio; Parisi, Francesco; Simari, Gerardo I.; Simari, Guillermo R. 2 2021 Swarm intelligence for self-organized clustering. Zbl 1504.68191Thrun, Michael C.; Ultsch, Alfred 1 2021 On fair price discrimination in multi-unit markets. Zbl 1507.91087Flammini, Michele; Mauro, Manuel; Tonelli, Matteo 1 2021 Foundations of explanations as model reconciliation. Zbl 1478.68336Sreedharan, Sarath; Chakraborti, Tathagata; Kambhampati, Subbarao 1 2021 A general multi-agent epistemic planner based on higher-order belief change. Zbl 1486.68186Wan, Hai; Fang, Biqing; Liu, Yongmei 1 2021 Coalitional permutation manipulations in the Gale-Shapley algorithm. Zbl 1481.91127Shen, Weiran; Deng, Yuan; Tang, Pingzhong 1 2021 PC-SyncBB: a privacy preserving collusion secure DCOP algorithm. Zbl 1519.68242Tassa, Tamir; Grinshpoun, Tal; Yanai, Avishay 1 2021 An integrated approach to solving influence diagrams and finite-horizon partially observable decision processes. Zbl 1519.68233Hansen, Eric A. 1 2021 A semantics for hybrid probabilistic logic programs with function symbols. Zbl 1519.68040Azzolini, Damiano; Riguzzi, Fabrizio; Lamma, Evelina 1 2021 Stable fractional matchings. Zbl 1521.91244Caragiannis, Ioannis; Filos-Ratsikas, Aris; Kanellopoulos, Panagiotis; Vaish, Rohit 1 2021 New width parameters for SAT and #SAT. Zbl 1519.68168Ganian, Robert; Szeider, Stefan 1 2021 Control complexity in Borda elections: solving all open cases of offline control and some cases of online control. Zbl 1521.91091Neveling, Marc; Rothe, Jörg 1 2021 Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \). Zbl 07418675Tena Cucala, David; Cuenca Grau, Bernardo; Horrocks, Ian 1 2021 Making sense of raw input. Zbl 1520.68132Evans, Richard; Bošnjak, Matko; Buesing, Lars; Ellis, Kevin; Pfau, David; Kohli, Pushmeet; Sergot, Marek 1 2021 Deciding Koopman’s qualitative probability. Zbl 07418682Mundici, Daniele 1 2021 A framework for step-wise explaining how to solve constraint satisfaction problems. Zbl 1520.68176Bogaerts, Bart; Gamba, Emilio; Guns, Tias 1 2021 Relative inconsistency measures. Zbl 1476.68257Besnard, Philippe; Grant, John 12 2020 ...and 1471 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 16,219 Authors 76 Dubois, Didier 70 Prade, Henri M. 68 Eiter, Thomas 51 Gabbay, Dov M. 49 Schaub, Torsten H. 49 Woltran, Stefan 49 Wooldridge, Michael J. 43 Gottlob, Georg 41 Halpern, Joseph Yehuda 41 Kern-Isberner, Gabriele 40 Denœux, Thierry 39 Miranda, Enrique 38 Benferhat, Salem 36 Rothe, Jörg-Matthias 36 Simari, Guillermo Ricardo 34 Hunter, Anthony 34 Jonsson, Peter 33 Kraus, Sarit 33 Leone, Nicola 33 Liang, Jiye 32 Cooper, Martin C. 32 De Raedt, Luc 32 Yager, Ronald R. 32 Zaffalon, Marco 31 Qian, Yuhua 31 van der Hoek, Wiebe 31 Walsh, Toby 30 Dechter, Rina 30 van Ditmarsch, Hans Pieter 29 Beierle, Christoph 29 Godo, Lluís 29 Marques-Silva, João P. 29 Truszczyński, Mirosław 28 Arieli, Ofer 28 Herzig, Andreas 28 Lang, Jérôme 28 Lifschitz, Vladimir 28 Živný, Stanislav 27 Amgoud, Leila 27 Gebser, Martin 27 Lorini, Emiliano 27 Lukasiewicz, Thomas 26 de Cooman, Gert 26 Delgrande, James P. 25 Bloch, Isabelle 25 Destercke, Sébastien 25 Inoue, Katsumi 24 Grant, John R. 24 Jeavons, Peter G. 24 Lawry, Jonathan 24 Marquis, Pierre 24 Moral, Serafín 24 Ognjanović, Zoran 24 Szeider, Stefan 24 van der Torre, Leendert W. N. 23 Gagliardi Cozman, Fabio 23 Ricca, Francesco 23 Riguzzi, Fabrizio 23 Tennenholtz, Moshe 22 Alviano, Mario 22 Cabalar, Pedro 22 Denecker, Marc 22 Dunne, Paul E. 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 Jennings, Nicholas R. 21 Labreuche, Christophe 21 Levesque, Hector J. 21 Lin, Fangzhen 21 Montanari, Angelo 21 Shenoy, Prakash P. 21 Thimm, Matthias 21 Yin, Minghao 20 Baader, Franz 20 Baroni, Pietro 20 Dodaro, Carmine 20 Janhunen, Tomi 20 Lierler, Yuliya 20 Maratea, Marco 20 Pearl, Judea 20 Pino Pérez, Ramón 20 Scarcello, Francesco 20 Schockaert, Steven 20 Toni, Francesca 19 De Giacomo, Giuseppe 19 Elkind, Edith 19 García, Alejandro Javier 19 Giacomin, Massimiliano 19 Ibaraki, Toshihide 19 Li, Sanjiang 19 Sandholm, Tuomas W. 19 Straccia, Umberto 19 Stuckey, Peter James 19 Suksompong, Warut 19 Vardi, Moshe Ya’akov ...and 16,119 more Authors all top 5 Cited in 591 Journals 1,926 Artificial Intelligence 784 International Journal of Approximate Reasoning 415 Annals of Mathematics and Artificial Intelligence 397 Theoretical Computer Science 333 Information Sciences 249 European Journal of Operational Research 241 Theory and Practice of Logic Programming 240 Fuzzy Sets and Systems 208 Machine Learning 175 Journal of Automated Reasoning 173 Constraints 172 Journal of Applied Non-Classical Logics 146 Pattern Recognition 127 Studia Logica 127 Journal of Applied Logic 123 Synthese 120 Journal of Philosophical Logic 117 Journal of Computer and System Sciences 111 Computers & Operations Research 102 Annals of Operations Research 100 Information and Computation 97 Discrete Applied Mathematics 96 The Journal of Artificial Intelligence Research (JAIR) 91 Information Processing Letters 81 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 80 Algorithmica 77 Neural Computation 71 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 59 Journal of Mathematical Imaging and Vision 59 Soft Computing 55 International Journal of Intelligent Systems 54 Journal of Computer Science and Technology 53 New Generation Computing 52 Games and Economic Behavior 51 Mathematical Problems in Engineering 48 International Journal of General Systems 47 Automatica 43 Applied Mathematics and Computation 43 The Review of Symbolic Logic 40 Mathematical Social Sciences 39 ACM Transactions on Computational Logic 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 28 Theory of Computing Systems 27 Theory and Decision 27 International Journal of Applied Mathematics and Computer Science 27 Logical Methods in Computer Science 26 Erkenntnis 25 AI Communications 25 International Journal of Computer Mathematics 24 Mathematical and Computer Modelling 23 Journal of Economic Theory 23 SIAM Journal on Computing 23 Logica Universalis 23 SIAM Journal on Imaging Sciences 22 Journal of Mathematical Psychology 22 Social Choice and Welfare 22 Journal of Combinatorial Optimization 21 Kybernetika 21 Journal of Intelligent & Robotic Systems 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 Journal of Computer and Systems Sciences International 18 Computational Intelligence 18 Discrete Optimization 17 Discrete Event Dynamic Systems 17 Applied Intelligence 16 Biological Cybernetics 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 Physica A 15 The Journal of Logic and Algebraic Programming 14 Mathematics and Computers in Simulation 14 Automation and Remote Control 14 New Mathematics and Natural Computation 14 Frontiers of Computer Science 14 Journal of Logical and Algebraic Methods in Programming ...and 491 more Journals all top 5 Cited in 61 Fields 9,159 Computer science (68-XX) 2,467 Mathematical logic and foundations (03-XX) 1,532 Operations research, mathematical programming (90-XX) 1,413 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 836 Statistics (62-XX) 359 Combinatorics (05-XX) 337 Information and communication theory, circuits (94-XX) 329 Systems theory; control (93-XX) 285 Probability theory and stochastic processes (60-XX) 264 Numerical analysis (65-XX) 259 Biology and other natural sciences (92-XX) 124 Order, lattices, ordered algebraic structures (06-XX) 80 Measure and integration (28-XX) 72 Calculus of variations and optimal control; optimization (49-XX) 59 General and overarching topics; collections (00-XX) 52 General algebraic systems (08-XX) 45 Quantum theory (81-XX) 40 History and biography (01-XX) 37 Partial differential equations (35-XX) 35 Statistical mechanics, structure of matter (82-XX) 32 Dynamical systems and ergodic theory (37-XX) 32 Mechanics of particles and systems (70-XX) 29 Algebraic geometry (14-XX) 29 Ordinary differential equations (34-XX) 29 Convex and discrete geometry (52-XX) 26 General topology (54-XX) 24 Geometry (51-XX) 22 Commutative algebra (13-XX) 22 Real functions (26-XX) 20 Linear and multilinear algebra; matrix theory (15-XX) 17 Fluid mechanics (76-XX) 16 Differential geometry (53-XX) 15 Category theory; homological algebra (18-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) 9 Number theory (11-XX) 9 Approximations and expansions (41-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) 5 Manifolds and cell complexes (57-XX) 5 Relativity and gravitational theory (83-XX) 4 Harmonic analysis on Euclidean spaces (42-XX) 3 Functions of a complex variable (30-XX) 3 Abstract harmonic analysis (43-XX) 3 Astronomy and astrophysics (85-XX) 3 Mathematics education (97-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