×

The Journal of Artificial Intelligence Research (JAIR)

Short Title: J. Artif. Intell. Res. (JAIR)
Publisher: Morgan Kaufmann Publishers, San Francisco, CA
ISSN: 1076-9757
Online: https://www.jair.org/index.php/jair
Comments: Indexed cover-to-cover; This journal is available open access.
Documents Indexed: 1,278 Publications (since 1993)
References Indexed: 215 Publications with 11,795 References.
all top 5

Authors

19 Hoffmann, Jörg
18 Halpern, Joseph Yehuda
14 Jennings, Nicholas R.
12 Domshlak, Carmel
11 Brafman, Ronen I.
11 Tennenholtz, Moshe
10 Felner, Ariel
10 Horrocks, Ian
9 Darwiche, Adnan
9 Dechter, Rina
9 Faliszewski, Piotr
9 Jonsson, Peter A.
9 Long, Derek
9 Markovitch, Shaul
9 Zilberstein, Shlomo
8 Beck, J. Christopher
8 Cai, Shaowei
8 Cuenca Grau, Bernardo
8 Fox, Maria
8 Haslum, Patrik
8 Tambe, Milind
7 Delgrande, James P.
7 Faltings, Boi Volkert
7 Ginsberg, Matthew L.
7 Knoblock, Craig A.
7 Procaccia, Ariel D.
7 Woltran, Stefan
6 Bäckström, Christer
6 Barzilay, Regina
6 Eiter, Thomas
6 Elkind, Edith
6 Fern, Alan P.
6 Geffner, Hector
6 Jonsson, Anders
6 Lapata, Mirella
6 Lutz, Carsten
6 Motik, Boris
6 Pineau, Joelle
6 Spaan, Matthijs T. J.
6 Stern, Roni
6 Szeider, Stefan
6 Zhang, Yan
5 Botea, Adi
5 Brandt, Felix
5 Bulitko, Vadim
5 Cohen, William W.
5 Conitzer, Vincent
5 Cooper, Martin C.
5 Doshi, Prashant
5 Durfee, Edmund H.
5 El-Yaniv, Ran
5 Fukunaga, Alex S.
5 Gent, Ian Philip
5 Goldsmith, Judy
5 Guestrin, Carlos
5 Helmert, Malte
5 Hemaspaandra, Edith
5 Hemaspaandra, Lane A.
5 Hutter, Frank
5 Järvisalo, Matti
5 Kaelbling, Leslie Pack
5 Kochenderfer, Mykel J.
5 Lang, Jérôme
5 Liberatore, Paolo
5 Niedermeier, Rolf
5 Nisan, Noam
5 Rosenschein, Jeffrey S.
5 Ruml, Wheeler
5 Stuckey, Peter James
5 Truszczyński, Mirosław
5 Walker, Marilyn A.
5 Wellman, Michael P.
5 Wolter, Frank
5 Yeoh, William
5 Zivan, Roie
4 Amato, Christopher
4 Aziz, Haris
4 Bachrach, Yoram
4 Baier, Jorge A.
4 Bonet, Blai
4 Boutilier, Craig
4 Bredereck, Robert
4 Burns, Ethan
4 Calvanese, Diego
4 Cashmore, Michael
4 Costa-Jussà, Marta R.
4 Culberson, Joseph C.
4 Denecker, Marc
4 Dietterich, Thomas G.
4 Donini, Francesco M.
4 Endriss, Ulle
4 Flammini, Michele
4 Givan, Robert L.
4 Glimm, Birte
4 Greco, Gianluigi
4 Grinshpoun, Tal
4 Holte, Robert C.
4 Hoos, Holger H.
4 Kash, Ian A.
4 Khardon, Roni
...and 2,386 more Authors

Publications by Year

Citations contained in zbMATH Open

