IN PROCEEDINGS
- Approximate word matching in retrieval from electronic dictionaries
- 1 Jan 1996
- Vitor Rocio, Gabriel Pereira Lopes
- CoastMAP: A Collaborative Multimedia Environment for Coastal Zone Managers
- 1 Jan 1996
- Teresa Romão, Mathilde Molendijk, Henk Scholten
- Bringing Ubiquitous Computing into Geo-referenced Information Systems
- 1 Jan 1996
- A Eduardo Dias, Pedro Albuquerque Santos , João Paulo Branquinho Pimentão, Pedro Pedrosa, Teresa Romão
- A language for the logical specification of processes and relations
- 1 Jan 1996
- Luis Caires
- The Retrieval Problem in a Concept Language with Number Restrictions
- 1 Oct 1995
- Aida Vitória, Margarida Mamede, Luís Monteiro
- Towards More Informative Answers in Terminological Logics
- 1 Aug 1995
- Margarida Mamede, Luís Monteiro
- Using PVM with a Logic Programming Interface
- 1 Jan 1995
- Rui Marques, José Cardoso e Cunha
- PVM-Prolog: Parallel Logic Programming in the PVM System
- 1 Jan 1995
- Rui Marques, José Cardoso e Cunha
- An approach to verification in contextual logic programming (poster)
- 1 Jan 1995
- Vasco Pedro, Luís Monteiro
- Parallel Logic Programming with Extensions
- 1 Jan 1995
- Luís Moniz Pereira, José Cardoso e Cunha, Luis Damas
InProceeding
InProceeding
InProceeding
InProceeding
InProceeding
InProceeding
InProceeding
InProceeding
InProceeding
InProceeding