Conference Proceedings

• Theory and Practice of Logic Programming TPLP

  • Issue 5 (36th International Conference on Logic Programming Special Issue I)

  • Issue 6 (36th International Conference on Logic Programming Special Issue II)

• Technical communications and Abstracts EPTCS 325

  • https://cgi.cse.unsw.edu.au/~eptcs/content.cgi?ICLP2020

Workshop Proceedings

• CEUR-WS Proceedings - Vol 2678

  • http://ceur-ws.org/Vol-2678/

Direct Link to ArXiv versions of TPLP Papers:

• Modelling Multi-Agent Epistemic Planning in ASP - https://arxiv.org/abs/2008.03007

• Modular Constraint Solver Cooperation via Abstract Interpretation - https://arxiv.org/abs/2008.01415

• Towards Metric Temporal Answer Set Programming - https://arxiv.org/abs/2008.02038

• A Generalised Approach for Encoding and Reasoning with Qualitative Theories in Answer Set Programming - https://arxiv.org/abs/2008.01519

• Verifying Tight Logic Programs with anthem and Vampire - https://arxiv.org/abs/2008.02025

• MAP Inference for Probabilistic Logic Programming - https://arxiv.org/abs/2008.01394

• Incremental maintenance of overgrounded logic programs with tailored simplifications - http://arxiv.org/abs/2008.04108

• Flexible coinductive logic programming - https://arxiv.org/abs/2008.02140

• Conflict Generalisation in ASP: Learning Correct and Effective Non-Ground Constraints - https://arxiv.org/abs/2008.03100

• ASP(AC): Answer Set Programming with Algebraic Constraints - https://arxiv.org/abs/2008.04008

• Advancing Lazy-Grounding ASP Solving Techniques -- Restarts, Phase Saving, Heuristics, and More - http://arxiv.org/abs/2008.03526

• Modular Answer Set Programming as a Formal Specification Language - https://arxiv.org/abs/2008.02015

• Managing caching strategies for stream reasoning with reinforcement learning - http://arxiv.org/abs/2008.03212

• On the Semantics of Abstract Argumentation Frameworks: A Logic Programming Approach - http://arxiv.org/abs/2008.02550

• "eclingo: a Solver for Epistemic Logic Programs" - https://arxiv.org/abs/2008.02018

• An ASP approach for reasoning in a concept-aware multipreferential lightweight DL - http://arxiv.org/abs/2006.04387

• Exploiting Game Theory for Analysing Justifications - https://arxiv.org/abs/2008.01609

• A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification - http://arxiv.org/abs/2008.02747

• Concolic Testing in CLP - https://arxiv.org/abs/2008.00421

• White-box Induction From SVM Models - https://arxiv.org/abs/2008.03301

• Reasoning about Cardinal Directions between 3-Dimensional Extended Objects using Answer Set Programming - http://arxiv.org/abs/2008.04126

• A General Framework for Stable Roommates Problems using Answer Set Programming - http://arxiv.org/abs/2008.03050

• An Application of ASP in Nuclear Engineering: Explaining the Three Mile Island Nuclear Accident Scenario - https://arxiv.org/abs/2008.01253

• The New Normal: We Cannot Eliminate the Cuts, but We Can Explore Them - http://arxiv.org/abs/2008.03714

• Human Robot Collaborative Assembly Planning: An Answer Set Programming Approach - http://arxiv.org/abs/2008.03496

• DaRLing: A Datalog rewriter for OWL 2 RL ontological reasoning under SPARQL queries - http://arxiv.org/abs/2008.02232

• Explanation Generation for Multi-Modal Multi-Agent Path Finding with Optimal Resource Utilization using Answer Set Programming - http://arxiv.org/abs/2008.03573