Main conference – IOS Press

IOS Press has published the ECAI2020 proceedings Open Access in the e-book series “Frontiers in Artificial Intelligence & Applications” (FAIA Vol.325). The volume includes the papers accepted for ECAI main conference (full papers and highlights) and the 10th International Conference on Prestigious Applications of Intelligent Systems (PAIS). This series is indexed in all major databases.

All papers in published format (IOS Press).

List of accepted Full papers

11On Minimizing Diagonal Block-Wise Differences for Neural Network CompressionYun-Jui Hsu, Yi-Ting Chang, Chih-Ya Shen, Hong-Han Shuai, Wei-Lun Tseng and Chen-Hsu Yang
17Explainable Inference in the FRANK Query Answering SystemKwabena Nuamah and Alan Bundy
27Deep Density-Aware Count RegressorZhuojun Chen, Junhao Cheng, Yuchen Yuan, Dongping Liao, Yizhou Li and Jiancheng Lv
31Abstract Interpretation Based Robustness Certification for Graph Convolutional NetworksYang Liu, Jiaying Peng, Liang Chen and Zibin Zheng
34DeepGS: Deep Representation Learning of Graphs and Sequences for Drug-Target Binding Affinity PredictionXuan Lin, Kaiqi Zhao, Tong Xiao, Zhe Quan, Zhi-Jie Wang and Philip S. Yu
38Robot Self/Other Distinction: Active Inference Meets Neural Networks Learning in a MirrorPablo Lanillos, Jordi Pages and Gordon Cheng
48Minimality of Combined Qualitative Constraint NetworksQuentin Cohen-Solal
53SI-AGAN: Spatial Interpolation with Attentional Generative Adversarial Networks for Environment MonitoringYujia Gao, Liang Liu, Chi Zhang, Xiao Wang and Huadong Ma
57Compressed k-Nearest Neighbors Ensembles for Evolving Data StreamsMaroua Bahri, Albert Bifet, Silviu Maniu, Rodrigo F. de Mello and Nikolaos Tziortziotis
72You Shouldn’t Trust Me: Learning Models Which Conceal Unfairness from Multiple Explanation MethodsBotty Dimanov, Umang Bhatt, Mateja Jamnik and Adrian Weller
75Classification Rules in Relaxed Logical FormBishwamittra Ghosh, Dmitry Malioutov and Kuldeep S. Meel
82Interpretable & Time-Budget-Constrained Contextualization for Re-RankingSebastian Hofstätter, Markus Zlabinger and Allan Hanbury
86Maximal Correlation: An Alternative Criterion for Training Generative NetworksKalliopi Basioti, George V. Moustakides and Emmanouil Z. Psarakis
92Retrospective and Prospective Mixture-of-Generators for Task-Oriented Dialogue Response GenerationJiahuan Pei, Pengjie Ren, Christof Monz and Maarten de Rijke
96Modelling Belief-Revision Functions at Extended LanguagesTheofanis Aravanis, Pavlos Peppas and Mary-Anne Williams
98Learning to Predict Charges for Legal Judgment via Self-Attentive Capsule NetworkYuquan Le, Congqing He, Meng Chen, Youzheng Wu, Xiaodong He and Bowen Zhou
99Automated Verification of Social Law Robustness for Reactive AgentsAlexander Tuisov and Erez Karpas
107Common and Discriminative Semantic Pursuit for Multi-Modal Multi-Label LearningYi Zhang, Jundong Shen, Zhecheng Zhang and Chongjun Wang
108Resilient Distributed Constraint Optimization in Physical Multi-Agent SystemsPierre Rust, Gauthier Picard and Fano Ramparany
111Fully-Convolutional Intensive Feature Flow Neural Network for Text RecognitionZhao Zhang, Zemin Tang, Zheng Zhang, Yang Wang, Jie Qin and Meng Wang
119ST-MFM: A Spatiotemporal Multi-Modal Fusion Model for Urban Anomalies PredictionRuiqiang Liu, Shuai Zhao, Bo Cheng, Hao Yang, Haina Tang and Fangfang Yang
122Homogeneous Online Transfer Learning with Online Distribution Discrepancy MinimizationYuntao Du, Zhiwen Tan, Qian Chen, Yi Zhang and Chongjun Wang
123Semantic Point Completion Network for 3D Semantic Scene CompletionMin Zhong and Gang Zeng
130A Framework for Determining the Fairness of Outlier DetectionIan Davidson and S. S. Ravi
131Learning Class-Based Graph Representation for Object DetectionShuyu Miao, Rui Feng, Yuejie Zhang and Weiguo Fan
136Generating Instantiated Argument Graphs from Probabilistic InformationAnthony Hunter
145Temporal Web Service QoS Prediction via Kalman Filter-Incorporated Latent Factor AnalysisYe Yuan, Mingsheng Shang and Xin Luo
148Causal Query in Observational Data with Hidden VariablesDebo Cheng, Jiuyong Li, Lin Liu, Jixue Liu, Kui Yu and Thuc Duy Le
150Adversarial Learning for Overlapping Community Detection and Network EmbeddingJunyang Chen, Zhiguo Gong, Quanyu Dai, Chunyuan Yuan and Weiwen Liu
153A Conditional Perspective for Iterated Belief ContractionKai Sauerwald, Gabriele Kern-Isberner and Christoph Beierle
168Bidirectional Scene Text Recognition with a Single DecoderMaurits Bleeker and Maarten de Rijke
169Gradual Guaranteed Coordination in Repeated Win-Lose Coordination GamesValentin Goranko, Antti Kuusisto and Raine Rönnholm
171From Mixture of Longitudinal and Non-Gaussian Advertising Data to Click-Through-Rate PredictionFaustine Bousquet, Sophie Lebre and Christian Lavergne
193Delving Deeper into the Decoder for Video CaptioningHaoran Chen, Jianmin Li and Xiaolin Hu
195Comparative Timeline Summarization via Dynamic Affinity-Preserving Random WalkYijun Duan, Adam Jatowt and Masatoshi Yoshikawa
205Complexity of Possible and Necessary Existence Problems in Abstract ArgumentationKenneth Skiba, Daniel Neugebauer and Jörg Rothe
208On the Complexity of Constructive Control Under Nearly Single-Peaked PreferencesYongjie Yang
215Tutor-Instructing Global Pruning for Accelerating Convolutional Neural NetworksFang Yu and Li Cui
218DAN: Dual-View Representation Learning for Adapting Stance Classifiers to New DomainsChang Xu, Cécile Paris, Surya Nepal, Ross Sparks, Chong Long and Yafang Wang
219Mean Field Theory for Deep Dropout Networks: Digging up Gradient Backpropagation DeeplyWei Huang, Richard Yi Da Xu, Weitao Du, Yutian Zeng and Yunce Zhao
225Dedge-AGMNet: An Eeffective Stereo Matching Network Optimized by Depth Edge Auxiliary TaskWeida Yang, Xindong Ai, Zuliu Yang, Yong Xu and Yong Zhao
226Local to Global Learning of a Latent Dynamic Bayesian NetworkDan Halbersberg and Boaz Lerner
229Adaptive Interaction Fusion Networks for Fake News DetectionLianwei Wu and Yuan Rao
230Maximum Entropy Reinforced Single Object Visual TrackingChenghuan Liu, Du Q. Huynh and Mark Reynolds
232Predicting Long-Term Skeletal Motions by a Spatio-Temporal Hierarchical Recurrent NetworkJunfeng Hu, Zhencheng Fan, Jun Liao and Li Liu
235Bidding in SpadesGal Cohensius, Reshef Meir, Nadav Oved and Roni Stern
236Adversarial Domain Adaptation Being Aware of Class RelationshipsZeya Wang, Baoyu Jing, Yang Ni, Nanqing Dong, Pengtao Xie and Eric Xing
237A Novel Framework with Information Fusion and Neighborhood Enhancement for User Identity LinkageSiyuan Chen, Jiahai Wang, Xin Du and Yanqing Hu
239ET-GAN: Cross-Language Emotion Transfer Based on Cycle-Consistent Generative Adversarial NetworksXiaoqi Jia, Jianwei Tai, Hang Zhou, Yakai Li, Weijuan Zhang, Haichao Du and Qingjia Huang
244A Graph-Based Measurement for Text Imbalance ClassificationJiachen Tian, Shizhan Chen, Xiaowang Zhang and Zhiyong Feng
246MobiSenseUs: Inferring Aggregate Objective and Subjective Well-Being from Mobile DataMartin Hillebrand, Imran Khan, Filipa Peleja and Nuria Oliver
248Matching Questions and Answers in Dialogues from Online ForumsQi Jia, Mengxue Zhang, Shengyao Zhang and Kenny Q. Zhu
250Sequence Prediction Model for Aspect-Level Sentiment ClassificationQianlong Wang and Jiangtao Ren
251Multilayer Collaborative Low-Rank Coding Network for Robust Deep Subspace DiscoveryXianzhen Li, Zhao Zhang, Yang Wang, Guangcan Liu, Shuicheng Yan and Meng Wang
256Task-Aware Performance Prediction for Efficient Architecture SearchEfi Kokiopoulou, Anja Hauth, Luciano Sbaiz, Andrea Gesmundo, Gábor Bartók and Jesse Berent
264Graphical Granger Causality by Information-Theoretic CriteriaKateřina Hlaváčková-Schindler and Claudia Plant
273Rewrite or Not Rewrite? ML-Based Algorithm Selection for Datalog Query Answering on Knowledge GraphsUnmesh Joshi, Ceriel Jacobs and Jacopo Urbani
274Forecaster: A Graph Transformer for Forecasting Spatial and Time-Dependent DataYang Li and José M.F. Moura
275Powering Hidden Markov Model by Neural Network Based Generative ModelsDong Liu, Antoine Honoré, Saikat Chatterjee and Lars K. Rasmussen
281Robust Multi-Instance Learning with Stable InstancesWeijia Zhang, Lin Liu and Jiuyong Li
286On the Interpretation of Convolutional Neural Networks for Text ClassificationJincheng Xu and Qingfeng Du
290JND-GAN: Human-Vision-Systems Inspired Generative Adversarial Networks for Image-to-Image TranslationWenbo Zheng, Lan Yan, Chao Gou and Fei-Yue Wang
299Multi-Label Learning with Deep ForestLiang Yang, Xi-Zhu Wu, Yuan Jiang and Zhi-Hua Zhou
300Directional Adversarial Training for Recommender SystemsYangjun Xu, Liang Chen, Fenfang Xie, Weibo Hu, Jieming Zhu, Chuan Chen and Zibin Zheng
311A Lightweight Recurrent Attention Network for Real-Time Guidewire Segmentation and Tracking in Interventional X-Ray FluoroscopyYan-Jie Zhou, Xiao-Liang Xie, Gui-Bin Bian and Zeng-Guang Hou
312Continual Egocentric Object RecognitionLuca Erculiani, Fausto Giunchiglia and Andrea Passerini
314Unsupervised Adversarial Learning of Anomaly Detection in the WildAmanda Berg, Michael Felsberg and Jörgen Ahlberg
317OpenSMax: Unknown Domain Generation Algorithm DetectionYao Lai, Guolou Ping, Yuexin Wu, Chenhui Lu and Xiaojun Ye
320Ensemble Methods for Object DetectionÁngela Casado-García and Jónathan Heras
330Topological Bayesian Optimization with Persistence DiagramsTatsuya Shiraishi, Tam Le, Hisashi Kashima and Makoto Yamada
335CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using SimulatorsJulien Girard-Satabin, Guillaume Charpiat, Zakaria Chihani and Marc Schoenauer
345A Neural Topical Expansion Framework for Unstructured Persona-Oriented Dialogue GenerationMinghong Xu, Piji Li, Haoran Yang, Pengjie Ren, Zhaochun Ren, Zhumin Chen and Jun Ma
346Split Manipulations in Cost Sharing of Minimum Cost Spanning TreeTaiki Todo and Makoto Yokoo
348Generative Adversarial Networks for Mitigating Biases in Machine Learning SystemsAdel Abusitta, Esma Aïmeur and Omar Abdel Wahab
351A Two-Stage Multi-Objective Deep Reinforcement Learning FrameworkDiqi Chen, Yizhou Wang and Wen Gao
359Online Probabilistic Interval-Based Event CalculusPeriklis Mantenoglou, Alexander Artikis and Georgios Paliouras
361Saliency Detection with Deformable Convolution and Feature AttentionZhe Zhang, Junhui Ma, Panpan Xu and Wencheng Wang
363Sequencing, Combining and Sampling Classifiers to Help Find Needles in HaystacksJaebeen Lee and Léa A. Deleris
365Non-Monotone Submodular Maximization with Multiple Knapsacks in Static and Dynamic SettingsVanja Doskoč, Tobias Friedrich, Andreas Göbel, Aneta Neumann, Frank Neumann and Francesco Quinzan
366Extended Markov Games to Learn Multiple Tasks in Multi-Agent Reinforcement LearningBorja G. Leon and Francesco Belardinelli
370Necessary and Sufficient Conditions for Actual Root CausesShakil M. Khan and Mikhail Soutchanski
383Behavior Based Dynamic Summarization on Product Aspects via Reinforcement Neighbour SelectionZheng Gao, Lujun Zhao, Heng Huang, Hongsong Li, Changlong Sun, Luo Si and Xiaozhong Liu
384Efficient Neural Network Verification via Adaptive Refinement and Adversarial SearchP. Henriksen and A. Lomuscio
387Adaptive Graph Reasoning Network for Fashion Landmark DetectionMing Chen, Hang Ying, Yingjie Qin, Lizhe Qi, Zhongxue Gan and Yunquan Sun
391Improving Document Classification with Multi-Sense EmbeddingsVivek Gupta, Ankit Kumar, Pegah Nokhiz, Harshit Gupta and Partha Talukdar
405Feature-Level Ensemble Knowledge Distillation for Aggregating Knowledge from Multiple NetworksSeongUk Park and Nojun Kwak
416Reasoning with a Bounded Number of Resources in ATL+Francesco Belardinelli and Stéphane Demri
419Dual Attention-Based Adversarial Autoencoder for Attributed Network EmbeddingMing Liu, Jianxin Liao, Jingyu Wang, Qi Qi and Haifeng Sun
424Crowd Counting via Hierarchical Scale Recalibration NetworkZhikang Zou, Yifan Liu, Shuangjie Xu, Wei Wei, Shiping Wen and Pan Zhou
429Learning Style-Aware Symbolic Music Representations by Adversarial AutoencodersAndrea Valenti, Antonio Carta and Davide Bacciu
433Neural Network Heuristics for Classical Planning: A Study of Hyperparameter SpacePatrick Ferber, Malte Helmert and Jörg Hoffmann
436Adaptive Local Neighbors for Transfer Discriminative Feature LearningWei Wang, Zhihui Wang, Haojie Li, Juan Zhou and Zhengming Ding
438Analysing Irresolute Multiwinner Voting Rules with Approval Ballots via SAT SolvingBoas Kluiving, Adriaan de Vries, Pepijn Vrijbergen, Arthur Boixel and Ulle Endriss
443Accounting for Observer’s Partial Observability in Stochastic Goal Recognition Design. Messing with the Marauder’s MapChristabel Wayllace, Sarah Keren, Avigdor Gal, Erez Karpas, William Yeoh and Shlomo Zilberstein
447DRNet: Dissect and Reconstruct the Convolutional Neural Network via Interpretable MannersXiaolong Hu, Zhulin An, Chuanguang Yang, Hui Zhu, Kaiqiang Xu and Yongjun Xu
448Learning Deterministic Automata on Infinite WordsJakub Michaliszyn and Jan Otop
449Combination of Active Learning and Self-Paced Learning for Deep Answer Selection with Bayesian Neural NetworkQunbo Wang, Wenjun Wu, Yuxing Qi and Zhimin Xin
450Multi-Stage Transfer Learning with an Application to Selection ProcessAndre Mendes, Julian Togelius and Leandro dos Santos Coelho
462Fleet Control Using Coregionalized Gaussian Process Policy IterationTimothy Verstraeten, Pieter J.K. Libin and Ann Nowé
463Election Score Can Be Harder than WinnerZack Fitzsimmons and Edith Hemaspaandra
464Polynomial Neural Networks and Taylor Maps for Dynamical Systems Simulation and LearningAndrei Ivanov, Anna Golovkina and Uwe Iben
466Learning Classifier Chains Using Matrix Regularization: Application to Multimorbidity PredictionPaweł Teisseyre
472Abstract Argumentation with Markov NetworksNico Potyka
474Segmented Tables: An Efficient Modeling Tool for Constraint ReasoningGilles Audemard, Christophe Lecoutre and Mehdi Maamar
475IAD: A Benchmark Dataset and a New Method for Illegal Advertising ClassificationZebo Liu, Kehan Li, Xu Tan and Jiming Chen
479Preferences over Rankings and How to Control Them Using RewardsMarco Faella and Luigi Sauro
482Monte Carlo Information-Oriented PlanningVincent Thomas, Gérémy Hutin and Olivier Buffet
484A Knowledge-Based System for the Dynamic Generation and Classification of Novel Contents in Multimedia BroadcastingEleonora Chiodino, Davide Di Luccio, Antonio Lieto, Alberto Messina, Gian Luca Pozzato and Davide Rubinetti
486Enhanced Foraging in Robot Swarms Using Collective Lévy WalksJohannes Nauta, Stef van Havermaet, Pieter Simoens and Yara Khaluf
487Implementing Dynamic Answer Set Programming over Finite TracesPedro Cabalar, Martín Diéguez, Torsten Schaub and Francois Laferriere
491SAI: A Sensible Artificial Intelligence That Plays with Handicap and Targets High Scores in 9×9 GoF. Morandin, G. Amato, M. Fantozzi, R. Gini, C. Metta and M. Parton
494General Supervision via Probabilistic TransformationsSantiago Mazuelas and Aritz Pérez
497Generating Ensembles of Multi-Label Classifiers Using Cooperative Coevolutionary AlgorithmsJose M. Moyano, Eva L. Gibaja, Krzysztof J. Cios and Sebastián Ventura
498Search for Better Students to Learn Distilled KnowledgeJindong Gu and Volker Tresp
511Online Learning to Accelerate Neural Network Inference with Traveling ClassifiersEge Beyazit, Yi He, Nian-Feng Tzeng and Xindong Wu
513Heuristics for Link Prediction in Multiplex NetworksRobert E. Tillman, Vamsi K. Potluru, Jiahao Chen, Prashant Reddy and Manuela Veloso
514Measurable Counterfactual Local Explanations for Any ClassifierAdam White and Artur d’Avila Garcez
519SSHFD: Single Shot Human Fall Detection with Occluded Joints ResilienceUmar Asif, Stefan Von Cavallar, Jianbin Tang and Stefan Harrer
521Ensemble Knowledge Distillation for Learning Improved and Efficient NetworksUmar Asif, Jianbin Tang and Stefan Harrer
528EPNE: Evolutionary Pattern Preserving Network EmbeddingJunshan Wang, Yilun Jin, Guojie Song and Xiaojun Ma
531CDeepEx: Contrastive Deep ExplanationsAmir Feghahati, Christian R. Shelton, Michael J. Pazzani and Kevin Tang
539Learning Conjunctive Information of Signals in Multi-Sensor SystemsSeong-Eun Moon and Jong-Seok Lee
541Lifting Majority to Unanimity in Opinion DiffusionZhiqiang Zhuang, Kewen Wang, Junhu Wang, Heng Zhang, Zhe Wang and Zhiguo Gong
542Dynamic Thresholding for Learning Sparse Neural NetworksJin-Woo Park and Jong-Seok Lee
545Convolutional Dictionary Pair Learning Network for Image Representation LearningZhao Zhang, Yulin Sun, Yang Wang, Zhengjun Zha, Shuicheng Yan and Meng Wang
547Inter-Slice Image Augmentation Based on Frame Interpolation for Boosting Medical Image Segmentation AccuracyZhaotao Wu, Jia Wei, Wenguang Yuan, Jiabing Wang and Tolga Tasdizen
551RPN: A Residual Pooling Network for Efficient Federated LearningAnbu Huang, Yuanyuan Chen, Yang Liu, Tianjian Chen and Qiang Yang
555MedGraph: Structural and Temporal Representation Learning of Electronic Medical RecordsBhagya Hettige, Weiqing Wang, Yuan-Fang Li, Suong Le and Wray Buntine
561Regularized Cycle Consistent Generative Adversarial Network for Anomaly DetectionZiyi Yang, Iman Soltani Bozchalooi and Eric Darve
570A Region Selection Model to Identify Unknown Unknowns in Image DatasetsXiao Dong, Huaxiang Zhang and Gianluca Demartini
574End-To-End Speech Emotion Recognition Based on Time and Frequency Information Using Deep Neural NetworksAli Bakhshi, Aaron S.W. Wong and Stephan Chalup
575Unsupervised Learning of Interpretable Dialog ModelsDhiraj Madan, Dinesh Raghu, Gaurav Pandey and Sachindra Joshi
580NASS: Optimizing Secure Inference via Neural Architecture SearchSong Bian, Weiwen Jiang, Qing Lu, Yiyu Shi and Takashi Sato
583A Multi-Task Learning Neural Network for Emotion-Cause Pair ExtractionSixing Wu, Fang Chen, Fangzhao Wu, Yongfeng Huang and Xing Li
595Building a Multi-Domain Neural Machine Translation Model Using Knowledge DistillationIdriss Mghabbar and Pirashanth Ratnamogan
597Quantum Weighted Model CountingFabrizio Riguzzi
600A Variant of Recurrent Entity Networks for Targeted Aspect-Based Sentiment AnalysisZhihao Ye and Zhiyong Li
603Leveraging Human Prior Knowledge to Learn Sense RepresentationsTong Zhang, Wei Ye, Xiangyu Xi, Long Zhang, Shikun Zhang and Wen Zhao
609Secure Social Recommendation Based on Secret SharingChaochao Chen, Liang Li, Bingzhe Wu, Cheng Hong, Li Wang and Jun Zhou
611Finding Quantum Critical Points with Neural-Network Quantum StatesRemmy Zen, Long My, Ryan Tan, Frédéric Hébert, Mario Gattobigio, Christian Miniatura, Dario Poletti and Stéphane Bressan
613Strong Statistical Correlation Revealed by Quantum Entanglement for Supervised LearningJunwei Zhang, Yuexian Hou, Zhao Li, Long Zhang and Xia Chen
615Joint Extraction of Entities and Relations Based on a Novel Decomposition StrategyBowen Yu, Zhenyu Zhang, Xiaobo Shu, Tingwen Liu, Yubin Wang, Bin Wang and Sujian Li
625Global Propagation of Transition Cost for Fixed Job SchedulingWang Ruixin and Barnier Nicolas
628Understanding and Training Deep Diagonal Circulant Neural NetworksAlexandre Araujo, Benjamin Negrevergne, Yann Chevaleyre and Jamal Atif
629A Formal Model of Affordances for Flexible Robotic Task ExecutionDaniel Beßler, Robert Porzel, Mihai Pomarlan, Michael Beetz, Rainer Malaka and John Bateman
635Harmonic Recurrent Process for Time Series ForecastingShao-Qun Zhang and Zhi-Hua Zhou
639Meta-Embedding as Auxiliary Task RegularizationJames O’Neill and Danushka Bollegala
640Assessing the Memory Ability of Recurrent Neural NetworksCheng Zhang, Qiuchi Li, Lingyu Hua and Dawei Song
646IntuiGeo: Interactive Tutor for Online Geometry Problems Resolution on Pen-Based TabletsOmar Krichen, Eric Anquetil and Nathalie Girard
662Improving Unsupervised Domain Adaptation with Variational Information BottleneckYuxuan Song, Lantao Yu, Zhangjie Cao, Zhiming Zhou, Jian Shen, Shuo Shao, Weinan Zhang and Yong Yu
666TREPAN Reloaded: A Knowledge-Driven Approach to Explaining Black-Box ModelsRoberto Confalonieri, Tillman Weyde, Tarek R. Besold and Fermín Moscoso del Prado Martín
667Layer-Wise Adaptive Gradient Sparsification for Distributed Deep Learning with Convergence GuaranteesShaohuai Shi, Zhenheng Tang, Qiang Wang, Kaiyong Zhao and Xiaowen Chu
675Polynomial-Time Implicit Learnability in SMTIonela G. Mocanu, Vaishak Belle and Brendan Juba
690Joint 3D Face Reconstruction and Dense Face Alignment via Deep Face Feature AlignmentJian Zhou and Zhangjin Huang
693An Approach to Fuzzy Modal Logic of Time IntervalsWillem Conradie, Dario Della Monica, Emilio Muñoz-Velasco and Guido Sciavicco
695Uniform State Abstraction for Reinforcement LearningJohn Burden and Daniel Kudenko
701Distantly Supervised Question ParsingHamid Zafar, Maryam Tavakol and Jens Lehmann
703A New Framework of Evolutionary Multi-Objective Algorithms with an Unbounded External ArchiveHisao Ishibuchi, Lie Meng Pang and Ke Shang
705Learning Joint Job Embeddings Using a Job-Oriented Asymmetrical Pairing SystemTimothé Bernard, Tanguy Moreau, Clément Viricel, Paul Mougel, Christophe Gravier and Frédérique Laforest
706Relaxed Per-Stage Requirements for Training Cascades of ClassifiersDariusz Sychel, Przemysław Klȩsk and Aneta Bera
708Learning Global Pairwise Interactions with Bayesian Neural NetworksTianyu Cui, Pekka Marttinen and Samuel Kaski
715Diagnosis of Temporal Faults in Discrete-Event SystemsNicola Bertoglio, Gianfranco Lamperti, Marina Zanella and Xiangfu Zhao
719Parameterized Complexity of Manipulating Sequential AllocationMichele Flammini and Hugo Gilbert
720Robust Constraint Acquisition by Sequential AnalysisSteven Prestwich
726Belief Map Enhancement Network for Accurate Human Pose EstimationJie Liu, Yishun Dou, Wenjie Zhang, Jie Tang and Gangshan Wu
727Partial Label Learning via Generative Adversarial NetsYabin Zhang, Guang Yang, Suyun Zhao, Peng Ni, Hairong Lian, Hong Chen and Cuiping Li
734Prioritized Simple Contrapositive Assumption-Based FrameworksOfer Arieli and Jesse Heyninck
736Neural ODEs with Stochastic Vector Field MixturesNiall Twomey, Michał Kozłowski and Raúl Santos-Rodríguez
743Logical Interpretations of AutoencodersAnton Fuxjaeger and Vaishak Belle
762Learning Fairness-Aware Relational StructuresYue Zhang and Arti Ramesh
769Capturing Attraction Distribution: Sequential Attentive Network for Dwell Time PredictionTianxin Wang, Jingwu Chen, Fuzhen Zhuang, Leyu Lin, Feng Xia, Lihuan Du and Qing He
771Struct-MMSB: Mixed Membership Stochastic Blockmodels with Interpretable Structured PriorsYue Zhang and Arti Ramesh
778Gradual Semantics for Logic-Based Bipolar Graphs Using T-(Co)normsMartin Jedwabny, Madalina Croitoru and Pierre Bisquert
780Non-Linear Cluster Enhancement: Forcing Clusters into a Compact ShapeBenjamin Schelling, Lukas Miklautz and Claudia Plant
783An ASP Semantics for Constraints Involving Conditional AggregatesPedro Cabalar, Jorge Fandinno, Torsten Schaub and Philipp Wanko
784Weighted LARS for Quantitative Stream ReasoningThomas Eiter and Rafael Kiesel
786Neural Large Neighborhood Search for the Capacitated Vehicle Routing ProblemAndré Hottung and Kevin Tierney
787Classifying the Classifier: Dissecting the Weight Space of Neural NetworksGabriel Eilertsen, Daniel Jönsson, Timo Ropinski, Jonas Unger and Anders Ynnerman
792Dividing the Ontology Alignment Task with Semantic Embeddings and Logic-Based ModulesErnesto Jiménez-Ruiz, Asan Agibetov, Jiaoyan Chen, Matthias Samwald and Valerie Cross
794The Automated Inspection of Opaque Liquid VaccinesG. Palmer, B. Schnieders, R. Savani, K. Tuyls, J. Fossel and H. Flore
797Structure Matters: Towards Generating Transferable Adversarial ImagesDan Peng, Zizhan Zheng, Linhao Luo and Xiaofeng Zhang
803Taming Reasoning in Temporal Probabilistic Relational ModelsMarcel Gehrke, Ralf Möller and Tanya Braun
804Semantics of Negative Sequential PatternsPhilippe Besnard and Guyet Thomas
808Explicit Negation in Linear-Dynamic Equilibrium LogicFelicidad Aguado, Pedro Cabalar, Jorge Fandinno, Gilberto Pérez and Concepción Vidal
809Rapidly Finding the Best Arm Using VarianceMarco Faella, Alberto Finzi and Luigi Sauro
824Permutation Learning via Lehmer CodesAïssatou Diallo, Markus Zopf and Johannes Fürnkranz
827Evaluation of Analogical Arguments by Choquet IntegralLeila Amgoud
834Fair in the Eyes of OthersParham Shams, Aurélie Beynier, Sylvain Bouveret and Nicolas Maudet
836Foreground Detection by Probabilistic Mixture Models Using Semantic Information from Deep NetworksJorge García-González, Juan M. Ortiz-de-Lazcano-Lobato, Rafael M. Luque-Baena and Ezequiel López-Rubio
839Improving Supervised Superpixel-Based Codebook Representations by Local Convolutional FeaturesCésar Castelo-Fernández and Alexandre X. Falcão
844Automatic Extraction of Leaf Venation Complex NetworksMaciej Rapacz and Radosław Łazarz
846Committee Selection with Multimodal PreferencesPallavi Jain and Nimrod Talmon
863Exploiting Incomparability in Solution Dominance: Improving General Purpose Constraint-Based MiningGökberk Koçak, Özgür Akgün, Tias Guns and Ian Miguel
864Studying Lack of Information Through Type-2 Fuzzy Strong NegationCarmen Torres-Blanc, Susana Cubillo, and Luis Magdalena
869Hope Speech Detection: A Computational Analysis of the Voice of PeaceShriphani Palakodety, Ashiqur R. KhudaBukhsh and Jaime G. Carbonell
871Object Allocation and Positive Graph ExternalitiesDimitris Fotakis, Laurent Gourvès, Stelios Kasouridis and Aris Pagourtzis
880The Impact of Linguistic Knowledge in Different Strategies to Learn Cross-Lingual Distributional ModelsPablo Gamallo
888Speeding up Word Mover’s Distance and Its Variants via Properties of Distances Between EmbeddingsMatheus Werner and Eduardo Laber
891Neural Networks in Evolutionary Dynamic Constrained Optimization: Computational Cost and BenefitsMaryam Hasani-Shoreh, Renato Hermoza Aragonés and Frank Neumann
892Learning Normative Behaviors Through AbstractionStevan Tomic, Federico Pecora and Alessandro Saffiotti
894Learning First-Order Symbolic Representations for Planning from the Structure of the State SpaceBlai Bonet and Hector Geffner
898Evolutionary Bi-Objective Optimization for the Dynamic Chance-Constrained Knapsack Problem Based on Tail Bound ObjectivesHirad Assimi, Oscar Harper, Yue Xie, Aneta Neumann and Frank Neumann
903SETNet: A Novel Semi-Supervised Approach for Semantic ParsingXiaolu Wang, Haifeng Sun, Qi Qi and Jingyu Wang
905Variational Objectives for Markovian Dynamics with Backward SimulationAntonio Khalil Moretti, Zizhao Wang, Luhuan Wu, Iddo Drori and Itsik Pe’er
909Basic Utility Theory for Belief FunctionsChunlai Zhou, Biao Qin, Deying Li, Zhiqiang Xu and Xiaoyong Du
911Joint Modeling of Local and Global Behavior Dynamics for Session-Based RecommendationYong Xu, Jiahui Chen, Chao Huang, Bo Zhang, Hao Xing, Peng Dai and Liefeng Bo
912Learning Contextualized Sentence Representations for Document-Level Neural Machine TranslationPei Zhang, Xu Zhang, Wei Chen, Jian Yu, Yanfeng Wang and Deyi Xiong
913Mid-Weight Image Super-Resolution with Bypass Connection Attention NetworkHao Shen and Zhong-Qiu Zhao
918Learning to Reuse Translations: Guiding Neural Machine Translation with ExamplesQian Cao, Shaohui Kuang and Deyi Xiong
920Metric Learning for Ordered Labeled Trees with pq-gramsHikaru Shindo, Masaaki Nishino, Yasuaki Kobayashi and Akihiro Yamamoto
921An Efficient Agreement Mechanism in CapsNets by Pairwise ProductLei Zhao, Xiaohui Wang and Lei Huang
935Towards Efficient Discrete Integration via Adaptive Quantile QueriesFan Ding, Hanjing Wang, Ashish Sabharwal and Yexiang Xue
939Learning to Continually LearnShawn Beaulieu, Lapo Frati, Thomas Miconi, Joel Lehman, Kenneth O. Stanley, Jeff Clune and Nick Cheney
942Self-Attention-Based Fully-Inception Networks for Continuous Sign Language RecognitionMingjie Zhou, Michael Ng, Zixin Cai and Ka Chun Cheung
957A Weighted GCN with Logical Adjacency Matrix for Relation ExtractionLi Zhou, Tingyu Wang, Hong Qu, Li Huang and Yuguo Liu
958On the Reasons Behind DecisionsAdnan Darwiche and Auguste Hirth
961An Advance on Variable Elimination with Applications to Tensor-Based ComputationAdnan Darwiche
967Negative-Aware Training: Be Aware of Negative SamplesXin Li, Xiaodong Jia and Xiao-Yuan Jing
973SPCNet: Spatial Preserve and Content-Aware Network for Human Pose EstimationYabo Xiao, Dongdong Yu, Xiaojuan Wang, Tianqi Lv, Yiqi Fan and Lingrui Wu
974Multimodal Matching Transformer for Live CommentingChaoqun Duan, Lei Cui, Shuming Ma, Furu Wei, Conghui Zhu and Tiejun Zhao
978Agent Abstraction via Forgetting in the Situation CalculusKailun Luo, Yongmei Liu, Yves Lespérance and Ziliang Lin
980Satisfiability and Query Answering in Description Logics with Global and Local Cardinality ConstraintsFranz Baader, Bartosz Bednarczyk and Sebastian Rudolph
983Step-Wise Explanations of Constraint Satisfaction ProblemsBart Bogaerts, Emilio Gamba, Jens Claes and Tias Guns
994MetaSelection: Metaheuristic Sub-Structure Selection for Neural Network Pruning Using Evolutionary AlgorithmZixun Zhang, Zhen Li, Lin Lin, Na Lei, Guanbin Li and Shuguang Cui
1000Anomaly Detection ForestJakob Sternby, Erik Thormarker and Michael Liljenstam
1015A Text-Based Deep Reinforcement Learning Framework for Interactive RecommendationChaoyang Wang, Zhiqiang Guo, Jianjun Li, Peng Pan and Guohui Li
1018Evaluating Multimodal Representations on Visual Semantic Textual SimilarityOier Lopez de Lacalle, Ander Salaberria, Aitor Soroa, Gorka Azkune and Eneko Agirre
1024Exhaustive Search of Priority Rules for On-Line SchedulingFrancisco J. Gil-Gala, Carlos Mencía, María R. Sierra and Ramiro Varela
1027Lifted Marginal Filtering for Asymmetric Models by Clustering-Based MergingStefan Lüdtke, Marcel Gehrke, Tanya Braun, Ralf Möller and Thomas Kirste
1037Inequity Aversion Pricing in Multi-Unit MarketsMichele Flammini, Manuel Mauro, Matteo Tonelli and Cosimo Vinci
1040Explaining Non-Acceptability in Abstract ArgumentationZeynep G. Saribatur, Johannes P. Wallner and Stefan Woltran
1043The Quality of Content Publishing in the Digital EraVittorio Bilò, Michele Flammini and Cosimo Vinci
1045Minimality and Comparison of Sets of Multi-Attribute VectorsFederico Toffano and Nic Wilson
1048Voting Rules from Random RelationsNic Wilson
1065Auction Description Language (ADL): General Framework for Representing Auction-Based MarketsMunyque Mittelmann and Laurent Perrussel
1067Comparing Topic-Aware Neural Networks for Bias Detection of NewsYe Jiang, Yimin Wang, Xingyi Song and Diana Maynard
1069The Last Voting Rule Is Home: Complexity of Control by Partition of Candidates or Voters in Maximin ElectionsCynthia Maushagen and Jörg Rothe
1071Verification of Neural Networks: Enhancing Scalability Through PruningDario Guidotti, Francesco Leofante, Luca Pulina and Armando Tacchella
1072Is Hardness Inherent in Computational Problems? Performance of Human and Electronic Computers on Random Instances of the 0-1 Knapsack ProblemNitin Yadav, Carsten Murawski, Sebastian Sardina and Peter Bossaerts
1074Integrating Open-Ended Learning in the Sense-Plan-Act Robot Control ParadigmAngelo Oddi, Riccardo Rasconi, Vieri Giuliano Santucci, Gabriele Sartor, Emilio Cartoni, Francesco Mannella and Gianluca Baldassarre
1076Applying the Closed World Assumption to SUMO-Based FOL Ontologies for Effective Commonsense ReasoningJavier Álvez, Itziar Gonzalez-Dios and German Rigau
1088Algorithms for Dynamic Argumentation Frameworks: An Incremental SAT-Based ApproachAndreas Niskanen and Matti Järvisalo
1089Group Behavior Recognition Using Attention- and Graph-Based Neural NetworksFangkai Yang, Wenjie Yin, Tetsunari Inamura, Mårten Björkman and Christopher Peters
1092Strong Refinements for Hard Problems in Argumentation DynamicsAndreas Niskanen and Matti Järvisalo
1097Relational Neural MachinesGiuseppe Marra, Michelangelo Diligenti, Francesco Giannini, Marco Gori and Marco Maggini
1105How Much Knowledge Is in a Knowledge Base? Introducing Knowledge Measures (Preliminary Report)Umberto Straccia
1109Human Activity Recognition from Wearable Sensor Data Using Self-AttentionSaif Mahmud, M. Tanjid Hasan Tonmoy, Kishor Kumar Bhaumik, A.K.M. Mahbubur Rahman, M. Ashraful Amin, Mohammad Shoyaib, Muhammad Asif Hossain Khan and Amin Ahsan Ali
1118Black-Box Adversarial Attacks Against Deep Learning Based Malware Binaries Detection with GANJunkun Yuan, Shaofang Zhou, Lanfen Lin, Feng Wang and Jia Cui
1124Learning Temporal Action Models via Constraint ProgrammingAntonio Garrido and Sergio Jiménez
1126Tree Search for the Sequential Ordering ProblemLuc Libralesso, Abdel-Malik Bouhassoun, Hadrien Cambazard and Vincent Jost
1128Finite and Confident Teaching in Expectation: Sampling from Infinite Concept ClassesJose Hernández-Orallo and Jan Arne Telle
1133A Shared-Word Sensitive Sequence-to-Sequence Features Extractor for Sentences MatchingJinqing Li, Dakui Wang, Xiaojun Chen, Pencheng Liao and Shujuan Chen
1135A Convergent Off-Policy Temporal Difference AlgorithmRaghuram Bharadwaj Diddigi, Chandramouli Kamanchi and Shalabh Bhatnagar
1136BTDE: Block Term Decomposition Embedding for Link Prediction in Knowledge GraphTao Luo, Yifan Wei, Mei Yu, Xuewei Li, Mankun Zhao, Tianyi Xu, Jian Yu, Jie Gao and Ruiguo Yu
1137On the Relation Between Claim-Augmented Argumentation Frameworks and Collective AttacksWolfgang Dvořák, Anna Rapberger and Stefan Woltran
1145Preprocessing in Incomplete MaxSAT SolvingMarcus Leivo, Jeremias Berg and Matti Järvisalo
1147Personalized Automated Machine LearningCedric Kulbach, Patrick Philipp and Steffen Thoma
1151Learning Chordal Markov Networks via Stochastic Local SearchKari Rantanen, Antti Hyttinen and Matti Järvisalo
1152Towards Inconsistency Measurement in Business Rule BasesCarl Corea and Matthias Thimm
1161Integrating Network Embedding and Community Outlier Detection via Multiclass Graph DescriptionSambaran Bandyopadhyay, Saley Vishal Vivek and M.N. Murty
1166RoI Feature Propagation for Video Object DetectionDaniel Cores, Manuel Mucientes and Víctor M. Brea
1168Bridging the Gap Between Training and Inference for Spatio-Temporal ForecastingHong-Bin Liu and Ickjai Lee
1169An Experimental Study on the Behaviour of Fuzzy Quantification ModelsAndrea Cascallar-Fuentes, Alejandro Ramos-Soto and Alberto Bugarín-Diz
1174TIMELY: Improving Labeling Consistency in Medical Imaging for Cell Type ClassificationYushan Liu, Markus M. Geipel, Christoph Tietz and Florian Buettner
1177On the Effectiveness of Social Proof Recommendations in Markets with Multiple ProductsVincenzo Auletta, Diodato Ferraioli and Gianluigi Greco
1186Strategic Monitor Placement Against Malicious FlowsVincenzo Auletta, Giuseppe De Nittis, Diodato Ferraioli, Nicola Gatti and Domenico Longo
1194Incentivize Diffusion with Fair RewardsWen Zhang, Dengji Zhao and Yao Zhang
1197Verifying Strategic Abilities in Multi-Agent Systems via First-Order EntailmentFrancesco Belardinelli and Vadim Malvone
1198A Unified and Unsupervised Framework for Bilingual Phrase Alignment on Specialized Comparable CorporaJingshu Liu, Emmanuel Morin, Sebastián Peña Saldarriaga and Joseph Lark
1203Incorporating Semantic Dependencies Extracted from Knowledge Graphs into Joint Inference Template-Based Information ExtractionHendrik ter Horst and Philipp Cimiano
1216CryptoSPN: Privacy-Preserving Sum-Product Network InferenceAmos Treiber, Alejandro Molina, Christian Weinert, Thomas Schneider and Kristian Kersting
1217Capturing Word Order in Averaging Based Sentence EmbeddingsJae Hee Lee, Jose Camacho Collados, Luis Espinosa Anke and Steven Schockaert
1218Towards Lossless Binary Convolutional Neural Networks Using Piecewise ApproximationBaozhou Zhu, Zaid Al-Ars and Wei Pan
1221Fine-Grained Text Sentiment Transfer via Dependency ParsingLulu Xiao, Xiaoye Qu, Ruixuan Li, Jun Wang, Pan Zhou and Yuhua Li
1222Embedding the Trust Degrees of Agents in Abstract ArgumentationBettina Fazzinga, Sergio Flesca and Filippo Furfaro
1224A Lagrangian Approach to Information Propagation in Graph Neural NetworksMatteo Tiezzi, Giuseppe Marra, Stefano Melacci, Marco Maggini and Marco Gori
1225Model-Free Non-Stationarity Detection and Adaptation in Reinforcement LearningGiuseppe Canonaco, Marcello Restelli and Manuel Roveri
1231On-Time Delivery in Crowdshipping Systems: An Agent-Based Approach Using Streaming DataJeremias Dötterl, Ralf Bruns, Jürgen Dunkel and Sascha Ossowski
1237Dynamic Algorithm Configuration: Foundation of a New Meta-Algorithmic FrameworkAndré Biedenkapp, H. Furkan Bozkurt, Theresa Eimer, Frank Hutter and Marius Lindauer
1238From Public Announcements to Asynchronous AnnouncementsPhilippe Balbiani, Hans van Ditmarsch and Saúl Fernández González
1239CIDetector: Semi-Supervised Method for Multi-Topic Confidential Information DetectionJianguo Jiang, Yue Lu, Min Yu, , Gang Li, Yantao Jia, Jiafeng Guo, Chao Liu and Weiqing Huang
1241Weak Supervision Helps Emergence of Word-Object Alignment and Improves Vision-Language TasksCorentin Kervadec, Grigory Antipov, Moez Baccouche and Christian Wolf
1246Extending a Fuzzy Polarity Propagation Method for Multi-Domain Sentiment Analysis with Word Embedding and POS TaggingClaude Pasquier, Célia da Costa Pereira and Andrea G.B. Tettamanzi
1248Ludii – The Ludemic General Game SystemÉric Piette, Dennis J.N.J. Soemers, Matthew Stephenson, Chiara F. Sironi, Mark H.M. Winands and Cameron Browne
1259Property Invariant Embedding for Automated ReasoningMiroslav Olšák, Cezary Kaliszyk and Josef Urban
1261An Ideal Team Is More than a Team of Ideal AgentsCan Kurtan, Pınar Yolum and Mehdi Dastani
1262Deciding When, How and for Whom to SimplifyCarolina Scarton, Pranava Madhyastha and Lucia Specia
1264Knowledge Distillation for Model-Agnostic Meta-LearningMin Zhang, Donglin Wang and Sibo Gai
1265A Compact Spectral Descriptor for Shape DeformationsSkylar Sible, Rodrigo Iza-Teran, Jochen Garcke, Nikola Aulig and Patricia Wollstadt
1266A Logic of Explicit and Implicit Distributed BeliefAndreas Herzig, Emiliano Lorini, Elise Perrotin, Fabián Romero and François Schwarzentruber
1270New Randomized Strategies for the Color Coding AlgorithmLucie Pansart, Hadrien Cambazard and Nicolas Catusse
1271MDE: Multiple Distance Embeddings for Link Prediction in Knowledge GraphsAfshin Sadeghi, Damien Graux, Hamed Shariat Yazdi and Jens Lehmann
1282Outside the Box: Abstraction-Based Monitoring of Neural NetworksThomas A. Henzinger, Anna Lukina and Christian Schilling
1283Span-Based Joint Entity and Relation Extraction with Transformer Pre-TrainingMarkus Eberts and Adrian Ulges
1285Family and Prejudice: A Behavioural Taxonomy of Machine Learning TechniquesRaül Fabra-Boluda, Cèsar Ferri, Fernando Martínez-Plumed, José Hernández-Orallo and M. José Ramírez-Quintana
1290Modeling the Incongruity Between Sentence Snippets for Sarcasm DetectionHongliang Pan, Zheng Lin, Peng Fu and Weiping Wang
1293Consolidating Modal Knowledge BasesZied Bouraoui, Jean-Marie Lagniez, Pierre Marquis and Valentin Montmirail
1303Dynamics in Abstract Argumentation Frameworks with Recursive Attack and Support RelationsGianvincenzo Alfano, Andrea Cohen, Sebastian Gottifredi, Sergio Greco, Francesco Parisi and Guillermo Simari
1324Analysis of Reduced Costs Filtering for Alldifferent and Minimum Weight Alldifferent Global ConstraintsGuillaume Claus, Hadrien Cambazard and Vincent Jost
1326Automatic Generation of Typicality Measures for Spatial Language in Grounded SettingsAdam Richard-Bollans, Brandon Bennett and Anthony G. Cohn
1330Improving VAE Generations of Multimodal Data Through Data-Dependent Conditional PriorsFrantzeska Lavda, Magda Gregorová and Alexandros Kalousis
1337Speeding Up CDCL Inference with Duplicate Learnt ClausesStepan Kochemazov, Oleg Zaikin, Alexander Semenov and Victor Kondratiev
1339PushNet: Efficient and Adaptive Neural Message PassingJulian Busch, Jiaxing Pi and Thomas Seidl
1344Data-Empowered Argumentation for Dialectically Explainable PredictionsOana Cocarascu, Andria Stylianou, Kristijonas Čyras and Francesca Toni
1345Point Cloud Segmentation with Deep Reinforcement LearningMarcel Tiator, Christian Geiger and Paul Grimm
1357Algebraic Circuits for Decision Theoretic Inference and LearningVincent Derkinderen and Luc De Raedt
1362Explanations for Ontology-Mediated Query Answering in Description Logicsİsmail İlkan Ceylan, Thomas Lukasiewicz, Enrico Malizia and Andrius Vaicenavičius
1364AI Paradigms and AI Safety: Mapping Artefacts and Techniques to Safety IssuesJose Hernández-Orallo, Fernando Martínez-Plumed, Shahar Avin, Jess Whittlestone and Seán Ó hÉigeartaigh
1366Neighborhood-Based Pooling for Population-Level Label Distribution LearningTharindu Cyril Weerasooriya, Tong Liu and Christopher M. Homan
1373On Measuring Inconsistency in Relational Databases with Denial ConstraintsFrancesco Parisi and John Grant
1378Decoding the Imitation Security Game: Handling Attacker Imitative Behavior DeceptionThanh H. Nguyen, Nam Vu, Amulya Yadav and Uy Nguyen
1381Tackling Imitative Attacker Deception in Repeated Bayesian Stackelberg Security GamesThanh H. Nguyen, Andrew Butler and Haifeng Xu
1383Regret-Based Elicitation for Solving Multi-Objective Knapsack Problems with Rank-Dependent AggregatorsNawal Benabbou, Cassandre Leroy and Thibaut Lust
1403Coulomb AutoencodersEmanuele Sansone, Hafiz Tiomoko Ali and Jiacheng Sun
1405STRiKE: Rule-Driven Relational Learning Using Stratified k-EntailmentMartin Svatoš, Steven Schockaert, Jesse Davis and Ondřej Kuželka
1407Item Response Theory to Estimate the Latent Ability of Speech SynthesizersChaina Santos Oliveira, Caio C.A. Tenório and Ricardo B.C. Prudêncio
1410Learning Kernel-Based Embeddings in Graph Neural NetworksNicolò Navarin, Dinh Van Tran and Alessandro Sperduti
1428Multimodal Transfer Learning-Based Approaches for Retinal Vascular SegmentationJosé Morano, Álvaro S. Hervella, N. Barreira, Jorge Novo and José Rouco
1441A Fuzzy Inference System for a Visually Grounded Robot State of MindAvinash Kumar Singh, Neha Baranwal and Kai-Florian Richter
1442New Computational Models for the Choquet IntegralHugo Martin and Patrice Perny
1459What Makes a Better Companion? Towards Social & Engaging Peer LearningRajni Jindal, Maitree Leekha, Minkush Manuja and Mononito Goswami
1470Transformer-Based Argument Mining for Healthcare ApplicationsTobias Mayer, Elena Cabrio and Serena Villata
1471Dynamic Epistemic Logic Games with Epistemic Temporal GoalsBastien Maubert, Aniello Murano, Sophie Pinchinat, Francois Schwarzentruber and Silvia Stranieri
1477New Measures of Inclusion Between Fuzzy Sets in Terms of the ?-Index of InclusionNicolás Madrid and Manuel Ojeda-Aciego
1484Lifted Heuristics for Timeline-Based PlanningRiccardo De Benedictis and Amedeo Cesta
1491Macro Operator Synthesis for ADL DomainsTill Hofmann, Tim Niemueller and Gerhard Lakemeyer
1492Verification of Recurrent Neural Networks for Cognitive Tasks via Reachability AnalysisHongce Zhang, Maxwell Shinn, Aarti Gupta, Arie Gurfinkel, Nham Le and Nina Narodytska
1499Representing and Reducing Uncertainty for Enumerating the Belief Space to Improve Endgame Play in SkatStefan Edelkamp
1522Ontology Focusing: Knowledge-Enriched Databases on DemandTomasz Gogacz, Víctor Gutiérrez-Basulto, Yazmín Ibáñez-García, Filip Murlak, Magdalena Ortiz and Mantas Šimkus
1538Reuse, Reduce and Recycle: Optimizing Reiter’s HS-Tree for Sequential DiagnosisPatrick Rodler
1540A Hash Learning Framework for Search-Oriented Knowledge Graph EmbeddingMeng Wang, Tongtong Wu and Guilin Qi
1543Multiwinner Rules with Variable Number of WinnersPiotr Faliszewski, Arkadii Slinko and Nimrod Talmon
1547On Partial Multi-Task LearningYi He, Baijun Wu, Di Wu and Xindong Wu
1553Toward Metrics for Differentiating Out-of-Distribution SetsMahdieh Abbasi, Changjian Shui, Arezoo Rajabi, Christian Gagné and Rakesh B. Bobba
1557Learning Variable Ordering Heuristics with Multi-Armed Bandits and RestartsHugues Wattez, Frédéric Koriche, Christophe Lecoutre, Anastasia Paparrizou and Sébastien Tabary
1558Planning for Compilation of a Quantum Algorithm for Graph ColoringMinh Do, Zhihui Wang, Bryan O’Gorman, Davide Venturelli, Eleanor Rieffel and Jeremy Frank
1565Link Prediction by Analyzing Common Neighbors Based Subgraphs Using Convolutional Neural NetworkKumaran Ragunathan, Kalyani Selvarajah and Ziad Kobti
1567Document and Word Representations Generated by Graph Convolutional Network and BERT for Short Text ClassificationZhihao Ye, Gongyao Jiang, Ye Liu, Zhiyong Li and Jin Yuan
1569False-Name-Proof Facility Location on Discrete StructuresTaiki Todo, Nodoka Okada and Makoto Yokoo
1572Mining Insights from Large-Scale Corpora Using Fine-Tuned Language ModelsShriphani Palakodety, Ashiqur R. KhudaBukhsh and Jaime G. Carbonell
1574Many-Objective Problems Are Not Always Difficult for Pareto Dominance-Based Evolutionary AlgorithmsHisao Ishibuchi, Takashi Matsumoto, Naoki Masuyama and Yusuke Nojima
1579Semantics-Reinforced Networks for Question GenerationZhuang Liu, Kaiyu Huang, Degen Huang and Jun Zhao
1588Generating Natural Language Adversarial Examples on a Large Scale with Generative ModelsYankun Ren, Jianbin Lin, Siliang Tang, Jun Zhou, Shuang Yang, Yuan Qi and Xiang Ren
1591A Syntactic Approach for Privacy-Preserving Federated LearningOlivia Choudhury, Aris Gkoulalas-Divanis, Theodoros Salonidis, Issa Sylla, Yoonyoung Park, Grace Hsu and Amar Das
1594Derivative-Free Optimization with Adaptive Experience for Efficient Hyper-Parameter TuningYi-Qi Hu, Zelin Liu, Hua Yang, Yang Yu and Yunfeng Liu
1599Branch Location Problems with Maximum SatisfiabilityOleg Zaikin, Alexey Ignatiev and Joao Marques-Silva
1617Simplifying Graph Attention Networks with Source-Target SeparationHantao Guo, Rui Yan, Yansong Feng, Xuesong Gao and Zhanxing Zhu
1628Private Knowledge Transfer via Model Distillation with Generative Adversarial NetworksDi Gao and Cheng Zhuo
1634From Eigentrust to a Trust-Measuring Algorithm in the Max-Plus AlgebraJuan Afanador, Nir Oren, Murilo Baptista and Maria Araujo
1641Pruning CNN’s with Linear Filter EnsemblesCsanád Sándor, Szabolcs Pável and Lehel Csató
1648A Multilayered Informative Random Walk for Attributed Social Network EmbeddingSambaran Bandyopadhyay, Anirban Biswas, Harsh Kara and M.N. Murty
1655Robust Submodular Minimization with Applications to Cooperative ModelingRishabh Iyer
1661Minimizing and Recovering from the Effect of Concept Drift via Feature SelectionDaegun Won, Peter Jansen and Jaime Carbonell
1665Randomized Kernel Multi-View Discriminant AnalysisXiaoyun Li, Jie Gui and Ping Li
1669A Two-Stream Network with Image-to-Class Deep Metric for Few-Shot ClassificationQinghua Gu, Zhengding Luo and Yuesheng Zhu
1673Refinement of Unsupervised Cross-Lingual Word EmbeddingsMagdalena Biesialska and Marta R. Costa-jussà
1687Dual Rejection Sampling for Wasserstein Auto-EncodersLiang Hou, Huawei Shen and Xueqi Cheng
1689Maximal Information Propagation with BudgetsHaomin Shi, Yao Zhang, Zilin Si, Letong Wang and Dengji Zhao
1696Multi-Partition Embedding Interaction with Block Term Format for Knowledge Graph CompletionHung Nghiep Tran and Atsuhiro Takasu
1719Modeling Rare Interactions in Time Series Data Through Qualitative Change: Application to Outcome Prediction in Intensive Care UnitsZina Ibrahim, Honghan Wu and Richard Dobson
1721Feature Importance Estimation with Self-Attention NetworksBlaž Škrlj, Sašo Džeroski, Nada Lavrač and Matej Petković

