IN PROCEEDINGS

InProceeding
Towards More Informative Answers in Terminological Logics
1 Aug 1995
Authors: Margarida Mamede, Luís Monteiro
InProceeding
Using PVM with a Logic Programming Interface
1 Jan 1995
Authors: Rui Marques, José Cardoso e Cunha
InProceeding
PVM-Prolog: Parallel Logic Programming in the PVM System
1 Jan 1995
Authors: Rui Marques, José Cardoso e Cunha
InProceeding
An approach to verification in contextual logic programming (poster)
1 Jan 1995
Authors: Vasco Pedro, Luís Monteiro
InProceeding
Parallel Logic Programming with Extensions
1 Jan 1995
Authors: Luís Moniz Pereira, José Cardoso e Cunha, Luis Damas
InProceeding
Rigorous Object-Oriented Analysis
1 Sep 1994
Authors: Ana Moreira, Robert Clark
InProceeding
Combining Object-Oriented Analysis and Formal Description Techniques
1 Jun 1994
Authors: Ana Moreira, Robert Clark
InProceeding
Is enhancing the functionality of process grouping abstractions in parallel programming libraries desirable and feasible?
1 Jan 1994
Authors: Pedro Medeiros, José Cardoso e Cunha
InProceeding
POLARIS: POrtuguese Lexicon Acquisition and Retrieval Interactive System
1 Jan 1994
Authors: Gabriel Pereira Lopes, Nuno C Marques, Vitor Rocio
InProceeding
Towards resource handling in logic programming: The PPL framework and its semantics
1 Jan 1994
Authors: Jean-Marie Jacquet, Luís Monteiro
InProceeding
Aplicações da linguagem reactiva síncrona RS
1 Jan 1994
Authors: Simão Toscani, Luís Monteiro
InProceeding
PP-clauses: a means for handling resources (poster)
1 Jan 1994
Authors: Jean-Marie Jacquet, Luís Monteiro