879 Publications have been cited 6,657 times in 4,502 Documents Cited by Year
SMOTE: Synthetic minority over-sampling technique. Zbl 0994.68128
Chawla, N. V.; Bowyer, K. W.; Hall, L. O.; Kegelmeyer, W. P.
143
2002
A knowledge compilation map. Zbl 1045.68131
Darwiche, A.; Marquis, P.
101
2002
CP-nets: a tool for representing and reasoning with conditional ceteris paribus preference statements. Zbl 1080.68685
Boutilier, Craig; Brafman, Ronen I.; Domshlak, Carmel; Hoos, Holger H.; Poole, David
92
2004
Solving multiclass learning problems via error-correcting output codes. Zbl 0900.68358
Dietterich, T. G.; Bakiri, G.
86
1995
SATzilla: portfolio-based algorithm selection for SAT. Zbl 1182.68272
Xu, L.; Hutter, F.; Hoos, H. H.; Leyton-Brown, K.
72
2008
The FF planning system: Fast plan generation through heuristic search. Zbl 0970.68044
Hoffmann, J.; Nebel, B.
71
2001
Paramils: an automatic algorithm configuration framework. Zbl 1192.68831
Hutter, F.; Hoos, H. H.; Leyton-Brown, K.; Stuetzle, T.
67
2009
Active learning with statistical models. Zbl 0900.68366
Cohn, D. A.; Ghahramani, Z.; Jordan, M. I.
66
1996
Llull and Copeland voting computationally resist bribery and constructive control. Zbl 1180.91091
Faliszewski, P.; Hemaspaandra, E.; Hemaspaandra, L. A.; Rothe, J.
64
2009
Towards understanding and harnessing the potential of clause learning. Zbl 1080.68651
Beame, Paul; Kautz, Henry; Sabharwal, Ashish
62
2004
The fast downward planning system. Zbl 1182.68245
Helmert, M.
57
2006
PDDL2.1: An extension to PDDL for expressing temporal planning domains. Zbl 1036.68093
Fox, M.; Long, D.
55
2003
Learning to order things. Zbl 0915.68031
Cohen, W. W.; Schapire, R. E.; Singer, Y.
53
1999
How hard is bribery in elections? Zbl 1180.91090
Faliszewski, P.; Hemaspaandra, E.; Hemaspaandra, L. A.
52
2009
Dynamic backtracking. Zbl 0900.68179
Ginsberg, M. L.
50
1993
Adaptive submodularity: theory and applications in active learning and stochastic optimization. Zbl 1230.90141
Golovin, D.; Krause, A.
50
2011
The DL-Lite family and relations. Zbl 1192.68657
Artale, A.; Calvanese, D.; Kontchakov, R.; Zakharyaschev, M.
48
2009
Decision-theoretic planning: Structural assumptions and computational leverage. Zbl 0918.68110
Boutilier, C.; Dean, T.; Hanks, S.
47
1999
Computationally feasible VCG mechanisms. Zbl 1165.91387
Nisan, N.; Ronen, A.
46
2007
Reasoning within fuzzy description logics. Zbl 0973.03034
Straccia, U.
45
2001
Exploiting causal independence in Bayesian network inference. Zbl 0900.68384
Zhang, N. L.; Poole, D.
44
1996
Pure Nash equilibria: hard and easy games. Zbl 1134.91312
Gottlob, G.; Greco, G.; Scarcello, F.
41
2005
Exact phase transitions in random constraint satisfaction problems. Zbl 0940.68099
Xu, K.; Li, Wei
41
2000
Propositional independence – formula-variable independence and forgetting. Zbl 1056.68112
Lang, J.; Liberatore, P.; Marquis, P.
40
2003
Parameter learning of logic programs for symbolic-statistical modeling. Zbl 0994.68025
Sato, T.; Kameya, Y.
38
2001
Popular ensemble methods: An empirical study. Zbl 0924.68159
Opitz, D.; Maclin, R.
38
1999
Improved use of continuous attributes in C4. 5. Zbl 0900.68112
Quinlan, J. R.
36
1996
Improved heterogeneous distance functions. Zbl 0894.68118
Wilson, D. R.; Martinez, T. R.
35
1997
A system for induction of oblique decision trees. Zbl 0900.68335
Murthy, S. K.; Kasif, S.; Salzberg, S.
34
1994
Hierarchical reinforcement learning with the MAXQ value function decomposition. Zbl 0963.68085
Dietterich, T. G.
34
2000
Change in abstract argumentation frameworks: adding an argument. Zbl 1191.68480
Cayrol, C.; de Saint-Cyr, F. Dupin; Lagasquie-Schiex, M.
33
2010
Dynamic local search for the maximum clique problem. Zbl 1182.68065
Pullan, W.; Hoos, H. H.
31
2006
Taming the infinite chase: query answering under expressive relational constraints. Zbl 1361.68221
Calí, Andrea; Gottlob, Georg; Kifer, Michael
30
2013
A model of inductive bias learning. Zbl 0940.68106
Baxter, J.
30
2000
Constructing conditional plans by a theorem-prover. Zbl 0916.68139
Rintanen, J.
30
1999
Determining possible and necessary winners given partial orders. Zbl 1218.91040
Xia, L.; Conitzer, V.
28
2011
The computational complexity of probabilistic planning. Zbl 0903.68100
Littman, M. L.; Goldsmith, J.; Mundhenk, M.
28
1998
Infinite-horizon policy-gradient estimation. Zbl 0994.68119
Baxter, J.; Bartlett, P. L.
27
2001
AntNet: Distributed stigmergetic control for communications networks. Zbl 0910.68182
Di Caro, G.; Dorigo, M.
27
1998
Complexity results and approximation strategies for MAP explanations. Zbl 1080.68689
Park, James D.; Darwiche, Adnan
26
2004
Clause/Term resolution and learning in the evaluation of quantified Boolean formulas. Zbl 1183.68475
Giunchiglia, E.; Narizzano, M.; Tacchella, A.
26
2006
Optimal value of information in graphical models. Zbl 1192.68645
Krause, A.; Guestrin, C.
25
2009
Admissible and restrained revision. Zbl 1182.68284
Booth, R.; Meyer, T.
25
2006
New inference rules for Max-SAT. Zbl 1182.68254
Li, C. M.; Manya, F.; Planes, J.
25
2007
Squeaky wheel optimization. Zbl 0918.90120
Joslin, D. E.; Clements, D. P.
25
1999
Randomized algorithms for the loop cutset problem. Zbl 0947.68138
Becker, A.; Bar-Yehuda, R.; Geiger, D.
25
2000
Efficient solution algorithms for factored MDPs. Zbl 1026.68125
Guestrin, C.; Koller, D.; Parr, R.; Venkataraman, S.
24
2003
Planning through stochastic local search and temporal action graphs in LPG. Zbl 1058.68103
Gerevini, A.; Saetti, A.; Serina, I.
24
2003
Graduality in argumentation. Zbl 1080.68608
Cayrol, C.; Lagasquie-Schiex, M. C.
24
2005
Multimode control attacks on elections. Zbl 1242.91055
Faliszewski, Piotr; Hemaspaandra, Edith; Hemaspaandra, Lane A.
24
2011
Junta distributions and the average-case complexity of manipulating elections. Zbl 1165.91362
Procaccia, A. D.; Rosenschein, J. S.
24
2007
Stackelberg vs. Nash in security games: an extended investigation of interchangeability, equivalence, and uniqueness. Zbl 1219.91032
Korzhyk, D.; Yin, Z.; Kiekintveld, C.; Conitzer, V.; Tambe, M.
23
2011
Reasoning with very expressive fuzzy description logics. Zbl 1182.68292
Stoilos, G.; Stamou, G.; Pan, J. Z.; Tzouvaras, V.; Horrocks, I.
23
2007
Minimaxsat: an efficient weighted Max-SAT solver. Zbl 1183.68578
Heras, F.; Larrosa, J.; Oliveras, A.
23
2008
Can we learn to beat the best stock. Zbl 1076.91015
Borodin, Allan; El-Yaniv, Ran; Gogan, Vincent
22
2004
From frequency to meaning: vector space models of semantics. Zbl 1185.68765
Turney, Peter D.; Pantel, Patrick
22
2010
Decidable reasoning in terminological knowledge representation systems. Zbl 0900.68396
Buchheit, M.; Donini, F. M.; Schaerf, A.
22
1993
Identifying hierarchical structure in sequences: A linear-time algorithm. Zbl 0894.68072
Nevill-Manning, C. G.; Witten, I. H.
22
1997
Modular reuse of ontologies: theory and practice. Zbl 1183.68479
Cuenca Grau, B.; Horrocks, I.; Kazakov, Y.; Sattler, U.
22
2008
Efficiency and envy-freeness in fair division of indivisible goods: logical representation and complexity. Zbl 1183.68570
Bouveret, S.; Lang, J.
22
2008
Complexity of strategic behavior in multi-winner elections. Zbl 1165.91361
Meir, R.; Procaccia, A. D.; Rosenschein, J. S.; Zohar, Aviv
22
2008
On the computation of fully proportional representation. Zbl 1269.68057
Betzler, Nadja; Slinko, Arkadii; Uhlmann, Johannes
22
2013
Modularity aspects of disjunctive stable models. Zbl 1192.68129
Janhunen, T.; Oikarinen, E.; Tompits, H.; Woltran, S.
21
2009
Defining relative likelihood in partially-ordered preferential structures. Zbl 0895.03010
Halpern, Joseph Y.
21
1997
Conjunctive query answering for the description logic SHIQ. Zbl 1183.68244
Glimm, B.; Lutz, C.; Horrocks, I.; Sattler, U.
21
2008
Bayesian optimization in a billion dimensions via random embeddings. Zbl 1358.90089
Wang, Ziyu; Hutter, Frank; Zoghi, Masrour; Matheson, David; de Feitas, Nando
20
2016
Responsibility and blame: a structural-model approach. Zbl 1080.68680
Chockler, Hana; Halpern, Joseph Y.
20
2004
Clause-learning algorithms with many restarts and bounded-width resolution. Zbl 1214.68340
Atserias, A.; Fichte, J. K.; Thurley, M.
20
2011
Complexity of judgment aggregation. Zbl 1253.68298
Endriss, Ulle; Grandi, Umberto; Porello, Daniele
20
2012
Probabilistic deduction with conditional constraints over basic events. Zbl 0914.68178
Lukasiewicz, Thomas
20
1999
The 3rd international planning competition: Results and analysis. Zbl 1036.68097
Long, D.; Fox, M.
19
2003
The complexity of circumscription in DLs. Zbl 1182.68275
Bonatti, P. A.; Lutz, C.; Wolter, F.
19
2009
Hypertableau reasoning for description logics. Zbl 1192.68664
Motik, B.; Shearer, R.; Horrocks, I.
19
2009
A market-oriented programming environment and its application to distributed multicommodity flow problems. Zbl 0900.90089
Wellman, M. P.
19
1993
Efficient computation of the Shapley value for game-theoretic network centrality. Zbl 1280.91035
Michalak, Tomasz P.; Aadithya, Karthik V.; Szczepanski, Piotr L.; Ravindran, Balaraman; Jennings, Nicholas R.
19
2013
Solving #SAT and Bayesian inference with backtracking search. Zbl 1182.68294
Bacchus, F.; Dalmao, S.; Pitassi, T.
19
2009
Value-function approximations for partially observable Markov decision processes. Zbl 0946.68131
Hauskrecht, M.
19
2000
Translating between Horn representations and their characteristic models. Zbl 0900.68197
Khardon, R.
18
1995
Auctions with severely bounded communication. Zbl 1165.91376
Blumrosen, L.; Nisan, N.; Segal, I.
18
2007
Unifying class-based representation formalisms. Zbl 0924.68184
Calvanese, D.; Lenzerini, M.; Nardi, D.
18
1999
Exploiting contextual independence in probabilistic inference. Zbl 1056.68144
Poole, D.; Zhang, N. L.
17
2003
Additive pattern database heuristics. Zbl 1080.68662
Felner, Ariel; Korf, Richard E.; Hanan, Sarit
17
2004
Perseus: randomized point-based value iteration for POMDPs. Zbl 1080.68674
Spaan, M. T. J.; Vlassis, N.
17
2005
Random worlds and maximum entropy. Zbl 0900.68398
Grove, A. J.; Halpern, J. Y.; Koller, D.
17
1994
Conformant planning via symbolic model checking. Zbl 0963.68195
Cimatti, A.; Roveri, M.
17
2000
The complexity of reasoning with cardinality restrictions and nominals in expressive description logics. Zbl 0941.03029
Tobies, S.
17
2000
Identifying mislabeled training data. Zbl 0924.68158
Brodley, C. E.; Friedl, M. A.
17
1999
Axiomatizing causal reasoning. Zbl 0943.68016
Halpern, J. Y.
17
2000
Efficient implementation of the plan graph in STAN. Zbl 0914.68180
Long, Derek; Fox, Maria
17
1999
Issues in stacked generalization. Zbl 0915.68075
Ting, K. M.; Witten, I. H.
17
1999
Learning explanatory rules from noisy data. Zbl 1426.68235
Evans, Richard; Grefenstette, Edward
16
2018
Updating probabilities. Zbl 1076.68579
Grunwald, P. D.; Halpern, J. Y.
16
2003
Conservative inference rule for uncertain reasoning under incompleteness. Zbl 1192.68690
Zaffalon, M.; Miranda, E.
16
2009
A complete classification of tractability in RCC-5. Zbl 0894.68096
Jonsson, P.; Drakengren, T.
16
1997
Domain filtering consistencies. Zbl 0970.68125
Debruyne, R.; Bessiere, C.
16
2001
Automated search for impossibility theorems in social choice theory: ranking sets of objects. Zbl 1214.68382
Geist, C.; Endriss, U.
16
2011
The LAMA planner: guiding cost-based anytime planning with landmarks. Zbl 1205.68383
Richter, Silvia; Westphal, Matthias
16
2010
Probabilistic reasoning with abstract argumentation frameworks. Zbl 1418.68193
Hunter, Anthony; Thimm, Matthias
16
2017
The Sixth Answer Set Programming Competition. Zbl 1418.68030
Gebser, Martin; Maratea, Marco; Ricca, Francesco
16
2017
Searching for Bayesian network structures in the space of restricted acyclic partially directed graphs. Zbl 1056.68142
Acid, S.; de Campos, L. M.
15
2003
Reward machines: exploiting reward function structure in reinforcement learning. Zbl 07470384
Toro Icarte, Rodrigo; Klassen, Toryn Q.; Valenzano, Richard; McIlraith, Sheila A.
1
2022
Explainable deep learning: a field guide for the uninitiated. Zbl 07470388
Ras, Gabrielle; Xie, Ning; van Gerven, Marcel; Doran, Derek
1
2022
On the indecisiveness of Kelly-strategyproof social choice functions. Zbl 07527547
Brandt, Felix; Bullinger, Martin; Lederer, Patrick
1
2022
A few queries go a long way: information-distortion tradeoffs in matching. Zbl 07565987
Amanatidis, Georgios; Birmpas, Georgios; Filos-Ratsikas, Aris; Voudouris, Alexandros A.
1
2022
Recursion in abstract argumentation is hard – on the complexity of semantics based on weak admissibility. Zbl 07566014
Dvořák, Wolfgang; Ulbricht, Markus; Woltran, Stefan
1
2022
Liquid democracy: an algorithmic perspective. Zbl 07328105
Kahng, Anson; Mackenzie, Simon; Procaccia, Ariel D.
4
2021
Classifier chains: a review and perspectives. Zbl 07328093
Read, Jesse; Pfahringer, Bernhard; Holmes, Geoffrey; Frank, Eibe
2
2021
Induction and exploitation of subgoal automata for reinforcement learning. Zbl 07328102
Furelos-Blanco, Daniel; Law, Mark; Jonsson, Anders; Broda, Krysia; Russo, Alessandra
2
2021
Strategyproof mechanisms for additively separable and fractional hedonic games. Zbl 07350688
Flammini, Michele; Kodric, Bojana; Monaco, Gianpiero; Zhang, Qiang
2
2021
On the decomposition of abstract dialectical frameworks and the complexity of naive-based semantics. Zbl 1476.68251
Gaggl, Sarah Alice; Rudolph, Sebastian; Straß, Hannes
1
2021
Zone path construction (ZAC) based approaches for effective real-time ridesharing. Zbl 07299930
Lowalekar, Meghna; Varakantham, Pradeep; Jaillet, Patrick
1
2021
A survey on the explainability of supervised machine learning. Zbl 07299933
Burkart, Nadia; Huber, Marco F.
1
2021
Hybrid-order network consensus for distributed multi-agent systems. Zbl 07328085
Xie, Guangqiang; Chen, Junyu; Li, Yang
1
2021
On the distortion value of elections with abstention. Zbl 07328090
Seddighin, Masoud; Latifian, Mohammad; Ghodsi, Mohammad
1
2021
Two-facility location games with minimum distance requirement. Zbl 07328094
Xu, Xinping; Li, Bo; Li, Minming; Duan, Lingjie
1
2021
Efficient large-scale multi-drone delivery using transit networks. Zbl 07328095
Choudhury, Shushman; Solovey, Kiril; Kochenderfer, Mykel J.; Pavone, Marco
1
2021
Lilotane: a lifted SAT-based approach to hierarchical planning. Zbl 07328103
Schreiber, Dominik
1
2021
Instance-level update in DL-Lite ontologies through first-order rewriting. Zbl 07350691
De Giacomo, Giuseppe; Oriol, Xavier; Rosati, Riccardo; Savo, Domenico Fabio
1
2021
Confident learning: estimating uncertainty in dataset labels. Zbl 07350692
Northcutt, Curtis G.; Jiang, Lu; Chuang, Isaac L.
1
2021
Welfare guarantees in Schelling segregation. Zbl 07379281
Bullinger, Martin; Suksompong, Warut; Voudouris, Alexandros A.
1
2021
A tight bound for stochastic submodular cover. Zbl 07379287
Hellerstein, Lisa; Kletenik, Devorah; Parthasarathy, Srinivasan
1
2021
Multi-document summarization with determinantal point process attention. Zbl 07406473
Perez-Beltrachini, Laura; Lapata, Mirella
1
2021
Intelligence in strategic games. Zbl 07406477
Naumov, Pavel; Yuan, Yuan
1
2021
Agent-based Markov modeling for improved COVID-19 mitigation policies. Zbl 07406486
Capobianco, Roberto; Kompella, Varun; Ault, James; Sharon, Guni; Jong, Stacy; Fox, Spencer; Meyers, Lauren; Wurman, Peter R.; Stone, Peter
1
2021
Election manipulation on social networks: seeding, edge removal, edge addition. Zbl 07406488
Castiglioni, Matteo; Ferraioli, Diodato; Gatti, Nicola; Landriani, Giulia
1
2021
Socially responsible AI algorithms: issues, purposes, and challenges. Zbl 07406490
Cheng, Lu; Varshney, Kush R.; Liu, Huan
1
2021
On the online coalition structure generation problem. Zbl 07470374
Flammini, Michele; Monaco, Gianpiero; Moscardelli, Luca; Shalom, Mordechai; Zaks, Shmuel
1
2021
Learning optimal decision sets and lists with SAT. Zbl 07470375
Yu, Jinqiang; Ignatiev, Alexey; Stuckey, Peter J.; Le Bodic, Pierre
1
2021
Improving Nash social welfare approximations of indivisible goods. Zbl 1451.91076
Garg, Jugal; McGlaughlin, Peter
6
2020
Preferences single-peaked on a circle. Zbl 1452.91119
Peters, Dominik; Lackner, Martin
4
2020
Contiguous cake cutting: hardness results and approximation algorithms. Zbl 1490.68242
Goldberg, Paul W.; Hollender, Alexandros; Suksompong, Warut
4
2020
Maximin share allocations on cycles. Zbl 07269314
Truszczynski, Miroslaw; Lonc, Zbigniew
4
2020
Variational Bayes in private settings (VIPS). Zbl 1452.62986
Park, Mijung; Foulds, James; Chaudhuri, Kamalika; Welling, Max
3
2020
The impact of treewidth on grounding and solving of answer set programs. Zbl 07155020
Bliem, Bernhard; Morak, Michael; Moldovan, Marius; Woltran, Stefan
3
2020
Ontology reasoning with deep neural networks. Zbl 1445.68210
Hohenecker, Patrick; Lukasiewicz, Thomas
3
2020
Saturated cost partitioning for optimal classical planning. Zbl 1442.68220
Seipp, Jendrik; Keller, Thomas; Helmert, Malte
2
2020
Fair allocation with diminishing differences. Zbl 1444.91108
Segal-Halevi, Erel; Hassidim, Avinatan; Aziz, Haris
2
2020
Robust multi-agent path finding and executing. Zbl 1437.68174
Atzmon, Dor; Stern, Roni; Felner, Ariel; Wagner, Glenn; Barták, Roman; Zhou, Neng-Fa
2
2020
Hedonic games with ordinal preferences and thresholds. Zbl 1444.91017
Kerkmann, Anna Maria; Lang, Jérôme; Rey, Anja; Rothe, Jörg; Schadrack, Hilmar; Schend, Lena
2
2020
Incomplete preferences in single-peaked electorates. Zbl 1437.91171
Fitzsimmons, Zack; Lackner, Martin
2
2020
Incompatibilities between iterated and relevance-sensitive belief revision. Zbl 1490.68208
Aravanis, Theofanis I.; Peppas, Pavlos; Williams, Mary-Anne
2
2020
Bridging the gap between probabilistic model checking and probabilistic planning: survey, compilations, and empirical comparison. Zbl 1445.68134
Klauck, Michaela; Steinmetz, Marcel; Hoffmann, Jörg; Hermanns, Holger
1
2020
Automated conjecturing. II: Chomp and reasoned game play. Zbl 1445.68328
Bradford, Alexander; Day, J. Kain; Hutchinson, Laura; Kaperick, Bryan; Larson, Craig E.; Mills, Matthew; Muncy, David; Van Cleemput, Nico
1
2020
Regret bounds for reinforcement learning via Markov chain concentration. Zbl 1442.68198
Ortner, Ronald
1
2020
Blind spot detection for safe sim-to-real transfer. Zbl 1442.68202
Ramakrishnan, Ramya; Kamar, Ece; Dey, Debadeepta; Horvitz, Eric; Shah, Julie
1
2020
TensorLog: a probabilistic database implemented using deep-learning infrastructure. Zbl 1434.68141
Cohen, William; Yang, Fan; Mazaitis, Kathryn Rivard
1
2020
Solving delete free planning with relaxed decision diagram based heuristics. Zbl 1437.68163
Castro, Margarita Paz; Piacentini, Chiara; Cire, Andre Augusto; Beck, J. Christopher
1
2020
Learning the language of software errors. Zbl 1437.68071
Chockler, Hana; Kesseli, Pascal; Kroening, Daniel; Strichman, Ofer
1
2020
Gradient-based learning methods extended to smooth manifolds applied to automated clustering. Zbl 07246835
Koudounas, Alkis; Fiori, Simone
1
2020
Towards partial order reductions for strategic ability. Zbl 1453.68197
Jamroga, Wojciech; Penczek, Wojciech; Sidoruk, Teofil; Dembiński, Piotr; Mazurkiewicz, Antoni
1
2020
Constraint and satisfiability reasoning for graph coloring. Zbl 1490.68205
Hebrard, Emmanuel; Katsirelos, George
1
2020
On sparse discretization for graphical games. Zbl 07269301
Ortiz, Luis E.
1
2020
AMP chain graphs: minimal separators and structure learning algorithms. Zbl 1490.68186
Javidian, Mohammad Ali; Valtorta, Marco; Jamshidi, Pooyan
1
2020
Properties of switch-list representations of Boolean functions. Zbl 1490.68216
Chromý, Miloš; Čepek, Ondřej
1
2020
The complexity landscape of outcome determination in judgment aggregation. Zbl 07283363
Endriss, Ulle; de Haan, Ronald; Lang, Jérôme; Slavkovik, Marija
1
2020
Mapping the landscape of artificial intelligence applications against COVID-19. Zbl 07283366
Bullock, Joseph; Luccioni, Alexandra; Pham, Katherine Hoffman; Lam, Cynthia Sin Nga; Luengo-Oroz, Miguel
1
2020
To regulate or not: a social dynamics analysis of an idealised AI race. Zbl 07283368
Han, The Anh; Pereira, Luis Moniz; Santos, Francisco C.; Lenaerts, Tom
1
2020
Qualitative numeric planning: reductions and complexity. Zbl 07283369
Bonet, Blai; Geffner, Hector
1
2020
Modular structures and atomic decomposition in ontologies. Zbl 07283370
Del Vescovo, Chiara; Horridge, Matthew; Parsia, Bijan; Sattler, Uli; Schneider, Thomas; Zhao, Haoruo
1
2020
Adaptive stress testing: finding likely failure events with reinforcement learning. Zbl 07283375
Lee, Ritchie; Mengshoel, Ole J.; Saksena, Anshu; Gardner, Ryan W.; Genin, Daniel; Silbermann, Joshua; Owen, Michael; Kochenderfer, Mykel J.
1
2020
Fair allocation of indivisible goods to asymmetric agents. Zbl 1454.91104
Farhadi, Alireza; Ghodsi, Mohammad; Hajiaghayi, Mohammad Taghi; Lahaie, Sébastien; Pennock, David; Seddighin, Masoud; Seddighin, Saeed; Yami, Hadi
13
2019
Pitfalls and best practices in algorithm configuration. Zbl 1489.68216
Eggensperger, Katharina; Lindauer, Marius; Hutter, Frank
6
2019
Multi-fidelity Gaussian process bandit optimisation. Zbl 1437.90167
Kandasamy, Kirthevasan; Dasarathy, Gautam; Oliva, Junier; Schneider, Jeff; Póczos, Barnabás
4
2019
Iterative local voting for collective decision-making in continuous spaces. Zbl 1477.91024
Garg, Nikhil; Kamble, Vijay; Goel, Ashish; Marn, David; Munagala, Kamesh
4
2019
A survey on transfer learning for multiagent reinforcement learning systems. Zbl 1489.68221
da Silva, Felipe Leno; Reali Costa, Anna Helena
4
2019
Full characterization of Parikh’s relevance-sensitive axiom for belief revision. Zbl 1454.03024
Aravanis, Theofanis I.; Peppas, Pavlos; Williams, Mary-Anne
4
2019
Enhancing statement evaluation in argumentation via multi-labelling systems. Zbl 1446.68150
Baroni, Pietro; Riveret, Regis
4
2019
Classifying inconsistency measures using graphs. Zbl 1446.68146
De Bona, Glauber; Grant, John; Hunter, Anthony; Konieczny, Sébastien
4
2019
Conditional simple temporal networks with uncertainty and resources. Zbl 1489.68250
Combi, Carlo; Posenato, Roberto; Viganò, Luca; Zavatteri, Matteo
3
2019
REBA: a refinement-based architecture for knowledge representation and reasoning in robotics. Zbl 1477.68300
Sridharan, Mohan; Gelfond, Michael; Zhang, Shiqi; Wyatt, Jeremy
3
2019
Dependency learning for QBF. Zbl 1477.68293
Peitl, Tomáš; Slivovsky, Friedrich; Szeider, Stefan
3
2019
Revisiting CFR\(^+\) and alternating updates. Zbl 1477.68558
Burch, Neil; Moravcik, Matej; Schmid, Martin
3
2019
Strategic abstention based on preference extensions: positive results and computer-generated impossibilities. Zbl 1446.91040
Brandl, Florian; Brandt, Felix; Geist, Christian; Hofbauer, Johannes
3
2019
If nothing is accepted – repairing argumentation frameworks. Zbl 1446.68153
Ulbricht, Markus; Baumann, Ringo
3
2019
Goal recognition design in deterministic environments. Zbl 1477.68287
Keren, Sarah; Gal, Avigdor; Karpas, Erez
2
2019
Formulas free from inconsistency: an atom-centric characterization in Priest’s minimally inconsistent LP. Zbl 1430.68336
Mu, Kedian
2
2019
Multi-agent inverse reinforcement learning for certain general-sum stochastic games. Zbl 07136648
Lin, Xiaomin; Adams, Stephen C.; Beling, Peter A.
2
2019
Synthesizing argumentation frameworks from examples. Zbl 07136649
Niskanen, Andreas; Wallner, Johannes P.; Järvisalo, Matti
2
2019
On the time and space complexity of genetic programming for evolving Boolean conjunctions. Zbl 07136653
Lissovoi, Andrei; Oliveto, Pietro S.
2
2019
Logical foundations of linked data anonymisation. Zbl 1477.68090
Cuenca Grau, Bernardo; Kostylev, Egor V.
2
2019
Implicitly coordinated multi-agent path finding under destination uncertainty: success guarantees and computational complexity. Zbl 1477.68320
Nebel, Bernhard; Bolander, Thomas; Engesser, Thorsten; Mattmüller, Robert
2
2019
Approximating weighted and priced bribery in scoring rules. Zbl 1452.91128
Keller, Orgad; Hassidim, Avinatan; Hazon, Noam
2
2019
Modeling and planning with macro-actions in decentralized POMDPs. Zbl 1489.68314
Amato, Christopher; Konidaris, George; Kaelbling, Leslie P.; How, Jonathan P.
1
2019
On overfitting and asymptotic bias in batch reinforcement learning with partial observability. Zbl 1489.68223
François-Lavet, Vincent; Rabusseau, Guillaume; Pineau, Joelle; Ernst, Damien; Fonteneau, Raphael
1
2019
A coupled operational semantics for goals and commitments. Zbl 1477.68321
Telang, Pankaj R.; Singh, Munindar P.; Yorke-Smith, Neil
1
2019
Strong stubborn set pruning for star-topology decoupled state space search. Zbl 1477.68291
Gnad, Daniel; Hoffmann, Jörg; Wehrle, Martin
1
2019
Autonomous target search with multiple coordinated UAVs. Zbl 07104740
Piacentini, Chiara; Bernardini, Sara; Beck, J. Christopher
1
2019
A survey of cross-lingual word embedding models. Zbl 07104741
Ruder, Sebastian; Vulić, Ivan; Søgaard, Anders
1
2019
The mathematics of changing one’s mind, via Jeffrey’s or via Pearl’s update rule. Zbl 07104744
Jacobs, Bart
1
2019
Xeggora: exploiting immune-to-evidence symmetries with full aggregation in statistical relational models. Zbl 07104746
Amirian, Mohammad Mahdi; Ghidary, Saeed Shiry
1
2019
Community structure in industrial SAT instances. Zbl 1430.68286
Ansótegui, Carlos; Bonet, Maria Luisa; Giráldez-Cru, Jesús; Levy, Jordi; Simon, Laurent
1
2019
On non-cooperativeness in social distance games. Zbl 1427.91060
Balliu, Alkida; Flammini, Michele; Melideo, Giovanna; Olivetti, Dennis
1
2019
Rank pruning for dominance queries in CP-nets. Zbl 1451.68277
Laing, Kathryn; Thwaites, Peter Adam; Gosling, John Paul
1
2019
New approximations for coalitional manipulation in scoring rules. Zbl 1454.91077
Keller, Orgad; Hassidim, Avinatan; Hazon, Noam
1
2019
Cost-based goal recognition in navigational domains. Zbl 1451.68247
Masters, Peta; Sardina, Sebastian
1
2019
Level-0 models for predicting human behavior in games. Zbl 1477.91011
Wright, James R.; Leyton-Brown, Kevin
1
2019
Dynamic controllability of controllable conditional temporal problems with uncertainty. Zbl 1477.68045
Cui, Jing; Haslum, Patrik
1
2019
Computing and explaining query answers over inconsistent DL-Lite knowledge bases. Zbl 1489.68267
Bienvenu, Meghyn; Bourgaux, Camille; Goasdoué, François
1
2019
Distributed Gibbs: a linear-space sampling-based DCOP algorithm. Zbl 1489.68316
Nguyen, Duc Thien; Yeoh, William; Lau, Hoong Chuin; Zivan, Roie
1
2019
Deep dialog act recognition using multiple token, segment, and context information representations. Zbl 1446.68168
Ribeiro, Eugénio; Ribeiro, Ricardo; de Matos, David Martins
1
2019
...and 779 more Documents
all top 5

