SMOTE: Synthetic minority over-sampling technique. Zbl 0994.68128
Chawla, N. V.; Bowyer, K. W.; Hall, L. O.; Kegelmeyer, W. P. |
|
2002
|
A knowledge compilation map. Zbl 1045.68131
Darwiche, A.; Marquis, P. |
|
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 |
|
2004
|
Paramils: an automatic algorithm configuration framework. Zbl 1192.68831
Hutter, F.; Hoos, H. H.; Leyton-Brown, K.; Stuetzle, T. |
|
2009
|
SATzilla: portfolio-based algorithm selection for SAT. Zbl 1182.68272
Xu, L.; Hutter, F.; Hoos, H. H.; Leyton-Brown, K. |
|
2008
|
Solving multiclass learning problems via error-correcting output codes. Zbl 0900.68358
Dietterich, T. G.; Bakiri, G. |
|
1995
|
The FF planning system: Fast plan generation through heuristic search. Zbl 0970.68044
Hoffmann, J.; Nebel, B. |
|
2001
|
Active learning with statistical models. Zbl 0900.68366
Cohn, D. A.; Ghahramani, Z.; Jordan, M. I. |
|
1996
|
Llull and Copeland voting computationally resist bribery and constructive control. Zbl 1180.91091
Faliszewski, P.; Hemaspaandra, E.; Hemaspaandra, L. A.; Rothe, J. |
|
2009
|
Adaptive submodularity: theory and applications in active learning and stochastic optimization. Zbl 1230.90141
Golovin, D.; Krause, A. |
|
2011
|
Towards understanding and harnessing the potential of clause learning. Zbl 1080.68651
Beame, Paul; Kautz, Henry; Sabharwal, Ashish |
|
2004
|
PDDL2.1: An extension to PDDL for expressing temporal planning domains. Zbl 1036.68093
Fox, M.; Long, D. |
|
2003
|
How hard is bribery in elections? Zbl 1180.91090
Faliszewski, P.; Hemaspaandra, E.; Hemaspaandra, L. A. |
|
2009
|
The fast downward planning system. Zbl 1182.68245
Helmert, M. |
|
2006
|
The DL-Lite family and relations. Zbl 1192.68657
Artale, A.; Calvanese, D.; Kontchakov, R.; Zakharyaschev, M. |
|
2009
|
Learning to order things. Zbl 0915.68031
Cohen, W. W.; Schapire, R. E.; Singer, Y. |
|
1999
|
Dynamic backtracking. Zbl 0900.68179
Ginsberg, M. L. |
|
1993
|
Change in abstract argumentation frameworks: adding an argument. Zbl 1191.68480
Cayrol, C.; de Saint-Cyr, F. Dupin; Lagasquie-Schiex, M. |
|
2010
|
Reasoning within fuzzy description logics. Zbl 0973.03034
Straccia, U. |
|
2001
|
Computationally feasible VCG mechanisms. Zbl 1165.91387
Nisan, N.; Ronen, A. |
|
2007
|
Decision-theoretic planning: Structural assumptions and computational leverage. Zbl 0918.68110
Boutilier, C.; Dean, T.; Hanks, S. |
|
1999
|
Propositional independence – formula-variable independence and forgetting. Zbl 1056.68112
Lang, J.; Liberatore, P.; Marquis, P. |
|
2003
|
Pure Nash equilibria: hard and easy games. Zbl 1134.91312
Gottlob, G.; Greco, G.; Scarcello, F. |
|
2005
|
A system for induction of oblique decision trees. Zbl 0900.68335
Murthy, S. K.; Kasif, S.; Salzberg, S. |
|
1994
|
Parameter learning of logic programs for symbolic-statistical modeling. Zbl 0994.68025
Sato, T.; Kameya, Y. |
|
2001
|
Exploiting causal independence in Bayesian network inference. Zbl 0900.68384
Zhang, N. L.; Poole, D. |
|
1996
|
Popular ensemble methods: An empirical study. Zbl 0924.68159
Opitz, D.; Maclin, R. |
|
1999
|
Exact phase transitions in random constraint satisfaction problems. Zbl 0940.68099
Xu, K.; Li, Wei |
|
2000
|
Taming the infinite chase: query answering under expressive relational constraints. Zbl 1361.68221
Calí, Andrea; Gottlob, Georg; Kifer, Michael |
|
2013
|
Improved heterogeneous distance functions. Zbl 0894.68118
Wilson, D. R.; Martinez, T. R. |
|
1997
|
Hierarchical reinforcement learning with the MAXQ value function decomposition. Zbl 0963.68085
Dietterich, T. G. |
|
2000
|
Improved use of continuous attributes in C4. 5. Zbl 0900.68112
Quinlan, J. R. |
|
1996
|
Infinite-horizon policy-gradient estimation. Zbl 0994.68119
Baxter, J.; Bartlett, P. L. |
|
2001
|
Dynamic local search for the maximum clique problem. Zbl 1182.68065
Pullan, W.; Hoos, H. H. |
|
2006
|
Admissible and restrained revision. Zbl 1182.68284
Booth, R.; Meyer, T. |
|
2006
|
New inference rules for Max-SAT. Zbl 1182.68254
Li, C. M.; Manya, F.; Planes, J. |
|
2007
|
The computational complexity of probabilistic planning. Zbl 0903.68100
Littman, M. L.; Goldsmith, J.; Mundhenk, M. |
|
1998
|
Bayesian optimization in a billion dimensions via random embeddings. Zbl 1358.90089
Wang, Ziyu; Hutter, Frank; Zoghi, Masrour; Matheson, David; de Feitas, Nando |
|
2016
|
Efficiency and envy-freeness in fair division of indivisible goods: logical representation and complexity. Zbl 1183.68570
Bouveret, S.; Lang, J. |
|
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. |
|
2011
|
A model of inductive bias learning. Zbl 0940.68106
Baxter, J. |
|
2000
|
Minimaxsat: an efficient weighted Max-SAT solver. Zbl 1183.68578
Heras, F.; Larrosa, J.; Oliveras, A. |
|
2008
|
Graduality in argumentation. Zbl 1080.68608
Cayrol, C.; Lagasquie-Schiex, M. C. |
|
2005
|
Axiomatizing causal reasoning. Zbl 0943.68016
Halpern, J. Y. |
|
2000
|
Modular reuse of ontologies: theory and practice. Zbl 1183.68479
Cuenca Grau, B.; Horrocks, I.; Kazakov, Y.; Sattler, U. |
|
2008
|
On the computation of fully proportional representation. Zbl 1269.68057
Betzler, Nadja; Slinko, Arkadii; Uhlmann, Johannes |
|
2013
|
Determining possible and necessary winners given partial orders. Zbl 1218.91040
Xia, L.; Conitzer, V. |
|
2011
|
Constructing conditional plans by a theorem-prover. Zbl 0916.68139
Rintanen, J. |
|
1999
|
Responsibility and blame: a structural-model approach. Zbl 1080.68680
Chockler, Hana; Halpern, Joseph Y. |
|
2004
|
Clause/Term resolution and learning in the evaluation of quantified Boolean formulas. Zbl 1183.68475
Giunchiglia, E.; Narizzano, M.; Tacchella, A. |
|
2006
|
Optimal value of information in graphical models. Zbl 1192.68645
Krause, A.; Guestrin, C. |
|
2009
|
Complexity results and approximation strategies for MAP explanations. Zbl 1080.68689
Park, James D.; Darwiche, Adnan |
|
2004
|
Randomized algorithms for the loop cutset problem. Zbl 0947.68138
Becker, A.; Bar-Yehuda, R.; Geiger, D. |
|
2000
|
Multimode control attacks on elections. Zbl 1242.91055
Faliszewski, Piotr; Hemaspaandra, Edith; Hemaspaandra, Lane A. |
|
2011
|
Can we learn to beat the best stock. Zbl 1076.91015
Borodin, Allan; El-Yaniv, Ran; Gogan, Vincent |
|
2004
|
AntNet: Distributed stigmergetic control for communications networks. Zbl 0910.68182
Di Caro, G.; Dorigo, M. |
|
1998
|
Identifying hierarchical structure in sequences: A linear-time algorithm. Zbl 0894.68072
Nevill-Manning, C. G.; Witten, I. H. |
|
1997
|
Conjunctive query answering for the description logic SHIQ. Zbl 1183.68244
Glimm, B.; Lutz, C.; Horrocks, I.; Sattler, U. |
|
2008
|
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. |
|
2013
|
Clause-learning algorithms with many restarts and bounded-width resolution. Zbl 1214.68340
Atserias, A.; Fichte, J. K.; Thurley, M. |
|
2011
|
Planning through stochastic local search and temporal action graphs in LPG. Zbl 1058.68103
Gerevini, A.; Saetti, A.; Serina, I. |
|
2003
|
Perseus: randomized point-based value iteration for POMDPs. Zbl 1080.68674
Spaan, M. T. J.; Vlassis, N. |
|
2005
|
Squeaky wheel optimization. Zbl 0918.90120
Joslin, D. E.; Clements, D. P. |
|
1999
|
Value-function approximations for partially observable Markov decision processes. Zbl 0946.68131
Hauskrecht, M. |
|
2000
|
Efficient solution algorithms for factored MDPs. Zbl 1026.68125
Guestrin, C.; Koller, D.; Parr, R.; Venkataraman, S. |
|
2003
|
Identifying mislabeled training data. Zbl 0924.68158
Brodley, C. E.; Friedl, M. A. |
|
1999
|
Junta distributions and the average-case complexity of manipulating elections. Zbl 1165.91362
Procaccia, A. D.; Rosenschein, J. S. |
|
2007
|
Complexity of strategic behavior in multi-winner elections. Zbl 1165.91361
Meir, R.; Procaccia, A. D.; Rosenschein, J. S.; Zohar, Aviv |
|
2008
|
Modularity aspects of disjunctive stable models. Zbl 1192.68129
Janhunen, T.; Oikarinen, E.; Tompits, H.; Woltran, S. |
|
2009
|
Learning explanatory rules from noisy data. Zbl 1426.68235
Evans, Richard; Grefenstette, Edward |
|
2018
|
Solving #SAT and Bayesian inference with backtracking search. Zbl 1182.68294
Bacchus, F.; Dalmao, S.; Pitassi, T. |
|
2009
|
Complexity of judgment aggregation. Zbl 1253.68298
Endriss, Ulle; Grandi, Umberto; Porello, Daniele |
|
2012
|
Translating between Horn representations and their characteristic models. Zbl 0900.68197
Khardon, R. |
|
1995
|
Defining relative likelihood in partially-ordered preferential structures. Zbl 0895.03010
Halpern, Joseph Y. |
|
1997
|
From frequency to meaning: vector space models of semantics. Zbl 1185.68765
Turney, Peter D.; Pantel, Patrick |
|
2010
|
The complexity of circumscription in DLs. Zbl 1182.68275
Bonatti, P. A.; Lutz, C.; Wolter, F. |
|
2009
|
Hypertableau reasoning for description logics. Zbl 1192.68664
Motik, B.; Shearer, R.; Horrocks, I. |
|
2009
|
Mean field theory for sigmoid belief networks. Zbl 0900.68379
Saul, L. K.; Jaakkola, T.; Jordan, M. I. |
|
1996
|
A market-oriented programming environment and its application to distributed multicommodity flow problems. Zbl 0900.90089
Wellman, M. P. |
|
1993
|
Randomized social choice functions under metric preferences. Zbl 1411.91221
Anshelevich, Elliot; Postl, John |
|
2017
|
Reasoning with very expressive fuzzy description logics. Zbl 1182.68292
Stoilos, G.; Stamou, G.; Pan, J. Z.; Tzouvaras, V.; Horrocks, I. |
|
2007
|
Defeasible inheritance-based description logics. Zbl 1360.68794
Casini, Giovanni; Straccia, Umberto |
|
2013
|
Auctions with severely bounded communication. Zbl 1165.91376
Blumrosen, L.; Nisan, N.; Segal, I. |
|
2007
|
Domain filtering consistencies. Zbl 0970.68125
Debruyne, R.; Bessiere, C. |
|
2001
|
Probabilistic deduction with conditional constraints over basic events. Zbl 0914.68178
Lukasiewicz, Thomas |
|
1999
|
Decidable reasoning in terminological knowledge representation systems. Zbl 0900.68396
Buchheit, M.; Donini, F. M.; Schaerf, A. |
|
1993
|
Clause elimination for SAT and QSAT. Zbl 1336.68231
Heule, Marijn; Järvisalo, Matti; Lonsing, Florian; Seidl, Martina; Biere, Armin |
|
2015
|
A survey of multi-objective sequential decision-making. Zbl 1364.68323
Roijers, Diedrik M.; Vamplew, Peter; Whiteson, Shimon; Dazeley, Richard |
|
2013
|
Acyclicity notions for existential rules and their application to query answering in ontologies. Zbl 1270.68295
Grau, Bernardo Cuenca; Horrocks, Ian; Krötzsch, Markus; Kupke, Clemens; Magka, Despoina; Motik, Boris; Wang, Zhe |
|
2013
|
Analogical dissimilarity: definition, algorithms and two experiments in machine learning. Zbl 1183.68489
Miclet, L.; Bayoudh, S.; Delhay, A. |
|
2008
|
Exploiting contextual independence in probabilistic inference. Zbl 1056.68144
Poole, D.; Zhang, N. L. |
|
2003
|
Issues in stacked generalization. Zbl 0915.68075
Ting, K. M.; Witten, I. H. |
|
1999
|
The complexity of reasoning with cardinality restrictions and nominals in expressive description logics. Zbl 0941.03029
Tobies, S. |
|
2000
|
Bypassing combinatorial protections: polynomial-time algorithms for single-peaked electorates. Zbl 1337.91039
Brandt, Felix; Brill, Markus; Hemaspaandra, Edith; Hemaspaandra, Lane A. |
|
2015
|
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 |
|
2019
|
Anytime point-based approximations for large POMDPS. Zbl 1182.68262
Pineau, J.; Gordon, G.; Thrun, S. |
|
2006
|
Automated search for impossibility theorems in social choice theory: ranking sets of objects. Zbl 1214.68382
Geist, C.; Endriss, U. |
|
2011
|
Nash stable outcomes in fractional hedonic games: existence, efficiency and computation. Zbl 1452.91050
Bilò, Vittorio; Fanelli, Angelo; Flammini, Michele; Monaco, Gianpiero; Moscardelli, Luca |
|
2018
|
The 3rd international planning competition: Results and analysis. Zbl 1036.68097
Long, D.; Fox, M. |
|
2003
|
NuMVC: an efficient local search algorithm for minimum vertex cover. Zbl 1280.90098
Cai, Shaowei; Su, Kaile; Luo, Chuan; Sattar, Abdul |
|
2013
|
A survey of zero-shot generalisation in deep reinforcement learning. Zbl 1506.68106
Kirk, Robert; Zhang, Amy; Grefenstette, Edward; Rocktäschel, Tim |
|
2023
|
On fair division under heterogeneous matroid constraints. Zbl 07732091
Dror, Amitay; Feldman, Michal; Segal-Halevi, Erel |
|
2023
|
Certified dominance and symmetry breaking for combinatorial optimisation. Zbl 1535.68180
Bogaerts, Bart; Gocht, Stephan; McCreesh, Ciaran; Nordström, Jakob |
|
2023
|
Contract scheduling with predictions. Zbl 07753305
Angelopoulos, Spyros; Kamali, Shahin |
|
2023
|
On dynamics in structured argumentation formalisms. Zbl 07753310
Rapberger, Anna; Ulbricht, Markus |
|
2023
|
Robust control for dynamical systems with non-Gaussian noise via formal abstractions. Zbl 1508.93279
Badings, Thom; Romao, Licio; Abate, Alessandro; Parker, David; Poonawala, Hasan A.; Stoelinga, Marielle; Jansen, Nils |
|
2023
|
Sequence-oriented diagnosis of discrete-event systems. Zbl 1536.93546
Lamperti, Gianfranco; Trerotola, Stefano; Zanella, Marina; Zhao, Xiangfu |
|
2023
|
Amortized variational inference: a systematic review. Zbl 1535.62015
Ganguly, Ankush; Jain, Sanjana; Watchareeruetai, Ukrit |
|
2023
|
The complexity of matching games: a survey. Zbl 1536.91029
Benedek, Marton; Biro, Peter; Johnson, Matthew; Paulusma, Daniel; Ye, Xin |
|
2023
|
Equivalence in argumentation frameworks with a claim-centric view: classical results with novel ingredients. Zbl 1535.68323
Baumann, Ringo; Rapberger, Anna; Ulbricht, Markus |
|
2023
|
On tackling explanation redundancy in decision trees. Zbl 07603113
Izza, Yacine; Ignatiev, Alexey; Marques-Silva, Joao |
|
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. |
|
2022
|
Reward machines: exploiting reward function structure in reinforcement learning. Zbl 1522.68482
Toro Icarte, Rodrigo; Klassen, Toryn Q.; Valenzano, Richard; McIlraith, Sheila A. |
|
2022
|
On the tractability of Shap explanations. Zbl 07566000
Van den Broeck, Guy; Lykov, Anton; Schleich, Maximilian; Suciu, Dan |
|
2022
|
Explainable deep learning: a field guide for the uninitiated. Zbl 1522.68502
Ras, Gabrielle; Xie, Ning; van Gerven, Marcel; Doran, Derek |
|
2022
|
Objective Bayesian nets for integrating consistent datasets. Zbl 07565991
Landes, Juergen; Williamson, Jon |
|
2022
|
The computational complexity of ReLU network training parameterized by data dimensionality. Zbl 07596560
Froese, Vincent; Hertrich, Christoph; Niedermeier, Rolf |
|
2022
|
A survey of methods for automated algorithm configuration. Zbl 07603116
Schede, Elias; Brandt, Jasmin; Tornede, Alexander; Wever, Marcel; Bengs, Viktor; Hüllermeier, Eyke; Tierney, Kevin |
|
2022
|
On the indecisiveness of Kelly-strategyproof social choice functions. Zbl 07527547
Brandt, Felix; Bullinger, Martin; Lederer, Patrick |
|
2022
|
Fast adaptive non-monotone submodular maximization subject to a knapsack constraint. Zbl 07565996
Amanatidis, Georgios; Fusco, Federico; Lazos, Philip; Leonardi, Stefano; Reiffenhäuser, Rebecca |
|
2022
|
Inductive logic programming at 30: a new introduction. Zbl 07565999
Cropper, Andrew; Dumančić, Sebastijan |
|
2022
|
Altruistic hedonic games. Zbl 1542.91012
Kerkmann, Anna Maria; Nguyen, Nhan-Tam; Rey, Anja; Rey, Lisa; Rothe, Jörg; Schend, Lena; Wiechers, Alessandra |
|
2022
|
First-order rewritability and complexity of two-dimensional temporal ontology-mediated queries. Zbl 07639820
Artale, Alessandro; Kontchakov, Roman; Kovtunova, Alisa; Ryzhikov, Vladislav; Wolter, Frank; Zakharyaschev, Michael |
|
2022
|
Approximating perfect recall when model checking strategic abilities: theory and applications. Zbl 07527543
Belardinelli, Francesco; Lomuscio, Alessio; Malvone, Vadim; Yu, Emily |
|
2022
|
Fairness in influence maximization through randomization. Zbl 07527550
Becker, Ruben; D’Angelo, Gianlorenzo; Ghobadi, Sajjad; Gilbert, Hugo |
|
2022
|
Finding and recognizing popular coalition structures. Zbl 07565994
Brandt, Felix; Bullinger, Martin |
|
2022
|
HEBO: pushing the limits of sample-efficient hyper-parameter optimisation. Zbl 07566012
Cowen-Rivers, Alexander I.; Lyu, Wenlong; Tutunov, Rasul; Wang, Zhi; Grosnit, Antoine; Griffiths, Ryan Rhys; Maraval, Alexandre Max; Jianye, Hao; Wang, Jun; Peters, Jan; Bou-Ammar, Haitham |
|
2022
|
Preferences single-peaked on a tree: multiwinner elections and structural results. Zbl 1522.91097
Peters, Dominik; Yu, Lan; Chan, Hau; Elkind, Edith |
|
2022
|
Automated dynamic algorithm configuration. Zbl 07639828
Adriaensen, Steven; Biedenkapp, André; Shala, Gresa; Awad, Noor; Eimer, Theresa; Lindauer, Marius; Hutter, Frank |
|
2022
|
Improving simulated annealing for clique partitioning problems. Zbl 07577516
Gao, Jian; Lv, Yiqi; Liu, Minghao; Cai, Shaowei; Ma, Feifei |
|
2022
|
Better decision heuristics in CDCL through local search and target phases. Zbl 07577517
Cai, Shaowei; Zhang, Xindi; Fleury, Mathias; Biere, Armin |
|
2022
|
Sum-of-products with default values: algorithms and complexity results. Zbl 07527533
Ganian, Robert; Kim, Eun Jung; Slivovsky, Friedrich; Szeider, Stefan |
|
2022
|
Migrating techniques from search-based multi-agent path finding solvers to SAT-based approach. Zbl 1519.68241
Surynek, Pavel; Stern, Roni; Boyarski, Eli; Felner, Ariel |
|
2022
|
Some inapproximability results of MAP inference and exponentiated determinantal point processes. Zbl 07527538
Ohsaka, Naoto |
|
2022
|
Survey and evaluation of causal discovery methods for time series. Zbl 07527540
Assaad, Charles K.; Devijver, Emilie; Gaussier, Eric |
|
2022
|
Incremental event calculus for run-time reasoning. Zbl 07527545
Tsilionis, Efthimis; Artikis, Alexander; Paliouras, Georgios |
|
2022
|
Fair division of indivisible goods for a class of concave valuations. Zbl 07565984
Chaudhury, Bhaskar Ray; Cheung, Yun Kuen; Garg, Jugal; Garg, Naveen; Hoefer, Martin; Mehlhorn, Kurt |
|
2022
|
Constraint solving approaches to the business-to-business meeting scheduling problem. Zbl 07565988
Bofill, Miquel; Coll, Jordi; Garcia, Marc; Giráldez-Cru, Jesús; Pesant, Gilles; Suy, Josep; Villaret, Mateu |
|
2022
|
Adaptive greedy versus non-adaptive greedy for influence maximization. Zbl 07565989
Chen, Wei; Peng, Binghui; Schoenebeck, Grant; Tao, Biaoshuai |
|
2022
|
Planning with critical section macros: theory and practice. Zbl 07565997
Chrpa, Lukáš; Vallati, Mauro |
|
2022
|
Cooperation and learning dynamics under wealth inequality and diversity in individual risk. Zbl 07565998
Merhej, Ramona; Santos, Fernando P.; Melo, Francisco S.; Santos, Francisco C. |
|
2022
|
Admissibility in probabilistic argumentation. Zbl 07566003
Käfer, Nikolai; Baier, Christel; Diller, Martin; Dubslaff, Clemens; Gaggl, Sarah Alice; Hermanns, Holger |
|
2022
|
A comprehensive framework for learning declarative action models. Zbl 07566007
Aineto, Diego; Jiménez, Sergio; Onaindia, Eva |
|
2022
|
Learning Bayesian networks under sparsity constraints: a parameterized complexity analysis. Zbl 07566011
Grüttemeier, Niels; Komusiewicz, Christian |
|
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 |
|
2022
|
Synthesis and properties of optimally value-aligned normative systems. Zbl 07596559
Montes, Nieves; Sierra, Carles |
|
2022
|
Chance-constrained static schedules for temporally probabilistic plans. Zbl 07639822
Fang, Cheng; Wang, Andrew J.; Williams, Brian C. |
|
2022
|
Proofs and certificates for Max-SAT. Zbl 07639823
Py, Matthieu; Cherif, Mohamed Sami; Habet, Djamal |
|
2022
|
Joint optimization of concave scalarized multi-objective reinforcement learning with policy gradient based algorithm. Zbl 07577518
Bai, Qinbo; Agarwal, Mridul; Aggarwal, Vaneet |
|
2022
|
Classical planning in deep latent space. Zbl 07577519
Asai, Masataro; Kajino, Hiroshi; Fukunaga, Alex; Muise, Christian |
|
2022
|
Two-facility location games with minimum distance requirement. Zbl 1512.91040
Xu, Xinping; Li, Bo; Li, Minming; Duan, Lingjie |
|
2021
|
A survey on the explainability of supervised machine learning. Zbl 1497.68412
Burkart, Nadia; Huber, Marco F. |
|
2021
|
The computational complexity of understanding binary classifier decisions. Zbl 1512.68116
Wäldchen, Stephan; Macdonald, Jan; Hauch, Sascha; Kutyniok, Gitta |
|
2021
|
Output space entropy search framework for multi-objective Bayesian optimization. Zbl 1522.68444
Belakaria, Syrine; Deshwal, Aryan; Doppa, Janardhan Rao |
|
2021
|
Liquid democracy: an algorithmic perspective. Zbl 1520.91144
Kahng, Anson; Mackenzie, Simon; Procaccia, Ariel D. |
|
2021
|
On quantifying literals in Boolean logic and its applications to explainable AI. Zbl 1522.68526
Darwiche, Adnan; Marquis, Pierre |
|
2021
|
Welfare guarantees in Schelling segregation. Zbl 1521.91102
Bullinger, Martin; Suksompong, Warut; Voudouris, Alexandros A. |
|
2021
|
Learning optimal decision sets and lists with SAT. Zbl 1522.68489
Yu, Jinqiang; Ignatiev, Alexey; Stuckey, Peter J.; Le Bodic, Pierre |
|
2021
|
Weighted first-order model counting in the two-variable fragment with counting quantifiers. Zbl 1510.68109
Kuželka, Ondřej |
|
2021
|
Induction and exploitation of subgoal automata for reinforcement learning. Zbl 1512.68275
Furelos-Blanco, Daniel; Law, Mark; Jonsson, Anders; Broda, Krysia; Russo, Alessandra |
|
2021
|
Declarative algorithms and complexity results for assumption-based argumentation. Zbl 1519.68254
Lehtonen, Tuomo; Wallner, Johannes P.; Järvisalo, Matti |
|
2021
|
Bribery and control in stable marriage. Zbl 1519.91175
Boehmer, Niclas; Bredereck, Robert; Heeger, Klaus; Niedermeier, Rolf |
|
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 |
|
2021
|
Efficient large-scale multi-drone delivery using transit networks. Zbl 1512.68388
Choudhury, Shushman; Solovey, Kiril; Kochenderfer, Mykel J.; Pavone, Marco |
|
2021
|
Strategyproof mechanisms for additively separable and fractional hedonic games. Zbl 1514.91008
Flammini, Michele; Kodric, Bojana; Monaco, Gianpiero; Zhang, Qiang |
|
2021
|
Efficient local search based on dynamic connectivity maintenance for minimum connected dominating set. Zbl 1510.68106
Zhang, Xindi; Li, Bohan; Cai, Shaowei; Wang, Yiyuan |
|
2021
|
Graph kernels: a survey. Zbl 1522.68477
Nikolentzos, Giannis; Siglidis, Giannis; Vazirgiannis, Michalis |
|
2021
|
On the online coalition structure generation problem. Zbl 1522.68606
Flammini, Michele; Monaco, Gianpiero; Moscardelli, Luca; Shalom, Mordechai; Zaks, Shmuel |
|
2021
|
Dimensional inconsistency measures and postulates in spatio-temporal databases. Zbl 1519.68069
Grant, John; Vanina Martinez, Maria; Molinaro, Cristian; Parisi, Francesco |
|
2021
|
Classifier chains: a review and perspectives. Zbl 1512.68287
Read, Jesse; Pfahringer, Bernhard; Holmes, Geoffrey; Frank, Eibe |
|
2021
|
Confident learning: estimating uncertainty in dataset labels. Zbl 1510.68088
Northcutt, Curtis G.; Jiang, Lu; Chuang, Isaac L. |
|
2021
|
Representative committees of peers. Zbl 1521.91090
Meir, Reshef; Sandomirskiy, Fedor; Tennenholtz, Moshe |
|
2021
|
Intelligence in strategic games. Zbl 1519.68290
Naumov, Pavel; Yuan, Yuan |
|
2021
|
Election manipulation on social networks: seeding, edge removal, edge addition. Zbl 1521.91294
Castiglioni, Matteo; Ferraioli, Diodato; Gatti, Nicola; Landriani, Giulia |
|
2021
|
Finding the hardest formulas for resolution. Zbl 1519.68314
Peitl, Tomáš; Szeider, Stefan |
|
2021
|
Multi-label classification neural networks with hard logical constraints. Zbl 1522.68454
Giunchiglia, Eleonora; Lukasiewicz, Thomas |
|
2021
|
Integrated offline and online decision making under uncertainty. Zbl 1497.68452
De Filippo, Allegra; Lombardi, Michele; Milano, Michela |
|
2021
|
Hybrid-order network consensus for distributed multi-agent systems. Zbl 1512.68392
Xie, Guangqiang; Chen, Junyu; Li, Yang |
|
2021
|
Benchmark and survey of automated machine learning frameworks. Zbl 1512.68294
Zöller, Marc-André; Huber, Marco F. |
|
2021
|
Lilotane: a lifted SAT-based approach to hierarchical planning. Zbl 1512.68312
Schreiber, Dominik |
|
2021
|
A sufficient statistic for influence in structured multiagent environments. Zbl 1512.68390
Oliehoek, Frans A.; Witwicki, Stefan; Kaelbling, Leslie P. |
|
2021
|
A tight bound for stochastic submodular cover. Zbl 1519.68318
Hellerstein, Lisa; Kletenik, Devorah; Parthasarathy, Srinivasan |
|
2021
|
Instance-level update in DL-Lite ontologies through first-order rewriting. Zbl 1510.68107
De Giacomo, Giuseppe; Oriol, Xavier; Rosati, Riccardo; Savo, Domenico Fabio |
|
2021
|
Aggregation over metric spaces: proposing and voting in elections, budgeting, and legislation. Zbl 1519.91104
Bulteau, Laurent; Shahaf, Gal; Shapiro, Ehud; Talmon, Nimrod |
|
2021
|
Efficient retrieval of matrix factorization-based top-\(k\) recommendations: a survey of recent approaches. Zbl 1510.68021
Le, Dung D.; Lauw, Hady |
|
2021
|
Pure Nash equilibria in resource graph games. Zbl 1525.91058
Harks, Tobias; Klimm, Max; Matuschke, Jannik |
|
2021
|
Relevance in belief update. Zbl 1522.68520
Aravanis, Theofanis I. |
|
2021
|
Flexible Bayesian nonlinear model configuration. Zbl 1522.62060
Hubin, Aliaksandr; Storvik, Geir; Frommlet, Florian |
|
2021
|
Steady-state planning in expected reward multichain MDPs. Zbl 1522.68512
Atia, George K.; Beckus, Andre; Alkhouri, Ismail; Velasquez, Alvaro |
|
2021
|
Merge-and-shrink: a compositional theory of transformations of factored transition systems. Zbl 1519.68239
Sievers, Silvan; Helmert, Malte |
|
2021
|
Multilabel classification with partial abstention: Bayes-optimal prediction under label independence. Zbl 1522.68476
Nguyen, Vu-Linh; Hüllermeier, Eyke |
|
2021
|
Task-aware verifiable RNN-based policies for partially observable Markov decision processes. Zbl 1522.68448
Carr, Steven; Jansen, Nils; Topcu, Ufuk |
|
2021
|
Learning temporal causal sequence relationships from real-time time-series. Zbl 1497.68411
Bruto da Costa, Antonio Anastasio; Dasgupta, Pallab |
|
2021
|
An external knowledge enhanced graph-based neural network for sentence ordering. Zbl 1512.68396
Yin, Yongjing; Lai, Shaopeng; Song, Linfeng; Zhou, Chulun; Han, Xianpei; Yao, Junfeng; Su, Jinsong |
|
2021
|
On the distortion value of elections with abstention. Zbl 1518.91069
Seddighin, Masoud; Latifian, Mohammad; Ghodsi, Mohammad |
|
2021
|
Generic constraint-based block modeling using constraint programming. Zbl 1512.68311
Mattenet, Alex; Davidson, Ian; Nijssen, Siegfried; Schaus, Pierre |
|
2021
|
Constrained multiagent Markov decision processes: a taxonomy of problems and algorithms. Zbl 1512.68389
de Nijs, Frits; Walraven, Erwin; de Weerdt, Mathijs M.; Spaan, Matthijs T. J. |
|
2021
|
Improving Nash social welfare approximations of indivisible goods. Zbl 1451.91076
Garg, Jugal; McGlaughlin, Peter |
|
2020
|
Preferences single-peaked on a circle. Zbl 1452.91119
Peters, Dominik; Lackner, Martin |
|
2020
|
Contiguous cake cutting: hardness results and approximation algorithms. Zbl 1490.68242
Goldberg, Paul W.; Hollender, Alexandros; Suksompong, Warut |
|
2020
|
...and 897 more Documents |