UNIVERSITÄTSBIBLIOTHEK

Induction of Linear Temporal Logic Programs

  • We propose a framework for the synthesis of temporal logic programs which are formulated in a simple temporal logic programming language from both positive and negative examples. First we will prove that results from the theory of first order inductive logic programming carry over to the domain of temporal logic. After this we will show how programs formulated in the presented language can be generalized or specialized in order to satisfy the specification induced by the sets of examples.

Export metadata

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author:Robert Kolter
URN (permanent link):urn:nbn:de:hbz:386-kluedo-49817
Serie (Series number):Interner Bericht des Fachbereich Informatik (330)
Document Type:Report
Language of publication:English
Publication Date:2017/10/27
Year of Publication:2004
Publishing Institute:Technische Universität Kaiserslautern
Date of the Publication (Server):2017/10/27
Number of page:85
Faculties / Organisational entities:Fachbereich Informatik
DDC-Cassification:0 Allgemeines, Informatik, Informationswissenschaft / 004 Informatik
Licence (German):Creative Commons 4.0 - Namensnennung, nicht kommerziell, keine Bearbeitung (CC BY-NC-ND 4.0)