Jorge Santos

According to our database, Jorge Santos authored at least 14 papers between 1998 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Engineering Time in an Ontology for Power Systems through the Assembling of Modular Ontologies.

Jorge Santos, Luís Braga, Anthony G. Cohn

Proceedings of the ICINCO 2010, 2010

FONTE: A Protégé Plug-in for Engineering Complex Ontologies.

Jorge Santos, Luís Braga, Anthony G. Cohn

Proceedings of the Enterprise Information Systems - 12th International Conference, 2010

FONTE - A Protégé Plugin for Engineering Complex Ontologies by Assembling Modular Ontologies of Space, Time and Domain Concepts.

Jorge Santos, Luís Braga, Anthony G. Cohn

Proceedings of the ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems, Volume 2, AIDSS, Funchal, Madeira, Portugal, June 8, 2010

2007

The verification of temporal knowledge based systems - a case-study on power-systems.

Jorge Santos, Zita A. Vale, Carlos Ramos, Carlos Serôdio

Proceedings of the ICINCO 2007, 2007

2003

FONTE: factorizing ONTology engineering complexity.

Jorge Santos, Steffen Staab

Proceedings of the 2nd International Conference on Knowledge Capture (K-CAP 2003), 2003

Engineering a complex ontology with time.

Jorge Santos, Steffen Staab

Proceedings of the IJCAI-03, 2003

2002

On the Verification of an Expert System: Practical Issues.

Jorge Santos, Zita A. Vale, Carlos Ramos

Proceedings of the Developments in Applied Artificial Intelligence, 2002

1999

Verification of Knowledge Based-Systems for Power System Control Centres.

Jorge Santos, Luíz Faria, Carlos Ramos, Zita A. Vale, Albino Marques

Proceedings of the Multiple Approaches to Intelligent Systems, 1999

Enabling Client-Server Explanation Facilities in a Real-Time Expert-System.

Nuno Malheiro, Zita A. Vale, Carlos Ramos, Jorge Santos, Albino Marques

Proceedings of the Multiple Approaches to Intelligent Systems, 1999

VERITAS - An Application for Knowledge Verification.

Jorge Santos, Carlos Ramos, Zita A. Vale, Albino Marques

Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence, 1999

An Expert System for Intelligent Information Processing in Portuguese Power System Control Centers.

Zita A. Vale, Carlos Ramos, Luíz Faria, Jorge Santos, Nuno Malheiro, António Silva, Albino Marques

Proceedings of the 1st International Conference on Enterprise Information Systems, 1999

VERITAS - A Verification Tool for Real-Time Applications in Power System Control Centers.

Jorge Santos, Luíz Faria, Carlos Ramos, Zita A. Vale, Albino Marques

Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference, 1999

Validation and Verification of Knowlege-Based Systems for Power Systzem Control Centres.

Jorge Santos, Carlos Ramos, Zita A. Vale, Albino Marques

Proceedings of the Validation and Verification of Knowledge Based Systems, 1999

1998

Knowledge-Based Systems for power system control centers: validation and verification?

Zita A. Vale, Carlos Ramos, Jorge Santos, M. Fernanda Fernandes, Couto Rosado, Albino Marques

Proceedings of the 1998 European Workshop on Validation and Verification of Knowledge-Based Systems, 1998