Könyv Inductive Temporal Logic Programming Robert Kolter

Inductive Temporal Logic Programming

Learning Temporal Logic Programs from Examples

Szerző: Robert Kolter
Nyelv: Angol
Kötés: Puha kötésű
Elérhetőség: Kiadói készleten rendelésre
Küldés 17-27 napon belül
34 005 Ft
We study the extension of techniques from Inductive Logic Programming (ILP) to temporal logic progra...

Információk a könyvről

Szerző
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2010
oldal
312
EAN
9783838121499
ISBN
383812149X
Enbook ID
06987318
Súly
458
Méretek
152 x 229 x 18

Teljes leírás

We study the extension of techniques from Inductive Logic Programming (ILP) to temporal logic programming languages. Therefore we present two temporal logic programming languages and analyse the learnability of programs from these languages from finite sets of examples. In first order temporal logic the following topics are analysed: How can we characterize the denotational semantics of programs? Which proof techniques are best suited? How complex is the learning task? In propositional temporal logic we analyse the following topics: How can we use well known techniques from model checking in order to refine programs? How complex is the learning task? In both cases we present estimations for the VC-dimension of selected classes of programs.

Érdekelheti

92 350 Ft
3 183 Ft

I Am Why They Killed Diana

Cynthia Queen of Scots and America
7 864 Ft
8 827 Ft
2 901 Ft
54 081 Ft
76 883 Ft
6 438 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Aphrodite

Pierre Louys
4 192 Ft
3 784 Ft
3 882 Ft