The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Ana Sofia Gomes" ( http://dblp.L3S.de/Authors/Ana_Sofia_Gomes )

  Author page on DBLP  Author page in RDF  Community of Ana Sofia Gomes in ASPL-2

Publication years (Num. hits)
2010-2019 (14)
Publication types (Num. hits)
article(5) inproceedings(9)
Venues (Conferences, Journals, ...)
CLIMA(2) CoRR(2) LPNMR(2) TPLP(2) AAMAS(1) EPIA(1) J. Log. Comput.(1) PADL(1) RR(1) RuleML(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 15 publication records. Showing 14 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Vedran Kasalica, Ioannis Gerochristos, José Júlio Alferes, Ana Sofia Gomes, Matthias Knorr, João Leite Telco Network Inventory Validation with NoHR. Search on Bibsonomy LPNMR The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ana Sofia Gomes, José Júlio Alferes Combining transactions and automatic repairs. Search on Bibsonomy J. Log. Comput. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ana Sofia Gomes, José Júlio Alferes How to Combine Event Stream Reasoning with Transactions for the Semantic Web. Search on Bibsonomy RuleML The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ana Sofia Gomes, José Júlio Alferes A Procedure for an Event-Condition-Transaction Language. Search on Bibsonomy RR The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Ana Sofia Gomes, José Júlio Alferes Transaction Logic with (Complex) Events. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Ana Sofia Gomes, José Júlio Alferes, Terrance Swift A goal-directed implementation of query answering for hybrid MKNF knowledge bases. Search on Bibsonomy TPLP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ana Sofia Gomes, José Júlio Alferes Extending Transaction Logic with External Actions. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  BibTeX  RDF
1Ana Sofia Gomes, José Júlio Alferes External Transaction Logic with Automatic Compensations. Search on Bibsonomy CLIMA The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Marco Alberti 0001, Matthias Knorr, Ana Sofia Gomes, João Leite, Ricardo Gonçalves 0001, Martin Slota Normative systems require hybrid knowledge bases. Search on Bibsonomy AAMAS The full citation details ... 2012 DBLP  BibTeX  RDF
1Ana Sofia Gomes, José Júlio Alferes, Terrance Swift A Goal-Directed Implementation of Query Answering for Hybrid MKNF Knowledge Bases Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Ana Sofia Gomes, José Júlio Alferes Transaction Logic with External Actions. Search on Bibsonomy LPNMR The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ana Sofia Gomes, José Júlio Alferes A Proposal for Transactions in the Semantic Web. Search on Bibsonomy EPIA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Marco Alberti 0001, Ana Sofia Gomes, Ricardo Gonçalves 0001, João Leite, Martin Slota Normative Systems Represented as Hybrid Knowledge Bases. Search on Bibsonomy CLIMA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Ana Sofia Gomes, José Júlio Alferes, Terrance Swift Implementing Query Answering for Hybrid MKNF Knowledge Bases. Search on Bibsonomy PADL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #14 of 14 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license