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.

Monotonic Inference with Unscoped Episodic Logical Forms: From Principles to System

Going Forth and Drawing Back: an Intensional Approach in Nonmonotonic Inference.

New Logical Perspectives on Monotonicity.

Non-monotonic Reasoning and Argumentation System

Leveraging LLMs for Hypothetical Deduction in Logical Inference: A Neuro-Symbolic Approach

Monotonicity in Logic and Language: Second Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beijing, China, December 17-20, 2020, Proceedings

Enhancing Systematic Decompositional Natural Language Inference Using Informal Logic

Modelling Multiplicative Linear Logic via Deep Inference

Can LLMs Reason with Rules? Logic Scaffolding for Stress-Testing and Improving LLMs

FOLIO: Natural Language Reasoning with First-Order Logic

nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models

A Logic for Non-Monotone Inductive Definitions

A Modal Nonmonotonic Logic

Implicitly Learning to Reason in First-Order Logic

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

Logical Expressibility of Syntactic NL for Complementarity, Monotonicity, and Maximization

Founded Semantics and Constraint Semantics of Logic Rules

A Simple Generative Model of Logical Reasoning and Statistical Learning

Uniform semantic treatment of default and autoepistemic logics

Quantifier-free Epistemic Term-Modal Logic with Assignment Operator

Non-Normal Modal Description Logics (Extended Version)