Francisco de Moura e Castro Ascensão de Azevedo
AuthID: R-000-5AG
11
TITLE: A prototype for general planning
AUTHORS: Francisco A Azevedo;
PUBLISHED: 2005, SOURCE: Portuguese Conference on Artificial Intelligence in 2005 PORTUGUESE CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS
AUTHORS: Francisco A Azevedo;
PUBLISHED: 2005, SOURCE: Portuguese Conference on Artificial Intelligence in 2005 PORTUGUESE CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS
INDEXED IN: 
WOS 
CrossRef
WOS CrossRef12
TITLE: Modelling digital circuits problems with set constraints
AUTHORS: Azevedo, F; Barahona, P ;
PUBLISHED: 2000, SOURCE: 1st International Conference on Computational Logic (CL 2000) in COMPUTATIONAL LOGIC - CL 2000, VOLUME: 1861
AUTHORS: Azevedo, F; Barahona, P ;
PUBLISHED: 2000, SOURCE: 1st International Conference on Computational Logic (CL 2000) in COMPUTATIONAL LOGIC - CL 2000, VOLUME: 1861
INDEXED IN: 
Scopus WOS
Scopus WOS13
TITLE: Differentiating diagnostic theories through constraints over an eight-valued logic
AUTHORS: Azevedo, F; Barahona, P;
PUBLISHED: 2000, SOURCE: 14th European Conference on Artificial Intelligence in ECAI 2000: 14TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 54
AUTHORS: Azevedo, F; Barahona, P;
PUBLISHED: 2000, SOURCE: 14th European Conference on Artificial Intelligence in ECAI 2000: 14TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 54
INDEXED IN: WOS
WOS14
TITLE: A computerised guideline for the management of diabetes
AUTHORS: Barahona, P ; Azevedo, F; Veloso, M; Estevao, N; Gallego, R;
PUBLISHED: 2000, SOURCE: 16th Medical Informatics Europe Congress/45th Annual Congress of the German-Association-for-Medical-Informatics-Biometry-and-Epidemiology in MEDICAL INFOBAHN FOR EUROPE, PROCEEDINGS, VOLUME: 77
AUTHORS: Barahona, P ; Azevedo, F; Veloso, M; Estevao, N; Gallego, R;
PUBLISHED: 2000, SOURCE: 16th Medical Informatics Europe Congress/45th Annual Congress of the German-Association-for-Medical-Informatics-Biometry-and-Epidemiology in MEDICAL INFOBAHN FOR EUROPE, PROCEEDINGS, VOLUME: 77
15
TITLE: Generation of test patterns for differential diagnosis of digital circuits
AUTHORS: Azevedo, F; Barahona, P;
PUBLISHED: 1998, SOURCE: 4th International Conference on Principles and Practice of Constraint Programming (CP 98) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP98, VOLUME: 1520
AUTHORS: Azevedo, F; Barahona, P;
PUBLISHED: 1998, SOURCE: 4th International Conference on Principles and Practice of Constraint Programming (CP 98) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP98, VOLUME: 1520
INDEXED IN: WOS
WOS