Login

In Proceedings

Contextual Logic Programming for Ontology Representation and Querying

InProceedings

Published in 01/10/2007

Authors

Nuno Lopes, Axel Polleres, D. Pearce, Salvador Abreu, Edna Ruckhaus, Gopal Gupta, Stijn Heymans,

Approved Models for Normal Logic Programs

InProceedings

Published in 01/10/2007

Authors

Nachum Dershowitz, Luís Moniz Pereira, Alexandre Pinto, Andrei Voronkov,

INESC, Porto at TRECVID 2007: Automatic and Interactive Video Search.

InProceedings

Published in 01/10/2007

Authors

Catalin Calistru, Cristina Ribeiro, Gabriel David, Irene Rodrigues, Gustavo Laboreiro,

Multiple partners in weak interactions.

InProceedings

Published in 01/09/2007

Authors

Ludwig Krippahl,

Distributed Multi-Threading in GNU Prolog

InProceedings

Published in 01/09/2007

Authors

Salvador Abreu, Nuno Morgadinho, Salvador Abreu, Vitor Santos Costa,

The Senso Question Answering Approach to Portuguese QA@CLEF-2007

InProceedings

Published in 01/09/2007

Authors

Paulo Quaresma,

EVOLP – Transformation-based Implementation

InProceedings

Published in 01/09/2007

Authors

F. Sadri, Martin Slota, João Leite, K. Satoh,

Prospective Updating of Theories with Preferences

InProceedings

Published in 01/09/2007

Authors

Luís Moniz Pereira, O. Pombo, Luís Moniz Pereira, A. Gerner, Pierangelo Dell'Acqua,

Operational Semantics for EVOLP

InProceedings

Published in 01/09/2007

Authors

F. Sadri, Martin Slota, João Leite, K. Satoh,

Probabilistic reasoning with continuous constraints

InProceedings

Published in 01/09/2007

Authors

T. Simos, Elsa Carvalho, Jorge Cruz, G. Psihoyos, Pedro Barahona, Ch. Tsitouras,