Artificial Intelligence

ISSN: 0004-3702

79 found

View year:

  1. Polynomial combined first-order rewritings for linear and guarded existential rules.Georg Gottlob, Marco Manna & Andreas Pieris - 2023 - Artificial Intelligence 321 (C):103936.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2. Syntactic reasoning with conditional probabilities in deductive argumentation.Anthony Hunter & Nico Potyka - 2023 - Artificial Intelligence 321 (C):103934.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  1
    Spatial state-action features for general games.Dennis J. N. J. Soemers, Éric Piette, Matthew Stephenson & Cameron Browne - 2023 - Artificial Intelligence 321 (C):103937.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  7
    Dealing with expert bias in collective decision-making.Axel Abels, Tom Lenaerts, Vito Trianni & Ann Nowé - 2023 - Artificial Intelligence 320 (C):103921.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  4
    Spectral clustering with robust self-learning constraints.Liang Bai, Minxue Qi & Jiye Liang - 2023 - Artificial Intelligence 320 (C):103924.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6. Improving logical flow in English-as-a-foreign-language learner essays by reordering sentences.Jan Wira Gotama Putra, Simone Teufel & Takenobu Tokunaga - 2023 - Artificial Intelligence 320 (C):103935.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7. Learning constraints through partial queries.Christian Bessiere, Clément Carbonnel, Anton Dries, Emmanuel Hebrard, George Katsirelos, Nina Narodytska, Claude-Guy Quimper, Kostas Stergiou, Dimosthenis C. Tsouros & Toby Walsh - 2023 - Artificial Intelligence 319 (C):103896.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8. On existence of truthful fair cake cutting mechanisms.Xiaolin Bu, Jiaxin Song & Biaoshuai Tao - 2023 - Artificial Intelligence 319 (C):103904.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9. Situated conditional reasoning.Giovanni Casini, Thomas Meyer & Ivan Varzinczak - 2023 - Artificial Intelligence 319 (C):103917.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  10. (1+1) genetic programming with functionally complete instruction sets can evolve Boolean conjunctions and disjunctions with arbitrarily small error. [REVIEW]Benjamin Doerr, Andrei Lissovoi & Pietro S. Oliveto - 2023 - Artificial Intelligence 319 (C):103906.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11. Levi and Harper identities for non-prioritized belief base change.Marco Garapa, Eduardo Fermé & Maurício D. L. Reis - 2023 - Artificial Intelligence 319 (C):103907.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12.  11
    Safe multi-agent reinforcement learning for multi-robot control.Shangding Gu, Jakub Grudzien Kuba, Yuanpei Chen, Yali Du, Long Yang, Alois Knoll & Yaodong Yang - 2023 - Artificial Intelligence 319 (C):103905.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  1
    Privacy preserving solution of DCOPs by mediation.Pablo Kogan, Tamir Tassa & Tal Grinshpoun - 2023 - Artificial Intelligence 319 (C):103916.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14. Automated streamliner portfolios for constraint satisfaction problems.Patrick Spracklen, Nguyen Dang, Özgür Akgün & Ian Miguel - 2023 - Artificial Intelligence 319 (C):103915.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15. Epistemic uncertainty aware semantic localization and mapping for inference and belief space planning.Vladimir Tchuiev & Vadim Indelman - 2023 - Artificial Intelligence 319 (C):103903.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  1
    Search-engine-augmented dialogue response generation with cheaply supervised query production.Ante Wang, Linfeng Song, Qi Liu, Haitao Mi, Longyue Wang, Zhaopeng Tu, Jinsong Su & Dong Yu - 2023 - Artificial Intelligence 319 (C):103874.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17. The first AI4TSP competition: Learning to solve stochastic routing problems.Yingqian Zhang, Laurens Bliek, Paulo da Costa, Reza Refaei Afshar, Robbert Reijnen, Tom Catshoek, Daniël Vos, Sicco Verwer, Fynn Schmitt-Ulms, André Hottung, Tapan Shah, Meinolf Sellmann, Kevin Tierney, Carl Perreault-Lafleur, Caroline Leboeuf, Federico Bobbio, Justine Pepin, Warley Almeida Silva, Ricardo Gama, Hugo L. Fernandes, Martin Zaefferer, Manuel López-Ibáñez & Ekhine Irurozki - 2023 - Artificial Intelligence 319 (C):103918.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18. On approximating shortest paths in weighted triangular tessellations.Prosenjit Bose, Guillermo Esteban, David Orden & Rodrigo I. Silveira - 2023 - Artificial Intelligence 318 (C):103898.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19. Designing menus of contracts efficiently: The power of randomization.Matteo Castiglioni, Alberto Marchesi & Nicola Gatti - 2023 - Artificial Intelligence 318 (C):103881.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  2
    Temporal logic explanations for dynamic decision systems using anchors and Monte Carlo Tree Search.Tzu-Yi Chiu, Jerome Le Ny & Jean-Pierre David - 2023 - Artificial Intelligence 318 (C):103897.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21. Better bounds on the adaptivity gap of influence maximization under full-adoption feedback.Gianlorenzo D'Angelo, Debashmita Poddar & Cosimo Vinci - 2023 - Artificial Intelligence 318 (C):103895.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  22.  2
    Taking into account “who said what” in abstract argumentation: Complexity results.Bettina Fazzinga, Sergio Flesca & Filippo Furfaro - 2023 - Artificial Intelligence 318 (C):103885.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23.  1
    Width-based search for multi agent privacy-preserving planning.Alfonso E. Gerevini, Nir Lipovetzky, Francesco Percassi, Alessandro Saetti & Ivan Serina - 2023 - Artificial Intelligence 318 (C):103883.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24. AutoSTG+: An automatic framework to discover the optimal network for spatio-temporal graph prediction.Songyu Ke, Zheyi Pan, Tianfu He, Yuxuan Liang, Junbo Zhang & Yu Zheng - 2023 - Artificial Intelligence 318 (C):103899.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  2
    On measuring inconsistency in definite and indefinite databases with denial constraints.Francesco Parisi & John Grant - 2023 - Artificial Intelligence 318 (C):103884.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26. Axiomatic characterization of PageRank.Tomasz Wąs & Oskar Skibski - 2023 - Artificial Intelligence 318 (C):103900.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  27. Post-trained convolution networks for single image super-resolution.Seid Miad Zandavi - 2023 - Artificial Intelligence 318 (C):103882.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  5
    Expanding the prediction capacity in long sequence time-series forecasting.Haoyi Zhou, Jianxin Li, Shanghang Zhang, Shuai Zhang, Mengyi Yan & Hui Xiong - 2023 - Artificial Intelligence 318 (C):103886.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29. Online learning of energy consumption for navigation of electric vehicles.Niklas Åkerblom, Yuxin Chen & Morteza Haghir Chehreghani - 2023 - Artificial Intelligence 317 (C):103879.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  2
    DivGAN: A diversity enforcing generative adversarial network for mode collapse reduction.Manal Allahyani, Rahaf Alsulami, Taif Alwafi, Tarik Alafif, Heyfa Ammar, Sari Sabban & Xuewen Chen - 2023 - Artificial Intelligence 317 (C):103863.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31.  3
    Explainable AI tools for legal reasoning about cases: A study on the European Court of Human Rights.Joe Collenette, Katie Atkinson & Trevor Bench-Capon - 2023 - Artificial Intelligence 317 (C):103861.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  32. Solving infinite-domain CSPs using the patchwork property.Konrad K. Dabrowski, Peter Jonsson, Sebastian Ordyniak & George Osipov - 2023 - Artificial Intelligence 317 (C):103880.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  1
    Task-guided IRL in POMDPs that scales.Franck Djeumou, Christian Ellis, Murat Cubuktepe, Craig Lennon & Ufuk Topcu - 2023 - Artificial Intelligence 317 (C):103856.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34. The complexity landscape of claim-augmented argumentation frameworks.Wolfgang Dvořák, Alexander Greßler, Anna Rapberger & Stefan Woltran - 2023 - Artificial Intelligence 317 (C):103873.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35.  2
    Fast certifiable relative pose estimation with gravity prior.Mercedes Garcia-Salguero & Javier Gonzalez-Jimenez - 2023 - Artificial Intelligence 317 (C):103862.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  1
    Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks.Jesse Heyninck, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba & Matthias Thimm - 2023 - Artificial Intelligence 317 (C):103876.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37. Chaos game representation for authorship attribution.Daniel Lichtblau & Catalin Stoean - 2023 - Artificial Intelligence 317 (C):103858.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  2
    Mitigating robust overfitting via self-residual-calibration regularization.Hong Liu, Zhun Zhong, Nicu Sebe & Shin'ichi Satoh - 2023 - Artificial Intelligence 317 (C):103877.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39. Fine-tuning transformers: Vocabulary transfer.Vladislav Mosin, Igor Samenko, Borislav Kozlovskii, Alexey Tikhonov & Ivan P. Yamshchikov - 2023 - Artificial Intelligence 317 (C):103860.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40.  1
    Natural language watermarking via paraphraser-based lexical substitution.Jipeng Qiang, Shiyu Zhu, Yun Li, Yi Zhu, Yunhao Yuan & Xindong Wu - 2023 - Artificial Intelligence 317 (C):103859.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  3
    Corrigendum to “Accurate parameter estimation for safety-critical systems with unmodeled dynamics” [Artif. Intell. 316 (2023) 103857]. [REVIEW]Arnab Sarker, Peter Fisher, Joseph E. Gaudio & Anuradha M. Annaswamy - 2023 - Artificial Intelligence 317 (C):103878.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  2
    Towards well-generalizing meta-learning via adversarial task augmentation.Haoqing Wang, Huiyu Mai, Yuhang Gong & Zhi-Hong Deng - 2023 - Artificial Intelligence 317 (C):103875.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  1
    Risk-aware analysis for interpretations of probabilistic achievement and maintenance commitments.Qi Zhang, Edmund H. Durfee & Satinder Singh - 2023 - Artificial Intelligence 317 (C):103864.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  2
    Competence-aware systems.Connor Basich, Justin Svegliato, Kyle H. Wray, Stefan Witwicki, Joydeep Biswas & Shlomo Zilberstein - 2023 - Artificial Intelligence 316 (C):103844.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  2
    An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information.Francesco Belardinelli, Angelo Ferrando & Vadim Malvone - 2023 - Artificial Intelligence 316 (C):103847.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46.  4
    Epistemic planning: Perspectives on the special issue.Vaishak Belle, Thomas Bolander, Andreas Herzig & Bernhard Nebel - 2023 - Artificial Intelligence 316 (C):103842.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47.  3
    Risk-averse optimization of reward-based coherent risk measures.Massimiliano Bonetti, Lorenzo Bisi & Marcello Restelli - 2023 - Artificial Intelligence 316 (C):103845.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  3
    Tractability of explaining classifier decisions.Martin C. Cooper & João Marques-Silva - 2023 - Artificial Intelligence 316 (C):103841.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  1
    GUBS criterion: Arbitrary trade-offs between cost and probability-to-goal in stochastic planning based on Expected Utility Theory.Gabriel Nunes Crispino, Valdinei Freire & Karina Valdivia Delgado - 2023 - Artificial Intelligence 316 (C):103848.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50.  3
    An anytime algorithm for constrained stochastic shortest path problems with deterministic policies.Sungkweon Hong & Brian C. Williams - 2023 - Artificial Intelligence 316 (C):103846.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  51.  2
    Solving zero-sum one-sided partially observable stochastic games.Karel Horák, Branislav Bošanský, Vojtěch Kovařík & Christopher Kiekintveld - 2023 - Artificial Intelligence 316 (C):103838.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  52.  1
    Reward (Mis)design for autonomous driving.W. Bradley Knox, Alessandro Allievi, Holger Banzhaf, Felix Schmitt & Peter Stone - 2023 - Artificial Intelligence 316 (C):103829.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  53.  2
    PeerNomination: A novel peer selection algorithm to handle strategic and noisy assessments.Omer Lev, Nicholas Mattei, Paolo Turrini & Stanislav Zhydkov - 2023 - Artificial Intelligence 316 (C):103843.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  54.  1
    Strategyproof Mechanism for Two-Sided Matching with Resource Allocation.Kwei-guu Liu, Kentaro Yahiro & Makoto Yokoo - 2023 - Artificial Intelligence 316 (C):103855.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  55.  1
    Accurate parameter estimation for safety-critical systems with unmodeled dynamics.Arnab Sarker, Peter Fisher, Joseph E. Gaudio & Anuradha M. Annaswamy - 2023 - Artificial Intelligence 316 (C):103857.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  56.  1
    On the robustness of sparse counterfactual explanations to adverse perturbations.Marco Virgolin & Saverio Fracaros - 2023 - Artificial Intelligence 316 (C):103840.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  57.  8
    Assessing the communication gap between AI models and healthcare professionals: Explainability, utility and trust in AI-driven clinical decision-making.Oskar Wysocki, Jessica Katharine Davies, Markel Vigo, Anne Caroline Armstrong, Dónal Landers, Rebecca Lee & André Freitas - 2023 - Artificial Intelligence 316 (C):103839.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  58.  1
    Recursive reasoning-based training-time adversarial machine learning.Yizhou Chen, Zhongxiang Dai, Haibin Yu, Bryan Kian Hsiang Low & Teck-Hua Ho - 2023 - Artificial Intelligence 315 (C):103837.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  59.  4
    Parameterized complexity of envy-free resource allocation in social networks.Eduard Eiben, Robert Ganian, Thekla Hamm & Sebastian Ordyniak - 2023 - Artificial Intelligence 315 (C):103826.
  60.  2
    Rationalizing predictions by adversarial information calibration.Lei Sha, Oana-Maria Camburu & Thomas Lukasiewicz - 2023 - Artificial Intelligence 315 (C):103828.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  61.  1
    Strategyproof Allocation Mechanisms with Endowments and M-convex Distributional Constraints.Takamasa Suzuki, Akihisa Tamura, Kentaro Yahiro, Makoto Yokoo & Yuzhe Zhang - 2023 - Artificial Intelligence 315 (C):103825.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  62.  3
    A general approach to extension-based semantics in abstract argumentation.Lixing Tan, Zhaohui Zhu & Jinjin Zhang - 2023 - Artificial Intelligence 315 (C):103836.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  63.  8
    Portioning using ordinal preferences: Fairness and efficiency.Stéphane Airiau, Haris Aziz, Ioannis Caragiannis, Justin Kruger, Jérôme Lang & Dominik Peters - 2023 - Artificial Intelligence 314 (C):103809.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  64.  5
    Regret minimization in online Bayesian persuasion: Handling adversarial receiver's types under full and partial feedback models.Matteo Castiglioni, Andrea Celli, Alberto Marchesi & Nicola Gatti - 2023 - Artificial Intelligence 314 (C):103821.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  65.  1
    Improved local search for the minimum weight dominating set problem in massive graphs by using a deep optimization mechanism.Jiejiang Chen, Shaowei Cai, Yiyuan Wang, Wenhao Xu, Jia Ji & Minghao Yin - 2023 - Artificial Intelligence 314 (C):103819.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  66.  5
    Logic Explained Networks.Gabriele Ciravegna, Pietro Barbiero, Francesco Giannini, Marco Gori, Pietro Liò, Marco Maggini & Stefano Melacci - 2023 - Artificial Intelligence 314 (C):103822.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  67.  6
    Solving Projected Model Counting by Utilizing Treewidth and its Limits.Johannes K. Fichte, Markus Hecher, Michael Morak, Patrick Thier & Stefan Woltran - 2023 - Artificial Intelligence 314 (C):103810.
  68.  4
    Cooperative concurrent games.Julian Gutierrez, Szymon Kowara, Sarit Kraus, Thomas Steeples & Michael Wooldridge - 2023 - Artificial Intelligence 314 (C):103806.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  69.  1
    Answering regular path queries mediated by unrestricted SQ ontologies.Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Jean Christoph Jung & Filip Murlak - 2023 - Artificial Intelligence 314 (C):103808.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  70.  2
    Simple and efficient bi-objective search algorithms via fast dominance checks.Carlos Hernández, William Yeoh, Jorge A. Baier, Han Zhang, Luis Suazo, Sven Koenig & Oren Salzman - 2023 - Artificial Intelligence 314 (C):103807.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  71.  4
    Sim-to-Lab-to-Real: Safe reinforcement learning with shielding and generalization guarantees.Kai-Chieh Hsu, Allen Z. Ren, Duy P. Nguyen, Anirudha Majumdar & Jaime F. Fisac - 2023 - Artificial Intelligence 314 (C):103811.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  72.  2
    A kinematics principle for iterated revision.Gabriele Kern-Isberner, Meliha Sezgin & Christoph Beierle - 2023 - Artificial Intelligence 314 (C):103827.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  73.  1
    Value functions for depth-limited solving in zero-sum imperfect-information games.Vojtěch Kovařík, Dominik Seitz, Viliam Lisý, Jan Rudolf, Shuo Sun & Karel Ha - 2023 - Artificial Intelligence 314 (C):103805.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  74.  3
    Learning MAX-SAT from contextual examples for combinatorial optimisation.Mohit Kumar, Samuel Kolb, Stefano Teso & Luc De Raedt - 2023 - Artificial Intelligence 314 (C):103794.
  75.  5
    G -LIME: Statistical learning for local interpretations of deep neural networks using global priors.Xuhong Li, Haoyi Xiong, Xingjian Li, Xiao Zhang, Ji Liu, Haiyan Jiang, Zeyu Chen & Dejing Dou - 2023 - Artificial Intelligence 314 (C):103823.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  76.  2
    When move acceptance selection hyper-heuristics outperform Metropolis and elitist evolutionary algorithms and when not.Andrei Lissovoi, Pietro S. Oliveto & John Alasdair Warwicker - 2023 - Artificial Intelligence 314 (C):103804.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  77.  2
    Fair and efficient allocation with few agent types, few item types, or small value levels.Trung Thanh Nguyen & Jörg Rothe - 2023 - Artificial Intelligence 314 (C):103820.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  78.  2
    Risk bounded nonlinear robot motion planning with integrated perception & control.Venkatraman Renganathan, Sleiman Safaoui, Aadi Kothari, Benjamin Gravell, Iman Shames & Tyler Summers - 2023 - Artificial Intelligence 314 (C):103812.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  79.  3
    Multi resource allocation with partial preferences.Haibin Wang, Sujoy Sikdar, Xiaoxi Guo, Lirong Xia, Yongzhi Cao & Hanpin Wang - 2023 - Artificial Intelligence 314 (C):103824.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
 Previous issues
  
Next issues