×

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

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,638 more Authors

Publications by Year

Citations contained in zbMATH Open

2,042 Publications have been cited 28,186 times in 12,782 Documents Cited by Year
A logic for default reasoning. Zbl 0435.68069
Reiter, R.
579
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
490
1995
Nonmonotonic reasoning, preferential models and cumulative logics. Zbl 0782.03012
Kraus, Sarit; Lehmann, Daniel; Magidor, Menachem
395
1990
Circumscription - a form of non-monotonic reasoning. Zbl 0435.68073
McCarthy, John
306
1980
Default reasoning and possibility theory. Zbl 0645.68108
Dubois, Didier; Prade, Henri
274
1988
The transferable belief model. Zbl 0807.68087
Smets, Philippe; Kennes, Robert
274
1994
Probabilistic logic. Zbl 0589.03007
Nilsson, Nils J.
243
1986
Consistency in networks of relations. Zbl 0341.68061
Mackworth, Alan K.
240
1977
Wrappers for feature subset selection. Zbl 0904.68143
Kohavi, Ron; John, George H.
239
1997
A theory of diagnosis from first principles. Zbl 0643.68122
Reiter, Raymond
233
1987
STRIPS: A new approach to the application of theorem proving to problem solving. Zbl 0234.68036
Fikes, Richard E.; Nilsson, Nils J.
203
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.
183
1988
Propositional knowledge base revision and minimal change. Zbl 0792.68182
Katsuno, Hirofumi; Mendelzon, Alberto O.
176
1991
A guide to completeness and complexity for modal logics of knowledge and belief. Zbl 0762.68029
Halpern, Joseph Y.; Moses, Yoram
160
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.
156
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
153
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
133
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
Diagnosing multiple faults. Zbl 0642.94045
de Kleer, Johan; Williams, Brian C.
116
1987
Determining optical flow. Zbl 1497.68488
Horn, Berthold K. P.; Schunck, Brian G.
115
1981
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.
113
1997
Conflict-driven answer set solving: from theory to practice. Zbl 1251.68060
Gebser, Martin; Kaufmann, Benjamin; Schaub, Torsten
106
2012
A mathematical treatment of defeasible reasoning and its implementation. Zbl 1193.68238
Simari, Guillermo R.; Loui, Ronald P.
98
1992
Selection of relevant features and examples in machine learning. Zbl 0904.68142
Blum, Avrim L.; Langley, Pat
97
1997
An analysis of first-order logics of probability. Zbl 0723.03007
Halpern, Joseph Y.
94
1990
Attributive concept descriptions with complements. Zbl 0712.68095
Schmidt-Schauß, Manfred; Smolka, Gert
93
1991
Uncertainty measures of rough set prediction. Zbl 0909.68040
Düntsch, Ivo; Gediga, Günther
89
1998
Towards a general theory of action and time. Zbl 0567.68025
Allen, James F.
89
1984
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
The value of the four values. Zbl 0928.03025
Arieli, Ofer; Avron, Arnon
82
1998
Fast planning through planning graph analysis. Zbl 1017.68533
Blum, Avrim L.; Furst, Merrick L.
82
1997
The computational complexity of propositional STRIPS planning. Zbl 0821.68065
Bylander, Tom
81
1994
A logic-based theory of deductive arguments. Zbl 0971.68143
Besnard, P.; Hunter, A.
80
2001
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.
74
1999
Computing ideal sceptical argumentation. Zbl 1168.68564
Dung, P. M.; Mancarella, P.; Toni, F.
74
2007
All I know: A study in autoepistemic logic. Zbl 0724.03019
Levesque, Hector J.
73
1990
Combining answer set programming with description logics for the semantic web. Zbl 1183.68595
Eiter, Thomas; Ianni, Giovambattista; Lukasiewicz, Thomas; Schindlauer, Roman; Tompits, Hans
73
2008
The independent choice logic for modelling multiple agents under uncertainty. Zbl 0902.03017
Poole, David
72
1997
Credal networks. Zbl 0945.68163
Cozman, F. G.
71
2000
Intention is choice with commitment. Zbl 0721.03017
Cohen, Philip R.; Levesque, Hector J.
70
1990
Answer set programming and plan generation. Zbl 0995.68020
Lifschitz, Vladimir
69
2002
Planning as heuristic search. Zbl 0971.68146
Bonet, B.; Geffner, H.
69
2001
On the complexity of propositional knowledge base revision, updates, and counterfactuals. Zbl 0763.68038
Eiter, Thomas; Gottlob, Georg
69
1992
Drift analysis and average time complexity of evolutionary algorithms. Zbl 0971.68129
He, Jun; Yao, Xin
67
2001
Nonmonotonic causal theories. Zbl 1085.68161
Giunchiglia, Enrico; Lee, Joohyung; Lifschitz, Vladimir; McCain, Norman; Turner, Hudson
67
2004
Solving the multiple instance problem with axis-parallel rectangles. Zbl 1042.68650
Dietterich, Thomas G.; Lathrop, Richard H.; Lozano-Pérez, Tomás
67
1997
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
Constraints, consistency and closure. Zbl 0909.68076
Jeavons, Peter; Cohen, David; Cooper, Martin C.
64
1998
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
64
1992
Nonmonotonic inference based on expectations. Zbl 0803.68125
Gärdenfors, Peter; Makinson, David
64
1994
Explanation in artificial intelligence: insights from the social sciences. Zbl 1478.68274
Miller, Tim
64
2019
Qualitative simulation. Zbl 0624.68098
Kuipers, Benjamin
63
1986
Conjunctive and disjunctive combination of belief functions induced by nondistinct bodies of evidence. Zbl 1182.68298
Denœux, Thierry
63
2008
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
Reasoning about preferences in argumentation frameworks. Zbl 1192.68663
Modgil, Sanjay
61
2009
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
Approximating probabilistic inference in Bayesian belief networks is NP- hard. Zbl 0781.68105
Dagum, Paul; Luby, Michael
59
1993
Conditional entailment: bridging two approaches to default reasoning. Zbl 1193.68235
Geffner, Hector; Pearl, Judea
58
1992
Conditional logics of normality: A modal approach. Zbl 0811.68114
Boutilier, Craig
58
1994
On the hardness of approximate reasoning. Zbl 1506.68143
Roth, Dan
57
1996
A comparison of structural CSP decomposition methods. Zbl 0952.68044
Gottlob, G.; Leone, N.; Scarcello, F.
56
2000
Semantics and complexity of recursive aggregates in answer set programming. Zbl 1216.68263
Faber, Wolfgang; Pfeifer, Gerald; Leone, Nicola
56
2011
Ensembling neural networks: Many could be better than all. Zbl 0995.68077
Zhou, Zhi-Hua; Wu, Jianxin; Tang, Wei
55
2002
A general account of argumentation with preferences. Zbl 1270.68284
Modgil, Sanjay; Prakken, Henry
55
2013
Top-down induction of first-order logical decision trees. Zbl 0909.68034
Blockeel, Hendrik; de Raedt, Luc
54
1998
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
Bayesian and non-Bayesian evidential updating. Zbl 0622.68069
Kyburg, Henry E. jun.
53
1987
Measures of uncertainty in expert systems. Zbl 1506.68157
Walley, Peter
53
1996
Linear resolution with selection function. Zbl 0234.68037
Kowalski, Robert; Kuehner, Donald
53
1971
On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus. Zbl 0914.68160
Renz, Jochen; Nebel, Bernhard
52
1999
Coherence in finite argument systems. Zbl 1043.68098
Dunne, Paul E.; Bench-Capon, T. J. M.
52
2002
Constraint propagation with interval labels. Zbl 0642.68176
Davis, Ernest
52
1987
Qualitative probabilities for default reasoning, belief revision, and causal modeling. Zbl 1497.68457
Goldszmidt, Moisés; Pearl, Judea
52
1996
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
51
1998
Refutational theorem proving using term-rewriting systems. Zbl 0558.68072
Hsiang, Jieh
51
1985
Nonmonotonic reasoning, conditional objects and possibility theory. Zbl 1017.68539
Benferhat, Salem; Dubois, Didier; Prade, Henri
50
1997
Real-time heuristic search. Zbl 0718.68082
Korf, Richard E.
50
1990
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
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
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
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
Strategyproof allocation mechanisms with endowments and M-convex distributional constraints. Zbl 07638299
Suzuki, Takamasa; Tamura, Akihisa; Yahiro, Kentaro; Yokoo, Makoto; Zhang, Yuzhe
1
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
Reasoning about causality in games. Zbl 07702955
Hammond, Lewis; Fox, James; Everitt, Tom; Carey, Ryan; Abate, Alessandro; Wooldridge, Michael
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
Envy-free allocations respecting social networks. Zbl 07505974
Bredereck, Robert; Kaczmarczyk, Andrzej; Niedermeier, Rolf
6
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
Analyzing differentiable fuzzy logic operators. Zbl 1490.68233
van Krieken, Emile; Acar, Erman; van Harmelen, Frank
4
2022
Evaluation of argument strength in attack graphs: foundations and semantics. Zbl 1478.68339
Amgoud, Leila; Doder, Dragan; Vesic, Srdjan
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.
3
2022
Logical separability of labeled data examples under ontologies. Zbl 07613163
Jung, Jean Christoph; Lutz, Carsten; Pulcini, Hadrien; Wolter, Frank
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
Margin of victory for tournament solutions. Zbl 1481.91074
Brill, Markus; Schmidt-Kraepelin, Ulrike; Suksompong, Warut
3
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
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
Logic tensor networks. Zbl 07482899
Badreddine, Samy; d’Avila Garcez, Artur; Serafini, Luciano; Spranger, Michael
2
2022
An efficient algorithm for counting Markov equivalent DAGs. Zbl 07482901
Ganian, Robert; Hamm, Thekla; Talvitie, Topi
2
2022
Mind the gap: cake cutting with separation. Zbl 07613161
Elkind, Edith; Segal-Halevi, Erel; Suksompong, Warut
2
2022
The metric distortion of multiwinner voting. Zbl 07613172
Caragiannis, Ioannis; Shah, Nisarg; Voudouris, Alexandros A.
2
2022
Multi-agent pathfinding with continuous time. Zbl 07505972
Andreychuk, Anton; Yakovlev, Konstantin; Surynek, Pavel; Atzmon, Dor; Stern, Roni
2
2022
The distortion of distributed metric social choice. Zbl 1503.91058
Anshelevich, Elliot; Filos-Ratsikas, Aris; Voudouris, Alexandros A.
2
2022
An action language for multi-agent domains. Zbl 1481.68044
Baral, Chitta; Gelfond, Gregory; Pontelli, Enrico; Son, Tran Cao
2
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
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
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
Choice logics and their computational properties. Zbl 07596156
Bernreiter, Michael; Maly, Jan; Woltran, Stefan
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
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
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
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
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
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
Acceptance in incomplete argumentation frameworks. Zbl 1519.68244
Baumeister, 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.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.
9
2021
Neural probabilistic logic programming in DeepProbLog. Zbl 1520.68022
Manhaeve, 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.68245
Beierle, Christoph; Eichhorn, Christian; Kern-Isberner, Gabriele; Kutsch, Steven
7
2021
An improved approximation algorithm for maximin shares. Zbl 1521.91147
Garg, Jugal; Taki, Setareh
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
SAT competition 2020. Zbl 1478.68320
Froleyks, Nils; Heule, Marijn; Iser, Markus; Järvisalo, Matti; Suda, Martin
7
2021
Schelling games on graphs. Zbl 1481.91037
Agarwal, Aishwarya; Elkind, Edith; Gan, Jiarui; Igarashi, Ayumi; Suksompong, Warut; Voudouris, Alexandros A.
6
2021
Making sense of sensory input. Zbl 1519.68214
Evans, Richard; Hernández-Orallo, José; Welbl, Johannes; Kohli, Pushmeet; Sergot, Marek
5
2021
Picking sequences and monotonicity in weighted fair division. Zbl 1481.91090
Chakraborty, Mithun; Schmidt-Kraepelin, Ulrike; Suksompong, Warut
5
2021
Planning-based knowing how: a unified approach. Zbl 1519.68255
Li, Yanjun; Wang, Yanjing
4
2021
A survey of inverse reinforcement learning: challenges, methods and progress. Zbl 1519.68207
Arora, Saurabh; Doshi, Prashant
4
2021
Fair division of mixed divisible and indivisible goods. Zbl 1521.91142
Bei, Xiaohui; Li, Zihao; Liu, Jinyan; Liu, Shengxin; Lu, Xinhang
4
2021
A reconstruction of multipreference closure. Zbl 1504.68210
Giordano, Laura; Gliozzi, Valentina
4
2021
Protecting elections by recounting ballots. Zbl 1507.91075
Elkind, Edith; Gan, Jiarui; Obraztsova, Svetlana; Rabinovich, Zinovi; Voudouris, Alexandros A.
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
Open-world probabilistic databases: semantics, algorithms, complexity. Zbl 1519.68068
Ceylan, İsmail İlkan; Darwiche, Adnan; Van den Broeck, Guy
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
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
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
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
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
2
2021
PC-SyncBB: a privacy preserving collusion secure DCOP algorithm. Zbl 1519.68242
Tassa, Tamir; Grinshpoun, Tal; Yanai, Avishay
1
2021
An integrated approach to solving influence diagrams and finite-horizon partially observable decision processes. Zbl 1519.68233
Hansen, Eric A.
1
2021
A semantics for hybrid probabilistic logic programs with function symbols. Zbl 1519.68040
Azzolini, Damiano; Riguzzi, Fabrizio; Lamma, Evelina
1
2021
Stable fractional matchings. Zbl 1521.91244
Caragiannis, Ioannis; Filos-Ratsikas, Aris; Kanellopoulos, Panagiotis; Vaish, Rohit
1
2021
New width parameters for SAT and #SAT. Zbl 1519.68168
Ganian, 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.91091
Neveling, Marc; Rothe, Jörg
1
2021
Pay-as-you-go consequence-based reasoning for the description logic \(\mathcal{SROIQ} \). Zbl 1522.68532
Tena Cucala, David; Cuenca Grau, Bernardo; Horrocks, Ian
1
2021
...and 1460 more Documents
all top 5

