Artificial Intelligence

Authors and titles for cs.AI in Oct 2020

[1]  arXiv:2010.00030 [pdf, other]

Title: Fast Decomposition of Temporal Logic Specifications for Heterogeneous Teams

Authors: Kevin Leahy, Austin Jones, Cristian-Ioan Vasile

Subjects: Artificial Intelligence (cs.AI)

[2]  arXiv:2010.00048 [pdf, other]

Title: Creative Captioning: An AI Grand Challenge Based on the Dixit Board Game

Authors: Maithilee Kunda, Irina Rabkina

Subjects: Artificial Intelligence (cs.AI)

[3]  arXiv:2010.00055 [pdf, ps, other]

Title: Analyzing the Capacity of Distributed Vector Representations to Encode Spatial Information

Authors: Florian Mirus, Terrence C. Stewart, Jorg Conradt

Subjects: Artificial Intelligence (cs.AI)

[4]  arXiv:2010.00074 [pdf, other]

Title: Extracting Concepts for Precision Oncology from the Biomedical Literature

Authors: Nicholas Greenspan, Yuqi Si, Kirk Roberts

Subjects: Artificial Intelligence (cs.AI)

[5]  arXiv:2010.00134 [pdf, ps, other]

Title: Machine Learning in Airline Crew Pairing to Construct Initial Clusters for Dynamic Constraint Aggregation

Authors: Yassine Yaakoubi, François Soumis, Simon Lacoste-Julien

Comments: First publication in the "Cahiers du GERAD" series in February 2020. Submitted to EURO Journal on Transportation and Logistics on January 17, 2020 and available online on September 2, 2020

Journal-ref: EURO Journal on Transportation and Logistics, 100020 (2020)

Subjects: Artificial Intelligence (cs.AI); Optimization and Control (math.OC)

[6]  arXiv:2010.00168 [pdf, other]

Title: Multi-Agent Systems based on Contextual Defeasible Logic considering Focus

Authors: Helio H. L. C. Monte-Alto, Mariela Morveli-Espinoza, Cesar A. Tacla

Comments: 11 pages, 3 figures, paper was accepted for conference ICAART 2020: 12th International Conference on Agents and Artificial Intelligence, but was withdrew

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[7]  arXiv:2010.00191 [pdf, ps, other]

Title: Constraint Monotonicity, Epistemic Splitting and Foundedness Could in General Be Too Strong in Answer Set Programming

Authors: Yi-Dong Shen, Thomas Eiter

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[8]  arXiv:2010.00238 [pdf, other]

Title: Multi-grained Semantics-aware Graph Neural Networks

Authors: Zhiqiang Zhong, Cheng-Te Li, Jun Pang

Subjects: Artificial Intelligence (cs.AI)

[9]  arXiv:2010.00239 [pdf, other]

Title: Optimal Task Assignment to Heterogeneous Federated Learning Devices

Authors: Laércio Lima Pilla (ParSys - LRI)

Subjects: Artificial Intelligence (cs.AI); Distributed, Parallel, and Cluster Computing (cs.DC); Data Structures and Algorithms (cs.DS)

[10]  arXiv:2010.00353 [pdf, ps, other]

Title: When will the mist clear? On the Interpretability of Machine Learning for Medical Applications: a survey

Authors: Antonio-Jesús Banegas-Luna, Jorge Peña-García, Adrian Iftene, Fiorella Guadagni, Patrizia Ferroni, Noemi Scarpato, Fabio Massimo Zanzotto, Andrés Bueno-Crespo, Horacio Pérez-Sánchez

Comments: 64 pages, 3 figures, 7 tables, +100 references

Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Quantitative Methods (q-bio.QM)

[11]  arXiv:2010.00370 [pdf, other]

Title: Strategy for Boosting Pair Comparison and Improving Quality Assessment Accuracy

Authors: Suiyi Ling, Jing Li, Anne Flore Perrin, Zhi Li, Lukáš Krasula, Patrick Le Callet

Comments: 8 pages, 11 figures

Subjects: Artificial Intelligence (cs.AI)

[12]  arXiv:2010.00403 [pdf, other]

Title: Mediating Artificial Intelligence Developments through Negative and Positive Incentives

Authors: The Anh Han, Luis Moniz Pereira, Tom Lenaerts, Francisco C. Santos

Subjects: Artificial Intelligence (cs.AI); Multiagent Systems (cs.MA); Dynamical Systems (math.DS); Adaptation and Self-Organizing Systems (nlin.AO); Populations and Evolution (q-bio.PE)

[13]  arXiv:2010.00499 [pdf, other]

Title: Meta-Heuristic Solutions to a Student Grouping Optimization Problem faced in Higher Education Institutions

Authors: Patrick Kenekayoro, Biralatei Fawei

