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