Cited by 16,477 Authors

76 Dubois, Didier
70 Prade, Henri M.
69 Eiter, Thomas
51 Gabbay, Dov M.
51 Schaub, Torsten H.
50 Woltran, Stefan
49 Wooldridge, Michael J.
43 Gottlob, Georg
41 Halpern, Joseph Yehuda
41 Kern-Isberner, Gabriele
40 Denœux, Thierry
40 Miranda, Enrique
38 Benferhat, Salem
37 Rothe, Jörg-Matthias
36 Simari, Guillermo Ricardo
34 De Raedt, Luc
34 Hunter, Anthony
34 Jonsson, Peter
34 Kraus, Sarit
33 Cooper, Martin C.
33 Leone, Nicola
33 Liang, Jiye
33 Zaffalon, Marco
32 Qian, Yuhua
32 Yager, Ronald R.
31 van der Hoek, Wiebe
31 Walsh, Toby
30 Dechter, Rina
30 van Ditmarsch, Hans Pieter
29 Beierle, Christoph
29 Godo, Lluís
29 Lifschitz, Vladimir
29 Marques-Silva, João P.
29 Truszczyński, Mirosław
28 Arieli, Ofer
28 Herzig, Andreas
28 Lang, Jérôme
28 Lorini, Emiliano
28 Živný, Stanislav
27 Amgoud, Leila
27 Delgrande, James P.
27 Gebser, Martin
27 Lukasiewicz, Thomas
26 de Cooman, Gert
25 Bloch, Isabelle
25 Destercke, Sébastien
25 Inoue, Katsumi
25 Jeavons, Peter G.
25 Ognjanović, Zoran
25 Szeider, Stefan
25 van der Torre, Leendert W. N.
24 Doerr, Benjamin
24 Grant, John R.
24 Lawry, Jonathan
24 Marquis, Pierre
24 Moral, Serafín
24 Riguzzi, Fabrizio
23 Cabalar, Pedro
23 Gagliardi Cozman, Fabio
23 Ricca, Francesco
23 Tennenholtz, Moshe
22 Alviano, Mario
22 Baader, Franz
22 Denecker, Marc
22 Dunne, Paul E.
22 Fargier, Hélène
22 Greco, Gianluigi
22 Jaulin, Luc
22 Marek, V. Wiktor
22 Montanari, Angelo
22 Subrahmanian, V. S.
21 Baral, Chitta R.
21 Besnard, Philippe
21 Janhunen, Tomi
21 Jennings, Nicholas R.
21 Labreuche, Christophe
21 Levesque, Hector J.
21 Lierler, Yuliya
21 Lin, Fangzhen
21 Shenoy, Prakash P.
21 Thimm, Matthias
21 Yin, Minghao
20 Baroni, Pietro
20 Dodaro, Carmine
20 Fandinno, Jorge
20 Maratea, Marco
20 Pearl, Judea
20 Pino Pérez, Ramón
20 Scarcello, Francesco
20 Schockaert, Steven
20 Suksompong, Warut
20 Toni, Francesca
20 You, Jia-Huai
19 Bessiere, Christian
19 Cohen, David A.
19 De Giacomo, Giuseppe
19 Elkind, Edith
19 Faber, Wolfgang
19 García, Alejandro Javier
19 Giacomin, Massimiliano
...and 16,377 more Authors
all top 5

