ARTICLES
- Belief, Provability and Logic Programs (extended version)
- 1 Jan 1995
- José Júlio Alferes, Luís Moniz Pereira
- A Logic Programming System for Non-monotonic Reasoning
- 1 Jan 1995
- José Júlio Alferes, Carlos Viegas Damásio, Luís Moniz Pereira
- Deep Medical Knowledge to Design Clinical Guidelines
- 1 Jan 1995
- Pedro Barahona, R. Walton, Z. Ilic, Joaquim Ferreira da Silva
- EPISTOL: the future of knowledge based systems and techniques for the health sector
- 1 Jan 1994
- Pedro Barahona
- ESTEEM (European Standardised Telematic Tool to Evaluate EMG Knowledge-Based Systems and Methods): AIM Project A2010
- 1 Jan 1994
- 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
- Heuristics and Lookahead Integration to Solve Constraint Satisfaction Problems Efficiently
- 1 Jan 1994
- F. Menezes, Pedro Barahona
- A Causal and Temporal Reasoning Model and Its Use in Drug Therapy Applications
- 1 Jan 1994
- Pedro Barahona
- Adding Closed World Assumptions to Well Founded Semantics (extended improved version)
- 1 Jan 1994
- Luís Moniz Pereira, José Júlio Alferes, Joaquim Nunes Aparício
- Non-monotonic Reasoning with Logic Programming
- 1 Jan 1993
- Luís Moniz Pereira, Joaquim Nunes Aparício, José Júlio Alferes
- Object oriented requirements analysis in an Ada project
- 1 Jul 1990
- Maria Manuel Freitas, Ana Moreira, Pedro Guerreiro
Article
Article
Article
Article
Article
Article
Article
Article
Article
Article