Login

In Proceedings

A Logical Framework for Modelling eMAS

InProceedings

Published in 01/01/2003

Authors

V. Dahl, Pierangelo Dell'Acqua, Luís Moniz Pereira, P. Wadler,

Animation and Model Checking of CSP and B using Prolog Technology

InProceedings

Published in 01/01/2003

Authors

Carla Ferreira, Michael Butler, Michael Leuschel, Laksono Adhianto, Leonid Mikhailov,

Intelligent Clustering as Source of Kowledge for a Web Dialogue Manager in an Information Retrieval Sustem

InProceedings

Published in 01/11/2002

Authors

P. Szczepaniak, Paulo Quaresma, J. Segovia, Irene Rodrigues, J. Kacprzyk, L. Zadeh,

Agent’s Belief: A Stochastic Approach

InProceedings

Published in 01/10/2002

Authors

Hendrik Blockee, Veska Noncheva, Nuno C Marques, Marc Denecker,

Paraconsistent Logic Programs

InProceedings

Published in 01/09/2002

Authors

S. Flesca, Carlos Viegas Damásio, Carlos Viegas Damásio, G. Ianni, Luís Moniz Pereira, Luís Moniz Pereira,

Paraconsistent Logic Programs

InProceedings

Published in 01/09/2002

Authors

S. Flesca, Carlos Viegas Damásio, Carlos Viegas Damásio, G. Ianni, Luís Moniz Pereira, Luís Moniz Pereira,

Logic Programming for Network Management

InProceedings

Published in 01/09/2002

Authors

Luis Quintano, Joaquim Godinho, Salvador Abreu,

Modeling Role-Based Access Control in ISCO

InProceedings

Published in 01/06/2002

Authors

Salvador Abreu,

A Natural Language Dialogue Manager for Accessing Databases

InProceedings

Published in 01/06/2002

Authors

E. Ranchhod, Salvador Abreu, Elisabete Ranchod, Salvador Abreu, Nuno Mamede, Paulo Quaresma, Nuno Mamede, Paulo Quaresma, Luis Quintano, L. Quintano, Irene Rodrigues, Irene Rodrigues,

A Natural Language Dialogue Manager for Accessing Databases

InProceedings

Published in 01/06/2002

Authors

E. Ranchhod, Salvador Abreu, Elisabete Ranchod, Salvador Abreu, Nuno Mamede, Paulo Quaresma, Nuno Mamede, Paulo Quaresma, Luis Quintano, L. Quintano, Irene Rodrigues, Irene Rodrigues,