Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJournal of Artificial Intelligence Research, Volume 76
Volume 76, 2023
- Pietro Totis, Jesse Davis
, Luc De Raedt, Angelika Kimmig:
Lifted Reasoning for Combinatorial Counting. 1-58 - Richard Comploi-Taupe, Gerhard Friedrich, Konstantin Schekotihin, Antonius Weinzierl:
Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic Approach. 59-114 - Francesco Percassi, Enrico Scala, Mauro Vallati:
A Practical Approach to Discretised PDDL+ Problems by Translation to Numeric Planning. 115-162 - Gideon Ogunniye, Nadin Kökciyan:
A Survey on Understanding and Representing Privacy Requirements in the Internet-of-Things. 163-192 - Federico Bianchi, Amanda Cercas Curry, Dirk Hovy:
Viewpoint: Artificial Intelligence Accidents Waiting to Happen? 193-199 - Robert Kirk, Amy Zhang, Edward Grefenstette, Tim Rocktäschel:
A Survey of Zero-shot Generalisation in Deep Reinforcement Learning. 201-264 - Alexis de Colnet, Stefan Mengel:
Characterizing Tseitin-Formulas with Short Regular Resolution Refutations. 265-286 - Xiaoxi Guo, Sujoy Sikdar, Lirong Xia, Yongzhi Cao, Hanpin Wang:
Favoring Eagerness for Remaining Items: Designing Efficient, Fair, and Strategyproof Mechanisms. 287-339 - Thom S. Badings, Licio Romao, Alessandro Abate, David Parker, Hasan A. Poonawala, Mariëlle Stoelinga, Nils Jansen:
Robust Control for Dynamical Systems with Non-Gaussian Noise via Formal Abstractions. 341-391 - Przemyslaw Andrzej Walega, Michal Zawidzki, Bernardo Cuenca Grau:
Finite Materialisability of Datalog Programs with Metric Temporal Operators. - Jeroen Fransman, Joris Sijs, Henry Dol, Erik Theunissen, Bart De Schutter:
Distributed Bayesian: A Continuous Distributed Constraint Optimization Problem Solver. 393-433 - Dongdong Zhao, Lei Liao, Wenjian Luo, Jianwen Xiang, Hao Jiang, Xiaoyi Hu:
Generating Random SAT Instances: Multiple Solutions could be Predefined and Deeply Hidden. 435-470 - Martin Michalowski, Robert Moskovitch, Nitesh V. Chawla:
Introduction to the Special Track on Artificial Intelligence and COVID-19. 523-525 - Heshan Du, Natasha Alechina, Amin Farjudian, Brian Logan, Can Zhou, Anthony G. Cohn:
A Logic of East and West. 527-565 - Amitay Dror, Michal Feldman, Erel Segal-Halevi:
On Fair Division under Heterogeneous Matroid Constraints. 567-611 - David Fernández Llorca, Vicky Charisi, Ronan Hamon, Ignacio Sanchez, Emilia Gómez:
Liability Regimes in the Age of AI: a Use-Case Driven Analysis of the Burden of Proof. 613-644 - Agi Kurucz, Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev:
Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic. 645-703 - Roberto Amadini, Maurizio Gabbrielli, Tong Liu, Jacopo Mauro:
On the Evaluation of (Meta-)solver Approaches. 705-719 - Sergio Abriola, María Vanina Martínez, Nina Pardal, Santiago Cifuentes, Edwin Pin Baque:
On the Complexity of Finding Set Repairs for Data-Graphs. 721-759 - Meltem Aksoy, Seda Yanik, Mehmet Fatih Amasyali:
Reviewer Assignment Problem: A Systematic Review of the Literature. 761-827 - Zezhen He, Yaron Shaposhnik:
Visualizing the Implicit Model Selection Tradeoff. 829-881 - Ricardo Guimarães, Ana Ozaki, Cosimo Persia, Baris Sertkaya:
Mining ℰℒ⊥ Bases with Adaptable Role Depth. 883-924 - Mingkai Lin, Lintan Sun, Rui Yang, Xusheng Liu, Yajuan Wang, Ding Li, Wenzhong Li, Sanglu Lu:
Fair Influence Maximization in Large-scale Social Networks Based on Attribute-aware Reverse Influence Sampling. 925-957 - Farzaneh Farhadi, Maria Chli, Nicholas R. Jennings:
Optimal and Efficient Auctions for the Gradual Procurement of Strategic Service Provider Agents. 959-1018 - Xuebin Zhou, Zhibin Hu, Jin Huang, Jian Chen:
Decentralized Gradient-Quantization Based Matrix Factorization for Fast Privacy-Preserving Point-of-Interest Recommendation. 1019-1041 - Ondrej Bajgar, Jan Horenovsky:
Negative Human Rights as a Basis for Long-term AI Safety and Regulation. 1043-1075 - Ronen Gradwohl, Moshe Tennenholtz:
Coopetition Against an Amazon. 1077-1116 - Alessandro Fabris, Andrea Esuli, Alejandro Moreo, Fabrizio Sebastiani:
Measuring Fairness Under Unawareness of Sensitive Attributes: A Quantification-Based Approach. 1117-1180 - Jim Martin Catacora Ocana, Roberto Capobianco, Daniele Nardi:
An Overview of Environmental Features that Impact Deep Reinforcement Learning in Sparse-Reward Domains. 1181-1218 - Amanda R. Kube, Sanmay Das, Patrick J. Fowler:
Fair and Efficient Allocation of Scarce Resources Based on Predicted Outcomes: Implications for Homeless Service Delivery. 1219-1245 - Quan Zhou, Jakub Marecek, Robert Shorten:
Fairness in Forecasting of Observations of Linear Dynamical Systems. 1247-1280 - Zhibin Lan, Wei Li, Jinsong Su, Xinyan Xiao, Jiachen Liu, Wenhao Wu, Yajuan Lyu:
FactGen: Faithful Text Generation by Factuality-aware Pre-training and Contrastive Ranking Fine-tuning. 1281-1303 - Robin Lorenz, Anna Pearson, Konstantinos Meichanetzidis, Dimitri Kartsaklis, Bob Coecke:
QNLP in Practice: Running Compositional Models of Meaning on a Quantum Computer. 1305-1342
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-06-18 21:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
