Miguel Calejo Publications

Uma metodologia para interfaces de linguagem natural usando menus,
em co-autoria com Luis Moniz Pereira,
Actas do 4º Congresso Português de Informática,
Associação Portuguesa de Informática 1986

Linguagem Natural por Menus,
em co-autoria com Luís Moniz Pereira e António Porto,
Actas do 2º Encontro Português de Inteligência Artificial,
Associação Portuguesa Para a Inteligência Artificial 1986

Depuração de erros de programas em lógica,
com Luís Moniz Pereira,
Actas do 3º Encontro Português de Inteligência Artificial,
Associação Portuguesa Para a Inteligência Artificial 1987

A Framework for Prolog Debugging
com Luís Moniz Pereira,
em “Logic Programming - Proceedings of the 5th  International Conference and Symposium”, Kowalsky and Bowen (eds), MIT Press 1988.

Algorithmic Debugging of Prolog Side-Effects
com Luís Moniz Pereira,
em Procs. 4rd Portuguese AI Conference, P.Martins(ed.), Springer-Verlag 1989

Declarative Source Debugging
com Luís Moniz Pereira,
em Procs. 5th Portuguese AI Conference, Barahona, Pereira and Porto (eds.), Springer-Verlag 1991

A Framework for Declarative Prolog Debugging
Tese de doutoramento, Universidade Nova de Lisboa 1992
ftp://ftp.servisoft.pt/public/mc/phDthesis.gz

From Graphical Objects to Terms and Back: an Extended Application Framework for Prolog
com Carlos Soares,
em Procs. 8th Workshop on Logic Programming Environments,
http://www.cs.usask.ca/projects/envlop/8WLPE/Proceedings.shtml

Embedding Prolog in the Java Environment
com João Pedro Sousa,
em Procs. 2nd International Workshop on Logic Programming Tools for Internet Applications, http://clement.info.umoncton.ca/%7Elpnet/proceedings97/,

InterProlog: a simple yet powerful Java/Prolog interface,
to appear in Computational Logic Magazine, http://www.cs.ucy.ac.cy/compulog/, 1998

Java+Prolog: A land of opportunities,
em Procs. The First International Conference on The Practical Application of Constraint Technologies and Logic Programming, ISBN 1 902426 01 0, London 1999

InterProlog: a declarative Java-Prolog interface,
em Procs. Logic Programming for Artificial Intelligence and Information Systems (thematic Workshop of the 10th Portuguese Conference on Artificial Intelligence), Porto, December 2001

Web Application Maker: a model-based approach to web database development,
com Mário Araújo, Sónia Mota Araújo, e Nuno Soares,
em Procs. 4rd International Conference on Enterprise Information Systems, http://www.iceis.org, Abril 2002

Sistema de Informação da Rota da Região do Vinho Verde (VVRoute),
com José Luis Reis e Marta Valente,
em Procs. 4ª Conferência da Associação Portuguesa de Sistemas de Informação, António Lucas Soares et.al. (ed.), http://capsi2003.upt.pt/, ISBN 972-9354-42-1 (CD-ROM edition)

VVRoute - Sistema de Informação da Rota da Região do Vinho Verde ,
com José Luis Reis,
in Revista Portuguesa de Marketing, 2003 (3) Ano 7 nº 15, ISSN 0873-2949

Proceedings of the 2nd ICEIS Doctoral Consortium 2004 (ed.),
in conjunction with the International Conference on Enterprise Information Systems 2004, Porto, Portugal, INSTICC Press, ISBN 972-8865-11-2

InterProlog: towards a declarative embedding of logic programming in Java,
in Procs. Logics in Artificial Intelligence, 9^th European Conference, José Júlio Alferes and João Leite (eds.), Springer 2004, ISBN 3-540-23242-7

Towards a new Generation User Help Platform: a preliminary survey of relevant fields,
with Alexandra Baldaque,
in Procs. of the IASK Teaching and Learning International Conference, Aveiro 2008

Rapid GIS Development: a model-based approach focused on interoperability,
com Rui Cavaco, Rui Sequeira, Mário Araújo,
in Procs. of 13th AGILE International Conference on Geographic Information Science, Guimarães 2010

Intelligent Document Routing as a First Step towards Workflow Automation: A Case Study Implemented in SQL. With Carlos Soares. In T. Margaria and B. Steven (Eds.): ISoLA 2010, Part I, LNCS 6415, pp. 276–284, Springer-Verlag.

Web Application Maker: DRY web app development with SQL (with Mário Araújo). Lulu Publishing, ISBN 978-1-105-06262-9