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.

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

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

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

AAAI-07 Workshop Reports.

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

Epistemic Logic Programs: A Study of Some Properties

A Prolog-based Environment for Reasoning about Programming Languages (Extended abstract)

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

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

Tableaux for Automated Reasoning in Dependently-Typed Higher-Order Logic (Extended Version)

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

Automated Reasoning in Non-classical Logics in the TPTP World

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

HOList: An Environment for Machine Learning of Higher-Order Theorem Proving

LeoPARD --- A Generic Platform for the Implementation of Higher-Order Reasoners

Learning to Reason with HOL4 tactics

Can LLMs Reason in the Wild with Programs?

Automated reasoning support for Standpoint-OWL 2

Proceedings 14th International Workshop on the ACL2 Theorem Prover and its Applications

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

Proceedings Fifth International Workshop on Classical Logic and Computation