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: 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