Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

This book constitutes the refereed proceedings of the 17th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2024, held in Dallas, TX, USA, during October 11-14, 2024. The 27 full papers and 3 short papers included in this book were carefully reviewed and selected from 48 submissions. They deal with declarative logic programming, non-monotonic reasoning, and knowledge representation, focusing on the design and implementation of logic-based programming languages and database systems. .

Logic programming --- Nonmonotonic reasoning

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Molecular orbitals. --- Density functionals. --- Nonmonotonic reasoning. --- Polynomials.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Introduction -- Formalizing nonmonotonic reasoning -- Nonmonotonic theorem proving -- Inheritance systems -- Nonmonotonic rule based systems -- What has been achieved?

Logic --- Reasoning --- Logique --- Raisonnement --- Nonmonotonic reasoning --- Logic. --- Nonmonotonic reasoning. --- Reasoning. --- Artificial intelligence.

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Nonmonotonic reasoning provides formal methods that enable intelligent systems to operate adequately when faced with incomplete or changing information. In particular, it provides rigorous mechanisms for taking back conclusions that, in the presence of new information, turn out to be wrong and for deriving new, alternative conclusions instead. Nonmonotonic reasoning methods provide rigor similar to that of classical reasoning; they form a base for validation and verification and therefore increase confidence in intelligent systems that work with incomplete and changing information. Following a brief introduction to the concepts of predicate logic that are needed in the subsequent chapters, this book presents an in depth treatment of default logic. Other subjects covered include the major approaches of autoepistemic logic and circumscription, belief revision and its relationship to nonmonotonic inference, and briefly, the stable and well-founded semantics of logic programs.

Nonmonotonic reasoning. --- Non-monotonic reasoning --- Reasoning --- COMPUTER SCIENCE/Artificial Intelligence

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Defeasibility, most generally speaking, means that given some set of conditions A, something else B will hold, unless or until defeating conditions C apply. While the term was introduced into philosophy by legal philosopher H.L.A. Hart in 1949, today, the concept of defeasibility is employed in many different areas of philosophy. This volume for the first time brings together contributions on defeasibility from epistemology (Mikael Janvid, Klemens Kappel, Hannes Ole Matthiessen, Marcus Willaschek, Michael Williams), legal philosophy (Frederick Schauer) and ethics and the philosophy of action (

Defeasible reasoning. --- Law --- Jurisprudence --- Defeasible logic --- Nonmonotonic reasoning --- Philosophy.