Results 11 to 20 of about 6,127,131 (339)
The Inductive Constraint Programming Loop [PDF]
IEEE Intelligent Systems, 2015 Constraint programming is used for a variety of real-world optimization problems, such as planning, scheduling, and resource allocation problems, all while we continuously gather vast amounts of data about these problems.
C. Bessiere +9 more
semanticscholar +12 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
Inductive programming meets the real world [PDF]
Communications of the ACM, 2015 Inductive programming can liberate users from performing tedious and repetitive tasks.
Sumit Gulwani +5 more
semanticscholar +6 more sources
Inductive Logic Programming [PDF]
, 2015 Proceedings of the 24th International Conference on Inductive Logic Programming, Nancy, France, September 14-16, 2014.
Alireza Tamaddoni‐Nezhad +3 more
openalex +3 more sources
Turning 30: New Ideas in Inductive Logic Programming [PDF]
International Joint Conference on Artificial Intelligence, 2020 Common criticisms of state-of-the-art machine learning include poor generalisation, a lack of interpretability, and a need for large amounts of training data.
Andrew Cropper +2 more
semanticscholar +1 more source
Inductive sequentialization of asynchronous programs [PDF]
Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, 2020 Asynchronous programs are notoriously difficult to reason about because they spawn computation tasks which take effect asynchronously in a nondeterministic way. Devising inductive invariants for such programs requires understanding and stating complex relationships between an unbounded number of computation tasks in arbitrarily long executions. In this
Kragl, Bernhard +4 more
openaire +3 more sources
Refining Inductive Types [PDF]
Logical Methods in Computer Science, 2012 Dependently typed programming languages allow sophisticated properties of data to be expressed within the type system. Of particular use in dependently typed programming are indexed types that refine data by computationally useful information.
Robert Atkey +2 more
doaj +1 more source
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 +1 more source
Extending Coinductive Logic Programming with Co-Facts [PDF]
Electronic Proceedings in Theoretical Computer Science, 2017 We introduce a generalized logic programming paradigm where programs, consisting of facts and rules with the usual syntax, can be enriched by co-facts, which syntactically resemble facts but have a special meaning.
Davide Ancona +2 more
doaj +1 more source