UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Neural probabilistic logic programming in DeepProbLog

Artificial intelligence, 2021-09, Vol.298, p.103504, Article 103504

2021

Volltextzugriff (PDF)

Incremental computation for structured argumentation over dynamic DeLP knowledge bases

Artificial intelligence, 2021-11, Vol.300, p.103553, Article 103553

2021

Volltextzugriff (PDF)

A semantics for Hybrid Probabilistic Logic programs with function symbols

Artificial intelligence, 2021-05, Vol.294, p.103452, Article 103452

2021

Volltextzugriff (PDF)

On the equivalence between logic programming semantics and argumentation semantics

International journal of approximate reasoning, 2015-03, Vol.58, p.87-111

2015

Volltextzugriff (PDF)

On reductants in the framework of multi-adjoint logic programming

Fuzzy sets and systems, 2017-06, Vol.317, p.27-43

2017

Volltextzugriff (PDF)

A learning-based ontology alignment approach using inductive logic programming

Expert systems with applications, 2019-07, Vol.125, p.412-424

2019

Volltextzugriff (PDF)

Improving scalability of inductive logic programming via pruning and best-effort optimisation

Expert systems with applications, 2017-11, Vol.87, p.291-303

2017

Volltextzugriff (PDF)

Reasoning about UML/OCL class diagrams using constraint logic programming and formula

Information systems (Oxford), 2019-03, Vol.81, p.152-177

2019

Volltextzugriff (PDF)

A new probabilistic constraint logic programming language based on a generalised distribution semantics

Artificial intelligence, 2015-11, Vol.228, p.1-44

2015

Volltextzugriff (PDF)

The distribution semantics for normal programs with function symbols

International journal of approximate reasoning, 2016-10, Vol.77, p.1-19

Riguzzi, Fabrizio

2016

Volltextzugriff (PDF)

Equivalence of two fixed-point semantics for definitional higher-order logic programs

Theoretical computer science, 2017-03, Vol.668, p.27-42

2017

Volltextzugriff (PDF)

A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics

International journal of approximate reasoning, 2017-01, Vol.80, p.313-333

2017

Volltextzugriff (PDF)

Logic/Constraint Programming and Concurrency: The hard-won lessons of the Fifth Generation Computer project

Science of computer programming, 2018-10, Vol.164, p.3-17

Ueda, Kazunori

2018

Volltextzugriff (PDF)

Probabilistic abductive logic programming using Dirichlet priors

International journal of approximate reasoning, 2016-11, Vol.78, p.223-240

2016

Volltextzugriff (PDF)

A fixed point theorem for non-monotonic functions

Theoretical computer science, 2015-04, Vol.574, p.18-38

2015

Volltextzugriff (PDF)

Distributional logic programming for Bayesian knowledge representation

International journal of approximate reasoning, 2017-01, Vol.80, p.52-66

2017

Volltextzugriff (PDF)

ONTOarg: A decision support framework for ontology integration based on argumentation

Expert systems with applications, 2013-04, Vol.40 (5), p.1858-1870

2013

Volltextzugriff (PDF)

Tabulation proof procedures for fuzzy linguistic logic programming

International journal of approximate reasoning, 2015-08, Vol.63, p.62-88

2015

Volltextzugriff (PDF)

Learning failure-free PRISM programs

International journal of approximate reasoning, 2015-12, Vol.67, p.73-110

2015

Volltextzugriff (PDF)

An OpenCL implementation of a forward sampling algorithm for CP-logic

International journal of approximate reasoning, 2015-12, Vol.67, p.60-72

2015

Volltextzugriff (PDF)

A game semantics for disjunctive logic programming

Annals of pure and applied logic, 2013-11, Vol.164 (11), p.1144-1175

Tsouanas, Thanos

2013

Volltextzugriff (PDF)

Design and results of the Fifth Answer Set Programming Competition

Artificial intelligence, 2016-02, Vol.231, p.151-181

2016

Volltextzugriff (PDF)

On the algebraic structure of declarative programming languages

Theoretical computer science, 2009-11, Vol.410 (46), p.4626-4671

2009

Volltextzugriff (PDF)

Learning grammar rules of building parts from precise models and noisy observations

ISPRS journal of photogrammetry and remote sensing, 2011-03, Vol.66 (2), p.166-176

2011

Volltextzugriff (PDF)

Outlier detection for simple default theories

Artificial intelligence, 2010-10, Vol.174 (15), p.1247-1253

2010

Volltextzugriff (PDF)

1 – 25 von 2.322

Menü

Weitere Dienste

Einstellungen

Neural probabilistic logic programming in DeepProbLog

Incremental computation for structured argumentation over dynamic DeLP knowledge bases

A semantics for Hybrid Probabilistic Logic programs with function symbols

On the equivalence between logic programming semantics and argumentation semantics

On reductants in the framework of multi-adjoint logic programming

A learning-based ontology alignment approach using inductive logic programming

Improving scalability of inductive logic programming via pruning and best-effort optimisation

Reasoning about UML/OCL class diagrams using constraint logic programming and formula

A new probabilistic constraint logic programming language based on a generalised distribution semantics

The distribution semantics for normal programs with function symbols

Equivalence of two fixed-point semantics for definitional higher-order logic programs

A survey of lifted inference approaches for probabilistic logic programming under the distribution semantics

Logic/Constraint Programming and Concurrency: The hard-won lessons of the Fifth Generation Computer project

Probabilistic abductive logic programming using Dirichlet priors

A fixed point theorem for non-monotonic functions

Distributional logic programming for Bayesian knowledge representation

ONTOarg: A decision support framework for ontology integration based on argumentation

Tabulation proof procedures for fuzzy linguistic logic programming

Learning failure-free PRISM programs

An OpenCL implementation of a forward sampling algorithm for CP-logic

A game semantics for disjunctive logic programming

Design and results of the Fifth Answer Set Programming Competition

On the algebraic structure of declarative programming languages

Learning grammar rules of building parts from precise models and noisy observations

Outlier detection for simple default theories

Aktive Filter

Suchergebnisse filtern