Výsledky vyhľadávania - "Logic programming"
-
1
Probabilistic (logic) programming concepts
ISSN: 0885-6125, 1573-0565, 1573-0565Vydavateľské údaje: New York Springer US 01.07.2015Vydané v Machine learning (01.07.2015)“…A multitude of different probabilistic programming languages exists today, all extending a traditional programming language with primitives to support modeling…”
Získať plný text
Journal Article -
2
Inductive logic programming at 30
ISSN: 0885-6125, 1573-0565Vydavateľské údaje: New York Springer US 01.01.2022Vydané v Machine learning (01.01.2022)“…Inductive logic programming (ILP) is a form of logic-based machine learning. The goal is to induce a hypothesis (a logic program…”
Získať plný text
Journal Article -
3
Best-effort inductive logic programming via fine-grained cost-based hypothesis generation: The inspire system at the inductive logic programming competition
ISSN: 0885-6125, 1573-0565Vydavateľské údaje: New York Springer US 01.07.2018Vydané v Machine learning (01.07.2018)“…We describe the Inspire system which participated in the first competition on inductive logic programming (ILP…”
Získať plný text
Journal Article -
4
Foundations of Probabilistic Logic Programming: Languages, Semantics, Inference and Learning
ISBN: 100079587X, 9781000795875, 9788770220187, 8770220182Vydavateľské údaje: United Kingdom River Publishers 2018“…Probabilistic Logic Programming extends Logic Programming by enabling the representation of uncertain information by means of probability theory…”
Získať plný text
E-kniha -
5
Inductive Logic Programming At 30: A New Introduction
ISSN: 1076-9757, 1076-9757, 1943-5037Vydavateľské údaje: San Francisco AI Access Foundation 01.01.2022Vydané v The Journal of artificial intelligence research (01.01.2022)“…Inductive logic programming (ILP) is a form of machine learning. The goal of ILP is to induce a hypothesis…”
Získať plný text
Journal Article -
6
Conflict-Driven Inductive Logic Programming
ISSN: 1471-0684, 1475-3081Vydavateľské údaje: Cambridge Cambridge University Press 01.03.2023Vydané v Theory and practice of logic programming (01.03.2023)“…The goal of inductive logic programming (ILP) is to learn a program that explains a set of examples…”
Získať plný text
Journal Article -
7
Extended multi-adjoint logic programming
ISSN: 0165-0114, 1872-6801Vydavateľské údaje: Elsevier B.V 01.06.2020Vydané v Fuzzy sets and systems (01.06.2020)“…Extended multi-adjoint logic programming arises as an extension of multi-adjoint normal logic programming where constraints and a special type of aggregator operator have been included…”
Získať plný text
Journal Article -
8
Bousi∼Prolog: Design and implementation of a proximity-based fuzzy logic programming language
ISSN: 0957-4174, 1873-6793Vydavateľské údaje: Elsevier Ltd 01.03.2023Vydané v Expert systems with applications (01.03.2023)“…The fuzzy logic programming language Bousi∼Prolog extends Prolog with a weak unification algorithm based on proximity relations and truth degree annotations…”
Získať plný text
Journal Article -
9
Parallel Logic Programming: A Sequel
ISSN: 1471-0684, 1475-3081Vydavateľské údaje: Cambridge Cambridge University Press 01.11.2022Vydané v Theory and practice of logic programming (01.11.2022)“… Since its inception, logic programming has been recognized as a programming paradigm with great potential for automated exploitation of parallelism…”
Získať plný text
Journal Article -
10
Flexible coinductive logic programming
ISSN: 1471-0684, 1475-3081Vydavateľské údaje: Cambridge, UK Cambridge University Press 01.11.2020Vydané v Theory and practice of logic programming (01.11.2020)“… We provide a detailed formal account of an extension of logic programming supporting flexible coinduction…”
Získať plný text
Journal Article -
11
Modeling PU learning using probabilistic logic programming
ISSN: 0885-6125, 1573-0565, 1573-0565Vydavateľské údaje: New York Springer US 01.03.2024Vydané v Machine learning (01.03.2024)“…The goal of learning from positive and unlabeled (PU) examples is to learn a classifier that predicts the posterior class probability. The challenge is that…”
Získať plný text
Journal Article -
12
Finite-Choice Logic Programming
ISSN: 2475-1421, 2475-1421Vydavateľské údaje: New York, NY, USA ACM 07.01.2025Vydané v Proceedings of ACM on programming languages (07.01.2025)“…Logic programming, as exemplified by datalog, defines the meaning of a program as its unique smallest model…”
Získať plný text
Journal Article -
13
Stratified extended multi-adjoint logic programming
ISSN: 0165-0114, 1872-6801Vydavateľské údaje: Elsevier B.V 15.09.2024Vydané v Fuzzy sets and systems (15.09.2024)“…Extended multi-adjoint logic programming is a non-monotonic logic programming framework whose semantics is defined in terms of stable models…”
Získať plný text
Journal Article -
14
Probabilistic logic programming for hybrid relational domains
ISSN: 0885-6125, 1573-0565, 1573-0565Vydavateľské údaje: New York Springer US 01.06.2016Vydané v Machine learning (01.06.2016)“…We introduce a probabilistic language and an efficient inference algorithm based on distributional clauses for static and dynamic inference in hybrid…”
Získať plný text
Journal Article -
15
Semirings for probabilistic and neuro-symbolic logic programming
ISSN: 0888-613X, 1873-4731, 1873-4731Vydavateľské údaje: Elsevier Inc 01.08.2024Vydané v International journal of approximate reasoning (01.08.2024)“…The field of probabilistic logic programming (PLP) focuses on integrating probabilistic models into programming languages based on logic…”
Získať plný text
Journal Article -
16
Logic programming for deliberative robotic task planning
ISSN: 0269-2821, 1573-7462Vydavateľské údaje: Dordrecht Springer Netherlands 01.09.2023Vydané v The Artificial intelligence review (01.09.2023)“… In this manuscript, we present a survey on recent advances in the application of logic programming to the problem of task planning…”
Získať plný text
Journal Article -
17
A differentiable first-order rule learner for inductive logic programming
ISSN: 0004-3702, 1872-7921Vydavateľské údaje: Elsevier B.V 01.06.2024Vydané v Artificial intelligence (01.06.2024)“… Inductive logic programming (ILP) models are effective in learning first-order logic programs from observed relational data…”
Získať plný text
Journal Article -
18
Logic programming in tensor spaces
ISSN: 1012-2443, 1573-7470Vydavateľské údaje: Cham Springer International Publishing 01.12.2021Vydané v Annals of mathematics and artificial intelligence (01.12.2021)“…This paper introduces a novel approach to computing logic programming semantics. First, a propositional Herbrand base is represented in a vector space and if-then rules in a program are encoded in a matrix…”
Získať plný text
Journal Article -
19
Declarative probabilistic logic programming in discrete-continuous domains
ISSN: 0004-3702, 1872-7921Vydavateľské údaje: Elsevier B.V 01.12.2024Vydané v Artificial intelligence (01.12.2024)“…Over the past three decades, the logic programming paradigm has been successfully expanded to support probabilistic modeling, inference and learning…”
Získať plný text
Journal Article -
20
Incremental learning of event definitions with Inductive Logic Programming
ISSN: 0885-6125, 1573-0565Vydavateľské údaje: New York Springer US 01.09.2015Vydané v Machine learning (01.09.2015)“… Using a logical framework for representing and reasoning about events offers direct connections to machine learning, via Inductive Logic Programming (ILP…”
Získať plný text
Journal Article

