Alfredo Gabaldon Royval
AuthID: R-000-V5B
1
TÃTULO: Time is up! - Norms with deadlines in action languages
AUTORES: Knorr, M ; Gabaldon, A; Goncalves, R; Leite, J ; Slota, M;
PUBLICAÇÃO: 2013, FONTE: 14th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8143 LNAI
AUTORES: Knorr, M ; Gabaldon, A; Goncalves, R; Leite, J ; Slota, M;
PUBLICAÇÃO: 2013, FONTE: 14th International Workshop on Computational Logic in Multi-Agent Systems, CLIMA 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8143 LNAI
INDEXADO EM: 
Scopus 
CrossRef
Scopus CrossRef2
TÃTULO: Time Is Up! - Norms with Deadlines in Action Languages
AUTORES: Matthias Knorr; Alfredo Gabaldon; Ricardo Goncalves; Joao Leite ; Martin Slota;
PUBLICAÇÃO: 2013, FONTE: 14th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA) in COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, CLIMA XIV, VOLUME: 8143
AUTORES: Matthias Knorr; Alfredo Gabaldon; Ricardo Goncalves; Joao Leite ; Martin Slota;
PUBLICAÇÃO: 2013, FONTE: 14th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA) in COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, CLIMA XIV, VOLUME: 8143
INDEXADO EM: 
WOS
WOS3
TÃTULO: Making Golog Norm Compliant Full Text
AUTORES: Alfredo Gabaldon;
PUBLICAÇÃO: 2011, FONTE: 12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA) / 22nd International Joint Conference on Artificial Intelligence in COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, VOLUME: 6814
AUTORES: Alfredo Gabaldon;
PUBLICAÇÃO: 2011, FONTE: 12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA) / 22nd International Joint Conference on Artificial Intelligence in COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, VOLUME: 6814
4
TÃTULO: Non-Markovian control in the Situation Calculus Full Text
AUTORES: Alfredo Gabaldon;
PUBLICAÇÃO: 2011, FONTE: ARTIFICIAL INTELLIGENCE, VOLUME: 175, NÚMERO: 1
AUTORES: Alfredo Gabaldon;
PUBLICAÇÃO: 2011, FONTE: ARTIFICIAL INTELLIGENCE, VOLUME: 175, NÚMERO: 1
5
TÃTULO: Evolving logic programs with temporal operators
AUTORES: Alferes, JJ ; Gabaldon, A; Leite, J ;
PUBLICAÇÃO: 2011, FONTE: Symposium on Constructive Mathematics in Computer Science in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6565 LNAI
AUTORES: Alferes, JJ ; Gabaldon, A; Leite, J ;
PUBLICAÇÃO: 2011, FONTE: Symposium on Constructive Mathematics in Computer Science in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6565 LNAI
6
TÃTULO: A Logic Programming System for Evolving Programs with Temporal Operators
AUTORES: Jose Julio Alferes ; Alfredo Gabaldon; Joao Leite ;
PUBLICAÇÃO: 2009, FONTE: 14th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 5816
AUTORES: Jose Julio Alferes ; Alfredo Gabaldon; Joao Leite ;
PUBLICAÇÃO: 2009, FONTE: 14th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 5816
7
TÃTULO: Activity Recognition with Intended Actions
AUTORES: Alfredo Gabaldon;
PUBLICAÇÃO: 2009, FONTE: 21st Internation Joint Conference on Artifical Intelligence (IJCAI-09) in 21ST INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-09), PROCEEDINGS
AUTORES: Alfredo Gabaldon;
PUBLICAÇÃO: 2009, FONTE: 21st Internation Joint Conference on Artifical Intelligence (IJCAI-09) in 21ST INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-09), PROCEEDINGS
INDEXADO EM: Scopus WOS
Scopus WOS8
TÃTULO: Evolving Logic Programming based agents with temporal operators
AUTORES: Alferes, JJ ; Gabaldon, A; Leite, J ;
PUBLICAÇÃO: 2008, FONTE: 2008 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, IAT 2008 in Proceedings - 2008 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, IAT 2008
AUTORES: Alferes, JJ ; Gabaldon, A; Leite, J ;
PUBLICAÇÃO: 2008, FONTE: 2008 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, IAT 2008 in Proceedings - 2008 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, IAT 2008
9
TÃTULO: Non-Markovian Agent Evolution with EVOLP
AUTORES: José Júlio Alferes ; Alfredo Gabaldon; João Alexandre Leite;
PUBLICAÇÃO: 2008, FONTE: Programming Multi-Agent Systems, 31.08. - 05.09.2008, VOLUME: 08361
AUTORES: José Júlio Alferes ; Alfredo Gabaldon; João Alexandre Leite;
PUBLICAÇÃO: 2008, FONTE: Programming Multi-Agent Systems, 31.08. - 05.09.2008, VOLUME: 08361
INDEXADO EM: 
DBLP
DBLP