Abstract:Knowledge Representation and Reasoning and Machine Learning are two important fields in AI. Nonmonotonic logic programming (NMLP) and Answer Set Programming (ASP) provide formal languages for representing and reasoning with commonsense knowledge and realize declarative problem solving in AI. On the other side, Inductive Logic Programming (ILP) realizes Machine Learning in logic programming, which provides a formal background to inductive learning and the techniques have been applied to the fields of relational learning and data mining. Generally speaking, NMLP and ASP realize nonmonotonic reasoning while lack the ability of learning. By contrast, ILP realizes inductive learning while most techniques have been developed under the classical monotonic logic. With this background, some researchers attempt to combine techniques in the context of nonmonotonic ILP. Such combination will introduce a learning mechanism to programs and would exploit new applications on the NMLP side, while on the ILP side it will extend the representation language and enable us to use existing solvers. Cross-fertilization between learning and nonmonotonic reasoning can also occur in such as the use of answer set solvers for ILP, speed-up learning while running answer set solvers, learning action theories, learning transition rules in dynamical systems, abductive learning, learning biological networks with inhibition, and applications involving default and negation. This workshop is the first attempt to provide an open forum for the identification of problems and discussion of possible collaborations among researchers with complementary expertise. The workshop was held on September 15th of 2013 in Corunna, Spain. This post-proceedings contains five technical papers (out of six accepted papers) and the abstract of the invited talk by Luc De Raedt.

Workshop Notes of the 6th International Workshop on Acquisition, Representation and Reasoning about Context with Logic (ARCOE-Logic 2014)

LPAR-05 Workshop: Empirically Successfull Automated Reasoning in Higher-Order Logic (ESHOL)

AAAI-07 Workshop Reports.

Rewriting Logic and its Applications First International Workshop, Asilomar Conference Center, Pacific Grove, California, 3-6 September 1996. Volume 4 Electronic Notes in Theoretical Computer Science.

Integrating Reasoning Systems for Trustworthy AI, Proceedings of the 4th Workshop on Logic and Practice of Programming (LPOP)

Proceedings Modalities in substructural logics: Applications at the interfaces of logic, language and computation

Proceedings First International Workshop on Logics for Component Configuration

Advancing Logic in AI: Insights from the LNGAI 2021 Workshop

Proceedings Seventh International Workshop on Classical Logic and Computation

LLM-ARC: Enhancing LLMs with an Automated Reasoning Critic

Proceedings 5th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice

Post-Proceedings of the First International Workshop on Learning and Nonmonotonic Reasoning

Proceedings Fifth International Workshop on Classical Logic and Computation

Proceedings of the 18th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice

Knowledge Graph Reasoning with Logics and Embeddings: Survey and Perspective

Present and Future of Formal Argumentation (dagstuhl Perspectives Workshop 15362).

Programming with High-Level Abstractions, Proceedings of the 3rd Workshop on Logic and Practice of Programming

Proceedings 36th International Conference on Logic Programming (Technical Communications)

Computational Logic in Multi-Agent Systems: Recent Advances and Future Directions

18th Workshop on Logic-based methods in Programming Environments (WLPE 2008)

Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis