Helder Manuel Ferreira Coelho
AuthID: R-000-5QV
101
TITLE: COMMUNICATING KNOWLEDGE SYSTEMS: PART 1 - BIG TALK AMONG SMALL SYSTEMS.
AUTHORS: Cristina Sernadas ; Helder Coelho; Graca Gaspar;
PUBLISHED: 1987, SOURCE: Applied Artificial Intelligence, VOLUME: 1, ISSUE: 3
AUTHORS: Cristina Sernadas ; Helder Coelho; Graca Gaspar;
PUBLISHED: 1987, SOURCE: Applied Artificial Intelligence, VOLUME: 1, ISSUE: 3
INDEXED IN: 
Scopus
Scopus IN MY: 
ORCID
ORCID102
TITLE: COMMUNICATING KNOWLEDGE SYSTEMS: Part I—Big Talk among Small Systems
AUTHORS: CRISTINA SERNADAS ; HELDER COELHO; GRAQA GASPAR;
PUBLISHED: 1987, SOURCE: Applied Artificial Intelligence, VOLUME: 1, ISSUE: 3
AUTHORS: CRISTINA SERNADAS ; HELDER COELHO; GRAQA GASPAR;
PUBLISHED: 1987, SOURCE: Applied Artificial Intelligence, VOLUME: 1, ISSUE: 3
103
TITLE: COMMUNICATING KNOWLEDGE SYSTEMS: Part II—Big Talk among Small Systems
AUTHORS: CRISTINA SERNADAS ; HELDER COELHO; GRAÇA GASPAR;
PUBLISHED: 1987, SOURCE: Applied Artificial Intelligence, VOLUME: 1, ISSUE: 4
AUTHORS: CRISTINA SERNADAS ; HELDER COELHO; GRAÇA GASPAR;
PUBLISHED: 1987, SOURCE: Applied Artificial Intelligence, VOLUME: 1, ISSUE: 4
104
TITLE: Automated Reasoning in Geometry Theorem Proving with Prolog
AUTHORS: Helder Coelho; Luís Moniz Pereira;
PUBLISHED: 1986, SOURCE: J. Autom. Reasoning, VOLUME: 2, ISSUE: 4
AUTHORS: Helder Coelho; Luís Moniz Pereira;
PUBLISHED: 1986, SOURCE: J. Autom. Reasoning, VOLUME: 2, ISSUE: 4
105
TITLE: Symbolic and algebraic computation may support secondary education
AUTHORS: Coelho, H;
PUBLISHED: 1985, SOURCE: European Conference on Computer Algebra, EUROCAL 1985 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 204 LNCS
AUTHORS: Coelho, H;
PUBLISHED: 1985, SOURCE: European Conference on Computer Algebra, EUROCAL 1985 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 204 LNCS
106
TITLE: Towards knowledge-based infolog specifications A case study of information engineering Full Text
AUTHORS: Helder Coelho; António Rodrigues; Amilcar Sernadas;
PUBLISHED: 1985, SOURCE: Decision Support Systems, VOLUME: 1, ISSUE: 2
AUTHORS: Helder Coelho; António Rodrigues; Amilcar Sernadas;
PUBLISHED: 1985, SOURCE: Decision Support Systems, VOLUME: 1, ISSUE: 2
107
TITLE: PROLOG: A programming tool for logical domain modeling
AUTHORS: Helder Coelho;
PUBLISHED: 1983, SOURCE: Computer Compacts, VOLUME: 1, ISSUE: 1
AUTHORS: Helder Coelho;
PUBLISHED: 1983, SOURCE: Computer Compacts, VOLUME: 1, ISSUE: 1
108
TITLE: Man-machine communication in Portuguese: A friendly library service system Full Text
AUTHORS: Helder Coelho;
PUBLISHED: 1982, SOURCE: Information Systems, VOLUME: 7, ISSUE: 2
AUTHORS: Helder Coelho;
PUBLISHED: 1982, SOURCE: Information Systems, VOLUME: 7, ISSUE: 2
109
TITLE: The processing of Portuguese based upon logic. LNEC, Centro de Informatica, Lisboa, Portugal
AUTHORS: Helder Coelho;
PUBLISHED: 1982, SOURCE: ACM SIGART Bulletin - SIGART Bull., ISSUE: 79
AUTHORS: Helder Coelho;
PUBLISHED: 1982, SOURCE: ACM SIGART Bulletin - SIGART Bull., ISSUE: 79
