×

zbMATH — the first resource for mathematics

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,152 Publications (since 1993)
References Indexed: 88 Publications with 4,713 References.
all top 5

Authors

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

Publications by Year

Citations contained in zbMATH Open

784 Publications have been cited 5,593 times in 3,793 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.
108
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
89
2004
A knowledge compilation map. Zbl 1045.68131
Darwiche, A.; Marquis, P.
80
2002
Solving multiclass learning problems via error-correcting output codes. Zbl 0900.68358
Dietterich, T. G.; Bakiri, G.
80
1995
The FF planning system: Fast plan generation through heuristic search. Zbl 0970.68044
Hoffmann, J.; Nebel, B.
68
2001
Active learning with statistical models. Zbl 0900.68366
Cohn, D. A.; Ghahramani, Z.; Jordan, M. I.
57
1996
SATzilla: portfolio-based algorithm selection for SAT. Zbl 1182.68272
Xu, L.; Hutter, F.; Hoos, H. H.; Leyton-Brown, K.
57
2008
Llull and Copeland voting computationally resist bribery and constructive control. Zbl 1180.91091
Faliszewski, P.; Hemaspaandra, E.; Hemaspaandra, L. A.; Rothe, J.
57
2009
Towards understanding and harnessing the potential of clause learning. Zbl 1080.68651
Beame, Paul; Kautz, Henry; Sabharwal, Ashish
51
2004
The fast downward planning system. Zbl 1182.68245
Helmert, M.
51
2006
Paramils: an automatic algorithm configuration framework. Zbl 1192.68831
Hutter, F.; Hoos, H. H.; Leyton-Brown, K.; Stuetzle, T.
51
2009
Dynamic backtracking. Zbl 0900.68179
Ginsberg, M. L.
49
1993
PDDL2.1: An extension to PDDL for expressing temporal planning domains. Zbl 1036.68093
Fox, M.; Long, D.
47
2003
Learning to order things. Zbl 0915.68031
Cohen, W. W.; Schapire, R. E.; Singer, Y.
46
1999
Decision-theoretic planning: Structural assumptions and computational leverage. Zbl 0918.68110
Boutilier, C.; Dean, T.; Hanks, S.
45
1999
How hard is bribery in elections? Zbl 1180.91090
Faliszewski, P.; Hemaspaandra, E.; Hemaspaandra, L. A.
45
2009
The DL-Lite family and relations. Zbl 1192.68657
Artale, A.; Calvanese, D.; Kontchakov, R.; Zakharyaschev, M.
45
2009
Reasoning within fuzzy description logics. Zbl 0973.03034
Straccia, U.
44
2001
Exploiting causal independence in Bayesian network inference. Zbl 0900.68384
Zhang, N. L.; Poole, D.
42
1996
Adaptive submodularity: theory and applications in active learning and stochastic optimization. Zbl 1230.90141
Golovin, D.; Krause, A.
41
2011
Computationally feasible VCG mechanisms. Zbl 1165.91387
Nisan, N.; Ronen, A.
40
2007
Exact phase transitions in random constraint satisfaction problems. Zbl 0940.68099
Xu, K.; Li, Wei
39
2000
Pure Nash equilibria: hard and easy games. Zbl 1134.91312
Gottlob, G.; Greco, G.; Scarcello, F.
34
2005
Propositional independence – formula-variable independence and forgetting. Zbl 1056.68112
Lang, J.; Liberatore, P.; Marquis, P.
34
2003
Popular ensemble methods: An empirical study. Zbl 0924.68159
Opitz, D.; Maclin, R.
34
1999
A system for induction of oblique decision trees. Zbl 0900.68335
Murthy, S. K.; Kasif, S.; Salzberg, S.
33
1994
Improved use of continuous attributes in C4. 5. Zbl 0900.68112
Quinlan, J. R.
32
1996
Improved heterogeneous distance functions. Zbl 0894.68118
Wilson, D. R.; Martinez, T. R.
32
1997
Parameter learning of logic programs for symbolic-statistical modeling. Zbl 0994.68025
Sato, T.; Kameya, Y.
32
2001
Change in abstract argumentation frameworks: adding an argument. Zbl 1191.68480
Cayrol, C.; de Saint-Cyr, F. Dupin; Lagasquie-Schiex, M.
28
2010
Hierarchical reinforcement learning with the MAXQ value function decomposition. Zbl 0963.68085
Dietterich, T. G.
27
2000
AntNet: Distributed stigmergetic control for communications networks. Zbl 0910.68182
Di Caro, G.; Dorigo, M.
27
1998
Constructing conditional plans by a theorem-prover. Zbl 0916.68139
Rintanen, J.
27
1999
Dynamic local search for the maximum clique problem. Zbl 1182.68065
Pullan, W.; Hoos, H. H.
27
2006
Determining possible and necessary winners given partial orders. Zbl 1218.91040
Xia, L.; Conitzer, V.
26
2011
Squeaky wheel optimization. Zbl 0918.90120
Joslin, D. E.; Clements, D. P.
25
1999
Admissible and restrained revision. Zbl 1182.68284
Booth, R.; Meyer, T.
25
2006
The computational complexity of probabilistic planning. Zbl 0903.68100
Littman, M. L.; Goldsmith, J.; Mundhenk, M.
24
1998
Infinite-horizon policy-gradient estimation. Zbl 0994.68119
Baxter, J.; Bartlett, P. L.
24
2001
Clause/Term resolution and learning in the evaluation of quantified Boolean formulas. Zbl 1183.68475
Giunchiglia, E.; Narizzano, M.; Tacchella, A.
24
2006
Complexity results and approximation strategies for MAP explanations. Zbl 1080.68689
Park, James D.; Darwiche, Adnan
23
2004
Junta distributions and the average-case complexity of manipulating elections. Zbl 1165.91362
Procaccia, A. D.; Rosenschein, J. S.
23
2007
Reasoning with very expressive fuzzy description logics. Zbl 1182.68292
Stoilos, G.; Stamou, G.; Pan, J. Z.; Tzouvaras, V.; Horrocks, I.
23
2007
Multimode control attacks on elections. Zbl 1242.91055
Faliszewski, Piotr; Hemaspaandra, Edith; Hemaspaandra, Lane A.
23
2011
Randomized algorithms for the loop cutset problem. Zbl 0947.68138
Becker, A.; Bar-Yehuda, R.; Geiger, D.
23
2000
Planning through stochastic local search and temporal action graphs in LPG. Zbl 1058.68103
Gerevini, A.; Saetti, A.; Serina, I.
22
2003
New inference rules for Max-SAT. Zbl 1182.68254
Li, C. M.; Manya, F.; Planes, J.
22
2007
Minimaxsat: an efficient weighted Max-SAT solver. Zbl 1183.68578
Heras, F.; Larrosa, J.; Oliveras, A.
22
2008
A model of inductive bias learning. Zbl 0940.68106
Baxter, J.
22
2000
Decidable reasoning in terminological knowledge representation systems. Zbl 0900.68396
Buchheit, M.; Donini, F. M.; Schaerf, A.
21
1993
Conjunctive query answering for the description logic SHIQ. Zbl 1183.68244
Glimm, B.; Lutz, C.; Horrocks, I.; Sattler, U.
21
2008
Complexity of strategic behavior in multi-winner elections. Zbl 1165.91361
Meir, R.; Procaccia, A. D.; Rosenschein, J. S.; Zohar, Aviv
21
2008
Optimal value of information in graphical models. Zbl 1192.68645
Krause, A.; Guestrin, C.
21
2009
Taming the infinite chase: query answering under expressive relational constraints. Zbl 1361.68221
Calí, Andrea; Gottlob, Georg; Kifer, Michael
21
2013
Probabilistic deduction with conditional constraints over basic events. Zbl 0914.68178
Lukasiewicz, Thomas
20
1999
Modular reuse of ontologies: theory and practice. Zbl 1183.68479
Cuenca Grau, B.; Horrocks, I.; Kazakov, Y.; Sattler, U.
20
2008
Graduality in argumentation. Zbl 1080.68608
Cayrol, C.; Lagasquie-Schiex, M. C.
19
2005
Efficient solution algorithms for factored MDPs. Zbl 1026.68125
Guestrin, C.; Koller, D.; Parr, R.; Venkataraman, S.
19
2003
A market-oriented programming environment and its application to distributed multicommodity flow problems. Zbl 0900.90089
Wellman, M. P.
19
1993
Identifying hierarchical structure in sequences: A linear-time algorithm. Zbl 0894.68072
Nevill-Manning, C. G.; Witten, I. H.
19
1997
Efficiency and envy-freeness in fair division of indivisible goods: logical representation and complexity. Zbl 1183.68570
Bouveret, S.; Lang, J.
19
2008
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.
19
2011
On the computation of fully proportional representation. Zbl 1269.68057
Betzler, Nadja; Slinko, Arkadii; Uhlmann, Johannes
19
2013
Defining relative likelihood in partially-ordered preferential structures. Zbl 0895.03010
Halpern, Joseph Y.
18
1997
Unifying class-based representation formalisms. Zbl 0924.68184
Calvanese, D.; Lenzerini, M.; Nardi, D.
18
1999
The 3rd international planning competition: Results and analysis. Zbl 1036.68097
Long, D.; Fox, M.
18
2003
Can we learn to beat the best stock. Zbl 1076.91015
Borodin, Allan; El-Yaniv, Ran; Gogan, Vincent
17
2004
Responsibility and blame: a structural-model approach. Zbl 1080.68680
Chockler, Hana; Halpern, Joseph Y.
17
2004
Translating between Horn representations and their characteristic models. Zbl 0900.68197
Khardon, R.
17
1995
Efficient implementation of the plan graph in STAN. Zbl 0914.68180
Long, Derek; Fox, Maria
17
1999
The complexity of circumscription in DLs. Zbl 1182.68275
Bonatti, P. A.; Lutz, C.; Wolter, F.
17
2009
Modularity aspects of disjunctive stable models. Zbl 1192.68129
Janhunen, T.; Oikarinen, E.; Tompits, H.; Woltran, S.
17
2009
Value-function approximations for partially observable Markov decision processes. Zbl 0946.68131
Hauskrecht, M.
17
2000
The complexity of reasoning with cardinality restrictions and nominals in expressive description logics. Zbl 0941.03029
Tobies, S.
17
2000
Additive pattern database heuristics. Zbl 1080.68662
Felner, Ariel; Korf, Richard E.; Hanan, Sarit
16
2004
Exploiting contextual independence in probabilistic inference. Zbl 1056.68144
Poole, D.; Zhang, N. L.
16
2003
Updating probabilities. Zbl 1076.68579
Grunwald, P. D.; Halpern, J. Y.
16
2003
Conformant planning via symbolic model checking. Zbl 0963.68195
Cimatti, A.; Roveri, M.
16
2000
Domain filtering consistencies. Zbl 0970.68125
Debruyne, R.; Bessiere, C.
16
2001
Issues in stacked generalization. Zbl 0915.68075
Ting, K. M.; Witten, I. H.
16
1999
A complete classification of tractability in RCC-5. Zbl 0894.68096
Jonsson, P.; Drakengren, T.
16
1997
Auctions with severely bounded communication. Zbl 1165.91376
Blumrosen, L.; Nisan, N.; Segal, I.
16
2007
Complexity of judgment aggregation. Zbl 1253.68298
Endriss, Ulle; Grandi, Umberto; Porello, Daniele
16
2012
From frequency to meaning: vector space models of semantics. Zbl 1185.68765
Turney, Peter D.; Pantel, Patrick
16
2010
A maximal tractable class of soft constraints. Zbl 1080.68658
Cohen, David; Cooper, Martin; Jeavons, Peter; Krokhin, Andrei
15
2004
The automatic inference of state invariants in TIM. Zbl 0910.68199
Fox, M.; Long, D.
15
1998
Random worlds and maximum entropy. Zbl 0900.68398
Grove, A. J.; Halpern, J. Y.; Koller, D.
15
1994
Solving #SAT and Bayesian inference with backtracking search. Zbl 1182.68294
Bacchus, F.; Dalmao, S.; Pitassi, T.
15
2009
Clause-learning algorithms with many restarts and bounded-width resolution. Zbl 1214.68340
Atserias, A.; Fichte, J. K.; Thurley, M.
15
2011
Conservative inference rule for uncertain reasoning under incompleteness. Zbl 1192.68690
Zaffalon, M.; Miranda, E.
15
2009
Hypertableau reasoning for description logics. Zbl 1192.68664
Motik, B.; Shearer, R.; Horrocks, I.
15
2009
Axiomatizing causal reasoning. Zbl 0943.68016
Halpern, J. Y.
15
2000
Bayesian optimization in a billion dimensions via random embeddings. Zbl 1358.90089
Wang, Ziyu; Hutter, Frank; Zoghi, Masrour; Matheson, David; de Feitas, Nando
15
2016
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.
15
2013
Searching for Bayesian network structures in the space of restricted acyclic partially directed graphs. Zbl 1056.68142
Acid, S.; de Campos, L. M.
14
2003
Anytime point-based approximations for large POMDPS. Zbl 1182.68262
Pineau, J.; Gordon, G.; Thrun, S.
14
2006
Answer sets for logic programs with arbitrary abstract constraint atoms. Zbl 1182.68044
Son, T. C.; Pontelli, E.; Tu, P. H.
14
2007
The computational complexity of dominance and consistency in CP-nets. Zbl 1182.68089
Goldsmith, J.; Lang, J.; Truszczynski, M.; Wilson, N.
14
2008
Defeasible inclusions in low-complexity DLs. Zbl 1247.68265
Bonatti, P. A.; Faella, M.; Sauro, L.
14
2011
Mechanisms for multi-unit auctions. Zbl 1188.91079
Dobzinski, Shahar; Nisan, Noam
14
2010
Contiguous cake cutting: hardness results and approximation algorithms. Zbl 07269303
Goldberg, Paul W.; Hollender, Alexandros; Suksompong, Warut
3
2020
Preferences single-peaked on a circle. Zbl 1452.91119
Peters, Dominik; Lackner, Martin
3
2020
Improving Nash social welfare approximations of indivisible goods. Zbl 1451.91076
Garg, Jugal; McGlaughlin, Peter
2
2020
The impact of treewidth on grounding and solving of answer set programs. Zbl 07155020
Bliem, Bernhard; Morak, Michael; Moldovan, Marius; Woltran, Stefan
2
2020
Incompatibilities between iterated and relevance-sensitive belief revision. Zbl 07269302
Aravanis, Theofanis I.; Peppas, Pavlos; Williams, Mary-Anne
1
2020
Fair allocation with diminishing differences. Zbl 1444.91108
Segal-Halevi, Erel; Hassidim, Avinatan; Aziz, Haris
1
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
1
2020
Incomplete preferences in single-peaked electorates. Zbl 1437.91171
Fitzsimmons, Zack; Lackner, Martin
1
2020
Learning the language of software errors. Zbl 1437.68071
Chockler, Hana; Kesseli, Pascal; Kroening, Daniel; Strichman, Ofer
1
2020
Variational Bayes in private settings (VIPS). Zbl 1452.62986
Park, Mijung; Foulds, James; Chaudhuri, Kamalika; Welling, Max
1
2020
Saturated cost partitioning for optimal classical planning. Zbl 1442.68220
Seipp, Jendrik; Keller, Thomas; Helmert, Malte
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
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
7
2019
REBA: A refinement-based architecture for knowledge representation and reasoning in robotics. Zbl 07080120
Sridharan, Mohan; Gelfond, Michael; Zhang, Shiqi; Wyatt, Jeremy
3
2019
Revisiting CFR+ and alternating updates. Zbl 07031803
Burch, Neil; Moravcik, Matej; Schmid, Martin
3
2019
Enhancing statement evaluation in argumentation via multi-labelling systems. Zbl 1446.68150
Baroni, Pietro; Riveret, Regis
3
2019
Pitfalls and best practices in algorithm configuration. Zbl 07056106
Eggensperger, Katharina; Lindauer, Marius; Hutter, Frank
2
2019
On the time and space complexity of genetic programming for evolving Boolean conjunctions. Zbl 07136653
Lissovoi, Andrei; Oliveto, Pietro S.
2
2019
A survey on transfer learning for multiagent reinforcement learning systems. Zbl 07037594
da Silva, Felipe Leno; Reali Costa, Anna Helena
2
2019
Iterative local voting for collective decision-making in continuous spaces. Zbl 07031800
Garg, Nikhil; Kamble, Vijay; Goel, Ashish; Marn, David; Munagala, Kamesh
2
2019
Full characterization of Parikh’s relevance-sensitive axiom for belief revision. Zbl 1454.03024
Aravanis, Theofanis I.; Peppas, Pavlos; Williams, Mary-Anne
2
2019
Classifying inconsistency measures using graphs. Zbl 1446.68146
De Bona, Glauber; Grant, John; Hunter, Anthony; Konieczny, Sébastien
2
2019
Modeling and planning with macro-actions in decentralized POMDPs. Zbl 07056105
Amato, Christopher; Konidaris, George; Kaelbling, Leslie P.; How, Jonathan P.
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
Formulas free from inconsistency: an atom-centric characterization in Priest’s minimally inconsistent LP. Zbl 1430.68336
Mu, Kedian
1
2019
Multi-agent inverse reinforcement learning for certain general-sum stochastic games. Zbl 07136648
Lin, Xiaomin; Adams, Stephen C.; Beling, Peter A.
1
2019
Synthesizing argumentation frameworks from examples. Zbl 07136649
Niskanen, Andreas; Wallner, Johannes P.; Järvisalo, Matti
1
2019
A coupled operational semantics for goals and commitments. Zbl 07080119
Telang, Pankaj R.; Singh, Munindar P.; Yorke-Smith, Neil
1
2019
New approximations for coalitional manipulation in scoring rules. Zbl 1454.91077
Keller, Orgad; Hassidim, Avinatan; Hazon, Noam
1
2019
Computing and explaining query answers over inconsistent DL-Lite knowledge bases. Zbl 07037593
Bienvenu, Meghyn; Bourgaux, Camille; Goasdoué, François
1
2019
Implicitly coordinated multi-agent path finding under destination uncertainty: success guarantees and computational complexity. Zbl 07031805
Nebel, Bernhard; Bolander, Thomas; Engesser, Thorsten; Mattmüller, Robert
1
2019
Approximating weighted and priced bribery in scoring rules. Zbl 1452.91128
Keller, Orgad; Hassidim, Avinatan; Hazon, Noam
1
2019
If nothing is accepted – repairing argumentation frameworks. Zbl 1446.68153
Ulbricht, Markus; Baumann, Ringo
1
2019
Nash stable outcomes in fractional hedonic games: existence, efficiency and computation. Zbl 1452.91050
Bilò, Vittorio; Fanelli, Angelo; Flammini, Michele; Monaco, Gianpiero; Moscardelli, Luca
8
2018
A complexity approach for core-selecting exchange under conditionally lexicographic preferences. Zbl 1454.91105
Fujita, Etsushi; Lesca, Julien; Sonoda, Akihisa; Todo, Taiki; Yokoo, Makoto
5
2018
Learning explanatory rules from noisy data. Zbl 1426.68235
Evans, Richard; Grefenstette, Edward
4
2018
Querying log data with metric temporal logic. Zbl 1451.68087
Brandt, Sebastian; Kalaycı, Elem Güzel; Ryzhikov, Vladislav; Xiao, Guohui; Zakharyaschev, Michael
3
2018
From skills to symbols: learning symbolic representations for abstract high-level planning. Zbl 1426.68254
Konidaris, George; Pack Kaelbling, Leslie; Lozano-Perez, Tomas
3
2018
Cooperative, dynamics-based, and abstraction-guided multi-robot motion planning. Zbl 1451.68285
Le, Duong; Plaku, Erion
2
2018
Approximation and parameterized complexity of minimax approval voting. Zbl 1451.68130
Cygan, Marek; Kowalik, Łukasz; Socała, Arkadiusz; Sornat, Krzysztof
2
2018
Axiomatic characterization of game-theoretic centrality. Zbl 1450.91008
Skibski, Oskar; Michalak, Tomasz P.; Rahwan, Talal
2
2018
Column generation algorithms for constrained POMDPs. Zbl 1448.68393
Walraven, Erwin; Spaan, Matthijs T. J.
2
2018
Exploiting partial assignments for efficient evaluation of answer set programs with external source access. Zbl 1448.68398
Eiter, Thomas; Kaminski, Tobias; Redl, Christoph; Weinzierl, Antonius
2
2018
Cycles and intractability in a large class of aggregation rules. Zbl 1440.91017
Zwicker, William S.
1
2018
Revisiting the Arcade learning environment: evaluation protocols and open problems for general agents. Zbl 1440.68231
Machado, Marlos C.; Bellemare, Marc G.; Talvitie, Erik; Veness, Joel; Hausknecht, Matthew; Bowling, Michael
1
2018
Distributed constraint optimization problems and applications: a survey. Zbl 1440.68307
Fioretto, Ferdinando; Pontelli, Enrico; Yeoh, William
1
2018
Trust as a precursor to belief revision. Zbl 1440.68260
Booth, Richard; Hunter, Aaron
1
2018
SMOTE for learning from imbalanced data: progress and challenges, marking the 15-year anniversary. Zbl 1443.68147
Fernández, Alberto; García, Salvador; Herrera, Francisco; Chawla, Nitesh V.
1
2018
Belief integration and source reliability assessment. Zbl 1448.68410
Liberatore, Paolo
1
2018
Efficient computation of semivalues for game-theoretic network centrality. Zbl 1454.91052
Tarkowski, Mateusz K.; Szczepański, Piotr L.; Michalak, Tomasz P.; Harrenstein, Paul; Wooldridge, Michael
1
2018
Revisiting the approximation bound for stochastic submodular cover. Zbl 1451.68351
Hellerstein, Lisa; Kletenik, Devorah
1
2018
Proximal gradient temporal difference learning: stable reinforcement learning with polynomial sample complexity. Zbl 1451.68227
Liu, Bo; Ghavamzadeh, Mohammad; Gemp, Ian; Ghavamzadeh, Mohammad; Liu, Ji; Mahadevan, Sridhar; Petrik, Marek
1
2018
LTL on finite and process traces: complexity results and a practical reasoner. Zbl 1451.68176
Fionda, Valeria; Greco, Gianluigi
1
2018
Data-driven conceptual spaces: creating semantic representations for linguistic descriptions of numerical data. Zbl 1451.68269
Banaee, Hadi; Schaffernicht, Erik; Loutfi, Amy
1
2018
Verification of distributed epistemic gossip protocols. Zbl 1444.68255
Apt, Krzysztof R.; Wojtczak, Dominik
1
2018
State-space abstractions for probabilistic inference: a systematic review. Zbl 1455.62060
Lüdtke, Stefan; Schröder, Max; Krüger, Frank; Bader, Sebastian; Kirste, Thomas
1
2018
Optimal torpedo scheduling. Zbl 07003206
Goldwaser, Adrian; Schutt, Andreas
1
2018
Bounds on the cost of stabilizing a cooperative game. Zbl 1454.91012
Bachrach, Yoram; Elkind, Edith; Malizia, Enrico; Meir, Reshef; Pasechnik, Dmitrii; Rosenschein, Jeffrey S.; Rothe, Jörg; Zuckerman, Michael
1
2018
Incentive-compatible mechanisms for norm monitoring in open multi-agent systems. Zbl 1448.68437
Alechina, Natasha; Halpern, Joseph Y.; Kash, Ian A.; Logan, Brian
1
2018
The power of verification for greedy mechanism design. Zbl 1452.91071
Fotakis, Dimitris; Krysta, Piotr; Ventre, Carmine
1
2018
Counterexample-guided Cartesian abstraction refinement for classical planning. Zbl 1448.68392
Seipp, Jendrik; Helmert, Malte
1
2018
Computing hierarchical finite state controllers with classical planning. Zbl 1448.68391
Segovia-Aguas, Javier; Jiménez, Sergio; Jonsson, Anders
1
2018
Survey of the state of the art in natural language generation: core tasks, applications and evaluation. Zbl 1426.68265
Gatt, Albert; Krahmer, Emiel
1
2018
The Sixth Answer Set Programming Competition. Zbl 1418.68030
Gebser, Martin; Maratea, Marco; Ricca, Francesco
13
2017
Probabilistic reasoning with abstract argumentation frameworks. Zbl 1418.68193
Hunter, Anthony; Thimm, Matthias
9
2017
Randomized social choice functions under metric preferences. Zbl 1411.91221
Anshelevich, Elliot; Postl, John
8
2017
The price of anarchy in auctions. Zbl 1417.91250
Roughgarden, Tim; Syrgkanis, Vasilis; Tardos, Éva
8
2017
Elections with few voters: candidate control can be easy. Zbl 1426.91092
Chen, Jiehua; Faliszewski, Piotr; Niedermeier, Rolf; Talmon, Nimrod
7
2017
Subset selection via implicit utilitarian voting. Zbl 1401.91050
Caragiannis, Ioannis; Nath, Swaprava; Procaccia, Ariel D.; Shah, Nisarg
6
2017
On the semantics and complexity of probabilistic logic programs. Zbl 1418.68027
Gagliardi Cozman, Fabio; Deratani Mauá, Denis
6
2017
Local search for minimum weight dominating set with two-level configuration checking and frequency based scoring function. Zbl 1404.68146
Wang, Yiyuan; Cai, Shaowei; Yin, Minghao
6
2017
Improving the efficiency of dynamic programming on tree decompositions via machine learning. Zbl 1407.68386
Abseher, Michael; Musliu, Nysret; Woltran, Stefan
6
2017
Complexity of \(n\)-queens completion. Zbl 1418.68099
Gent, Ian P.; Jefferson, Christopher; Nightingale, Peter
5
2017
The linear programming approach to reach-avoid problems for Markov decision processes. Zbl 1427.90286
Kariotoglou, Nikolaos; Kamgarpour, Maryam; Summers, Tyler H.; Lygeros, John
5
2017
A model-theoretic view on qualitative constraint reasoning. Zbl 1405.68342
Bodirsky, Manuel; Jonsson, Peter
5
2017
AND/OR branch-and-bound on a computational grid. Zbl 1418.68189
Otten, Lars; Dechter, Rina
4
2017
Axiomatising incomplete preferences through sets of desirable gambles. Zbl 1426.91090
Zaffalon, Marco; Miranda, Enrique
4
2017
Bayesian network structure learning with integer programming: polytopes, facets and complexity. Zbl 1404.68099
Cussens, James; Järvisalo, Matti; Korhonen, Janne H.; Bartlett, Mark
4
2017
On the equivalence between assumption-based argumentation and logic programming. Zbl 1423.68480
Caminada, Martin; Schulz, Claudia
3
2017
Chamberlin-Courant rule with approval ballots: approximating the MaxCover problem with bounded frequencies in FPT time. Zbl 1423.68601
Skowron, Piotr; Faliszewski, Piotr
3
2017
Computational aspects of nearly single-peaked electorates. Zbl 1419.91248
Erdélyi, Gábor; Lackner, Martin; Pfandler, Andreas
3
2017
Probabilistic description logics for subjective uncertainty. Zbl 1401.68305
Gutiérrez-Basulto, Victor; Jung, Jean Christoph; Lutz, Carsten; Schröder, Lutz
2
2017
Complexity results and algorithms for extension enforcement in abstract argumentation. Zbl 1418.68196
Wallner, Johannes P.; Niskanen, Andreas; Järvisalo, Matti
2
2017
Rationalisation of profiles of abstract argumentation frameworks: characterisation and complexity. Zbl 1418.68190
Airiau, Stéphane; Bonzon, Elise; Endriss, Ulle; Maudet, Nicolas; Rossit, Julien
2
2017
Preference-based inconsistency management in multi-context systems. Zbl 1419.68143
Eiter, Thomas; Weinzierl, Antonius
2
2017
A knowledge level account of forgetting. Zbl 1423.68488
Delgrande, James P.
2
2017
Adopting the cascade model in ad auctions: efficiency bounds and truthful algorithmic mechanisms. Zbl 1425.91192
Farina, Gabriele; Gatti, Nicola
1
2017
Privacy preserving implementation of the Max-Sum algorithm and its variants. Zbl 1418.68082
Tassa, Tamir; Grinshpoun, Tal; Zivan, Roie
1
2017
Finding a small vertex cover in massive sparse graphs: construct, local search, and preprocess. Zbl 1418.68164
Cai, Shaowei; Lin, Jinkun; Luo, Chuan
1
2017
Logical formalizations of commonsense reasoning: a survey. Zbl 1418.68192
Davis, Ernest
1
2017
Decision-theoretic planning under anonymity in agent populations. Zbl 1418.68221
Sonu, Ekhlas; Chen, Yingke; Doshi, Prashant
1
2017
Uniform random generation and dominance testing for CP-nets. Zbl 1418.68186
Allen, Thomas E.; Goldsmith, Judy; Justice, Hayden Elizabeth; Mattei, Nicholas; Raines, Kayla
1
2017
Residual-guided look-ahead in AND/OR search for graphical models. Zbl 1418.68188
Lam, William; Kask, Kalev; Larrosa, Javier; Dechter, Rina
1
2017
Sample-based tree search with fixed and adaptive state abstractions. Zbl 1423.68451
Hostetler, Jesse; Fern, Alan; Dietterich, Thomas
1
2017
Time and space bounds for planning. Zbl 1423.68433
Bäckström, Christer; Jonsson, Peter
1
2017
Learning discrete Bayesian networks from continuous data. Zbl 1409.68229
Chen, Yi-Chun; Wheeler, Tim A.; Kochenderfer, Mykel J.
1
2017
Parliamentary voting procedures: agenda control, manipulation, and uncertainty. Zbl 1417.91183
Bredereck, Robert; Chen, Jiehua; Niedermeier, Rolf; Walsh, Toby
1
2017
DESPOT: online POMDP planning with regularization. Zbl 1404.68147
Ye, Nan; Somani, Adhiraj; Hsu, David; Lee, Wee Sun
1
2017
Indirect causes in dynamic Bayesian networks revisited. Zbl 1409.68292
Motzek, Alexander; Möller, Ralf
1
2017
Bayesian optimization in a billion dimensions via random embeddings. Zbl 1358.90089
Wang, Ziyu; Hutter, Frank; Zoghi, Masrour; Matheson, David; de Feitas, Nando
15
2016
...and 684 more Documents
all top 5

