Artificial Intelligence

Authors and titles for cs.AI in Aug 2020, skipping first 25

[26]  arXiv:2008.02577 [pdf]

Title: A critical analysis of metrics used for measuring progress in artificial intelligence

Authors: Kathrin Blagec, Georg Dorffner, Milad Moradi, Matthias Samwald

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

[27]  arXiv:2008.02708 [pdf]

Title: Deep reinforcement learning to detect brain lesions on MRI: a proof-of-concept application of reinforcement learning to medical images

Authors: Joseph Stember, Hrithwik Shalu

Subjects: Artificial Intelligence (cs.AI)

[28]  arXiv:2008.02735 [pdf, ps, other]

Title: Towards Ranking-based Semantics for Abstract Argumentation using Conditional Logic Semantics

Authors: Kenneth Skiba, Matthias Thimm

Comments: arXiv admin note: substantial text overlap with arXiv:2006.12020

Subjects: Artificial Intelligence (cs.AI)

[29]  arXiv:2008.02747 [pdf, other]

Title: A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification

Authors: Roberta Costabile, Gelsomina Catalano, Bernardo Cuteri, Maria Concetta Morelli, Nicola Leone, Marco Manna

Comments: Paper presented at the 36th International Conference on Logic Programming (ICLP 2020), University Of Calabria, Rende (CS), Italy, September 2020, 16 pages

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

[30]  arXiv:2008.02778 [pdf, other]

Title: Mixed-Initiative Level Design with RL Brush

Authors: Omar Delarosa, Hang Dong, Mindy Ruan, Ahmed Khalifa, Julian Togelius

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

[31]  arXiv:2008.02849 [pdf, ps, other]

Title: A Multiperiod Workforce Scheduling and Routing Problem with Dependent Tasks

Authors: Dilson Lucas Pereira, Júlio César Alves, Mayron César de Oliveira Moreira

Journal-ref: Computers & Operations Research, Volume 118, 2020, 104930, ISSN 0305-0548

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

[32]  arXiv:2008.03007 [pdf, ps, other]

Title: Modelling Multi-Agent Epistemic Planning in ASP

Authors: Alessandro Burigana, Francesco Fabiano, Agostino Dovier, Enrico Pontelli

Comments: Paper presented at the 36th International Conference on Logic Programming (ICLP 2019), University Of Calabria, Rende (CS), Italy, September 2020, 16 pages

Journal-ref: Theory and Practice of Logic Programming 20 (2020) 593-608

Subjects: Artificial Intelligence (cs.AI)

[33]  arXiv:2008.03050 [pdf, other]

Title: A General Framework for Stable Roommates Problems using Answer Set Programming

Authors: Esra Erdem, Muge Fidan, David Manlove, Patrick Prosser

Comments: Paper presented at the 36th International Conference on Logic Programming (ICLP 2020), University Of Calabria, Rende (CS), Italy, September 2020, 16 pages, 1 figure

Subjects: Artificial Intelligence (cs.AI); Computer Science and Game Theory (cs.GT); Logic in Computer Science (cs.LO)

[34]  arXiv:2008.03100 [pdf, ps, other]

Title: Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints

Authors: Richard Taupe, Antonius Weinzierl, Gerhard Friedrich

Comments: Paper presented at the 36th International Conference on Logic Programming (ICLP 2020), University Of Calabria, Rende (CS), Italy, September 2020, 16 pages

Subjects: Artificial Intelligence (cs.AI)

[35]  arXiv:2008.03172 [pdf, ps, other]

Title: Orthologics for Cones

Authors: Mena Leemhuis, Özgür L. Özçep, Diedrich Wolter

Comments: extended version of AI2020 paper

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

[36]  arXiv:2008.03212 [pdf, other]

Title: Managing caching strategies for stream reasoning with reinforcement learning

Authors: Carmine Dodaro, Thomas Eiter, Paul Ogris, Konstantin Schekotihin

Comments: Paper presented at the 36th International Conference on Logic Programming (ICLP 2019), University Of Calabria, Rende (CS), Italy, September 2020, 16 pages

Subjects: Artificial Intelligence (cs.AI)

[37]  arXiv:2008.03229 [pdf, other]

Title: Towards Sample Efficient Agents through Algorithmic Alignment

Authors: Mingxuan Li, Michael L. Littman

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

[38]  arXiv:2008.03301 [pdf, other]

Title: White-box Induction From SVM Models: Explainable AI with Logic Programming

