Articles with "logic programming" as a keyword



Photo by averey from unsplash

OntoILPER: an ontology- and inductive logic programming-based system to extract entities and relations from text

Sign Up to like & get
recommendations!
Published in 2017 at "Knowledge and Information Systems"

DOI: 10.1007/s10115-017-1108-3

Abstract: Named entity recognition (NER) and relation extraction (RE) are two important subtasks in information extraction (IE). Most of the current learning methods for NER and RE rely on supervised machine learning techniques with more accurate… read more here.

Keywords: ontology; system; inductive logic; logic programming ... See more keywords
Photo from archive.org

Extending expressivity and flexibility of abductive logic programming

Sign Up to like & get
recommendations!
Published in 2018 at "Journal of Intelligent Information Systems"

DOI: 10.1007/s10844-018-0531-6

Abstract: Real-world problems often require purely deductive reasoning to be supported by other techniques that can cope with noise in the form of incomplete and uncertain data. Abductive inference tackles incompleteness by guessing unknown information, provided… read more here.

Keywords: flexibility abductive; extending expressivity; abductive logic; expressivity flexibility ... See more keywords
Photo by glenncarstenspeters from unsplash

A temporal logic programming approach to planning

Sign Up to like & get
recommendations!
Published in 2019 at "Journal of Combinatorial Optimization"

DOI: 10.1007/s10878-019-00389-y

Abstract: This paper presents an approach to performing artificial intelligence planning through temporal logic programming with Search Control Knowledge (SCK). First, the planning problem described with Planning Domain Description Language is modeled as a program m… read more here.

Keywords: planning temporal; programming approach; temporal logic; logic programming ... See more keywords
Photo by theblowup from unsplash

Preface to the special issue on inductive logic programming

Sign Up to like & get
recommendations!
Published in 2018 at "Machine Learning"

DOI: 10.1007/s10994-018-5720-6

Abstract: We are pleased to present this special issue of Machine Learning on inductive logic programming (ILP). The papers contained in this volume are extended and thoroughly revised versions of shorter papers which were first presented… read more here.

Keywords: ilp; issue; inductive logic; logic programming ... See more keywords
Photo from wikipedia

Guest editors’ introduction: special issue on Inductive Logic Programming (ILP 2019)

Sign Up to like & get
recommendations!
Published in 2020 at "Machine Learning"

DOI: 10.1007/s10994-020-05891-7

Abstract: This special issue contains six articles selected from submissions to the journal track of the 29th International Conference on Inductive Logic Programming (ILP 2019). ILP is a type of symbolic machine learning in which logic… read more here.

Keywords: ilp 2019; order; inductive logic; logic programming ... See more keywords
Photo by benofthenorth from unsplash

Inductive logic programming at 30

Sign Up to like & get
recommendations!
Published in 2022 at "Machine Learning"

DOI: 10.1007/s10994-021-06089-1

Abstract: Inductive logic programming (ILP) is a form of logic-based machine learning. The goal is to induce a hypothesis (a logic program) that generalises given training examples and background knowledge. As ILP turns 30, we review… read more here.

Keywords: logic programming; logic; inductive logic;
Photo from wikipedia

Logic programming approaches for routing fault-free and maximally parallel wavelength-routed optical networks-on-chip (Application paper)

Sign Up to like & get
recommendations!
Published in 2017 at "Theory and Practice of Logic Programming"

DOI: 10.1017/s1471068417000424

Abstract: Abstract One promising trend in digital system integration consists of boosting on-chip communication performance by means of silicon photonics, thus materializing the so-called Optical Networks-on-Chip. Among them, wavelength routing can be used to route a… read more here.

Keywords: paper; optical networks; logic programming; networks chip ... See more keywords
Photo by benofthenorth from unsplash

Implementing a Library for Probabilistic Programming Using Non-strict Non-determinism

Sign Up to like & get
recommendations!
Published in 2019 at "Theory and Practice of Logic Programming"

DOI: 10.1017/s1471068419000085

Abstract: Abstract This paper presents PFLP, a library for probabilistic programming in the functional logic programming language Curry. It demonstrates how the concepts of a functional logic programming language support the implementation of a library for… read more here.

Keywords: probabilistic programming; programming; functional logic; library probabilistic ... See more keywords
Photo by jaimelopes from unsplash

Introduction to the 35th International Conference on Logic Programming Special Issue

Sign Up to like & get
recommendations!
Published in 2019 at "Theory and Practice of Logic Programming"

DOI: 10.1017/s1471068419000413

Abstract: This volume contains the regular papers of the 35th International Conference on Logic Programming (ICLP 2019), held in Las Cruces, New Mexico, USA, from September 20 to September 25, 2019. read more here.

Keywords: logic programming; 35th international; international conference; conference logic ... See more keywords
Photo by joelfilip from unsplash

On the Semantics of Abstract Argumentation Frameworks: A Logic Programming Approach

Sign Up to like & get
recommendations!
Published in 2020 at "Theory and Practice of Logic Programming"

DOI: 10.1017/s1471068420000253

Abstract: Abstract Recently there has been an increasing interest in frameworks extending Dung’s abstract Argumentation Framework (AF). Popular extensions include bipolar AFs and AFs with recursive attacks and necessary supports. Although the relationships between AF semantics… read more here.

Keywords: logic programming; programming approach; abstract argumentation; semantics ... See more keywords
Photo from wikipedia

Building Information Modeling Using Constraint Logic Programming

Sign Up to like & get
recommendations!
Published in 2022 at "Theory and Practice of Logic Programming"

DOI: 10.1017/s1471068422000138

Abstract: Abstract Building Information Modeling (BIM) produces three-dimensional object-oriented models of buildings combining the geometrical information with a wide range of properties about materials, products, safety, to name just a few. BIM is slowly but inevitably… read more here.

Keywords: information; bim; building; logic programming ... See more keywords