Publications

Export 1 results:
Author Title [ Type(Desc)] Year
Filters: Author is Kovacs, L.  [Clear All Filters]
Conference Paper
A Parametric Interpolation Framework for First-Order Theories, Kovacs, L., Rollini S.F., and Sharygina Natasha , 12th Mexican International Conference on Artificial Intelligence (MICAI), (2013)