Heterogeneous knowledge representation using a finite automaton and first order logic: a case study in electromyography.

Thu, 01 Jan 2009 00:00:00 +0100

Vincent Rialle , Annick Vila, Yves Besnard:
Heterogeneous knowledge representation using a finite automaton and first order logic: a case study in electromyography. CoRR abs/0903.5289 (2009)