Authors: Farhad Shakerin, Gopal Gupta

Comments: Paper presented at the 36th International Conference on Logic Programming (ICLP 2020), University Of Calabria, Rende (CS), Italy, September 2020, 16 pages

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

[39]  arXiv:2008.03323 [pdf, other]

Title: COVID-19 in differential diagnosis of online symptom assessments

Authors: Anitha Kannan, Richard Chen, Vignesh Venkataraman, Geoffrey J. Tso, Xavier Amatriain

Comments: Accepted at the Machine Learning for Health (ML4H) at NeurIPS 2020 - Extended Abstract

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

[40]  arXiv:2008.03333 [pdf, other]

Title: Efficient algorithms for electric vehicles' min-max routing problem

Authors: Seyed Sajjad Fazeli, Saravanan Venkatachalam, Jonathon M. Smereka

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

[41]  arXiv:2008.03424 [pdf, other]

Title: Learning (Re-)Starting Solutions for Vehicle Routing Problems

Authors: Xingwen Zhang, Shuang Yang

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

[42]  arXiv:2008.03444 [pdf, other]

Title: Hierarchical Reinforcement Learning in StarCraft II with Human Expertise in Subgoals Selection

Authors: Xinyi Xu, Tiancheng Huang, Pengfei Wei, Akshay Narayan, Tze-Yun Leong

Comments: In Submission to AAMAS 2021

Subjects: Artificial Intelligence (cs.AI)

[43]  arXiv:2008.03496 [pdf, other]

Title: Human Robot Collaborative Assembly Planning: An Answer Set Programming Approach

Authors: Momina Rizwan, Volkan Patoglu, Esra Erdem

Comments: 36th International Conference on Logic Programming (ICLP 2020), University Of Calabria, Rende (CS), Italy, September 2020, 15 pages

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

[44]  arXiv:2008.03518 [pdf, other]

Title: Scalable FastMDP for Pre-departure Airspace Reservation and Strategic De-conflict

Authors: Joshua R Bertram, Peng Wei, Joseph Zambreno

Subjects: Artificial Intelligence (cs.AI)

[45]  arXiv:2008.03519 [pdf, other]

Title: Learning abstract structure for drawing by efficient motor program induction

Authors: Lucas Y. Tian, Kevin Ellis, Marta Kryven, Joshua B. Tenenbaum

Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Neurons and Cognition (q-bio.NC)

[46]  arXiv:2008.03526 [pdf, ps, other]

Title: Advancing Lazy-Grounding ASP Solving Techniques -- Restarts, Phase Saving, Heuristics, and More

Authors: Antonius Weinzierl, Richard Taupe, Gerhard Friedrich

Comments: Paper presented at the 36th International Conference on Logic Programming (ICLP 2020), University Of Calabria, Rende (CS), Italy, September 2020, 16 pages

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

[47]  arXiv:2008.03573 [pdf, other]

Title: Explanation Generation for Multi-Modal Multi-Agent Path Finding with Optimal Resource Utilization using Answer Set Programming

Authors: Aysu Bogatarkan, Esra Erdem

Comments: Paper presented at the 36th International Conference on Logic Programming (ICLP 2020), University Of Calabria, Rende (CS), Italy, September 2020, 16 pages, 6 figures

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

[48]  arXiv:2008.03641 [pdf, other]

Title: NMR Assignment through Linear Programming

Authors: Jose F. S. Bravo-Ferreira, David Cowburn, Yuehaw Khoo, Amit Singer

Comments: 28 pages, 10 figures

Subjects: Artificial Intelligence (cs.AI); Optimization and Control (math.OC); Biological Physics (physics.bio-ph)

[49]  arXiv:2008.03674 [pdf, other]

Title: A Flexible Pipeline for the Optimization of CSG Trees

Authors: Markus Friedrich, Christoph Roch, Sebastian Feld, Carsten Hahn, Pierre-Alain Fayolle

Comments: The 28th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision (WSCG) 2020, p. 79-88. Update: Enlarge some of the figures and move some of the figures to the end

Subjects: Artificial Intelligence (cs.AI); Graphics (cs.GR)

[50]  arXiv:2008.03845 [pdf, other]

Title: On the Gap between Epidemiological Surveillance and Preparedness

Authors: Svetlana Yanushkevich, Vlad Shmerko

Comments: 5 figures

Subjects: Artificial Intelligence (cs.AI); Social and Information Networks (cs.SI)