Logic Programming

Logic Programming

4.11 - 1251 ratings - Source

Let G be a transition diagram with V = Var(G) and o an observation. G is recognizable over an interval [s, sa#39;] with respect to o iff TI(G)UTv(o)^a[3i3, ]rG + V. ... They supplement traditional methods relaying on signal evaluation techniques and allow to lift parts of the evaluation and recognition process to the symbolic level, anbsp;...

Title:Logic Programming
Author:Christoph Beierle
Publisher:North-Holland - 1995


You Must CONTINUE and create a free account to access unlimited downloads & streaming