Cited by 6,631 Authors

35 Eiter, Thomas
25 Woltran, Stefan
24 Prade, Henri M.
19 Dubois, Didier
19 Rothe, Jörg-Matthias
17 Jonsson, Peter A.
17 Lang, Jérôme
17 Marquis, Pierre
16 Benferhat, Salem
16 Gagliardi Cozman, Fabio
16 Szeider, Stefan
15 Faliszewski, Piotr
15 Marques-Silva, João P.
15 Wolter, Frank
14 De Raedt, Luc
14 Elkind, Edith
14 Endriss, Ulle
14 Kraus, Sarit
14 Lukasiewicz, Thomas
14 Peñaloza, Rafael
14 Walsh, Toby
14 Zaffalon, Marco
13 Cooper, Martin C.
13 Gottlob, Georg
13 Lutz, Carsten
13 Mauá, Denis Deratani
13 Zakharyaschev, Michael Viktorovich
12 Darwiche, Adnan
12 Guo, Jiong
12 Maratea, Marco
12 Straccia, Umberto
12 Wooldridge, Michael J.
12 Xu, Ke
11 Arieli, Ofer
11 Brandt, Felix
11 Cohen, David A.
11 Felner, Ariel
11 Hemaspaandra, Lane A.
11 Hullermeier, Eyke
11 Jennings, Nicholas R.
11 Leone, Nicola
11 Niedermeier, Rolf
11 Skowron, Piotr
11 Tennenholtz, Moshe
11 Yin, Minghao
10 Beck, J. Christopher
10 Calvanese, Diego
10 Greco, Gianluigi
10 Jeavons, Peter G.
10 Kern-Isberner, Gabriele
10 Meisels, Amnon
10 Rybakov, Vladimir Vladimirovich
9 Bobillo, Fernando
9 Cai, Shaowei
9 Cussens, James
9 de Campos, Cassio Polpo
9 de Cooman, Gert
9 De Giacomo, Giuseppe
9 Dechter, Rina
9 Dodaro, Carmine
9 Fink, Michael
9 Leyton-Brown, Kevin
9 Pontelli, Enrico
9 Prestwich, Steven D.
9 Schaub, Torsten H.
9 Stern, Roni
9 Voudouris, Alexandros A.
9 Živný, Stanislav
8 Baader, Franz
8 Bessiere, Christian
8 Bredereck, Robert
8 Burke, Edmund Kieran
8 Caragiannis, Ioannis
8 Conitzer, Vincent
8 de Givry, Simon
8 Domshlak, Carmel
8 Dunne, Paul E.
8 Gaspers, Serge
8 Gerevini, Alfonso Emilio
8 Gutin, Gregory Z.
8 Hoos, Holger H.
8 Hunter, Anthony
8 Ibaraki, Toshihide
8 Kambhampati, Subbarao
8 Konieczny, Sébastien
8 Lecoutre, Christophe
8 Lindauer, Marius
8 Makino, Kazuhisa
8 Papini, Odile
8 Riguzzi, Fabrizio
8 Rosenschein, Jeffrey S.
8 Ryzhikov, Vladislav
8 Sandholm, Tuomas W.
8 Son, Tran Cao
8 Stuckey, Peter James
8 Wang, Kewen
8 Wang, Zhe
8 Wilson, Nic
8 Zhang, Yan
8 Zivan, Roie
...and 6,531 more Authors
all top 5

