Jorge Santos

14 papers A* 1B 2C 3Misc 1Unranked 7
YearRankTypeTitle / Venue / Authors
2010 — conf
Engineering Time in an Ontology for Power Systems through the Assembling of Modular Ontologies.
ICINCO (1)
Jorge Santos, Luís Braga, Anthony G. Cohn
2010 — conf
FONTE - A Protégé Plugin for Engineering Complex Ontologies by Assembling Modular Ontologies of Space, Time and Domain Concepts.
ICEIS (2)
Jorge Santos, Luís Braga, Anthony G. Cohn
2010 — conf
FONTE: A Protégé Plug-in for Engineering Complex Ontologies.
ICEIS
Jorge Santos, Luís Braga, Anthony G. Cohn
2007 — conf
The verification of temporal knowledge based systems - a case-study on power-systems.
ICINCO-ICSO
Jorge Santos, Zita A. Vale, Carlos Ramos, Carlos Serôdio
2003 A* conf
Engineering a complex ontology with time.
IJCAI
Jorge Santos, Steffen Staab
2003 B conf
FONTE: factorizing ONTology engineering complexity.
K-CAP
Jorge Santos, Steffen Staab
2002 C conf
On the Verification of an Expert System: Practical Issues.
IEA/AIE
Jorge Santos, Zita A. Vale, Carlos Ramos
1999 — conf
An Expert System for Intelligent Information Processing in Portuguese Power System Control Centers.
ICEIS
Zita A. Vale, Carlos Ramos, Luíz Faria, Jorge Santos, Nuno Malheiro, António Silva, Albino Marques
1999 C conf
Enabling Client-Server Explanation Facilities in a Real-Time Expert-System.
IEA/AIE
Nuno Malheiro, Zita A. Vale, Carlos Ramos, Jorge Santos, Albino Marques
1999 Misc conf
VERITAS - A Verification Tool for Real-Time Applications in Power System Control Centers.
FLAIRS
Jorge Santos, Luíz Faria, Carlos Ramos, Zita A. Vale, Albino Marques
1999 B conf
VERITAS - An Application for Knowledge Verification.
ICTAI
Jorge Santos, Carlos Ramos, Zita A. Vale, Albino Marques
1999 — conf
Validation and Verification of Knowlege-Based Systems for Power Systzem Control Centres.
EUROVAV
Jorge Santos, Carlos Ramos, Zita A. Vale, Albino Marques
1999 C conf
Verification of Knowledge Based-Systems for Power System Control Centres.
IEA/AIE
Jorge Santos, Luíz Faria, Carlos Ramos, Zita A. Vale, Albino Marques
1998 — conf
Knowledge-Based Systems for power system control centers: validation and verification?
EUROVAV
Zita A. Vale, Carlos Ramos, Jorge Santos, M. Fernanda Fernandes, Couto Rosado, Albino Marques