Login

In Proceedings

On Contradictions and their Propagation in Paraconsistent Logic Programs

InProceedings

Published in 01/07/2003

Authors

Carlos Viegas Damásio, Luís Moniz Pereira,

On Termination of a Tabulation Procedure for Residuated Logic Programming

InProceedings

Published in 01/06/2003

Authors

Carlos Viegas Damásio, Manuel Ojeda-Aciego,

The benefits of rapid modelling for e-business system development

InProceedings

Published in 01/06/2003

Authors

J. Augusto, Carla Ferreira, A. Gravell, Michael Leuschel, Muan Yong Ng,

Using SPIN and STeP to verify business processes specifications

InProceedings

Published in 01/06/2003

Authors

J. Augusto, Michael Butler, Carla Ferreira,

Managing dialog and access control in natural language querying

InProceedings

Published in 01/06/2003

Authors

Luis Quintano, N. Mamede, J. Baptista, Irene Rodrigues, M. Volpe Nunes,

Using the extensible model checker xtl to verify stac business specifications

InProceedings

Published in 01/06/2003

Authors

J. Augusto, Michael Leuschel, Michael Butler, Carla Ferreira,

Using NLP techniques to create legal ontologies in a logic programming based web information retrieval system

InProceedings

Published in 01/06/2003

Authors

J. Breuker, A. Gangemi, Paulo Quaresma, D. Tiscornia, R. Winkels,

An initial proposal for cooperative evaluation on information retrieval in Portuguese

InProceedings

Published in 01/06/2003

Authors

N. Mamede, Rachel Aires, J. Baptista, M. Volpe Nunes, Paulo Quaresma, Diana Santos,

Using dialogues to access semantic knowledge in a web IR system

InProceedings

Published in 01/06/2003

Authors

N. Mamede, Paulo Quaresma, J. Baptista, Irene Rodrigues, M. Volpe Nunes,

Extracting XML syntactic chunks from Portuguese corpora

InProceedings

Published in 01/06/2003

Authors

Caroline Gasperin, Renata Vieira, Rodrigo Goulart, Paulo Quaresma,