Author of the publication

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

, , , and . ICINCO-ICSO, page 179-185. INSTICC Press, (2007)978-972-8865-82-5.

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

AI in Power Systems and Energy Markets., and . IEEE Intelligent Systems, 26 (2): 5-8 (2011)Sparse: An Intelligent Alarm Processor and Operator Assistant., , , , , and . IEEE Expert, 12 (3): 86-93 (1997)How Portugal Celebrated AI's 50th Anniversary.. IEEE Intelligent Systems, 21 (4): 86-88 (2006)Decision Support System with Incomplete and Domain incoherent Information Management., , , , , and . Control and Intelligent Systems, (2007)VERITAS - An Application for Knowledge Verification., , , and . ICTAI, page 441-. IEEE Computer Society, (1999)A genetic algorithm for the dynamic single machine scheduling problem., , and . Advanced Network Enterprises, volume 181 of IFIP Conference Proceedings, page 315-324. Kluwer, (2000)Virtual Power Producers Integration Into Mascem., , , , and . Virtual Enterprises and Collaborative Networks, volume 243 of IFIP Advances in Information and Communication Technology, page 291-298. Springer, (2007)Intelligent system to study demographic evolution., , and . Data Mining and Knowledge Discovery: Theory, Tools, and Technology, volume 3695 of SPIE Proceedings, page 161-170. SPIE, (1999)Advanced Sensor Technology and Applications in Industrial Control System., , , and . IJDSN, (2013)Ubiquitous Sensor Networks and Their Application 2013., , and . IJDSN, (2014)