Výsledky vyhledávání

Dissertation/ Thesis

Sémantique géométrique pour la calculabilité asynchrone

Autor: Ledent, Jérémy

Le domaine des protocoles tolérants aux pannes étudie quelles tâches concurrentes sont résolubles dans différents modèles de calcul avec pannes. Des outils mathématiques basés sur la topologie combinatoire ont été développés depuis les an

Externí odkaz: http://www.theses.fr/2019SACLX099/document

Zobrazit plný text záznamu

Dissertation/ Thesis

Applications of Foundational Proof Certificates in theorem proving

Autor: Blanco Martínez, Roberto

La confiance formelle en une propriété abstraite provient de l'existence d'une preuve de sa correction, qu'il s'agisse d'un théorème mathématique ou d'une qualité du comportement d'un logiciel ou processeur. Il existe de nombreuses définitions

Externí odkaz: http://www.theses.fr/2017SACLX111/document

Zobrazit plný text záznamu

Dissertation/ Thesis

Logical abstract interpretation

Autor: D'Silva, Vijay Victor

Logical deduction and abstraction from detail are fundamental, yet distinct aspects of reasoning about programs. This dissertation shows that the combination of logic and abstract interpretation enables a unified and simple treatment of several theor

Externí odkaz: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.581322

Zobrazit plný text záznamu

Dissertation/ Thesis

Επαγωγικός λογικός προγραμματισμός και Progol : προβλήματα εκμάθησης γραμματικής

Autor: Πετρόπουλος, Κωνσταντίνος

This paper is about Inductive Logic Programming through the prism of a problem. In our case Grammar Learning.

Externí odkaz: http://hdl.handle.net/10889/5421

Zobrazit plný text záznamu

Dissertation/ Thesis

Nonmonotonic inductive logic programming as abductive search

Autor: Corapi, Domenico

Inductive Logic Programming (ILP) is a machine learning technique that relies on logic programs as a representation language. Most of the effort in the field of ILP has concentrated on a restricted class of problems, providing solutions that do not f

Externí odkaz: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.560721

Zobrazit plný text záznamu

Dissertation/ Thesis

Learning definite and normal logic programs by induction on failure

Autor: Kimber, Timothy

This thesis presents two novel inductive logic programming (ILP) approaches, based on the notion of a connected theory. A connected theory contains clauses that depend on one another, either directly or via clauses in the background knowledge. Genera

Externí odkaz: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.560694

Zobrazit plný text záznamu

Dissertation/ Thesis

Επαγωγικός λογικός προγραμματισμός : μια διδακτική προσέγγιση

Autor: Καραμουτζογιάννη, Ζωή

Ο Επαγωγικός Λογικός Προγραμματισμός (Inductive Logic Programming ή, σε συντομογραφία ILP) είναι ο ερευνητικός τομέας της Τεχνητής Νοημοσύνης (Artificial Int

Externí odkaz: http://hdl.handle.net/10889/5311

Zobrazit plný text záznamu