Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
You are here:

CENTRIA past seminars

Problems and prospects for formal proofsProblems and prospects for formal proofs by Jesse Alama, CENTRIA Seminar, 9 of December 2009, 14:00, DI/FCT Read more...
9th of December 2009
Searching for the Mechanisms of CognitionSearching for the Mechanisms of Cognition by Clark Glymour, CENTRIA Seminar, 25 of November 2009, 14:00, DI/FCT Read more...
25th of November 2009
Learning Attack Sequences and Pre- and Post-Conditions for Attack GraphsLearning Attack Sequences and Pre- and Post-Conditions for Attack Graphs by Choh Man Teng, CENTRIA Seminar, 11 of November 2009, **13:30**, DI/FCT Read more...
11th of November 2009
ESP: A Logic of Only-Knowing, Noisy Sensing and ActingESP: A Logic of Only-Knowing, Noisy Sensing and Acting by Alfredo Gabaldon, CENTRIA Seminar, 21 of October 2009, 15h00, DI/FCT Read more...
21st of October 2009
Prediction of RNA Secondary StructurePrediction of RNA Secondary Structure by Olivier Perriquet, CENTRIA Seminar, 1 of October 2009, 15h00, DI/FCT Read more...
1st of October 2009
DNA and Natural Languages: Text MiningDNA and Natural Languages: Text Mining by Veronica Dahl, CENTRIA Seminar, 1 of October 2009, 14h00, DI/FCT Read more...
1st of October 2009
Evolutionary dynamics of collective actionEvolutionary dynamics of collective action by Francisco C. Santos, CENTRIA Seminar, 14 of July 2009, 15h00, DI/FCT Read more...
14th of July 2009
Extended Argumentation FrameworksExtended Argumentation Frameworks by Sanjay Modgil, CENTRIA Seminar, 24 of June 2009, 14h00, DI/FCT Read more...
24th of June 2009
Markov Temporal LogicMarkov Temporal Logic by Wojtek Jamroga, CENTRIA Seminar, 17 of June 2009, 14h00, DI/FCT Read more...
17th of June 2009
Constraint Reasoning for Differential ModelsConstraint Reasoning for Differential Models by Jorge Cruz, CENTRIA/CMA Seminar, 3 of June 2009, 11h30, DM/FCT Read more...
3rd of June 2009
complete listing | pages: [1] | 2

Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

Fundacao_FCT