- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Artificial Intelligence
ISSN: 0004-3702
79 found
- Polynomial combined first-order rewritings for linear and guarded existential rules.Georg Gottlob, Marco Manna & Andreas Pieris - 2023 - Artificial Intelligence 321 (C):103936.
- Syntactic reasoning with conditional probabilities in deductive argumentation.Anthony Hunter & Nico Potyka - 2023 - Artificial Intelligence 321 (C):103934.
- Spatial state-action features for general games.Dennis J. N. J. Soemers, Éric Piette, Matthew Stephenson & Cameron Browne - 2023 - Artificial Intelligence 321 (C):103937.
- Dealing with expert bias in collective decision-making.Axel Abels, Tom Lenaerts, Vito Trianni & Ann Nowé - 2023 - Artificial Intelligence 320 (C):103921.
- Spectral clustering with robust self-learning constraints.Liang Bai, Minxue Qi & Jiye Liang - 2023 - Artificial Intelligence 320 (C):103924.
- 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.
- 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.
- On existence of truthful fair cake cutting mechanisms.Xiaolin Bu, Jiaxin Song & Biaoshuai Tao - 2023 - Artificial Intelligence 319 (C):103904.
- Situated conditional reasoning.Giovanni Casini, Thomas Meyer & Ivan Varzinczak - 2023 - Artificial Intelligence 319 (C):103917.
- (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.
- 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.
- 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.
- Privacy preserving solution of DCOPs by mediation.Pablo Kogan, Tamir Tassa & Tal Grinshpoun - 2023 - Artificial Intelligence 319 (C):103916.
- Automated streamliner portfolios for constraint satisfaction problems.Patrick Spracklen, Nguyen Dang, Özgür Akgün & Ian Miguel - 2023 - Artificial Intelligence 319 (C):103915.
- Epistemic uncertainty aware semantic localization and mapping for inference and belief space planning.Vladimir Tchuiev & Vadim Indelman - 2023 - Artificial Intelligence 319 (C):103903.
- 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.
- 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.
- On approximating shortest paths in weighted triangular tessellations.Prosenjit Bose, Guillermo Esteban, David Orden & Rodrigo I. Silveira - 2023 - Artificial Intelligence 318 (C):103898.
- Designing menus of contracts efficiently: The power of randomization.Matteo Castiglioni, Alberto Marchesi & Nicola Gatti - 2023 - Artificial Intelligence 318 (C):103881.
- 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.
- 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.
- Taking into account “who said what” in abstract argumentation: Complexity results.Bettina Fazzinga, Sergio Flesca & Filippo Furfaro - 2023 - Artificial Intelligence 318 (C):103885.
- 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.
- 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.
- On measuring inconsistency in definite and indefinite databases with denial constraints.Francesco Parisi & John Grant - 2023 - Artificial Intelligence 318 (C):103884.
- Axiomatic characterization of PageRank.Tomasz Wąs & Oskar Skibski - 2023 - Artificial Intelligence 318 (C):103900.
- Post-trained convolution networks for single image super-resolution.Seid Miad Zandavi - 2023 - Artificial Intelligence 318 (C):103882.
- 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.
- Online learning of energy consumption for navigation of electric vehicles.Niklas Åkerblom, Yuxin Chen & Morteza Haghir Chehreghani - 2023 - Artificial Intelligence 317 (C):103879.
- 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.
- 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.
- Solving infinite-domain CSPs using the patchwork property.Konrad K. Dabrowski, Peter Jonsson, Sebastian Ordyniak & George Osipov - 2023 - Artificial Intelligence 317 (C):103880.
- Task-guided IRL in POMDPs that scales.Franck Djeumou, Christian Ellis, Murat Cubuktepe, Craig Lennon & Ufuk Topcu - 2023 - Artificial Intelligence 317 (C):103856.
- The complexity landscape of claim-augmented argumentation frameworks.Wolfgang Dvořák, Alexander Greßler, Anna Rapberger & Stefan Woltran - 2023 - Artificial Intelligence 317 (C):103873.
- Fast certifiable relative pose estimation with gravity prior.Mercedes Garcia-Salguero & Javier Gonzalez-Jimenez - 2023 - Artificial Intelligence 317 (C):103862.
- 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.
- Chaos game representation for authorship attribution.Daniel Lichtblau & Catalin Stoean - 2023 - Artificial Intelligence 317 (C):103858.
- Mitigating robust overfitting via self-residual-calibration regularization.Hong Liu, Zhun Zhong, Nicu Sebe & Shin'ichi Satoh - 2023 - Artificial Intelligence 317 (C):103877.
- Fine-tuning transformers: Vocabulary transfer.Vladislav Mosin, Igor Samenko, Borislav Kozlovskii, Alexey Tikhonov & Ivan P. Yamshchikov - 2023 - Artificial Intelligence 317 (C):103860.
- 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.
- 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.
- Towards well-generalizing meta-learning via adversarial task augmentation.Haoqing Wang, Huiyu Mai, Yuhang Gong & Zhi-Hong Deng - 2023 - Artificial Intelligence 317 (C):103875.
- Risk-aware analysis for interpretations of probabilistic achievement and maintenance commitments.Qi Zhang, Edmund H. Durfee & Satinder Singh - 2023 - Artificial Intelligence 317 (C):103864.
- Competence-aware systems.Connor Basich, Justin Svegliato, Kyle H. Wray, Stefan Witwicki, Joydeep Biswas & Shlomo Zilberstein - 2023 - Artificial Intelligence 316 (C):103844.
- 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.
- Epistemic planning: Perspectives on the special issue.Vaishak Belle, Thomas Bolander, Andreas Herzig & Bernhard Nebel - 2023 - Artificial Intelligence 316 (C):103842.
- Risk-averse optimization of reward-based coherent risk measures.Massimiliano Bonetti, Lorenzo Bisi & Marcello Restelli - 2023 - Artificial Intelligence 316 (C):103845.
- Tractability of explaining classifier decisions.Martin C. Cooper & João Marques-Silva - 2023 - Artificial Intelligence 316 (C):103841.
- 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.
- An anytime algorithm for constrained stochastic shortest path problems with deterministic policies.Sungkweon Hong & Brian C. Williams - 2023 - Artificial Intelligence 316 (C):103846.
- 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.
- Reward (Mis)design for autonomous driving.W. Bradley Knox, Alessandro Allievi, Holger Banzhaf, Felix Schmitt & Peter Stone - 2023 - Artificial Intelligence 316 (C):103829.
- 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.
- Strategyproof Mechanism for Two-Sided Matching with Resource Allocation.Kwei-guu Liu, Kentaro Yahiro & Makoto Yokoo - 2023 - Artificial Intelligence 316 (C):103855.
- 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.
- On the robustness of sparse counterfactual explanations to adverse perturbations.Marco Virgolin & Saverio Fracaros - 2023 - Artificial Intelligence 316 (C):103840.
- 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.
- 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.
- Parameterized complexity of envy-free resource allocation in social networks.Eduard Eiben, Robert Ganian, Thekla Hamm & Sebastian Ordyniak - 2023 - Artificial Intelligence 315 (C):103826.
- Rationalizing predictions by adversarial information calibration.Lei Sha, Oana-Maria Camburu & Thomas Lukasiewicz - 2023 - Artificial Intelligence 315 (C):103828.
- 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.
- A general approach to extension-based semantics in abstract argumentation.Lixing Tan, Zhaohui Zhu & Jinjin Zhang - 2023 - Artificial Intelligence 315 (C):103836.
- 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.
- 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.
- 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.
- Logic Explained Networks.Gabriele Ciravegna, Pietro Barbiero, Francesco Giannini, Marco Gori, Pietro Liò, Marco Maggini & Stefano Melacci - 2023 - Artificial Intelligence 314 (C):103822.
- 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.
- Cooperative concurrent games.Julian Gutierrez, Szymon Kowara, Sarit Kraus, Thomas Steeples & Michael Wooldridge - 2023 - Artificial Intelligence 314 (C):103806.
- 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.
- 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.
- 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.
- A kinematics principle for iterated revision.Gabriele Kern-Isberner, Meliha Sezgin & Christoph Beierle - 2023 - Artificial Intelligence 314 (C):103827.
- 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.
- Learning MAX-SAT from contextual examples for combinatorial optimisation.Mohit Kumar, Samuel Kolb, Stefano Teso & Luc De Raedt - 2023 - Artificial Intelligence 314 (C):103794.
- 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.
- 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.
- 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.
- 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.
- Multi resource allocation with partial preferences.Haibin Wang, Sujoy Sikdar, Xiaoxi Guo, Lirong Xia, Yongzhi Cao & Hanpin Wang - 2023 - Artificial Intelligence 314 (C):103824.
|
|
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-768c78dffc-czrrn N