We gratefully acknowledge support from
the Simons Foundation and member institutions.

Artificial Intelligence

Authors and titles for cs.AI in Aug 2020

[ total of 498 entries: 1-50 | 51-100 | 101-150 | 151-200 | ... | 451-498 ]
[ showing 50 entries per page: fewer | more | all ]
[1]  arXiv:2008.00120 [pdf, other]
Title: The Tactician (extended version): A Seamless, Interactive Tactic Learner and Prover for Coq
Comments: 19 pages, 2 figures. This is an extended version of a paper published in CICM-2020. For the project website, see this https URL
Journal-ref: In CICM. volume 12236 of Lecture Notes in Computer Science, pages 271-277. Springer, 2020
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[2]  arXiv:2008.00150 [pdf]
Title: Cluster-Based Information Retrieval by using (K-means)- Hierarchical Parallel Genetic Algorithms Approach
Subjects: Artificial Intelligence (cs.AI); Information Retrieval (cs.IR)
[3]  arXiv:2008.00234 [pdf]
Title: Ergodic Annealing
Subjects: Artificial Intelligence (cs.AI); Theoretical Economics (econ.TH); Probability (math.PR); Machine Learning (stat.ML)
[4]  arXiv:2008.00335 [pdf, other]
Title: V2I Connectivity-Based Dynamic Queue-Jump Lane for Emergency Vehicles: A Deep Reinforcement Learning Approach
Comments: 20 pages, 6 figures
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG); Systems and Control (eess.SY)
[5]  arXiv:2008.00463 [pdf, ps, other]
Title: Structural Causal Models Are (Solvable by) Credal Networks
Comments: To appear in the proceedings of the 10th International Conference on Probabilistic Graphical Models (PGM 2020)
Subjects: Artificial Intelligence (cs.AI)
[6]  arXiv:2008.00520 [pdf, other]
Title: Statistical Inference of Minimally Complex Models
Comments: 18 pages, 10 figures
Subjects: Artificial Intelligence (cs.AI); Statistics Theory (math.ST); Data Analysis, Statistics and Probability (physics.data-an); Quantitative Methods (q-bio.QM)
[7]  arXiv:2008.00824 [pdf, other]
Title: State-of-the-art Techniques in Deep Edge Intelligence
Comments: 13 pages, 5 figures, 1 table
Subjects: Artificial Intelligence (cs.AI); Distributed, Parallel, and Cluster Computing (cs.DC); Machine Learning (cs.LG); Signal Processing (eess.SP)
[8]  arXiv:2008.00920 [pdf, other]
Title: On The Plurality of Graphs
Comments: Manuscript accepted at NETREASON @ ECAI2020
Subjects: Artificial Intelligence (cs.AI); Computation and Language (cs.CL)
[9]  arXiv:2008.01188 [pdf, other]
Title: Learning to Play Two-Player Perfect-Information Games without Knowledge
Subjects: Artificial Intelligence (cs.AI)
[10]  arXiv:2008.01253 [pdf, other]
Title: An Application of ASP in Nuclear Engineering: Explaining the Three Mile Island Nuclear Accident Scenario
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)
[11]  arXiv:2008.01257 [pdf, other]
Title: Reinforced Epidemic Control: Saving Both Lives and Economy
Comments: Accepted by KDD'20 "AI For Covid-19" Initiative
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
[12]  arXiv:2008.01302 [pdf]
Title: A Comparative Analysis of Deep Reinforcement Learning-enabled Freeway Decision-making for Automated Vehicles
Comments: 11 pages, 10 figures
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
[13]  arXiv:2008.01394 [pdf, other]
Title: MAP Inference for Probabilistic Logic Programming
Comments: Paper presented at the 36th International Conference on Logic Programming (ICLP 2020), University Of Calabria, Rende (CS), Italy, September 2020, 16 pages
Journal-ref: Theory and Practice of Logic Programming 20 (2020) 641-655
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[14]  arXiv:2008.01415 [pdf, ps, other]
Title: Modular Constraint Solver Cooperation via Abstract Interpretation
Comments: Paper presented at the 36th International Conference on Logic Programming (ICLP 2020), University Of Calabria, Rende (CS), Italy, September 2020, 17 pages. v2: Fix an example in Section 3.2 (improved closure)
Journal-ref: Theory and Practice of Logic Programming 20 (2020) 848-863
Subjects: Artificial Intelligence (cs.AI)
[15]  arXiv:2008.01499 [pdf]
Title: Distributed Linguistic Representations in Decision Making: Taxonomy, Key Elements and Applications, and Challenges in Data Science and Explainable Artificial Intelligence
Comments: 37 pages
Subjects: Artificial Intelligence (cs.AI)
[16]  arXiv:2008.01508 [pdf]
Title: Explanation of Reinforcement Learning Model in Dynamic Multi-Agent System
Subjects: Artificial Intelligence (cs.AI)
[17]  arXiv:2008.01519 [pdf, ps, other]
Title: A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming
Comments: Paper presented at the 36th International Conference on Logic Programming (ICLP 2020), University Of Calabria, Rende (CS), Italy, September 2020, 18 pages, 3 figures
Subjects: Artificial Intelligence (cs.AI)
[18]  arXiv:2008.01594 [pdf, other]
Title: An Imitation from Observation Approach to Transfer Learning with Dynamics Mismatch
Journal-ref: Neural Information Processing Systems (NeurIPS 2020)
Subjects: Artificial Intelligence (cs.AI); Machine Learning (cs.LG)
[19]  arXiv:2008.01609 [pdf, ps, other]
Title: Exploiting Game Theory for Analysing Justifications
Comments: Paper presented at the 36th International Conference on Logic Programming (ICLP 2019), University Of Calabria, Rende (CS), Italy, September 2020, 15+8 pages
Journal-ref: Theory and Practice of Logic Programming 20 (2020) 880-894
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[20]  arXiv:2008.01700 [pdf, other]
Title: EasyRL: A Simple and Extensible Reinforcement Learning Framework
Subjects: Artificial Intelligence (cs.AI)
[21]  arXiv:2008.02038 [pdf, other]
Title: Towards Metric Temporal Answer Set Programming
Comments: Paper presented at the 36th International Conference on Logic Programming (ICLP 2019), University Of Calabria, Rende (CS), Italy, September 2020, 28 pages
Journal-ref: Theory and Practice of Logic Programming 20 (2020) 783-798
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
[22]  arXiv:2008.02215 [pdf, other]
Title: A Time Leap Challenge for SAT Solving
Comments: Authors' version of a paper which is to appear in the proceedings of CP'2020
Subjects: Artificial Intelligence (cs.AI); Hardware Architecture (cs.AR); Data Structures and Algorithms (cs.DS)
[23]  arXiv:2008.02232 [pdf, other]
Title: DaRLing: A Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries
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)
[24]  arXiv:2008.02434 [pdf, other]
Title: Interpretable Multi-Step Reasoning with Knowledge Extraction on Complex Healthcare Question Answering
Comments: 10 pages, 6 figures
Subjects: Artificial Intelligence (cs.AI); Information Retrieval (cs.IR)
[25]  arXiv:2008.02550 [pdf, other]
Title: On the Semantics of Abstract Argumentation Frameworks: A Logic Programming Approach
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); Logic in Computer Science (cs.LO)
[26]  arXiv:2008.02577 [pdf]
Title: A critical analysis of metrics used for measuring progress in artificial intelligence
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
Subjects: Artificial Intelligence (cs.AI)
[28]  arXiv:2008.02735 [pdf, ps, other]
Title: Towards Ranking-based Semantics for Abstract Argumentation using Conditional Logic Semantics
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
Subjects: Artificial Intelligence (cs.AI)
[45]  arXiv:2008.03519 [pdf, other]
Title: Learning abstract structure for drawing by efficient motor program induction
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
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
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
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
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
Comments: 5 figures
Subjects: Artificial Intelligence (cs.AI); Social and Information Networks (cs.SI)
[ total of 498 entries: 1-50 | 51-100 | 101-150 | 151-200 | ... | 451-498 ]
[ showing 50 entries per page: fewer | more | all ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, cs, 2201, contact, help  (Access key information)