Cited in 315 Journals

638 Artificial Intelligence
229 International Journal of Approximate Reasoning
154 Annals of Mathematics and Artificial Intelligence
127 Theoretical Computer Science
103 European Journal of Operational Research
101 Machine Learning
75 Information Sciences
74 Constraints
67 Theory and Practice of Logic Programming
65 Pattern Recognition
60 Annals of Operations Research
54 Journal of Computer and System Sciences
52 Computers & Operations Research
51 Journal of Automated Reasoning
48 Discrete Applied Mathematics
42 The Journal of Artificial Intelligence Research (JAIR)
41 Journal of Applied Logic
38 Fuzzy Sets and Systems
37 Games and Economic Behavior
37 Data Mining and Knowledge Discovery
32 Theory of Computing Systems
30 Journal of Machine Learning Research (JMLR)
29 Neural Networks
28 Social Choice and Welfare
28 Information and Computation
27 Algorithmica
25 Journal of Philosophical Logic
24 Mathematical Problems in Engineering
23 Information Processing Letters
23 Automatica
22 Computational Statistics and Data Analysis
22 Journal of Heuristics
21 Mathematical Social Sciences
19 Journal of Global Optimization
19 Journal of Combinatorial Optimization
19 ACM Transactions on Computational Logic
16 Studia Logica
16 Synthese
16 INFORMS Journal on Computing
15 Applied Mathematics and Computation
12 Computers & Mathematics with Applications
12 SIAM Journal on Computing
12 Neural Computation
12 Mathematical Programming. Series A. Series B
12 Journal of Scheduling
12 International Journal of Applied Mathematics and Computer Science
11 Operations Research
11 Computational Intelligence
11 Logical Methods in Computer Science
10 Annals of Pure and Applied Logic
10 International Journal of Computer Vision
9 The Annals of Statistics
9 Journal of Computer Science and Technology
9 Journal of Intelligent & Robotic Systems
9 Soft Computing
9 Journal of Discrete Algorithms
9 Advances in Data Analysis and Classification. ADAC
9 Algorithms
8 Journal of Mathematical Psychology
8 Mathematics of Operations Research
8 Theory and Decision
8 Mathematical and Computer Modelling
8 AI Communications
8 Formal Methods in System Design
8 Discrete Optimization
8 Frontiers of Computer Science
7 Journal of Economic Theory
7 Kybernetika
7 Discrete Event Dynamic Systems
7 Journal of Logic, Language and Information
7 Journal of Applied Non-Classical Logics
7 Natural Computing
7 Statistical Analysis and Data Mining
7 The Annals of Applied Statistics
7 Journal of Theoretical Biology
6 Journal of Computational Physics
6 Journal of Mathematical Economics
6 International Journal of Intelligent Systems
6 Computational Statistics
6 Journal of Computer and Systems Sciences International
6 Complexity
6 4OR
6 Logica Universalis
6 Optimization Letters
6 Games
5 Acta Informatica
5 Biological Cybernetics
5 Discrete Mathematics
5 Journal of Mathematical Analysis and Applications
5 International Journal of Game Theory
5 New Generation Computing
5 SIAM Journal on Discrete Mathematics
5 Automation and Remote Control
5 Economic Theory
5 Discrete Dynamics in Nature and Society
5 Erkenntnis
5 Computational & Mathematical Methods in Medicine
5 Statistics and Computing
4 Journal of Computational and Applied Mathematics
4 Journal of Multivariate Analysis
...and 215 more Journals
all top 5

