Results 11 to 20 of about 201,128 (321)
Inductive Logic Programming [PDF]
Lecture Notes in Computer Science, 2015 Proceedings of the 24th International Conference on Inductive Logic Programming, Nancy, France, September 14-16, 2014.
Alireza Tamaddoni‐Nezhad +3 more
semanticscholar +4 more sources
Learning and reasoning with graph data [PDF]
Frontiers in Artificial Intelligence, 2023 Reasoning about graphs, and learning from graph data is a field of artificial intelligence that has recently received much attention in the machine learning areas of graph representation learning and graph neural networks.
Manfred Jaeger
doaj +2 more sources
Learning Logic Specifications for Policy Guidance in POMDPs: an Inductive Logic Programming Approach [PDF]
Journal of Artificial Intelligence ResearchPartially Observable Markov Decision Processes (POMDPs) are a powerful framework for planning under uncertainty. They allow to model state uncertainty as a belief probability distribution.
Daniele Meli +2 more
openalex +2 more sources
Conflict-driven Inductive Logic Programming [PDF]
Theory and Practice of Logic Programming, 2020 The goal of inductive logic programming (ILP) is to learn a program that explains a set of examples. Until recently, most research on ILP targeted learning Prolog programs. The ILASP system instead learns answer set programs (ASP).
Mark Law
semanticscholar +4 more sources
Predicate Invention in Inductive Logic Programming [PDF]
Imperial College Computing Student Workshop, 2012 The ability to recognise new concepts and incorporate them into our knowledge is an essential part of learning. From new scientific concepts to the words that are used in everyday conversation, they all must have at some point in the past, been invented ...
Athakravi, Duangtida +2 more
core +2 more sources
Implementation and evaluation of a communication coaching program: a CFIR-Informed qualitative analysis mapped onto a logic model [PDF]
BMC Medical EducationBackground Coaching programs in graduate medical education have the potential to impact trainee development across multiple core competencies but require rigorous program evaluation to ensure effectiveness.
Rachel M. Jensen +7 more
doaj +2 more sources
A three-valued logic for Inductive Logic Programming [PDF]
, 1999 Inductive Logic Programming (ILP) is closely related to Logic Programming (LP) by the name. We extract the basic differences of ILP and LP by comparing both and give definitions of the basic assumptions of their paradigms, e.g. closed world assumption,
Bell, Siegfried, Weber, Steffo
core +4 more sources
Discovering rules for protein-ligand specificity using support vector inductive logic programming. [PDF]
Protein Eng Des Sel, 2009 Kelley LA +3 more
europepmc +3 more sources
Applications of inductive logic programming [PDF]
ACM SIGART Bulletin, 1994 Some applications of Inductive Logic Programming (ILP) are presented. Those applications are chosen that specifically benefit from relational descriptions generated by ILP programs, and from ILP's ability to accommodate background knowledge.
Ivan Bratko, Ross D. King
openalex +4 more sources
Logic programs as specifications in the inductive verification of logic programs
Electronic Notes in Theoretical Computer Science, 2001 AbstractIn this paper we define a new verification method based on an assertion language able to express properties defined by the user through a logic program. We first apply the verification framework defined in [3] to derive sufficient inductive conditions to prove partial correctness.
Marco Comini, Roberta Gori, Giorgio Levi
openalex +5 more sources