IN PROCEEDINGS
- Combining Object-Oriented Analysis and Formal Description Techniques
- 1 Jun 1994
- Ana Moreira, Robert Clark
- Is enhancing the functionality of process grouping abstractions in parallel programming libraries desirable and feasible?
- 1 Jan 1994
- Pedro Medeiros, José Cardoso e Cunha
- POLARIS: POrtuguese Lexicon Acquisition and Retrieval Interactive System
- 1 Jan 1994
- Gabriel Pereira Lopes, Nuno C Marques, Vitor Rocio
- Towards resource handling in logic programming: The PPL framework and its semantics
- 1 Jan 1994
- Jean-Marie Jacquet, Luís Monteiro
- PP-clauses: a means for handling resources (poster)
- 1 Jan 1994
- Jean-Marie Jacquet, Luís Monteiro
- Polymorphic higher-order unification for logic programming
- 1 Jan 1994
- Luis Caires, Luís Monteiro
- Modelling Causal and Temporal Knowledge to Support Drug Therapy Planning
- 1 Jan 1994
- Francisco Azevedo, Pedro Barahona, Joaquim Ferreira da Silva
- Timetabling in Constraint Logic Programming
- 1 Jan 1994
- Francisco Azevedo, Pedro Barahona
- ALCrn: A Decidable Terminological Language with Role Negation
- 1 Nov 1993
- Margarida Mamede, Luís Monteiro
- Towards Complete Answers in Concept Languages
- 1 Oct 1993
- Margarida Mamede, Luís Monteiro
- A Constraint Logic Programming Scheme for Taxonomic Reasoning
- 1 Nov 1992
- Margarida Mamede, Luís Monteiro
InProceeding
InProceeding
InProceeding
InProceeding
InProceeding
InProceeding
InProceeding
InProceeding
InProceeding
InProceeding
InProceeding