Suchergebnisse - "logic programming"

A Critical Review of Inductive Logic Programming Techniques for Explainable AI von Zhang, Zheng, Yilmaz, Levent, Liu, Bo

“… Despite recent advances in modern machine learning algorithms, the opaqueness of their underlying mechanisms continues to be an obstacle in adoption. To …”
Volltext

Lifted discriminative learning of probabilistic logic programs von Nguembang Fadja, Arnaud, Riguzzi, Fabrizio

“… Probabilistic logic programming (PLP) provides a powerful tool for reasoning with uncertain relational models. However, learning probabilistic logic programs …”
Volltext

Learning programs by learning from failures von Cropper, Andrew, Morel, Rolf

“… We describe an inductive logic programming (ILP) approach called learning from failures . In this approach, an ILP system (the learner) decomposes the learning …”
Volltext

Inductive logic programming at 30 von Cropper, Andrew, Dumančić, Sebastijan, Evans, Richard, Muggleton, Stephen H.

“… 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 …”
Volltext

Inductive general game playing von Cropper, Andrew, Evans, Richard, Law, Mark

“… General game playing (GGP) is a framework for evaluating an agent’s general intelligence across a wide range of tasks. In the GGP competition, an agent is …”
Volltext

Inductive Logic Programming At 30: A New Introduction von Cropper, Andrew, Dumančić, Sebastijan

“… Inductive logic programming (ILP) is a form of machine learning. The goal of ILP is to induce a hypothesis (a set of logical rules) that generalises training …”
Volltext

Natlog: a Lightweight Logic Programming Language with a Neuro-symbolic Touch von Tarau, Paul

Volltext

A Sound and Complete Axiomatization of Majority- Logic von Amaru, Luca, Gaillardon, Pierre-Emmanuel, Chattopadhyay, Anupam, De Micheli, Giovanni

“… Manipulating logic functions via majority operators recently drew the attention of researchers in computer science. For example, circuit optimization based on …”
Volltext

Logical reduction of metarules von Cropper, Andrew, Tourret, Sophie

“… Many forms of inductive logic programming (ILP) use metarules , second-order Horn clauses, to define the structure of learnable programs and thus the …”
Volltext

Probabilistic (logic) programming concepts von De Raedt, Luc, Kimmig, Angelika

“… A multitude of different probabilistic programming languages exists today, all extending a traditional programming language with primitives to support modeling …”
Volltext

αILP: thinking visual scenes as differentiable logic programs von Shindo, Hikaru, Pfanschilling, Viktor, Dhami, Devendra Singh, Kersting, Kristian

“… Deep neural learning has shown remarkable performance at learning representations for visual object categorization. However, deep neural networks such as CNNs …”
Volltext

Toward Semantic Communication Protocols: A Probabilistic Logic Perspective von Seo, Sejin, Park, Jihong, Ko, Seung-Woo, Choi, Jinho, Bennis, Mehdi, Kim, Seong-Lyun

“… Classical medium access control (MAC) protocols are interpretable, yet their task-agnostic control signaling messages (CMs) are ill-suited for emerging …”
Volltext

Ultra-Strong Machine Learning: comprehensibility of programs learned with ILP von Muggleton, Stephen H., Schmid, Ute, Zeller, Christina, Tamaddoni-Nezhad, Alireza, Besold, Tarek

“… During the 1980s Michie defined Machine Learning in terms of two orthogonal axes of performance: predictive accuracy and comprehensibility of generated …”
Volltext

Meta-Interpretive Learning from noisy images von Muggleton, Stephen, Dai, Wang-Zhou, Sammut, Claude, Tamaddoni-Nezhad, Alireza, Wen, Jing, Zhou, Zhi-Hua

“… Statistical machine learning is widely used in image classification. However, most techniques (1) require many images to achieve high accuracy and (2) do not …”
Volltext

Molecular logic gates: the past, present and future von Erbas-Cakmak, Sundus, Kolemen, Safacan, Sedgwick, Adam C, Gunnlaugsson, Thorfinnur, James, Tony D, Yoon, Juyoung, Akkaya, Engin U

“… The field of molecular logic gates originated 25 years ago, when A. P. de Silva published a seminal article in Nature. Stimulated by this ground breaking …”
Weitere Angaben

Capacitated vehicle routing problem with pick-up and alternative delivery (CVRPPAD): model and implementation using hybrid approach von Sitek, Pawel, Wikarek, Jarosław

“… The paper presents an optimization model and its implementation using a hybrid approach for the Capacitated Vehicle Routing Problem with Pick-up and …”
Volltext

On the equivalence between logic programming semantics and argumentation semantics von Caminada, Martin, Sá, Samy, Alcântara, João, Dvořák, Wolfgang

“… In the current paper, we re-examine the connection between formal argumentation and logic programming from the perspective of semantics. We observe that one …”
Volltext

Fifty Years of Prolog and Beyond von KÖRNER, PHILIPP, LEUSCHEL, MICHAEL, BARBOSA, JOÃO, COSTA, VÍTOR SANTOS, DAHL, VERÓNICA, HERMENEGILDO, MANUEL V., MORALES, JOSE F., WIELEMAKER, JAN, DIAZ, DANIEL, ABREU, SALVADOR, CIATTO, GIOVANNI

“… Both logic programming in general and Prolog in particular have a long and fascinating history, intermingled with that of many disciplines they inherited from …”
Volltext

Mixtures of probabilistic logic programs von Azzolini, Damiano

“… Structure learning (SL) is a fundamental task in Statistical Relational Artificial Intelligence, where the goal is to learn a program from data. Among the …”
Volltext

Learning Explanatory Rules from Noisy Data von Evans, Richard, Grefenstette, Edward

“… Artificial Neural Networks are powerful function approximators capable of modelling solutions to a wide variety of problems, both supervised and unsupervised …”
Volltext