Ana Sofia Leal Gomes
AuthID: R-001-RHW
11
TÃTULO: A goal-directed implementation of query answering for hybrid MKNF knowledge bases
AUTORES: Ana Sofia Gomes; Jose Julio Alferes ; Terrance Swift;
PUBLICAÇÃO: 2014, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 14, NÚMERO: 2
AUTORES: Ana Sofia Gomes; Jose Julio Alferes ; Terrance Swift;
PUBLICAÇÃO: 2014, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 14, NÚMERO: 2
INDEXADO EM: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP12
TÃTULO: External Transaction Logic with Automatic Compensations
AUTORES: Ana Sofia Gomes; Jose Julio Alferes ;
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: Ana Sofia Gomes; Jose Julio Alferes ;
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
13
TÃTULO: Extending Transaction Logic with External Actions PDF
AUTORES: Ana Sofia Gomes; José Júlio Alferes ;
PUBLICAÇÃO: 2013, FONTE: TPLP, VOLUME: 13, NÚMERO: 4-5-Online-Supplement
AUTORES: Ana Sofia Gomes; José Júlio Alferes ;
PUBLICAÇÃO: 2013, FONTE: TPLP, VOLUME: 13, NÚMERO: 4-5-Online-Supplement
INDEXADO EM: DBLP
DBLP14
TÃTULO: A goal-directed implementation of query answering for hybrid MKNF knowledge bases
AUTORES: ANA SOFIA GOMES; JOSÉ JÚLIO ALFERES ; TERRANCE SWIFT;
PUBLICAÇÃO: 2013, FONTE: Theory and Practice of Logic Programming, VOLUME: 14, NÚMERO: 02
AUTORES: ANA SOFIA GOMES; JOSÉ JÚLIO ALFERES ; TERRANCE SWIFT;
PUBLICAÇÃO: 2013, FONTE: Theory and Practice of Logic Programming, VOLUME: 14, NÚMERO: 02
INDEXADO EM: 
CrossRef
CrossRef15
TÃTULO: Normative Systems Represented as Hybrid Knowledge Bases Full Text
AUTORES: Marco Alberti; Ana Sofia Gomes; Ricardo Goncalves; Joao Leite ; Martin Slota;
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: Marco Alberti; Ana Sofia Gomes; Ricardo Goncalves; Joao Leite ; Martin Slota;
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
16
TÃTULO: A Proposal for Transactions in the Semantic Web Full Text
AUTORES: Ana Sofia Gomes; Jose Julio Alferes ;
PUBLICAÇÃO: 2011, FONTE: 15th Portuguese Conference on Artificial Intelligence (EPIA 2011) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 7026
AUTORES: Ana Sofia Gomes; Jose Julio Alferes ;
PUBLICAÇÃO: 2011, FONTE: 15th Portuguese Conference on Artificial Intelligence (EPIA 2011) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 7026
17
TÃTULO: Transaction Logic with External Actions Full Text
AUTORES: Ana Sofia Gomes; Jose Julio Alferes ;
PUBLICAÇÃO: 2011, FONTE: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, VOLUME: 6645
AUTORES: Ana Sofia Gomes; Jose Julio Alferes ;
PUBLICAÇÃO: 2011, FONTE: 11th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, VOLUME: 6645
18
TÃTULO: Implementing Query Answering for Hybrid MKNF Knowledge Bases
AUTORES: Ana Sofia Gomes; Jose Julio Alferes ; Terrance Swift;
PUBLICAÇÃO: 2010, FONTE: 12th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 5937
AUTORES: Ana Sofia Gomes; Jose Julio Alferes ; Terrance Swift;
PUBLICAÇÃO: 2010, FONTE: 12th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 5937
