Mostrando recursos 1 - 20 de 75

  1. Constraint inductive logic programming.

    Sebag , M.; Rouveirol , C.

  2. Inductive Logic Programming

    Rouveirol , C.; Sebag , M.

  3. La propiedad industrial en el ámbito del Derecho penal cubano

    González Medina, Alexeys; Mendoza Pérez, Juan Carlos; Arias Hernández, Yalennis
    La problemática que hoy genera la deficiente regulación de la Propiedad Industrial en la legislación penal cubana, al no contener los diferentes supuestos de hechos que tipifique las conductas antijurídicas lesivas de este bien jurídico, motiva esta investigación en la que a partir de un estudio doctrinal y exegético de la teoría del bien jurídico se aportan elementos para su adecuada configuración y tutela en sede penal, que garanticen el respeto a la seguridad jurídica. Fueron utilizados como métodos científicos los propios de las investigaciones jurídicas (el teórico y el exegético), así como los generales de las investigaciones teóricas (análisis-síntesis, inductivo-deductivo,...

  4. A system of logic, ratiocinative and inductive: being a connected view of the principles of evidence and the methods of scientific investigation.

    Mill, John Stuart, 1806-1873.
    Mode of access: Internet.

  5. Readable semi-automatic formal proofs of Depth-First Search in graphs using Why3

    Chen , Ran; Levy , Jean-Jacques
    Quite often formal proofs are not published in conferences or journal articles, because formal proofs are usually too long. A typical article states the ability of having implemented a formal proof, but the proof itself is often sketched in terms of a natural language. At best, some formal lemmas and definitions are stated. Can we do better ? We try here to publish the details of a formal proof of the white-paths theorem about depth-first search in graphs. We use Why3 as the proving platform, because Why3 uses first-order logic augmented with inductive definitions of predicates and because Why3 makes...

  6. Logic programming and Co-inductive definitions

    Jaume , Mathieu
    International audience

  7. Inductive Learning from State Transitions over Continuous Domains

    Ribeiro , Tony; Tourret , Sophie; Folschette , Maxime; Magnin , Morgan; Borzacchiello , Domenico; Chinesta , Francisco; Roux , Olivier; Inoue , Katsumi
    Presented at: 27th International Conference on Inductive Logic Programming (ILP 2017). To be published in Lecture Notes in Artificial Intelligence.

  8. Temporal abstraction and inductive logic programming for arrhythmia recognition from electrocardiograms.

    Carrault , Guy; Cordier , Marie-Odile; Quiniou , René; Wang , F.
    International audience

  9. Inferring syntactic rules for word alignment through Inductive Logic Programming

    Ozdowska , Sylwia; Claveau , Vincent
    International audience

  10. Guest editors introduction: special issue on inductive logic programming

    Davis , Jesse; Ramon , Jan
    International audience

  11. A discriminative method for family-based protein remote homology detection that combines inductive logic programming and propositional models

    Silva Bernardes , Juliana
    International audience

  12. Techniques of BDD/ZDD : Brief History and Recent Activity

    Minato, Shin-ichi
    Discrete structures are foundational material for computer science and mathematics, which are related to set theory, symbolic logic, inductive proof, graph theory, combinatorics, probability theory, etc. Many problems solved by computers can be decomposed into discrete structures using simple primitive algebraic operations. It is very important to represent discrete structures compactly and to execute efficiently tasks such as equivalency/validity checking, analysis of models, and optimization. Recently, BDDs (Binary Decision Diagrams) and ZDDs (Zero-suppressed BDDs) have attracted a great deal of attention, because they efficiently represent and manipulate large-scale combinational logic data, which are the basic discrete structures in various fields...

  13. Logic, deductive and inductive /

    Read, Carveth, 1848-1931
    Mode of access: Internet.

  14. Automatic cyclic termination proofs for recursive procedures in separation logic

    Rowe, RNS; Brotherston, J
    © 2017 ACM.We describe a formal verification framework and tool implementation, based upon cyclic proofs, for certifying the safe termination of imperative pointer programs with recursive procedures. Our assertions are symbolic heaps in separation logic with user defined inductive predicates; we employ explicit approximations of these predicates as our termination measures. This enables us to extend cyclic proof to programs with procedures by relating these measures across the preand postconditions of procedure calls. We provide an implementation of our formal proof system in the CYCLIST theorem proving framework, and evaluate its performance on a range of examples drawn from the...

  15. Theorem Proving for Maude's Rewriting Logic

    Rusu , Vlad; Clavel , Manuel
    We present an approach based on inductive theorem proving for verifying invariance properties of systems specified in Rewriting Logic, an executable specification language implemented (among others) in the Maude tool. Since theorem proving is not directly available for rewriting logic, we define an encoding of rewriting logic into its membership equational (sub)logic. Then, inductive theorem provers for membership equational logic, such as the itp tool, can be used for verifying the resulting membership equational logic specification, and, implicitly, for verifying invariance properties of the original rewriting logic specification. The approach is illustrated first on a 2-process Bakery algorithm and then...

  16. Bias reformulation for one-shot function induction

    Lin, Dianhuan; Dechter, Eyal; Ellis, Kevin M.; Tenenbaum, Joshua B.; Muggleton, Stephen H.
    In recent years predicate invention has been underexplored as a bias reformulation mechanism within Inductive Logic Programming due to difficulties in formulating efficient search mechanisms. However, recent papers on a new approach called Meta-Interpretive Learning have demonstrated that both predicate invention and learning recursive predicates can be efficiently implemented for various fragments of definite clause logic using a form of abduction within a meta-interpreter. This paper explores the effect of bias reformulation produced by Meta-Interpretive Learning on a series of Program Induction tasks involving string transformations. These tasks have real-world applications in the use of spreadsheet technology. The existing implementation...

  17. Event Model Learning from Complex Videos using ILP

    Dubba, KSR; Cohn, AG; Hogg, DC
    Learning event models from videos has applications ranging from abnormal event detection to content based video retrieval. Relational learning techniques such as Inductive Logic Programming (ILP) hold promise for building such models, but have not been successfully applied to the very large datasets which result from video data. In this paper we present a novel supervised learning framework to learn event models from large video datasets (~2.5 million frames) using ILP. Efficiency is achieved via the learning from interpretations setting and using a typing system. This allows learning to take place in a reasonable time frame with reduced false positives....

  18. Inductive Logic Programming for collaborative self-adaptation in next-generation networks"

    Mbaye, Maissa; Krief, Francine; Soldano, Henry

  19. Inductive Logic Programming for collaborative self-adaptation in next-generation networks"

    Mbaye, Maissa; Krief, Francine; Soldano, Henry

  20. Inductive Logic Programming for collaborative self-adaptation in next-generation networks"

    Mbaye, Maissa; Krief, Francine; Soldano, Henry

Aviso de cookies: Usamos cookies propias y de terceros para mejorar nuestros servicios, para análisis estadístico y para mostrarle publicidad. Si continua navegando consideramos que acepta su uso en los términos establecidos en la Política de cookies.