List of accepted Highlight papers

284.String constraint solving: past, present and future.Roberto Amadini, Graeme Gange, Peter J. Stuckey, Harald Sondergaard and Peter Schachte
691.Abstraction for ASP Planning.Zeynep G. Saribatur
702.Towards an Imprecise Probability Approach for Abstract Argumentation.Mariela Morveli-Espinoza, Juan Carlos Nieves and Cesar A. Tacla
738.Toward a Generic AutoML-Based Assistant for Contracts Negotiation.Youssef Bendraou, Nathan Ramoly and Baba Seydou Bamba
760.Hybrid Offline/Online Optimization Under Uncertainty.Allegra De Filippo, Michele Lombardi and Michela Milano
817.Stochastic Local Search in Machine Learning: From Theory to Applications and and Vice Versa.Ole Mengshoel, Tong Yu and Ming Zeng
972.Cognitive Vision and Perception: Deep Semantics Integrating AI and Vision for (Declarative) Reasoning about Space, Action, and Motion.Mehul Bhatt and Jakob Suchan
984.The Refugee Experience Online: Surfacing Positivity Amidst Hate.Shriphani Palakodety, Ashiqur Khudabukhsh and Jaime Carbonell
1009.Tracking AI: The Capability is (Not) Near.Fernando Martínez-Plumed, Jose Hernandez-Orallo and Emilia Gomez
1068.The Higher-Order Prover Leo-III.Alexander Steen and Christoph Benzmüller
1090.TransSketchNet: Attention-based Sketch Recognition using Transformers.Gaurav Jain, Shivang Chopra, Suransh Chopra and Anil Singh Parihar
1160.Towards Meta-reasoning for Ontologies: A Roadmap.Yuan-Fang Li and Yong-Bin Kang
1162.On the Development of Digital Twins of Social Systems.Daniel Birks, Alison Heppenstall and Nick Malleson
1175.ERICA, WikiTalk and WikiListen: Towards listening robots that can join in conversations with topically relevant contributions.Graham Wilcock and Kristiina Jokinen
1188.Reasoning with Justifiable Exceptions in Contextual Hierarchies.Loris Bozzato, Luciano Serafini and Thomas Eiter
1273.On Visual-Textual-Knowledge Entity Linking.Shahi Dost, Luciano Serafini, Marco Rospocher, Lamberto Ballan and Alessandro Sperduti
1274.Influence of Personality-based Features for Dialogue Generation in Computational Narratives.Weilai Xu, Fred Charles, Charlie Hargood, Feng Tian and Wen Tang
1320.Malaria parasite mobility in Mozambique estimated using mobile phone records.Jessica Floyd, Pedro Rente Lourenco, Nick Ruktanonchai, Andrew Tatem and Nuria Oliver
1325.Enriching Language Models with Semantics.Tobias Mayer
1347.Towards organizational guidelines for the responsible use of AI.Richard Benjamins
1352.Lifting Queries for Lifted Inference.Tanya Braun and Ralf Möller
1387.Shallow Neural Models for Top-N Recommendation.Alfonso Landin, Daniel Valcarce, Javier Parapar and Alvaro Barreiro
1396.Sensitivity analysis for dimensionality reduction in agent-based modeling.Bianca Granato and Nicole Li-Jessen
1440.The Challenge of Optimal Paths in Graphs with Item Sets.Adi Botea, Akihiro Kishimoto, Radu Marinescu, Elizabeth M. Daly and Oznur Alkan
1451.A goal-oriented framework for knowledge invention and creative problem solving in cognitive architectures.Eleonora Chiodino, Antonio Lieto, Federico Perrone and Gian Luca Pozzato
1478.Reasoning about Quality and Fuzziness of Strategic Behaviours.Patricia Bouyer, Orna Kupferman, Nicolas Markey, Bastien Maubert, Aniello Murano and Giuseppe Perelli
1487.Cognitive Logics – Features, Formalisms, and Challenges.Marco Ragni, Gabriele Kern-Isberner, Christoph Beierle and Kai Sauerwald
1493.Driven by Commonsense: On the Role of Human-Centred Visual Explainability for Autonomous Vehicles.Jakob Suchan and Mehul Bhatt
1498.Understanding individual behaviour: from virtual to physical patterns.Marco De Nadai, Bruno Lepri and Nuria Oliver
1512.An Integrated Approach to Moral Autonomous Systems.Justin Svegliato, Samer Nashed and Shlomo Zilberstein
1513.Review of the Recent Techniques for Learning Commonsense Knowledge applied to the Winograd Schema Challenge.Aneta Koleva
1530.Contextual Q-Learning.Tiago Pinto and Zita Vale
1536.Adaptive learning in multiagent systems for automated energy contacts negotiation.Tiago Pinto and Zita Vale
1609.Normative Reasoning with Expressive Logic Combinations.David Fuenmayor and Christoph Benzmüller
1682.Efficient Allocations in Constant Time: Towards Scalable Solutions in the Era of Large Scale Intelligent Systems.Panayiotis Danassis and Boi Faltings
1698.Refinement-Based Architecture for Knowledge Representation, Explainable Reasoning, and Interactive Learning on Robots.Mohan Sridharan