· P. Sousa, C. Ramos e J. Neves, “Fabricare: A Prototype System for Dynamic Scheduling of Manufacturing Orders”, Journal of Intelligent Manufacturing, Kluwer Academic Press, 2003
·
P.
Sousa, C. Ramos e J. Neves, “The Fabricare System”,
Production and Planning,
· R. Mendes, J. Kennedy, J. Neves, The Fully Informed Particle Swarm: Simpler, Maybe Better, Author: Rui Mendes and James Kennedy and José Neves, Journal: IEEE Transactions of Evolutionary Computation, to appear.
·
C.
Analide, J. Machado, E. Gomes e J. Neves, Anthropopathic
Agents in E-Learning Systems Applied to the Area of Medicine, in
Proceedings of the Second IASTED International
Conference – Artificial Intelligence and Applications (ISBN 0-88986-390-3), Benálmadena, Espanha, 2003.
·
A.
Abelha, J. Machado, M. Santos, S. Allegro, F. Rua, M. Paiva e J. Neves, Agency
for Integration, Diffusion and Archive of Medical Information, in
Proceedings of the Second IASTED International
Conference – Artificial Intelligence and Applications(ISBN 0-88986-390-3), Benálmadena, Espanha, 2003.
·
R.
Mendes, J. Kennedy e J. Neves, Avoiding the Pitfalls of Local Optima: How
topologies can Save the Day, Proceedings of the 12th Conference Intelligent
Systems Application to Power Systems (ISAP2003), IEEE Computer Society,
·
R.
Mendes, J. Kennedy e J. Neves, Watch Thy Neighbor Or
How The Swarm Can Learn From Its Environment, Proceedings of the Swarm
Intelligence Symposium (SIS-2003), IEEE Computer Society,
·
M.
Rocha, P. Cortez, J. Neves, Adaptive Learning in Changing Environments,
Proceedings of the European Symposium on Artificial Neural Networks
(ESANN-2003), pp. 487-492, Brugge, , Abril 2003.
·
C.
Tavares Ribeiro, C. Ribeiro,
P. Dias, M. Rocha, J. Neves, An Interdisciplinary
E-learning System for the K-6, Proceedings of the IASTED
Intern. Conference on Computers and Advanced Technology in Education
(CATE-2003), ACTA Press, pp.67-72,
·
M.
Rocha, P. Cortez, J. Neves, Evolutionary
Neural Network Learning, Proceedings of the Encontro Português de Inteligência Artificial
(EPIA'2003), LNCS, Springer,
Beja, Dezembro de 2003.
·
P.
Alípio, P. Carvalho, J.
Neves, Using CLIPS to Detect Network Intrusion, EPIA'03, in Lecture Notes on
Artificial Intelligence, Springer Verlag, Dezembro 2003.
·
P. Cortez, M. Rocha and J. Neves. A Lamarckian Approach
for Neural Network Training. In Neural Processing Letters, Kluwer Academic Publishers, 15 (2): 105-116, April, 2002,
The Netherlands.
· P. Cortez, F. Sollari Allegro, M. Rocha and J. Neves. Real-Time Forecasting by Bio-Inspired Models. In M.H. Hamza Ed., Proceedings of the Second IASTED International Conference on Artificial Intelligence and Applications (AIA 2002), Málaga, Spain, September, pp. 52-57, 2002, IASTED ACTA Press.
· R. Mendes, P. Cortez, M. Rocha and J. Neves. Particle Swarms for Feedforward Neural Network Training. In Proceedings of The 2002 International Joint Conference on Neural Networks (IJCNN 2002), Honolulu, Havai, USA, May, pp. 1895-1899, 2002, IEEE Computer Society.
·
Novais, P., Neves, J.
Pre-Argumentative Processes in e-Commerce Systems.. in Proceedings I Workshop de Teses e Dissertações
em Inteligência Artificial
(WTDIA'02). Recife,
Brasil, 2002.
· Analide C., Neves J., Antropopatia em Entidades Virtuais”, in Proceedings I Workshop de Teses e Dissertações em Inteligência Artificial (WTDIA'02). Recife, Brasil, 2002.
·
Novais, P., Neves, J.,
Brito, L., Machado, J. Argumentative Procedures in
e-Commerce Environments. In Proceedings IFIP 2002 - The Second IFIP
Conference on e-Commerce, e-Business, e-Government. Lisboa, Portugal, Monteiro J, Swatman P and
Tavares L. (eds), Kluwer Academic Publishers 2002 (ISBN 1402072392).
· Brito, L., Novais, P., Gomes, É., Neves, J. The Enterprise of Medicine: Stock Taking in Healthcare through Virtual Marketplaces. in Proceedings AIA02 - IASTED International Conference on Artificial Intelligence and Applications. Málaga, Spain, 2002.
·
Novais, P., Brito, L., Neves, J. The Concepts of Gratitude, Delegation
and Agreement in EC-Environments. in
Proceedings ICEIS 2002 - 4th International Conference
on Enterprise Information Systems. Universidad
de Castilla-La Mancha, Ciudad Real, Spain, 2002.
· Brito, L., Neves, J., Properties and Complexity in Feasible Logic-Based Argumentation for Electronic Commerce, in Proceedings of the VIII Iberoamerican Conference on Artificial Intelligence (IBERAMIA2002), Seville, Spain, 2002.
· Brito, L., Neves, J., Argument Exchange in Heterogeneous Electronic Commerce Environments, in Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS2002), Bologna, Italy, 2002.
· Brito, L., Novais, P., Neves, J., The Logic Behind Negotiation: From Pre-Argument Reasoning to Argument-Based Negotiation. in Intelligent Agent Software Engineering, Ed. Plekhanova V. Idea Group Publishing.
· Alves V., Neves J., Maia M., Nelas L., Medical Image Processing using Extended Logic Programming and Artificial Neural Networks. PromCom-2002 - 4th EURASIP - IEEE Region 8 International Symposium on Video Processing and Multimedia Communications, Zadar, Croacia, 2002;
· P. Cortez, M. Rocha and J. Neves. A Meta-Genetic Algorithm for Time Series Forecasting. In Luís Torgo Ed., Proceedings of Workshop on Artificial Intelligence Techniques for Financial Time Series Analysis (AIFTSA -01), 10th Portuguese Conference on Artificial Intelligence (EPIA'01), Porto, Portugal, December, pp. 21-31, 2001.
· V. Alves, J. Neves, M. Maia, L. Nelas. Computer Tomography based Diagnosis using Extended logic programming and Artificial Neural Networks. Proceedings of the Internatinal NAISO Congress on INFORMATION SCIENCE INNOVATIONS, ISI2001, Dubai, U.A.E., March 17-21, 2001.
· P. Cortez, M. Rocha, J. Neves. Genetic and Evolutionary Algorithms for Time Series Forecasting. Proceedings of the IEA/AIE-2001: The 14th International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems, Budapest, Hungary, June 4-7.
· L. Brito, C. Vilela, J. Neves. An Architecture for Planning in Labour-Intensive Environments through Agent Modelling and Evolutionary Programming. Proceeding of the 15th European Simulation Multiconference – ESM2001, Prague Czech Republic, Junen 6-9, 2001
· M. Rocha, R. Mendes, P. Cortez, J. Neves. Sitting Guests at the Wedding Party: Experiments on Genetic and Evolutionary Constrained Optimization. Proceedings of the Congress on Evolutionary Conputation-CEC2001, May 27-30, Seoul, Corea.
· P. Cortez, M. Rocha, J. Neves. Lamarckian Training of Feedforward Neural Networks. Proceedings of the ESANN’2001, , April 25-27,Bruges, Belgium.
· P. Cortez, M. Rocha, J. Neves. Evolving Time Series Forecasting Neural Network Models. Proceedings of the International Symposium on Adaptative Systems: Evolutionary Computation and Probabilistic Graphical Models – ISAS 2001, March 19-23, Cuba.
· V. Alves, J. Neves, M. Maia, L. Nelas. Knowledge Discovery and Data Mining in Medical Reports. CIMA2001, Bangor, Wales, United Kingdom, June 19-22, 2001.
· Brito L., Novais P., Neves J., Temporality, Priorities and Delegation in an E-Commerce Environment, in 14th Bled Electronic Commerce Conference, Bled, Slovenia, June 25-26, 2001.
· Novais P., Brito, L., and Neves J., Developing Agents for Electronic Commerce – A Constructive Approach, in SCI 2001 - 5th World Multiconference on Systemics, Cybernetics and Informatics, Orlando, USA, July 22-25, 2001.
· Brito, L., Ribeiro, J., Neves, J., Comparing Strategies for Agent-Based Dynamic Scheduling in the MADySUM Workbench, in Proceedings of the IASTED International Conference on Artificial Intelligence and Soft Computing, Cancun (ASC2001), Mexico, 2001.
· Brito, L., Vilela, C., Neves, J., An Architecture for Planning in Labour-Intensive Environments through Agent Modelling and Evolutionary Programming, in Proceedings of the 15th European Simulation Multiconference (ESM2001), Prague, Czech Republic, 2001.
· Brito, L., Novais, P., Neves, J., On the Logical Aspects of Argument-Based Negotiation Among Agents, in Proceedings of the 5th International Workshop on Cooperative Information Agents (CIA-2001), Modena, Italy, 2001.
· Brito, L., Neves, J., Discussing Logic-Based Argumentation in Extended Electronic Commerce Environments, in Proceedings of the Workshop "Adventures in Argumentation" at the Sixth European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'01), Toulouse, France, 2001.
· Brito L., Novais P., and Neves J Mediation, Agreement and Gratitude in Strategic Planning for Virtual Organizations. in Enterprise Information Systems 2001, Ed. Sharp B., Filipe J., and Cordeiro J., Kluwer Academic Publishers, July 2001, ISBN 0-7923-7177-1.
· M. Rocha, C. Vilela, J. Neves. A Study of Order Based Genetic and Evolutionary Algorithms in Combinatorial Optimization Problems. Proceedings of the IEA/AIE-2000: The 13th International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems, New Orleans, Louisiana, USA, Lecture Notes in Artificial Intelligence, Springer, Jun/2000.
· M. Rocha, P. Cortez, J. Neves. The Relationship between Learning and Evolution in Static and Dynamic Environments. Proceedings of the Engineering of Intelligent Systems (EIS-2000) Conference, Paisley, UK, Jul/2000.
· C. Vilela, P. Cortez, M. Rocha, J. Neves. Viewing the Job-Shop Scheduling Problem through Genetic and Evolutionary Algorithms.Proceedings of the Bio-SP3 Workshop, International Symposyum on Parallel and Distributed Systems (ISPDS-2000), Cancun, Mexico, Apr/2000.
· M. Costa, O. Sousa, J. Neves. Case Retrieval Nets in AI & Law. 8th German Workshop on Case Based Reasoning (GWCBR'2000),Lammerbuckel, Germany, Mar/2000.
· O. Sousa, M. Costa, Z. Vale, C. Ramos, J. Neves. An Object-Oriented Agents Architecture for Power Distribution Automation. Second International ICSC Symposium on Engineering of Intelligent Systems (EIS'2000), Paisley, UK, Jul/2000.
· M. Costa, O. Sousa, J. Neves. Foundations for Legal Knowledge Management. The Knowledge Management Conference (KMAC'2000), Birmingham, UK, Jul/2000.
· M. Costa, J. Neves. A Framework for Legal Knowledge Management.Workshop on Flexible Strategies for Maintaining Knowledge Containers (14th European Conference on Artificial Intelligence - ECAI'2000), Berlin, Germany, Aug/2000.
· M. Costa, J. Neves. Practical Knowledge Management in the Legal Domain.4th International Conference on Knowledge-based Intelligent Engineering Systems & Allied Technologies (KES'2000),Sussex, UK, Aug-Set/2000.
· J. Neves, V. Alves, L. Nelas, M. Maia, R. Cruz. A Multi-Feature Image Classification System that Reduces the Cost-of-Quality Expenditure Second International ICSC Symposium on Engineering of Intelligent Systems - EIS'2000, Paisley, UK, Jul/2000.
· L. Brito, P. Novais, J. Neves. Mediation, Agreement and Gratitude in Strategic Planning for Virtual Organizations. Proceedings of the ICEIS 2000 - International Conference on Enterprise Information Systems, Stafford, UK, July 4-7, 2000.
· L. Brito, P. Novais, J. Neves. A General Agent-Based Architecture for Production Planning in Electronic Commerce Scenarios. in Proceedings of the ESM 2000 - 14th European Simulation Multiconference, Ghent, Belgium, May 23-26, 2000.
· P. Novais, L. Brito, J. Neves. Experience-Based Mediator Agents as the basis of an Electronic Commerce System.Proceedings of the Workshop 2000 Agent-Based Simulation,Passau, Germany, May 2-3, 2000.
· P. Novais, L. Brito, J. Neves. Agreement in Virtual Marketplaces with CBR-Supported Negotiation. Proceedings of the PAAM 2000 - The Fifth International Conference and Exhibition on the Pratical Application of Intelligent Agents and Multi-Agents, Manchester, UK, Apr/2000.
·
P.
Sousa, C. Ramos, J. Neves. Manufacturing Entities with Incomplete
Information. Studies in Informatics and Control Journal, vol. 9,nº. 2,
pp.79-88, Jun/2000. National Institute for R&D in Infomatics. Roménia.
· P. Sousa, C. Ramos, J. Neves. Fabricare: An Integrated View of a Distributed Manufacturing System.Proceedings of the 6th International Conference on Intelligent Autonomous Systems (IAS-6), pp.423-428, Veneza, Itália, Jul/2000.
· J. Tavares, C. Ramos, J. Neves. Using Genetic Algorithms in a Constraint Programming Framework to Optimise Facility Layout Design Problems. The Practical Application of Constraint Technologies and Logic Programming (PACLP'2000), Manchester, UK, Apr/2000.
· J. Tavares, C. Ramos, J. Neves. Addressing the Layout Design Problem Through Genetic Algorithms and Constraint Logic Programming. Third IASTED International Conference of Artificial Intelligence and Soft Computing (ASC'2000), Banff, Alberta, Canada, Jul/2000.
· Brito, J. Neves, F. Moura. Mobile Agent Based Architecture for Virtual Enterprises.L. Proceedings of the 2nd IFIP Working Conference on Infrastructures for Virtual Enterprises, Florianopolis, Brazil, Dec/2000.
· L. Brito, J. Neves. Agreement and Coalition Formation in Multiagent-Based Virtual Marketplaces. Proceedings of the IEA/AIE-2000: The 13th International Conference on Industrial & Engineering Applications of Artificial Intelligence & Expert Systems, New Orleans, Louisiana, USA, Lecture Notes in Artificial Intelligence, Springer, Jun/2000.
·
Cesar Analide, José Neves, Representação de Informação Incompleta, em Actas
de 1ª CAPSI, Conferência da Associação Portuguesa de
Sistemas de Informação, 25-27 de Outubro, Universidade do Minho, Guimarães,
Portugal.
· Neves J., Abelha A., Machado J., Alves V., Rocha M., Cortez P. Basto S. and Botelho H., An Unified Framework for Data Modeling on Medical Information Systems, the XV International Congress of the European Federation for Medical Informatics (MIE-99), August 22-26, Ljubljana, Slovenia, 1999.
· Cortez P., Rocha M. and Neves J., An Evolutionary and Connectionist Approach of Time Series Forecasting, the Thirteenth International Conference on Systems Engineering (ICSE-99), August 10-12, Las Vegas, Nevada, USA, 1999.
· Sousa P., Ramos C. and Neves J., Contracting Tasks between Autonomous Resources - an Application to Scheduling of Manufacturing Orders, the Practical Application of Intelligent Agents and Multi-Agent Technology (PAAM-99), April 19-23, London, UK, 1999.
· Tavares J., Ramos C. and Neves J., Constraint Programming Approach to Solve Facility Layout Design Problems, the International Symposium on Assembly and Task Planning (ISATP’99), July 21-24, Porto, Portugal, 1999.
· Neves J., Alves V., Nelas N., Romeu A., Basto A., An Information System That Supports Knowledge Discovery And Data Mining in Medical Imaging, the Workshop on Machine Learning in Medical Applications, July 5-16, Chania, Greece, 1999.
· Costa M., Sousa O., Neves J., Legal Knowledge Management, the AAAI-99 Workshop on “Exploring Synergies of Knowledge Management and Case-Based Reasoning”, July 27-30, Munich, Germany, 1999.
· Vilela C., Brito L., Rocha M., Neves J., An Evolutionary and Genetic View of the Job-Shop Scheduling Problem, the 11th European Simulation Symposium and Exhibition (ESS99), October 26-28, Erlangen-Nuremberg, Germany, 1999.
· Tavares J., Ramos C. and Neves J., A Model to Solve the Facility Layout Problem using Constraint Logic Programming (as a poster), a Conference on the Practical Application of Constraint Technologies and Logic Programming (PACLP-99), April 19-23, London, UK, 1999.
· Sousa P., Ramos C., Neves J., Manufacturing Entities with Incomplete Information, the Second International Conference Workshop on Intelligent Manufacturing Systems (IMS99) and 1999 Advanced Summer Institute (ASI’99), September 22-24, Leuven, Belgium, 1999.
· Rocha M. and Neves J., Preventing Premature Convergence to Local Optima in Genetic Algorithms via Random Offspring Generation, the Twelfth International Conference on Industrial & Engineering Applications of Artificial Intelligence and Expert Systems (IEA/AIE-99), May 31-June 3, Cairo, Egypt, 1999.
· Neves J., Rocha M., Rodrigues H., Biscaia M. and Alves J., Adaptive Strategies and the Design of Evolutionary Applications, the Genetic and Evolutionary Computation Conference (GECCO-99), July 13-17, Orlando, Florida, USA, 1999.
· Costa N., Neves J., Sousa O., Santos S., Verification and Normalization of Sentences, the Seventh International Conference on Artifitial Intelligence and Law, June 14-18, Oslo, Norway, 1999.
· Costa M., Sousa O., Neves J., An Application of Case-Based Reasoning in the Legal Domain, the IJCAI’99 Affiliate Event: Networks’99, August 9-10, Espoo, Finland, 1999.
·
Novais
P., Videira A., Tavares M., Neves J. Desenvolvimento de Assistentes Pessoais
para Suporte a Actividades de Bens e Serviços. em Actas de EEI´99 -
Encontro de Engenharia Informática 99, Ordem dos Engenheiros, Braga, Portugal, 1999.
· Neves J. and Smirnov E. Parametric Version Space Approach to Concept Learning, in Journal of Computer and System Sciences International (The Leading Journal of the Russian Academy of Sciences in Control and Systems), Volume 37, pages 708-728, 1998.
· Costa M., Sousa O., Neves J., An Architecture to Legal Distributed Case Repositories, the Eleventh International Conference on Legal Knowledge Based Systems (JURIX), December 8-9, Groningen, The Netherlands.
· Neves J. and Cortez P. Combining Genetic Algorithms, Neural Networks and Data Filtering for Time Series Forecasting, to appear in Proceedings of the 2nd International Conference on Circuits, Systems and Computers (an IMACS International Conference), Piraens, Greece, 1998.
· Cunha A. and Neves J. A Game-Theoretic Approach to the Socialization of Utility-based Agents, in Proceedings of the Third International Conference on Multi-Agent Systems, Paris, France, 1998 (Poster).
· Neves J., Machado J., Cortez P., Arteiro A. and Vicente H. A Distributed Web-based Quality Water Diagnosis System in Lakes and Reservoirs, in Proceedings of ESS'98, European Simulation Symposium, Nothingham, UK, 1998.
· Costa M., Sousa O. and Neves J. Using Simulation in the Application of The Law, in Proceedings of the Internation ICSC Symposium on Engineering of Intelligent Systems, Tenerife, Spain, 1998.
· Santos M., Neves J., Modelling Learning Classifiers As Multiagents Systems, the II Iberoamerican Workshop on D.A.I. and M.A.S., Octobler 1-2, Toledo, Spain, 1998.
· Santos M., Neves J. and Belo O. Agents and Classifiers - A Transaction Logic Approach, in Proceedings of the 2nd International Conference on Knowledge-based Intelligent Electronic Systems (an IEEE International Conference), Adelaide, Australia, 1998.
· Costa M., Sousa O., Neves J., Indexing the Law, the Deuxieme Conference Franco-Americaine, Juin 11-12, Nice, France, 1998.
·
Tomé P., Amaral L. and Neves J. Sistema Inteligente para o
Processamento de Objectivos, Revista
Sistemas de Informação (6), 1997.
· Neves J., Cortez P., An Artifitial Neural Network – Genetic Based Approach for Time Series Forecasting, the Ivth Brazilian Symposium on eural Networks (SBRN’97), December 03-05, Goiania, Brazil, 1997.
· Neves J., Smirnov E. and Analide C. Incremental Learning of Inheritance, ISAS'97 - Intelligent Systems and Semiotics 97, Gaitherburs, USA, 1997.
· Neves J., Machado J. and Abelha A. The Application of Artificial Intelligence to Law Enforcement, Proceedings of the International Conference on Artificial Intelligence and Law, Melbourne, Australia, 1997.
· Belo O. and Neves J. The BEABLE System: A Distributed Computational Environment for Multi-Agent Systems Implementation, The Workshop on Multi-Agent Systems: Theory and Applications (MASTA'97), under the auspices of the Portuguese Conference on Artificial Intelligence (EPIA'97), Coimbra, Portugal, 1997.
· Machado J., Neves J. and Analide C. A Multi-Agent Computational Framework for Dynamic Systems, Proceedings of the 15th IASTED International Conference, Applied Informatics, Innsbruck, Austria, 1997.
· Neves J. and Machado J. Rapid Prototyping in Concurrent Engineering - A Model and its Language, Proceedings of the International Conference on Concurrent Engineering and Electronic Design Automation, Erlangen, Germany, 1997.
· Neves J. and Machado J. Formalizing Context in Knowledge Management Systems, Proceedings of the International Workshop Distributed Artificial Intelligence and Multi-Agent Systems (DAIMAS'97), St Petersburg, Russia, 1997.
· Neves J., Machado J., Abelha A., Steps Toward Formalizing Context in Discrete Event Simulation, the Internationa Ocnference on Artifitial Intelligence and Soft Computing (IASTED’97), July 21 to August 01, Banff, Canada,1997.
· Neves J., Machado J., Analide C., Novais P. and Abelha A. Extended Logic Programming Applied to the Specification of Multi-Agent Systems and their Computing Environment, Proceedings of ICIPS'97, Special Session on Intelligent Networked Agent Systems, Beijing, China, 1997.
·
Neves J., Machado J., Abelha A., Frois
I. and Sousa P. A Informática no Sistema Judiciário, Actas do Encontro Nacional do Colégio de
Electrotecnia da Ordem dos Engenheiros, Matosinhos, Portugal, 1997.
· Belo O. and Neves J. An Architecture for Multi-Agent Systems Communities, 10th International FLAIRS Conference, Florida, USA, 1997.
· Machado J. and Neves J. Disributed Interactive Simulation, European Simulation Symposium, Passau, Germany, 1997.
· Neves J., Machado J., Novais P. and Abelha A. A Multi-Agent System for Law Enforcement Simulation, European Simulation Symposium, Passau, Germany, 1997.
· Costa L. and Neves J. An Intelligent Self-Organizing System for Dynamic Load Balancing, 5th IASTED International Conference Robotics and Manufacturing, Cancun, Mexico, 1997.
· Machado J., Novais P., Abelha A. and Neves J. Addressing Problem-Solving in a Distributed Computational Architecture, 3rd International Congress of Industrial Engineering (ENEGEP'97), Gramado, Brasil, 1997.
· Belo O. and Neves J. Multi-Agent Systems Interaction Through Intelligent Routing Services, IEEE First International Conference on Intelligent Processing Systems, Beijing, China, 1997.
· Neves J., Machado J., Costa L. and Cortez P. A Software Agent Distributed System for Dynamic Load Balancing, European Simulation Multi-Conference (ESM 96), Budapest, Hungary, 1996.
· Cortez P., Machado J. and Neves J. An Evolutionary Artificial Neural Network Time Series Forecasting System, IASTED International Conference on Artificial Intelligence, Expert Systems and Neural Networks, Honolulu, Hawaii, 1996.
· Neves J., Machado J., Abelha A. and Novais P. A Multi-Agent Framework for System Simulation, 8th European Simulation Symposium (ESS'96), Genoa, Italy, 1996.
· Neves J. and Machado J. The Application of Web-Based Multi-Agent Technology to Simulation Modelling, Euromedia 1996, London, UK, 1996.
· Belo O. and Neves J. A Distributed Problem Solving Environment for Multi-Agent Systems, Third World Congress on Expert Systems, Seoul, Korea, 1996.
· Cortez P., Machado J., and Neves J. Time Series Forecasting in a Distributed Environment, IBERAMIA 96, Puebla, Mexico, 1996.
· Cortez P., Rocha M., Machado J., and Neves J. A Neural Network Based Time Series Forecasting System, the 1995 IEEE International Conference on Neural Networks, Perth, Western Australia, 1995.
· Neves J., Machado J., and Ribeiro A. A Many Sorted First-Order Dynamic Logic in Discrete Event Simulation, 7th European Simulation Symposium, Erlangen, Germany, 1995.
· Neves J., Machado J. An Object-Oriented Dynamic Logic Based Modelling and Simulation Environment, BICSC'95 (The Third Beijing International Conference on System Simulation and Scientific Computing), China, 1995.
· Belo, O., and Neves J. A Prolog Implementation of a Computing Environment for Multi-Agent Systems Based Applications, The Practical Application of Prolog (PAP'95), Paris, France, 1995.
· Belo O., Neves J., Multi-Agent Systems Based Distributed Intelligence Simulation, the EuroSim’95 Simulation Congress, 1995.
· Belo O., Neves J., Cooperation Among Opportunistic Agents on a Distributed Environment, the First Australian Workshop on DAÍ, November, Camberra, Australia, 1995.
· Belo O., and Neves J. Consistency Revision in a Distributed Multi-Agent System Environment, Descentralized Intelligent and Multi-Agent Systems Workshop, Cracow, Poland, 1995.
· Neves J. and Mendes R. A Distributed Concurrent Logic Programming Language and its Interpreter, the 5th International Workshop on Distributed Data Processing (DDP'95), Novosibirsk, Siberia, Russia, 1995.
· Santos M., and Neves J. A distributed computational environment for genetic-based classifier systems, The Eight Australian Joint Conference on Artificial Intelligence, Canberra, Australia, 1995.
· Neves J., Ribeiro A., Reactive Systems and the Simulation of Industrial Processes – A Dynamical Logic View, the Proceedings of the European Simulation Symposium (ESS’94), October 9-12, Istambull, Turkey, 1994.
· Oliveira, E., Mendes, T., Morujão, N., and Neves, J., A Decision Support System for Blood Gases Analysis, The World Congress on Expert Systems, Lisbon/Estoril, Portugal, 1994.
·
Moreira
M., Carvalho F. and Neves J., Sistema Pericial Genérico para
Diagnóstico de Placas de Hardware, 1º
Encontro Nacional do Colégio de Engenharia Electrotécnica, Feira
Internacional de Lisboa, 1994.
· Mendes, R., and Neves, J., Genetic Algorithms, Classifiers and Parallelism - An Object Oriented Approach, The Second World Congress on Expert Systems, Lisbon/Estoril, Portugal, January 10-14, 1994.
· Ribeiro, A., Alves, V., and Neves, J., Distributed Problem Solving - A Case Study, 1994 ITEC/CONCURRENT Engineering Conference, The Hague, The Netherlands, 1994.
· Neves J., Alves V. and Santos M., An Adaptable and Dynamic Architecture for Distributed Problem-Solving Based on the Blackboard Paradigm, 6th ERCIM workshops, Stockholm, 1994.
· Ribeiro, A., Alves, V., and Neves, J., Parallel Distributed Processing in Discrete Event Simulation - A Process Oriented Approach, European Simulation Symposium 1993, Delft, The Netherlands, October 25-28, pp 135-140, 1993.
· Garrido, P., Neves, J., Mapping a Prolog Subset to Neural Networks, NEURO-NIMES' 91, Nimes, 1991.
· Neves, J. C., and Garrido, P., Amalgamating the Neural and Logic Computing Paradigms, ICANN-91, Finland, 1991.
· Garrido, P., and Neves, J. C., On the Characterization of Knowledge-Based Control Systems, IMACS MCTS 91, Lille, France, May 7-10, 1991.
· Garrido, P., and Neves, J.C., A Control Systems Simulation Methodology in Concurrent Prolog, 1990 European Simulation Symposium, Ghent, Belgium, 1990.
· Santos, A. J. T., Freitas, V. L. B., and Neves, J. C., Temporal Logic and Concurrent Logic Programming in Protocol Specification, Verification and Prototyping, EUTECO 88 - Research into Networks and Distributed Applications, North-Holland Publishing Company, Vienna, Austria, April 20-22, 1988.
· Mouta, F., Williams, H., and Neves J. C., Implementing Query Languages in Prolog, in PROLOG AND DATABASES - Implementations and New Directions, Hellis Horwood Series in Artificial Intelligence (editors P. M. D. Gray and R. J. Lucas), London, 1988.
· Neves J., Logic Programming in Textile Industry, the First European Conference on Information Technology for Organisational Systems, May 16-20, Athens, Greece, 1988.
· Freitas, V. L. B., Santos, A. J. T., Rodrigues, A. J. M. G., and Neves, J. C., An Operational Semantics for a Discrete Event Simulation Suite in Concurrent PROLOG, European Simulation Conference 1988 - Simulation Environments, Nice, France, 1988.
· Mouta F., Williams H., Neves J., Implementing Query Languages in Prolog, the prolog and databases: Implementation and Applications Workshop, December 10-11, Chesford Grange, Warwickshire, 1987.
·
Barbosa,
L. M. S., and Neves, J. C., Implementação de um Gerador Automático
de Grafos de Sincronização, EPIA-87,
Braga, Portugal, 7-9 October, 1987.
· Santos, A. J. T., Freitas, V. L. B. and Neves, J. C. F. M., The Specification and Prototyping of Communication Protocols: From Heterogeneous Temporal Logic to Concurrent PROLOG, IBERICOM'87 - 1st Iberian Conference on Data Communications, North-Holland Publishing Company, 19-21 May, 1987.
·
Mouta,
F. A., and Neves, J. C., Contribuições para um Diálogo
Inteligente Homem-Máquina, APPIA-87, Braga, Portugal,
7-9 October, 1987.
· Neves, J. C., Luger, G. F., and Alvaro, J. A., A Formalism for Views in a Logic Data Base, ACM Computer Science Conference, 227-231, Cincinnatti, Ohio, U.S.A., 1986.
· Freitas, V. L. B., and Neves, J. C., Formal Logic as a Model Specification Language for Discrete Event Simulation, 1986 Summer Computer Simulation Conference, Reno, Nevada, 28-30 July, 1986.
· Neves, J. C., A Logic Interpreter to Handle Time and Negation in Logic Data Bases, Proceedings of ACM 1984 Annual Conference, San Francisco, October 24-27, U.S.A., 1984.
·
Neves, J.
C., and