Results 21 to 30 of about 133,077 (308)
Probabilistic Inductive Logic Programming [PDF]
, 2004 Probabilistic inductive logic programming, sometimes also called statistical relational learning, addresses one of the central questions of artificial intelligence: the integration of probabilistic reasoning with first order logic representations and machine learning.
De Raedt, Luc, Kersting, Kristian
openaire +3 more sources
Business Model Transformation of a Service Provider on a Sharing Economy Platform
Journal of Business Models, 2021 The study investigates a business model transformation of a service provider on a sharing economy platform (Airbnb) using a dynamic business model perspective.
Olga Novikova
doaj +1 more source
Initial Algebra Semantics for Cyclic Sharing Tree Structures [PDF]
Logical Methods in Computer Science, 2010 Terms are a concise representation of tree structures. Since they can be naturally defined by an inductive type, they offer data structures in functional programming and mechanised reasoning with useful principles such as structural induction and ...
Makoto Hamana
doaj +1 more source
Learning Weak Constraints in Answer Set Programming [PDF]
, 2015 This paper contributes to the area of inductive logic programming by presenting a new learning framework that allows the learning of weak constraints in Answer Set Programming (ASP).
Broda, Krysia +2 more
core +2 more sources
Foundations for structured programming with GADTs [PDF]
, 2008 GADTs are at the cutting edge of functional programming and become more widely used every day. Nevertheless, the semantic foundations underlying GADTs are not well understood.
Ghani, Neil, Johann, Patricia
core +2 more sources
Representations of stream processors using nested fixed points [PDF]
, 2009 We define representations of continuous functions on infinite streams of discrete values, both in the case of discrete-valued functions, and in the case of stream-valued functions.
Anton Setzer +8 more
core +3 more sources
Few-Shot Induction of Generalized Logical Concepts via Human Guidance
Frontiers in Robotics and AI, 2020 We consider the problem of learning generalized first-order representations of concepts from a small number of examples. We augment an inductive logic programming learner with 2 novel contributions.
Mayukh Das +3 more
doaj +1 more source
Inductive Logic Programming in Databases: from Datalog to DL+log
, 2010 In this paper we address an issue that has been brought to the attention of the database community with the advent of the Semantic Web, i.e. the issue of how ontologies (and semantics conveyed by them) can help solving typical database problems, through ...
Lisi, Francesca A.
core +1 more source
, 2010 The goal of this lecture is to show how modern theorem provers---in this case, the Coq proof assistant---can be used to mechanize the specification of programming languages and their semantics, and to reason over individual programs and over generic ...
Leroy, Xavier
core +4 more sources