Search for dissertations about: "Inductive Logic Programming"
Showing result 1 - 5 of 9 swedish dissertations containing the words Inductive Logic Programming.
-
1. Representation of Compositional Relational Programs
Abstract : Usability aspects of programming languages are often overlooked, yet have a substantial effect on programmer productivity. These issues are even more acute in the field of Inductive Synthesis, where programs are automatically generated from sample expected input and output data, and the programmer needs to be able to comprehend, and confirm or reject the suggested programs. READ MORE
-
2. Computational Issues in Calculi of Partial Inductive Definitions
Abstract : We study the properties of a number of algorithms proposed to explore the computational space generated by a very simple and general idea: the notion of a mathematical definition and a number of suggested formal interpretations ofthis idea. Theories of partial inductive definitions (PID) constitute a class of logics based on the notion of an inductive definition. READ MORE
-
3. Inductive logic programming for part-of-speech tagging
Abstract : .... READ MORE
-
4. Reasoning with Bounded Cognitive Resources
Abstract : Reasoning is an essential element of intelligence. Automated reasoning in formal and symbolic systems is a major topic in computer science and artificial intelligence (AI). Programs for computer-assisted and automated theorem proving are being constructed and used by mathematicians and logicians. READ MORE
-
5. On Induction, Coinduction and Equality in Martin-Löf and Homotopy Type Theory
Abstract : Martin Löf Type Theory, having put computation at the center of logical reasoning, has been shown to be an effective foundation for proof assistants, with applications both in computer science and constructive mathematics. One ambition though is for MLTT to also double as a practical general purpose programming language. READ MORE