Cited in 44 Fields

2,687 Computer science (68-XX)
650 Operations research, mathematical programming (90-XX)
626 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
417 Statistics (62-XX)
374 Mathematical logic and foundations (03-XX)
156 Combinatorics (05-XX)
74 Probability theory and stochastic processes (60-XX)
72 Systems theory; control (93-XX)
66 Biology and other natural sciences (92-XX)
54 Numerical analysis (65-XX)
40 Information and communication theory, circuits (94-XX)
22 Order, lattices, ordered algebraic structures (06-XX)
15 General and overarching topics; collections (00-XX)
11 Statistical mechanics, structure of matter (82-XX)
9 Measure and integration (28-XX)
8 History and biography (01-XX)
8 Calculus of variations and optimal control; optimization (49-XX)
8 Convex and discrete geometry (52-XX)
7 Linear and multilinear algebra; matrix theory (15-XX)
7 Quantum theory (81-XX)
6 General algebraic systems (08-XX)
5 Mechanics of deformable solids (74-XX)
5 Geophysics (86-XX)
4 Partial differential equations (35-XX)
4 Dynamical systems and ergodic theory (37-XX)
4 Mechanics of particles and systems (70-XX)
3 Commutative algebra (13-XX)
3 Approximations and expansions (41-XX)
3 Geometry (51-XX)
3 Fluid mechanics (76-XX)
2 Number theory (11-XX)
2 Ordinary differential equations (34-XX)
2 General topology (54-XX)
1 Field theory and polynomials (12-XX)
1 Algebraic geometry (14-XX)
1 Associative rings and algebras (16-XX)
1 Group theory and generalizations (20-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