Search
Search Results
-
An efficient propositional system for Abductive Logic Programming
Abductive logic programming (ALP) extends logic programming with hypothetical reasoning by means of abducibles, an extension able to handle...
-
Logic Programming with PROLOG
Due to the problems with first-order logic mentioned in Chap. 4, pure logic can not solve most realistic AI problems. Logic programming as a fusion...
-
Non-termination in Term Rewriting and Logic Programming
In this paper, we define two particular forms of non-termination, namely loops and binary chains , in an abstract framework that encompasses term...
-
Prolog: Programming in Logic
This chapter is dedicated to Prolog, a programming language based on resolution. We show the principle and data types of Prolog. To use Prolog...
-
Restating the Prowess of Logic Programming
Logic programming stands as a cornerstone among programming paradigms, presenting an unparalleled methodology for addressing a spectrum of...
-
Logic programming for deliberative robotic task planning
Over the last decade, the use of robots in production and daily life has increased. With increasingly complex tasks and interaction in different...
-
Modeling PU learning using probabilistic logic programming
The goal of learning from positive and unlabeled (PU) examples is to learn a classifier that predicts the posterior class probability. The challenge...
-
Logic Programming and Nonmonotonic Reasoning 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11–14, 2024, Proceedings
This book constitutes the refereed proceedings of the 17th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2024, held...
-
Hypergraphs in Logic Programming
Heterogeneous data is a significant topic in today’s context, necessitating the development of AI tools. Logic programming is a powerful approach for...
-
Functional and Logic Programming 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15–17, 2024, Proceedings
This book constitutes the proceedings of the 17th International Symposium on Functional and Logic Programming, FLOPS 2024, held in Kumamoto, Japan,...
-
Inductive Logic Programming 32nd International Conference, ILP 2023, Bari, Italy, November 13–15, 2023, Proceedings
This book constitutes the refereed proceedings of the 32nd International Conference on Inductive Logic Programming, ILP 2023, held in Bari,...
-
Inductive Logic Programming 31st International Conference, ILP 2022, Windsor Great Park, UK, September 28–30, 2022, Proceedings
This book constitutes the refereed proceedings of the 31st International Conference on Inductive Logic Programming, ILP 2022, held during September...
-
Dynamic Logic Programming
Dynamic Logic Programming (DLP) is an extension to logic programming designed to support the representation of knowledge about dynamic worlds. It...
-
Explaining Explanations in Probabilistic Logic Programming
The emergence of tools based on artificial intelligence has also led to the need of producing explanations which are understandable by a human being....
-
Logic Programming Paradigm
In this chapter we analyse a second main paradigm which supports declarative programming: logic programming. This paradigm includes both theoretical...
-
Algebraic Connection Between Logic Programming and Machine Learning (Extended Abstract)
There have been attempts to connect machine learning and symbolic reasoning, providing interfaces between them. This work focuses on our original...
-
Semantic-Based Arguments Using Logic Programming Rewriting Systems
Traditionally, in the argumentation theory literature structured arguments are constructed from rules interpretations aiming to build well-supported...
-
An ASP Implementation of Defeasible Deontic Logic
We present a novel implementation of Defeasible Deontic Logic as an Answer Set Programming meta-program, and we evaluate the performance of the...
-
Predicting Successful Programming Submissions Based on Critical Logic Blocks
We propose an approach to infer the critical logic blocks contained within student submissions that can influence the passing or failing of...
-
Logic-in-memory cell enabling binary and ternary Boolean logics
In computing systems, processing and memory units have been integrated into logic-in-memory (LiM) to enhance the computational efficiency and...