Jose Carlos Ferreira Maia Neves
AuthID: R-000-86G
211
TITLE: Cooperation among opportunistic agents on a distributed environment
AUTHORS: Belo, O ; Neves, J;
PUBLISHED: 1996, SOURCE: 1st Australian Workshop on Distributed Artificial Intelligence, DAI 1995 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1087
AUTHORS: Belo, O ; Neves, J;
PUBLISHED: 1996, SOURCE: 1st Australian Workshop on Distributed Artificial Intelligence, DAI 1995 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1087
INDEXED IN: 
Scopus
Scopus IN MY: 
ORCID
ORCID212
TITLE: REORGANIZATION IN A SIMPLE DATABASE SYSTEM.
AUTHORS: Williams, MH; Pattison, IM; Neves, JC;
PUBLISHED: 1986, SOURCE: Software - Practice and Experience, VOLUME: 16, ISSUE: 8
AUTHORS: Williams, MH; Pattison, IM; Neves, JC;
PUBLISHED: 1986, SOURCE: Software - Practice and Experience, VOLUME: 16, ISSUE: 8
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID213
TITLE: SECURITY AND CO-OPERATIVENESS IN A LOGIC DATA BASE SYSTEM.
AUTHORS: Jose Carlos Ferreira Maia Neves;
PUBLISHED: 1984, SOURCE: ECAI-84: Proceedings of the Sixth European Conference on Artificial Intelligence.
AUTHORS: Jose Carlos Ferreira Maia Neves;
PUBLISHED: 1984, SOURCE: ECAI-84: Proceedings of the Sixth European Conference on Artificial Intelligence.
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID214
TITLE: LOGIC INTERPRETER TO HANDLE TIME AND NEGATION IN LOGIC DATA BASES.
AUTHORS: Jose Carlos Ferreira Maia Neves;
PUBLISHED: 1984, SOURCE: Proceedings of the 1984 Annual Conference of the Association for Computing Machinery: The Fifth Generation Challenge. in Proceedings of the Annual Conference of the Association for Computing Machinery
AUTHORS: Jose Carlos Ferreira Maia Neves;
PUBLISHED: 1984, SOURCE: Proceedings of the 1984 Annual Conference of the Association for Computing Machinery: The Fifth Generation Challenge. in Proceedings of the Annual Conference of the Association for Computing Machinery
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID215
TITLE: Evaluation of alternative microcomputer systems for retrieval of scientific references
AUTHORS: Davis, RH; Rinaldi, C; Neves, J;
PUBLISHED: 1982, SOURCE: Online Information Review, VOLUME: 6, ISSUE: 6
AUTHORS: Davis, RH; Rinaldi, C; Neves, J;
PUBLISHED: 1982, SOURCE: Online Information Review, VOLUME: 6, ISSUE: 6
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID