Ana Sofia Gomes
Cited by
Cited by
Normative systems represented as hybrid knowledge bases
M Alberti, A Gomes, R Gonçalves, J Leite, M Slota
Computational Logic in Multi-Agent Systems, 330-346, 2011
Implementing query answering for hybrid mknf knowledge bases
A Gomes, J Alferes, T Swift
Practical Aspects of Declarative Languages, 25-39, 2010
Normative systems require hybrid knowledge bases
M Alberti, M Knorr, AS Gomes, J Leite, R Gonçalves, M Slota
Proceedings of the 11th International Conference on Autonomous Agents and …, 2012
Transaction Logic with (Complex) Events
AS Gomes, JJ Alferes
arXiv preprint arXiv:1405.3790, 2014
Extending transaction logic with external actions
AS Gomes, JJ Alferes
Theory and Practice in Logic Programming 13, 4-5, 2013
External Transaction Logic with Automatic Compensations
AS Gomes, JJ Alferes
Computational Logic in Multi-Agent Systems, 239-255, 2013
Transaction logic with external actions
A Gomes, J Alferes
Logic Programming and Nonmonotonic Reasoning, 272-277, 2011
A goal-directed implementation of query answering for hybrid MKNF knowledge bases
AS Gomes, JJ Alferes, T Swift
Theory and Practice of Logic Programming 14 (02), 239-264, 2014
Combining transactions and automatic repairs
AS Gomes, JJ Alferes
Journal of Logic and Computation, exv006, 2015
Transactions in dynamic reactive environments
AS Gomes
Universidade Nova de Lisboa, 2015
Derivation methods for hybrid knowledge bases with rules and ontologies
AS Gomes
FCT-UNL, 2009
A Procedure for an Event-Condition-Transaction Language
AS Gomes, JJ Alferes
International Conference on Web Reasoning and Rule Systems, 113-129, 2015
How to Combine Event Stream Reasoning with Transactions for the Semantic Web
AS Gomes, JJ Alferes
International Symposium on Rules and Rule Markup Languages for the Semantic …, 2015
A proposal for transactions in the semantic web
A Gomes, J Alferes
Progress in Artificial Intelligence, 690-703, 2011
A procedure for an Event-Condition-Transaction
AS Gomes, JJ Alferes
External Transaction Logic: reasoning and executing transactions involving external domains
AS Gomes, JJ Alferes
The system can't perform the operation now. Try again later.
Articles 1–16