Cited by 7,899 Authors

36 Eiter, Thomas
27 Prade, Henri M.
25 Rothe, Jörg-Matthias
25 Woltran, Stefan
20 Dubois, Didier
19 Jonsson, Peter A.
19 Szeider, Stefan
18 Marquis, Pierre
17 De Raedt, Luc
17 Faliszewski, Piotr
17 Gagliardi Cozman, Fabio
17 Lang, Jérôme
17 Marques-Silva, João P.
16 Benferhat, Salem
16 Elkind, Edith
16 Endriss, Ulle
16 Wolter, Frank
16 Zaffalon, Marco
15 Brandt, Felix
15 Cooper, Martin C.
15 Darwiche, Adnan
15 Gottlob, Georg
15 Kraus, Sarit
15 Lukasiewicz, Thomas
15 Mauá, Denis Deratani
15 Voudouris, Alexandros A.
14 Hemaspaandra, Lane A.
14 Lutz, Carsten
14 Peñaloza, Rafael
14 Riguzzi, Fabrizio
14 Tennenholtz, Moshe
14 Walsh, Toby
14 Zakharyaschev, Michael Viktorovich
13 Hullermeier, Eyke
13 Niedermeier, Rolf
13 Stuckey, Peter James
13 Suksompong, Warut
12 Arieli, Ofer
12 Cohen, David A.
12 Felner, Ariel
12 Guo, Jiong
12 Maratea, Marco
12 Straccia, Umberto
12 Wooldridge, Michael J.
12 Xu, Ke
12 Yin, Minghao
12 Živný, Stanislav
11 Beck, J. Christopher
11 Greco, Gianluigi
11 Jeavons, Peter G.
11 Jennings, Nicholas R.
11 Kern-Isberner, Gabriele
11 Leone, Nicola
11 Meisels, Amnon
11 Pontelli, Enrico
11 Skowron, Piotr
11 Son, Tran Cao
11 Stern, Roni
10 Amendola, Giovanni
10 Bodirsky, Manuel
10 Bredereck, Robert
10 Cai, Shaowei
10 de Cooman, Gert
10 De Giacomo, Giuseppe
10 Dodaro, Carmine
10 Hoos, Holger H.
10 Horrocks, Ian
10 Hunter, Anthony
10 Kambhampati, Subbarao
10 Li, Chumin
10 Parisi, Francesco
10 Rybakov, Vladimir Vladimirovich
10 Schaub, Torsten H.
10 Truszczyński, Mirosław
9 Anshelevich, Elliot
9 Antonucci, Alessandro
9 Baader, Franz
9 Bobillo, Fernando
9 Calvanese, Diego
9 Caragiannis, Ioannis
9 Cussens, James
9 de Campos, Cassio Polpo
9 Dechter, Rina
9 Dey, Palash
9 Dvořák, Wolfgang
9 Filos-Ratsikas, Aris
9 Fink, Michael
9 Flammini, Michele
9 Gaspers, Serge
9 Hemaspaandra, Edith
9 Kimmig, Angelika
9 Leite, João
9 Lindauer, Marius
9 Pieris, Andreas
9 Prestwich, Steven D.
9 Ricca, Francesco
9 Richard, Gilles
9 Seidl, Martina
9 Simari, Guillermo Ricardo
9 Slivovsky, Friedrich
...and 7,799 more Authors
all top 5

