Jorge Santos

Affiliations:
  • Instituto Superior de Engenharia do Porto, Porto, Portugal


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2010
Engineering Time in an Ontology for Power Systems through the Assembling of Modular Ontologies.
Proceedings of the ICINCO 2010, 2010

FONTE: A Protégé Plug-in for Engineering Complex Ontologies.
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.
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.
Proceedings of the ICINCO 2007, 2007

2003
FONTE: factorizing ONTology engineering complexity.
Proceedings of the 2nd International Conference on Knowledge Capture (K-CAP 2003), 2003

Engineering a complex ontology with time.
Proceedings of the IJCAI-03, 2003

2002
On the Verification of an Expert System: Practical Issues.
Proceedings of the Developments in Applied Artificial Intelligence, 2002

1999
Verification of Knowledge Based-Systems for Power System Control Centres.
Proceedings of the Multiple Approaches to Intelligent Systems, 1999

Enabling Client-Server Explanation Facilities in a Real-Time Expert-System.
Proceedings of the Multiple Approaches to Intelligent Systems, 1999

VERITAS - An Application for Knowledge Verification.
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.
Proceedings of the 1st International Conference on Enterprise Information Systems, 1999

VERITAS - A Verification Tool for Real-Time Applications in Power System Control Centers.
Proceedings of the Twelfth International Florida Artificial Intelligence Research Society Conference, 1999

Validation and Verification of Knowlege-Based Systems for Power Systzem Control Centres.
Proceedings of the Validation and Verification of Knowledge Based Systems, 1999

1998
Knowledge-Based Systems for power system control centers: validation and verification?
Proceedings of the 1998 European Workshop on Validation and Verification of Knowledge-Based Systems, 1998


  Loading...