|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
|
|
Results
Found 3410 publication records. Showing 3410 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Felicidad Aguado, Pedro Cabalar, Jorge Fandinno, David Pearce 0001, Gilberto Pérez 0001, Concepción Vidal |
Syntactic ASP forgetting with forks.  |
Artif. Intell.  |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Chenjia Bai, Lingxiao Wang 0003, Jianye Hao, Zhuoran Yang, Bin Zhao 0001, Zhen Wang 0004, Xuelong Li 0001 |
Pessimistic value iteration for multi-task data sharing in Offline Reinforcement Learning. |
Artif. Intell. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Chandresh Pravin, Ivan Martino, Giuseppe Nicosia, Varun Ojha 0001 |
Fragility, robustness and antifragility in deep learning. |
Artif. Intell. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaoyu Li, Yongshun Gong, Wei Liu 0007, Yilong Yin, Yu Zheng 0004, Liqiang Nie |
Dual-track spatio-temporal learning for urban flow prediction with adaptive normalization. |
Artif. Intell. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Franz Baader, Oliver Fernández Gil |
Extending the description logic EL with threshold concepts induced by concept measures. |
Artif. Intell. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Junming Qiu, Wenqing Li, Liangda Fang, Quanlong Guan, Zhanhao Xiao, Zhao-Rong Lai, Qian Dong |
On the role of logical separability in knowledge compilation. |
Artif. Intell. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Marra, Sebastijan Dumancic, Robin Manhaeve, Luc De Raedt |
From statistical relational to neurosymbolic artificial intelligence: A survey. |
Artif. Intell. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Alejandro Hevia Fajardo, Dirk Sudholt |
Self-adjusting offspring population sizes outperform fixed parameters on the cliff function. |
Artif. Intell. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Doherty 0001, Andrzej Szalas |
Dual forgetting operators in the context of weakest sufficient and strongest necessary conditions. |
Artif. Intell. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Bessiere, Clément Carbonnel, Anton Dries, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Kostas Stergiou 0001, Dimosthenis C. Tsouros, Toby Walsh |
Corrigendum to "Learning constraints through partial queries" [Artificial Intelligence 319 (2023) 103896]. |
Artif. Intell. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Aris Filos-Ratsikas, Panagiotis Kanellopoulos, Alexandros A. Voudouris, Rongsen Zhang |
The distortion of distributed facility location. |
Artif. Intell. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard Nebel |
The computational complexity of multi-agent pathfinding on directed graphs. |
Artif. Intell. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Wenjie Pei, Weina Xu, Zongze Wu, Weichao Li, Jinfan Wang, Guangming Lu, Xiangrong Wang 0002 |
Saliency-aware regularized graph neural network. |
Artif. Intell. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Spallitta, Gabriele Masina, Paolo Morettin, Andrea Passerini, Roberto Sebastiani |
Enhancing SMT-based Weighted Model Integration by structure awareness. |
Artif. Intell. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrià Fenoy, Filippo Bistaffa, Alessandro Farinelli |
An attention model for the formation of collectives in real-world domains. |
Artif. Intell. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Thiago Freitas dos Santos, Nardine Osman 0001, Marco Schorlemmer |
Is this a violation? Learning and understanding norm violations in online communities. |
Artif. Intell. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Vinícius G. Costa, Jorge Pérez-Aracil, Sancho Salcedo-Sanz, Carlos Eduardo Pedreira |
Evolving interpretable decision trees for reinforcement learning. |
Artif. Intell. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Yusuke Kawamoto 0001, Tetsuya Sato 0001, Kohei Suenaga |
Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs. |
Artif. Intell. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Shengwei Zhou 0002, Xiaowei Wu 0001 |
Approximately EFX allocations for indivisible chores. |
Artif. Intell. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Masoud Seddighin, Saeed Seddighin |
Improved maximin guarantees for subadditive and fractionally subadditive fair allocation problem. |
Artif. Intell. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Tim Räz |
Gerrymandering individual fairness. |
Artif. Intell. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Noam Hazon, Sefi Erlich, Ariel Rosenfeld, Sarit Kraus |
Negotiation strategies for agents with ordinal preferences: Theoretical analysis and human study. |
Artif. Intell. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Nemanja Ilic, Dejan Dasic, Miljan Vucetic, Aleksej Makarov, Ranko Petrovic |
Distributed web hacking by adaptive consensus-based reinforcement learning. |
Artif. Intell. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | Peng Zhao 0006, Jia-Wei Shan, Yu-Jie Zhang, Zhi-Hua Zhou |
Exploratory machine learning with unknown unknowns. |
Artif. Intell. |
2024 |
DBLP DOI BibTeX RDF |
|
| 1 | David Israel |
Response to 'Reward is enough' - This is not a review; it's a response. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jiejiang Chen, Shaowei Cai 0001, Yiyuan Wang, Wenhao Xu, Jia Ji, Minghao Yin |
Improved local search for the minimum weight dominating set problem in massive graphs by using a deep optimization mechanism. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yingqian Zhang 0001, Laurens Bliek, Paulo da Costa 0001, Reza Refaei Afshar, Robbert Reijnen, Tom Catshoek, Daniël Vos, Sicco Verwer, Fynn Schmitt-Ulms, André Hottung, Tapan Shah 0001, 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 0001, Ekhine Irurozki |
The first AI4TSP competition: Learning to solve stochastic routing problems. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Seid Miad Zandavi |
Post-trained convolution networks for single image super-resolution. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Maksim Golyadkin, Vitaliy Pozdnyakov, Leonid Zhukov, Ilya Makarov |
SensorSCAN: Self-supervised learning and deep clustering for fault diagnosis in chemical processes. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Venkatraman Renganathan, Sleiman Safaoui, Aadi Kothari, Benjamin Gravell, Iman Shames, Tyler H. Summers |
Risk bounded nonlinear robot motion planning with integrated perception & control. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Zihang Su, Artem Polyvyanyy, Nir Lipovetzky, Sebastian Sardiña, Nick van Beest |
Fast and accurate data-driven goal recognition using process mining techniques. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Christian Bessiere, Clément Carbonnel, Anton Dries, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Kostas Stergiou 0001, Dimosthenis C. Tsouros, Toby Walsh |
Learning constraints through partial queries. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sadegh Rabiee, Joydeep Biswas |
Introspective perception for mobile robots. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Massimiliano Bonetti, Lorenzo Bisi, Marcello Restelli |
Risk-averse optimization of reward-based coherent risk measures. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Takamasa Suzuki, Akihisa Tamura, Kentaro Yahiro, Makoto Yokoo, Yuzhe Zhang |
Strategyproof Allocation Mechanisms with Endowments and M-convex Distributional Constraints. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Castiglioni, Alberto Marchesi 0001, Nicola Gatti 0001 |
Designing menus of contracts efficiently: The power of randomization. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Trung Thanh Nguyen 0004, Jörg Rothe |
Fair and efficient allocation with few agent types, few item types, or small value levels. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Tian-Zuo Wang, Tian Qin, Zhi-Hua Zhou |
Sound and complete causal identification with latent variables given local background knowledge. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Vladislav D. Mosin, Igor Samenko, Borislav Kozlovskii, Alexey Tikhonov, Ivan P. Yamshchikov |
Fine-tuning transformers: Vocabulary transfer. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Vaishak Belle, Thomas Bolander, Andreas Herzig, Bernhard Nebel |
Epistemic planning: Perspectives on the special issue. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Bettina Fazzinga, Sergio Flesca, Filippo Furfaro |
Taking into account "who said what" in abstract argumentation: Complexity results. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Awais Ashfaq, Markus Lingman, Murat Sensoy, Slawomir Nowaczyk |
DEED: DEep Evidential Doctor. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Bhavya Sukhija, Matteo Turchetta, David Lindner, Andreas Krause 0001, Sebastian Trimpe, Dominik Baumann |
GoSafeOpt: Scalable safe exploration for global optimization of dynamical systems. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianlorenzo D'Angelo, Debashmita Poddar, Cosimo Vinci |
Better bounds on the adaptivity gap of influence maximization under full-adoption feedback. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Guilherme Dean Pelegrina, Leonardo Tomazeli Duarte, Michel Grabisch |
A k-additive Choquet integral-based approach to approximate the SHAP values for local interpretability in machine learning. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Neamati, Sriramya Bhamidipati, Grace Xingxin Gao |
Risk-aware autonomous localization in harsh urban environments with mosaic zonotope shadow matching. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Giovanni Casini, Thomas Meyer 0002, Ivan Varzinczak |
Situated conditional reasoning. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianvincenzo Alfano, Marco Calautti, Sergio Greco, Francesco Parisi, Irina Trubitsyna |
Explainable acceptance in probabilistic and incomplete abstract argumentation frameworks. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Avraham Natan, Meir Kalech, Roman Barták |
Diagnosis of intermittent faults in Multi-Agent Systems: An SFL approach. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Haowen Chen, Fengxiang He, Shiye Lei, Dacheng Tao |
Spectral complexity-scaled generalisation bound of complex-valued neural networks. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Virgolin, Saverio Fracaros |
On the robustness of sparse counterfactual explanations to adverse perturbations. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Dennis J. N. J. Soemers, Éric Piette, Matthew Stephenson, Cameron Browne |
Spatial state-action features for general games. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jan Wira Gotama Putra, Simone Teufel, Takenobu Tokunaga |
Improving logical flow in English-as-a-foreign-language learner essays by reordering sentences. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Franck Djeumou, Christian Ellis, Murat Cubuktepe, Craig Lennon, Ufuk Topcu |
Task-guided IRL in POMDPs that scales. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Gianluca Cima, Antonella Poggi, Maurizio Lenzerini |
The notion of Abstraction in Ontology-based Data Management. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Nunes Crispino, Valdinei Freire, Karina Valdivia Delgado |
GUBS criterion: Arbitrary trade-offs between cost and probability-to-goal in stochastic planning based on Expected Utility Theory. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Patrick Spracklen, Nguyen Dang 0001, Özgür Akgün, Ian Miguel |
Automated streamliner portfolios for constraint satisfaction problems. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Xuetong Wu, Jonathan H. Manton, Uwe Aickelin, Jingge Zhu |
A Bayesian approach to (online) transfer learning: Theory and algorithms. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Lei Sha, Oana-Maria Camburu, Thomas Lukasiewicz |
Rationalizing predictions by adversarial information calibration. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Stéphane Airiau, Haris Aziz 0001, Ioannis Caragiannis, Justin Kruger, Jérôme Lang, Dominik Peters |
Portioning using ordinal preferences: Fairness and efficiency. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Lewis Hammond, James Fox, Tom Everitt, Ryan Carey, Alessandro Abate, Michael J. Wooldridge |
Reasoning about causality in games. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Hernández 0003, William Yeoh 0001, Jorge A. Baier, Han Zhang 0018, Luis Suazo, Sven Koenig, Oren Salzman |
Simple and efficient bi-objective search algorithms via fast dominance checks. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Songyu Ke, Zheyi Pan, Tianfu He, Yuxuan Liang, Junbo Zhang, Yu Zheng 0004 |
AutoSTG+: An automatic framework to discover the optimal network for spatio-temporal graph prediction. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrei Lissovoi, Pietro S. Oliveto, John Alasdair Warwicker |
When move acceptance selection hyper-heuristics outperform Metropolis and elitist evolutionary algorithms and when not. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Haoqing Wang, Huiyu Mai, Yuhang Gong, Zhi-Hong Deng |
Towards well-generalizing meta-learning via adversarial task augmentation. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Joe Collenette, Katie Atkinson, Trevor J. M. Bench-Capon |
Explainable AI tools for legal reasoning about cases: A study on the European Court of Human Rights. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Rodrigo Toro Icarte, Toryn Q. Klassen, Richard Valenzano, Margarita P. Castro, Ethan Waldie, Sheila A. McIlraith |
Learning reward machines: A study in partially observable reinforcement learning. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Zinan Lin 0004, Dugang Liu, Weike Pan, Qiang Yang 0001, Zhong Ming 0001 |
Transfer learning for collaborative recommendation with biased and unbiased data. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Thommen George Karimpanal, Hung Le, Majid Abdolshah, Santu Rana, Sunil Gupta 0001, Truyen Tran 0001, Svetha Venkatesh |
Balanced Q-learning: Combining the influence of optimistic and pessimistic targets. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Anthony Hunter, Nico Potyka |
Syntactic reasoning with conditional probabilities in deductive argumentation. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario Alviano, Carmine Dodaro, Salvatore Fiorentino, Alessandro Previti, Francesco Ricca |
ASP and subset minimality: Enumeration, cautious reasoning and MUSes. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Omer Lev, Nicholas Mattei, Paolo Turrini, Stanislav Zhydkov |
PeerNomination: A novel peer selection algorithm to handle strategic and noisy assessments. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Jean Christoph Jung, Filip Murlak |
Answering regular path queries mediated by unrestricted SQ ontologies. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Ofer Arieli, AnneMarie Borg, Christian Straßer |
A postulate-driven study of logical argumentation. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Simina Brânzei, Aris Filos-Ratsikas, Peter Bro Miltersen, Yulong Zeng |
Walrasian pricing in multi-unit auctions. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriele Ciravegna, Pietro Barbiero, Francesco Giannini, Marco Gori, Pietro Liò, Marco Maggini, Stefano Melacci |
Logic Explained Networks. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Pengqing Hu, Zhaohao Lin, Weike Pan, Qiang Yang 0001, Xiaogang Peng, Zhong Ming 0001 |
Privacy-preserving graph convolution network for federated item recommendation. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Haoyi Zhou, Jianxin Li 0002, Shanghang Zhang, Shuai Zhang 0026, Mengyi Yan, Hui Xiong |
Expanding the prediction capacity in long sequence time-series forecasting. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Tzu-Yi Chiu, Jerome Le Ny, Jean-Pierre David |
Temporal logic explanations for dynamic decision systems using anchors and Monte Carlo Tree Search. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yue Wang 0039, Lijun Wu, Juntao Li, Xiaobo Liang, Min Zhang 0005 |
Are the BERT family zero-shot learners? A study on their potential and limitations. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiaolin Bu, Jiaxin Song, Biaoshuai Tao |
On existence of truthful fair cake cutting mechanisms. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Shangding Gu, Jakub Grudzien Kuba, Yuanpei Chen, Yali Du 0001, Long Yang, Alois C. Knoll, Yaodong Yang 0001 |
Safe multi-agent reinforcement learning for multi-robot control. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Yongjing Yin, Jiali Zeng, Jinsong Su, Chulun Zhou, Fandong Meng, Jie Zhou 0016, Degen Huang, Jiebo Luo |
Multi-modal graph contrastive encoding for neural machine translation. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Weijie Zheng 0001, Benjamin Doerr |
Mathematical runtime analysis for the non-dominated sorting genetic algorithm II (NSGA-II). |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Kogan, Tamir Tassa, Tal Grinshpoun |
Privacy preserving solution of DCOPs by mediation. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Axel Abels, Tom Lenaerts, Vito Trianni, Ann Nowé |
Dealing with expert bias in collective decision-making. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Lichtblau, Catalin Stoean |
Chaos game representation for authorship attribution. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Faseeh Ahmad, Volkan Patoglu, Esra Erdem 0001 |
Hybrid planning for challenging construction problems: An Answer Set Programming approach. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Hong Liu 0008, Zhun Zhong, Nicu Sebe, Shin'ichi Satoh 0001 |
Mitigating robust overfitting via self-residual-calibration regularization. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnab Sarker, Peter A. Fisher, Joseph E. Gaudio, Anuradha M. Annaswamy |
Accurate parameter estimation for safety-critical systems with unmodeled dynamics. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Belardinelli, Angelo Ferrando 0001, Vadim Malvone |
An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jipeng Qiang, Shiyu Zhu, Yun Li 0010, Yi Zhu 0006, Yunhao Yuan, Xindong Wu 0001 |
Natural language watermarking via paraphraser-based lexical substitution. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Giulio Mazzi, Alberto Castellini, Alessandro Farinelli |
Risk-aware shielding of Partially Observable Monte Carlo Planning policies. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Vojtech Kovarík, Dominik Seitz, Viliam Lisý, Jan Rudolf, Shuo Sun, Karel Ha |
Value functions for depth-limited solving in zero-sum imperfect-information games. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuliano Rosella, Tommaso Flaminio, Stefano Bonzio |
Counterfactuals as modal conditionals, and their probability. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Lixing Tan, Zhaohui Zhu, Jinjin Zhang |
A general approach to extension-based semantics in abstract argumentation. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Eoin Delaney, Arjun Pakrashi, Derek Greene, Mark T. Keane |
Counterfactual explanations for misclassified images: How human and machine explanations differ. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Daxin Liu 0002, Qihui Feng |
On the progression of belief. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jesse Heyninck, Gabriele Kern-Isberner, Tjitze Rienstra, Kenneth Skiba, Matthias Thimm |
Revision, defeasible conditionals and non-monotonic inference for abstract dialectical frameworks. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Georgios Amanatidis, Haris Aziz 0001, Georgios Birmpas, Aris Filos-Ratsikas, Bo Li 0037, Hervé Moulin 0001, Alexandros A. Voudouris, Xiaowei Wu 0001 |
Fair division of indivisible goods: Recent progress and open questions. |
Artif. Intell. |
2023 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #100 of 3410 (100 per page; Change: ) Pages: [ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ >>] |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license