2
TITLE: A Procedure for an Event-Condition-Transaction Language  Full Text
AUTHORS: Ana Sofia Gomes; Jose Julio Alferes ;
PUBLISHED: 2015, SOURCE: 9th International Conference on Web Reasoning and Rule Systems (RR) in WEB REASONING AND RULE SYSTEMS, VOLUME: 9209
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
3
TITLE: How to Combine Event Stream Reasoning with Transactions for the Semantic Web
AUTHORS: Ana Sofia Gomes; Jose Julio Alferes ;
PUBLISHED: 2015, SOURCE: 9th International Symposium on Rule Markup and Modeling Initiative (RuleML) in RULE TECHNOLOGIES: FOUNDATIONS, TOOLS, AND APPLICATIONS, VOLUME: 9202
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
4
TITLE: A goal-directed implementation of query answering for hybrid MKNF knowledge bases
AUTHORS: Ana Sofia Gomes; Jose Julio Alferes ; Terrance Swift;
PUBLISHED: 2014, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 14, ISSUE: 2
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | DBLP
5
TITLE: Preserving Strong Equivalence while Forgetting
AUTHORS: Matthias Knorr; Jose Julio Alferes ;
PUBLISHED: 2014, SOURCE: 14th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2014, VOLUME: 8761
INDEXED IN: Scopus WOS
IN MY: ORCID
6
TITLE: Preserving Strong Equivalence while Forgetting
AUTHORS: Matthias Knorr; José Júlio Alferes ;
PUBLISHED: 2014, SOURCE: Logics in Artificial Intelligence - 14th European Conference, JELIA 2014, Funchal, Madeira, Portugal, September 24-26, 2014. Proceedings, VOLUME: 8761
INDEXED IN: DBLP CrossRef
IN MY: ORCID | DBLP
7
TITLE: Transaction Logic with (Complex) Events PDF
AUTHORS: Ana Sofia Gomes; José Júlio Alferes ;
PUBLISHED: 2014, SOURCE: CoRR, VOLUME: abs/1405.3790
INDEXED IN: DBLP arXiv
IN MY: DBLP
8
TITLE: A goal-directed implementation of query answering for hybrid MKNF knowledge bases
AUTHORS: ANA SOFIA GOMES; JOSÉ JÚLIO ALFERES ; TERRANCE SWIFT;
PUBLISHED: 2013, SOURCE: Theory and Practice of Logic Programming, VOLUME: 14, ISSUE: 02
INDEXED IN: CrossRef
IN MY: ORCID
9
TITLE: Decidability and Implementation of Parametrized Logic Programs
AUTHORS: Ricardo Goncalves; Jose Julio Alferes ;
PUBLISHED: 2013, SOURCE: 12th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING (LPNMR 2013), VOLUME: 8148
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | DBLP
10
TITLE: Decidability and Implementation of Parametrized Logic Programs
AUTHORS: Ricardo Gonçalves; José Júlio Alferes ;
PUBLISHED: 2013, SOURCE: Logic Programming and Nonmonotonic Reasoning - Lecture Notes in Computer Science
INDEXED IN: CrossRef
IN MY: ORCID
Page 1 of 17. Total results: 162.