ARTICLES

Article
Belief, Provability and Logic Programs (extended version)
1 Jan 1995
Authors: José Júlio Alferes, Luís Moniz Pereira
Article
A Logic Programming System for Non-monotonic Reasoning
1 Jan 1995
Authors: José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira
Article
Deep Medical Knowledge to Design Clinical Guidelines
1 Jan 1995
Authors: Pedro Barahona, R. Walton, Z. Ilic, Joaquim Ferreira da Silva
Article
EPISTOL: the future of knowledge based systems and techniques for the health sector
1 Jan 1994
Authors: Pedro Barahona
Article
ESTEEM (European Standardised Telematic Tool to Evaluate EMG Knowledge-Based Systems and Methods): AIM Project A2010
1 Jan 1994
Authors: S. Vingtoft, M. Veloso, A. Fuglsang-Fredriksen, B. Johnsen, A. Vila, Pedro Barahona, P. Fawcett, I. Scofield, A. Ljøring, G. Otte, G. Sieben, A. Talbot, R. Liguori, W. Nix
Article
Heuristics and Lookahead Integration to Solve Constraint Satisfaction Problems Efficiently
1 Jan 1994
Authors: F. Menezes, Pedro Barahona
Article
A Causal and Temporal Reasoning Model and Its Use in Drug Therapy Applications
1 Jan 1994
Authors: Pedro Barahona
Article
Adding Closed World Assumptions to Well Founded Semantics (extended improved version)
1 Jan 1994
Authors: Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício
Article
Non-monotonic Reasoning with Logic Programming
1 Jan 1993
Authors: Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes
Article
Object oriented requirements analysis in an Ada project
1 Jul 1990
Authors: Maria Manuel Freitas, Ana Moreira, Pedro Guerreiro
Article
Pesquisa Heurística em Paralelo para Problemas de Decisão
1 Jan 1989
Authors: Pedro Barahona
Article
Processor Allocation in a Multi-Ring Dataflow Machine
1 Jan 1986
Authors: Pedro Barahona, J. Gurd