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.

Working Papers of the IJCAI 2015 Workshop on Weighted Logics for Artificial Intelligence

Advancing Logic in AI: Insights from the LNGAI 2021 Workshop

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

Weighted Modal Logic in Epistemic and Deontic Contexts.

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

Preface of the Special Issue‘logic, Argumentation and AI’ in JLC

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

Weighted Conditional EL{^}bot Knowledge Bases with Integer Weights: an ASP Approach

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.

A Computationally Grounded, Weighted Doxastic Logic

Logic and AI in China: an Introduction

Le Nozze di Giustizia. Interactions between Artificial Intelligence, Law, Logic, Language and Computation with some case studies in Traffic Regulations and Health Care

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

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

Explanation-Based Approximate Weighted Model Counting for Probabilistic Logics

Proceedings First Workshop on Logics and Model-checking for Self-* Systems

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

Epistemic Logic via Distance and Similarity

ILP Modulo Data

Proceedings Seventh International Workshop on Classical Logic and Computation

Field Knowledge as a Dual to Distributed Knowledge: A Characterization by Weighted Modal Logic