TY - RPRT
A1 - Kolter, Robert
T1 - Induction of Linear Temporal Logic Programs
N2 - 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.
T3 - Interner Bericht des Fachbereich Informatik - 330
Y1 - 2004
UR - https://kluedo.ub.uni-kl.de/frontdoor/index/index/docId/4981
UR - https://nbn-resolving.org/urn:nbn:de:hbz:386-kluedo-49817
ER -