Login
NOVA LINCS

Sofia Gomes

People

Publications Projects Graduations Prototypes Seminars

Transaction Logic with (Complex) Events

InProceedings

Published in 01/07/2014

Authors

Sofia Gomes, Michael Leuschel, José Júlio Alferes, Tom Schrijvers,

A goal-directed implementation of query answering for hybrid MKNF knowledge bases

Article

Published in 01/03/2014

Authors

Sofia Gomes, José Júlio Alferes,

Normative systems require hybrid knowledge bases

InProceedings

Published in 01/06/2012

Authors

Marco Alberti, Sofia Gomes, Ricardo Gonçalves, Matthias Knorr, João Leite, Martin Slota,

A Proposal for Transactions in the Semantic Web

InProceedings

Published in 01/10/2011

Authors

Sofia Gomes, José Júlio Alferes, Helena Sofia Pinto,

Normative Systems Represented as Hybrid Knowledge Bases

InProceedings

Published in 01/07/2011

Authors

João Leite, Marco Alberti, Paolo Torroni, Sofia Gomes, Ricardo Gonçalves, Thomas Agotnes, João Leite, Guido Boella, Martin Slota, Leon van der Torre,

Implementing Query Answering for Hybrid MKNF Knowledge Bases

InProceedings

Published in 01/01/2010

Authors

Sofia Gomes, Manuel Carro, Sofia Gomes, Manuel Carro, José Júlio Alferes, José Júlio Alferes, Theresa Swift, Theresa Swift,