Ana Sofia Leal Gomes
AuthID: R-001-RHW
11
TÃTULO: How to Combine Event Stream Reasoning with Transactions for the Semantic Web
AUTORES: Ana Sofia Gomes; Jose Julio Alferes ;
PUBLICAÇÃO: 2015, FONTE: 9th International Symposium on Rule Markup and Modeling Initiative (RuleML) in RULE TECHNOLOGIES: FOUNDATIONS, TOOLS, AND APPLICATIONS, VOLUME: 9202
AUTORES: Ana Sofia Gomes; Jose Julio Alferes ;
PUBLICAÇÃO: 2015, FONTE: 9th International Symposium on Rule Markup and Modeling Initiative (RuleML) in RULE TECHNOLOGIES: FOUNDATIONS, TOOLS, AND APPLICATIONS, VOLUME: 9202
12
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 DBLP13
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
14
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
DBLP15
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
CrossRef16
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
17
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
18
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
19
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
