Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 58 for “"Logic programming"”.
-
Visualization of logic programming
… that visually depict the execution processes of programming languages. It is believed that visual traces of program execution in some language may help to expedite the learning of those that are unfamiliar with that language. In particular, the execution processes of logic programming languages …
-
Generalized metrics and topology in logic programming semantics
Many fixed-point theorems are essentially topological in nature. Among them are the Banach contraction mapping theorem on metric spaces and the fixed-point theorem for Scott-continuous mappings on complete partial orders. The latter theorem is fundamental in denotational semantics since semantic …
-
Inductive logic programming with gradient descent for supervised binary classification
… seeks to develop an interpretable model using logical rules, rather than explaining existing blackbox models. We extend recent inductive logic programming methods developed by Evans and Grefenstette [3] to develop an gradient descent-based inductive logic programming technique for supervised …
-
Logic Programming Tools for Dynamic Content Generation and Internet Data Mining
… data. We present two techniques based on using Logic programming tools for data mining. Data mining analyzes data by extracting patterns which describe its structure and discovers co-relations in the form of rules. We distinguish analysis methods as visual and non-visual and present one …
-
An inductive logic programming approach to learning which uORFs regulate gene expression.
… thesis, for the first time, the use of inductive logic programming (ILP) is explored for the task of learning which uORFs regulate gene expression in the yeast Saccharomyces cerevisiae. This work is directed to help select sets of candidate functional uORFs for experimental studies. With limited …
-
Advanced Compilation Techniques for Logic Programming = Técnicas Avanzadas de Compilación para Programación Lógica
Declarative programming languages allow the expression of programs in a language that is closer to the problem than to the implementation details. Regardless the generality of that definition, a more clear idea of declarativeness is proposed by Lloyd[Llo94], who proposes that programs are theories …
-
A sequence-length sensitive approach to learning biological grammars using inductive logic programming.
… help us to improve the process of learning biological grammars from protein sequences using Inductive Logic Programming (ILP). Contrary to most traditional ILP learning problems, biological sequences often have a high variation in their length. This variation in length is an important feature …
-
Development of a relay ladder logic programming/debugging/simulation software package with graphical user interface
<p>"Programmable Logic Controllers (PLC’s) are widely used in industry for Logic and Sequencing Control. Typically, PLC’s are programmed using Relay Ladder Logic, in which the programmer draws a circuit diagram schematic for a set of conceptual logic circuits with which to control physical …
-
The Effects of Programming Instruction in Procedural Programming and Logic Programming Environments on Problem-Solving Ability
… this study were to evaluate the effectiveness of programming instruction on students' problem-solving abilities, and to explore whether a logic programming or a procedural programming environment results in different degrees of cognitive transfer in terms of procedural, declarative, and …
-
Issues in Validation and Executability of Formal Specifications in the Z Notation
… issues in the execution of the Z notation in a logic programming language. A subset of Z which is capable of being animated is identified, together with the necessary theoretical foundations for the relationship of Z to its executable form. The thesis also addresses the transition from research …
-
Novel visualization scheme for reasoning with uncertainty
… and relations in reasoning using extended logic programming. This scheme has graphical layout and color utilization components borrowed from data mining, cartography, and general principles of graphic design. Even in simple logic programming examples the node count in reasoning grows …
-
El Lenguaje CLP(H/E): Una Aproximación basada en Restricciones a la Integración de la Programación Lógica y Funcional
… the most challenging problems in Computational Logic is the integration of two of the most popular families of declarative languages: logical languages and equational languages. A relevant approach to address this problem is based on considering an equational logic program (P, E) as a positive …
-
Extending Prolog with type inheritance and arithmetic
Prolog is a logic programming language based on first order logic. It uses resolution as a rule of inference, and unification is the heart of resolution. The unification algorithm is a syntactic process and hence attaches no meaning to function and predicate symbols. We incorporate arithmetic into …
-
Relational Programming in miniKanren: Techniques, Applications, and Implementations
The promise of logic programming is that programs can be written <italic>relationally</italic>, without distinguishing between input and output arguments. Relational programs are remarkably flexible—for example, a relational type-inferencer also performs type checking and type inhabitation, …
-
A polymorphic type system for logic programs
… thesis develops a polymorphic type system for logic programs. Our approach is semantically oriented. We define a type language with precise semantics. Type inference rules are derived from the semantics of the type language and the semantics of logic programs. Algorithms for automatic type …
-
Operadores adjuntos en entornos generales y sus aplicaciones
… operators to make the calculus in multi-adjoint logic programming, multi-adjoint concept lattices, multi-adjoint fuzzy rough sets and multi-adjoint fuzzy relation equations, providing more flexibility and increasing the range of applications in the setting in which they are considered. This …
Page 1 of 3