Francisco J. Galán

Publication Activity (10 Years)

Years Active: 2009-2016
Publications (10 Years): 1

Top Topics

Logic Programs With Negation

Update Operators

Partial Deduction

Top Venues

Publications

Francisco J. Galán, José Miguel Cañete Valdeón
Synthesis of positive logic programs for checking a class of definitions with infinite quantification. Inf. Comput. 249 (2016)
F. Javier Ortega, José A. Troyano, Francisco J. Galán, Carlos G. Vallejo, Fermín L. Cruz
Str: a Graph-Based Tagging Technique. Int. J. Artif. Intell. Tools 20 (5) (2011)
José Miguel Cañete Valdeón, Francisco J. Galán, Miguel Toro
The intentional relationship of representation between the constructs of a language and reality. Data Knowl. Eng. 68 (2) (2009)