| 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 | 42 | 2011 |
| Implementing query answering for hybrid mknf knowledge bases A Gomes, J Alferes, T Swift Practical Aspects of Declarative Languages, 25-39, 2010 | 27 | 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 | 15 | 2012 |
| Transaction Logic with (Complex) Events AS Gomes, JJ Alferes arXiv preprint arXiv:1405.3790, 2014 | 5 | 2014 |
| Extending transaction logic with external actions AS Gomes, JJ Alferes Theory and Practice in Logic Programming 13, 4-5, 2013 | 5 | 2013 |
| External Transaction Logic with Automatic Compensations AS Gomes, JJ Alferes Computational Logic in Multi-Agent Systems, 239-255, 2013 | 5 | 2013 |
| Transaction logic with external actions A Gomes, J Alferes Logic Programming and Nonmonotonic Reasoning, 272-277, 2011 | 4 | 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 | 2 | 2014 |
| A Procedure for an Event-Condition-Transaction Language AS Gomes, JJ Alferes International Conference on Web Reasoning and Rule Systems, 113-129, 2015 | 1 | 2015 |
| Combining transactions and automatic repairs AS Gomes, JJ Alferes Journal of Logic and Computation, exv006, 2015 | 1 | 2015 |
| Transactions in dynamic reactive environments AS Gomes Universidade Nova de Lisboa, 2015 | 1 | 2015 |
| Derivation methods for hybrid knowledge bases with rules and ontologies AS Gomes FCT-UNL, 2009 | 1 | 2009 |
| A procedure for an Event-Condition-Transaction AS Gomes, JJ Alferes | 1* | |
| 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 | | 2015 |
| A proposal for transactions in the semantic web A Gomes, J Alferes Progress in Artificial Intelligence, 690-703, 2011 | | 2011 |
| External Transaction Logic: reasoning and executing transactions involving external domains AS Gomes, JJ Alferes | | |
Jose Julio AlferesProfessor of Computer Science, Universidade Nova de LisboaVerified email at fct.unl.pt
