Ana Sofia Gomes
Ana Sofia Gomes
CENTRIA, Departamento de Informática, Universidade Nova de Lisboa
Geverifieerd e-mailadres voor campus.fct.unl.pt
Titel
Geciteerd door
Geciteerd door
Jaar
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
402011
Implementing query answering for hybrid mknf knowledge bases
A Gomes, J Alferes, T Swift
Practical Aspects of Declarative Languages, 25-39, 2010
252010
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
132012
Transaction Logic with (Complex) Events
AS Gomes, JJ Alferes
arXiv preprint arXiv:1405.3790, 2014
52014
Extending transaction logic with external actions
AS Gomes, JJ Alferes
Theory and Practice in Logic Programming 13, 4-5, 2013
52013
External Transaction Logic with Automatic Compensations
AS Gomes, JJ Alferes
Computational Logic in Multi-Agent Systems, 239-255, 2013
52013
Transaction logic with external actions
A Gomes, J Alferes
Logic Programming and Nonmonotonic Reasoning, 272-277, 2011
42011
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
22014
Combining transactions and automatic repairs
AS Gomes, JJ Alferes
Journal of Logic and Computation, exv006, 2015
12015
Derivation methods for hybrid knowledge bases with rules and ontologies
AS Gomes
FCT-UNL, 2009
12009
A Procedure for an Event-Condition-Transaction Language
AS Gomes, JJ Alferes
International Conference on Web Reasoning and Rule Systems, 113-129, 2015
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
2015
Transactions in dynamic reactive environments
AS Gomes
Universidade Nova de Lisboa, 2015
2015
A proposal for transactions in the semantic web
A Gomes, J Alferes
Progress in Artificial Intelligence, 690-703, 2011
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–16