Cited in 353 Journals

716 Artificial Intelligence
248 International Journal of Approximate Reasoning
166 Machine Learning
163 Annals of Mathematics and Artificial Intelligence
136 Theoretical Computer Science
115 European Journal of Operational Research
93 The Journal of Artificial Intelligence Research (JAIR)
87 Information Sciences
80 Constraints
71 Computers & Operations Research
71 Theory and Practice of Logic Programming
65 Annals of Operations Research
65 Pattern Recognition
57 Journal of Computer and System Sciences
55 Journal of Automated Reasoning
52 Discrete Applied Mathematics
49 Data Mining and Knowledge Discovery
42 Games and Economic Behavior
41 Journal of Applied Logic
38 Fuzzy Sets and Systems
35 Social Choice and Welfare
35 Theory of Computing Systems
34 Information and Computation
31 Journal of Machine Learning Research (JMLR)
29 Neural Networks
28 Automatica
28 Algorithmica
25 Journal of Philosophical Logic
24 Mathematical Social Sciences
24 Mathematical Problems in Engineering
23 Information Processing Letters
23 Journal of Global Optimization
23 Computational Statistics and Data Analysis
23 Journal of Combinatorial Optimization
22 Journal of Heuristics
22 INFORMS Journal on Computing
19 ACM Transactions on Computational Logic
18 Applied Mathematics and Computation
18 Studia Logica
16 Operations Research
16 Synthese
16 Neural Computation
15 Logical Methods in Computer Science
13 SIAM Journal on Computing
13 Journal of Scheduling
12 Computers & Mathematics with Applications
12 Mathematical Programming. Series A. Series B
12 Soft Computing
11 The Annals of Statistics
11 Mathematics of Operations Research
11 International Journal of Computer Vision
11 International Journal of Applied Mathematics and Computer Science
11 Computational Intelligence
11 Games
10 Journal of Economic Theory
10 Annals of Pure and Applied Logic
10 AI Communications
10 Formal Methods in System Design
9 Journal of Mathematical Psychology
9 Theory and Decision
9 Journal of Computer Science and Technology
9 Journal of Intelligent & Robotic Systems
9 Journal of Logic, Language and Information
9 Journal of Discrete Algorithms
9 Discrete Optimization
9 Advances in Data Analysis and Classification. ADAC
9 Algorithms
8 Mathematical and Computer Modelling
8 The Annals of Applied Statistics
8 Journal of Theoretical Biology
8 Frontiers of Computer Science
7 Journal of Computational Physics
7 Physica A
7 Kybernetika
7 SIAM Journal on Discrete Mathematics
7 Discrete Event Dynamic Systems
7 Journal of Applied Non-Classical Logics
7 Economic Theory
7 Natural Computing
7 Optimization Letters
7 Statistical Analysis and Data Mining
6 Journal of Mathematical Economics
6 International Journal of Intelligent Systems
6 Computational Statistics
6 Automation and Remote Control
6 Journal of Computer and Systems Sciences International
6 Complexity
6 Optimization and Engineering
6 4OR
6 Logica Universalis
6 Journal of Satisfiability, Boolean Modeling and Computation
6 Statistics and Computing
6 Decision Analysis
6 Computer Science Review
5 Acta Informatica
5 Biological Cybernetics
5 Discrete Mathematics
5 Journal of the Franklin Institute
5 Journal of Mathematical Analysis and Applications
5 International Journal of Game Theory
...and 253 more Journals
all top 5