Cited in 600 Journals

1,941 Artificial Intelligence
788 International Journal of Approximate Reasoning
415 Annals of Mathematics and Artificial Intelligence
397 Theoretical Computer Science
358 Information Sciences
261 Theory and Practice of Logic Programming
249 European Journal of Operational Research
240 Fuzzy Sets and Systems
208 Machine Learning
177 Constraints
175 Journal of Automated Reasoning
172 Journal of Applied Non-Classical Logics
146 Pattern Recognition
136 Synthese
127 Studia Logica
127 Journal of Applied Logic
121 Journal of Philosophical Logic
118 Journal of Computer and System Sciences
111 Computers & Operations Research
102 Information and Computation
102 Annals of Operations Research
98 Discrete Applied Mathematics
96 The Journal of Artificial Intelligence Research (JAIR)
91 Information Processing Letters
88 Algorithmica
81 JETAI. Journal of Experimental & Theoretical Artificial Intelligence
77 Neural Computation
72 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
54 Games and Economic Behavior
53 New Generation Computing
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
29 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 The Journal of Logic and Algebraic Programming
14 Physica A
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 500 more Journals
all top 5

Cited in 61 Fields

9,275 Computer science (68-XX)
2,486 Mathematical logic and foundations (03-XX)
1,549 Operations research, mathematical programming (90-XX)
1,435 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
860 Statistics (62-XX)
378 Combinatorics (05-XX)
339 Information and communication theory, circuits (94-XX)
333 Systems theory; control (93-XX)
288 Probability theory and stochastic processes (60-XX)
269 Numerical analysis (65-XX)
263 Biology and other natural sciences (92-XX)
125 Order, lattices, ordered algebraic structures (06-XX)
81 Measure and integration (28-XX)
72 Calculus of variations and optimal control; optimization (49-XX)
61 General and overarching topics; collections (00-XX)
52 General algebraic systems (08-XX)
46 Quantum theory (81-XX)
40 History and biography (01-XX)
38 Partial differential equations (35-XX)
34 Statistical mechanics, structure of matter (82-XX)
33 Dynamical systems and ergodic theory (37-XX)
32 Mechanics of particles and systems (70-XX)
31 Convex and discrete geometry (52-XX)
30 Ordinary differential equations (34-XX)
29 Algebraic geometry (14-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)
18 Fluid mechanics (76-XX)
16 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)
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)
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