Alfredo Gabaldon Royval
AuthID: R-000-V5B
1
TITLE: Time is up! - Norms with deadlines in action languages
AUTHORS: Knorr, M ; Gabaldon, A; Goncalves, R; Leite, J ; Slota, M;
PUBLISHED: 2013, SOURCE: 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
AUTHORS: Knorr, M ; Gabaldon, A; Goncalves, R; Leite, J ; Slota, M;
PUBLISHED: 2013, SOURCE: 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
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef2
TITLE: Time Is Up! - Norms with Deadlines in Action Languages
AUTHORS: Matthias Knorr; Alfredo Gabaldon; Ricardo Goncalves; Joao Leite ; Martin Slota;
PUBLISHED: 2013, SOURCE: 14th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA) in COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, CLIMA XIV, VOLUME: 8143
AUTHORS: Matthias Knorr; Alfredo Gabaldon; Ricardo Goncalves; Joao Leite ; Martin Slota;
PUBLISHED: 2013, SOURCE: 14th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA) in COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, CLIMA XIV, VOLUME: 8143
INDEXED IN: 
WOS
WOS3
TITLE: Making Golog Norm Compliant Full Text
AUTHORS: Alfredo Gabaldon;
PUBLISHED: 2011, SOURCE: 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
AUTHORS: Alfredo Gabaldon;
PUBLISHED: 2011, SOURCE: 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
TITLE: Non-Markovian control in the Situation Calculus Full Text
AUTHORS: Alfredo Gabaldon;
PUBLISHED: 2011, SOURCE: ARTIFICIAL INTELLIGENCE, VOLUME: 175, ISSUE: 1
AUTHORS: Alfredo Gabaldon;
PUBLISHED: 2011, SOURCE: ARTIFICIAL INTELLIGENCE, VOLUME: 175, ISSUE: 1
5
TITLE: Evolving logic programs with temporal operators
AUTHORS: Alferes, JJ ; Gabaldon, A; Leite, J ;
PUBLISHED: 2011, SOURCE: 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
AUTHORS: Alferes, JJ ; Gabaldon, A; Leite, J ;
PUBLISHED: 2011, SOURCE: 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
TITLE: A Logic Programming System for Evolving Programs with Temporal Operators
AUTHORS: Jose Julio Alferes ; Alfredo Gabaldon; Joao Leite ;
PUBLISHED: 2009, SOURCE: 14th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 5816
AUTHORS: Jose Julio Alferes ; Alfredo Gabaldon; Joao Leite ;
PUBLISHED: 2009, SOURCE: 14th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 5816
7
TITLE: Activity Recognition with Intended Actions
AUTHORS: Alfredo Gabaldon;
PUBLISHED: 2009, SOURCE: 21st Internation Joint Conference on Artifical Intelligence (IJCAI-09) in 21ST INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-09), PROCEEDINGS
AUTHORS: Alfredo Gabaldon;
PUBLISHED: 2009, SOURCE: 21st Internation Joint Conference on Artifical Intelligence (IJCAI-09) in 21ST INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE (IJCAI-09), PROCEEDINGS
INDEXED IN: Scopus WOS
Scopus WOS8
TITLE: Evolving Logic Programming based agents with temporal operators
AUTHORS: Alferes, JJ ; Gabaldon, A; Leite, J ;
PUBLISHED: 2008, SOURCE: 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
AUTHORS: Alferes, JJ ; Gabaldon, A; Leite, J ;
PUBLISHED: 2008, SOURCE: 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
TITLE: Non-Markovian Agent Evolution with EVOLP
AUTHORS: José Júlio Alferes ; Alfredo Gabaldon; João Alexandre Leite;
PUBLISHED: 2008, SOURCE: Programming Multi-Agent Systems, 31.08. - 05.09.2008, VOLUME: 08361
AUTHORS: José Júlio Alferes ; Alfredo Gabaldon; João Alexandre Leite;
PUBLISHED: 2008, SOURCE: Programming Multi-Agent Systems, 31.08. - 05.09.2008, VOLUME: 08361
INDEXED IN: 
DBLP
DBLP