Subjects: Artificial Intelligence (cs.AI)

[14]  arXiv:2010.00763 [pdf, other]

Title: Bongard-LOGO: A New Benchmark for Human-Level Concept Learning and Reasoning

Authors: Weili Nie, Zhiding Yu, Lei Mao, Ankit B. Patel, Yuke Zhu, Animashree Anandkumar

Comments: 22 pages, NeurIPS 2020

Subjects: Artificial Intelligence (cs.AI); Computer Vision and Pattern Recognition (cs.CV); Machine Learning (cs.LG)

[15]  arXiv:2010.00810 [pdf, ps, other]

Title: Public Announcement Logic in HOL

Authors: Sebastian Reiche, Christoph Benzmüller

Comments: 3rd DaL\'i Workshop, Dynamic Logic: New Trends and Applications, Online, 9-10 October 2020

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Multiagent Systems (cs.MA); Logic (math.LO)

[16]  arXiv:2010.00860 [pdf, ps, other]

Title: Building Large Lexicalized Ontologies from Text: a Use Case in Automatic Indexing of Biotechnology Patents

Authors: Claire Nédellec, Wiktoria Golik, Sophie Aubin, Robert Bossy

Journal-ref: International Conference on Knowledge Engineering and Knowledge Management. EKAW 2010. Lecture Notes in Computer Science, vol 6317. (pp. 514-523) Springer, Berlin, Heidelberg

Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL); Information Retrieval (cs.IR)

[17]  arXiv:2010.01087 [pdf, other]

Title: A Framework for Reasoning on Probabilistic Description Logics

Authors: Giuseppe Cota, Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[18]  arXiv:2010.01164 [pdf, other]

Title: Manipulation of Articulated Objects using Dual-arm Robots via Answer Set Programming

Authors: Riccardo Bertolucci, Alessio Capitanelli, Carmine Dodaro, Nicola Leone, Marco Maratea, Fulvio Mastrogiovanni, Mauro Vallati

Comments: Under consideration in Theory and Practice of Logic Programming (TPLP)

Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO); Robotics (cs.RO)

[19]  arXiv:2010.01351 [pdf, other]

Title: Disentangling causal effects for hierarchical reinforcement learning

Authors: Oriol Corcoll, Raul Vicente

Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG)

[20]  arXiv:2010.01367 [pdf, other]

Title: EECBS: A Bounded-Suboptimal Search for Multi-Agent Path Finding

Authors: Jiaoyang Li, Wheeler Ruml, Sven Koenig

Comments: Published at AAAI 2021

Subjects: Artificial Intelligence (cs.AI); Multiagent Systems (cs.MA); Robotics (cs.RO)

[21]  arXiv:2010.01478 [pdf, other]

Title: Explanation Ontology in Action: A Clinical Use-Case

Authors: Shruthi Chari, Oshani Seneviratne, Daniel M. Gruen, Morgan A. Foreman, Amar K. Das, Deborah L. McGuinness

Comments: 5 pages, 2 figures, 1 protocol

Journal-ref: International Semantic Web Conference, Poster and Demo Track, 2020

Subjects: Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC); Machine Learning (cs.LG)

[22]  arXiv:2010.01479 [pdf, other]

Title: Explanation Ontology: A Model of Explanations for User-Centered AI

Authors: Shruthi Chari, Oshani Seneviratne, Daniel M. Gruen, Morgan A. Foreman, Amar K. Das, Deborah L. McGuinness

Comments: 16 pages (but 1 reference over on arxiv), 5 tables, 3 code listings, 1 figure

Journal-ref: International Semantic Web Conference (ISWC), 2020

Subjects: Artificial Intelligence (cs.AI); Human-Computer Interaction (cs.HC); Machine Learning (cs.LG)

[23]  arXiv:2010.01676 [pdf, other]

Title: Explainability via Responsibility

Authors: Faraz Khadivpour, Matthew Guzdial

Comments: 8 pages, 4 figures

Journal-ref: Proceedings of the 2020 Experiment AI in Games Workshop

Subjects: Artificial Intelligence (cs.AI)

[24]  arXiv:2010.01685 [pdf, other]

Title: Entity Embedding as Game Representation

Authors: Nazanin Yousefzadeh Khameneh, Matthew Guzdial

Comments: 7 pages, 6 figures

Journal-ref: Proceedings of the 2020 Experimental AI in Games Workshop

Subjects: Artificial Intelligence (cs.AI)

[25]  arXiv:2010.01829 [pdf, other]

Title: TabEAno: Table to Knowledge Graph Entity Annotation

Authors: Phuc Nguyen, Natthawut Kertkeidkachorn, Ryutaro Ichise, Hideaki Takeda

Subjects: Artificial Intelligence (cs.AI); Databases (cs.DB)