Cited in 46 Fields

3,174 Computer science (68-XX)
773 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
761 Operations research, mathematical programming (90-XX)
523 Statistics (62-XX)
444 Mathematical logic and foundations (03-XX)
180 Combinatorics (05-XX)
90 Probability theory and stochastic processes (60-XX)
84 Systems theory; control (93-XX)
82 Biology and other natural sciences (92-XX)
64 Numerical analysis (65-XX)
52 Information and communication theory, circuits (94-XX)
25 Order, lattices, ordered algebraic structures (06-XX)
16 General and overarching topics; collections (00-XX)
15 Statistical mechanics, structure of matter (82-XX)
11 General algebraic systems (08-XX)
11 Calculus of variations and optimal control; optimization (49-XX)
10 Linear and multilinear algebra; matrix theory (15-XX)
10 Quantum theory (81-XX)
9 History and biography (01-XX)
9 Measure and integration (28-XX)
8 Convex and discrete geometry (52-XX)
8 Geophysics (86-XX)
7 Mechanics of deformable solids (74-XX)
6 Partial differential equations (35-XX)
6 Dynamical systems and ergodic theory (37-XX)
3 Commutative algebra (13-XX)
3 Approximations and expansions (41-XX)
3 Geometry (51-XX)
3 Mechanics of particles and systems (70-XX)
3 Fluid mechanics (76-XX)
2 Number theory (11-XX)
2 Algebraic geometry (14-XX)
2 Category theory; homological algebra (18-XX)
2 Ordinary differential equations (34-XX)
2 Functional analysis (46-XX)
2 Operator theory (47-XX)
2 General topology (54-XX)
1 Field theory and polynomials (12-XX)
1 Associative rings and algebras (16-XX)
1 Real functions (26-XX)
1 Several complex variables and analytic spaces (32-XX)
1 Harmonic analysis on Euclidean spaces (42-XX)
1 Integral equations (45-XX)
1 Algebraic topology (55-XX)
1 Astronomy and astrophysics (85-XX)
1 Mathematics education (97-XX)

Citations by Year