People

João Leite

Email

Member

Cognitive and Media Systems

Export publications Citations

Export publications BibTeX

Conference Articles

2000

(1 publication)

Leite, J. and Pereira, F.C. and Amilcar Cardoso and Pereira, L.M. , "Metaphorical Mapping Consistency via Dynamic Logic Programming", in AISB'00, 2000

1999

(2 publications)

Ferrand, M. and Leite, J. and Amilcar Cardoso , "Improving Optical Music Recognition by means of Abductive Constraint Logic Programming", in EPIA'99 - 9th. Portuguese Conference on Artificial Intelligence, vol. 1695, 1999
Ferrand, M. and Leite, J. and Amilcar Cardoso , "Hypotethical Reasoning: an application to Optical Music Recognition", in APPIA-GULP-PRODE, 1999