21
TÍTULO: The PITA system: Tabling and answer subsumption for reasoning under uncertainty
AUTORES: FABRIZIO RIGUZZI; TERRANCE SWIFT;
PUBLICAÇÃO: 2011, FONTE: Theory and Practice of Logic Programming, VOLUME: 11, NÚMERO: 4-5
INDEXADO EM: CrossRef
22
TÍTULO: XSB: Extending Prolog with Tabled Logic Programming
AUTORES: TERRANCE SWIFT; DAVID S WARREN;
PUBLICAÇÃO: 2011, FONTE: Theory and Practice of Logic Programming, VOLUME: 12, NÚMERO: 1-2
INDEXADO EM: CrossRef
23
TÍTULO: Tabling with Answer Subsumption: Implementation, Applications and Performance
AUTORES: Terrance Swift; David S Warren;
PUBLICAÇÃO: 2010, FONTE: 12th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, VOLUME: 6341
INDEXADO EM: Scopus WOS CrossRef
24
TÍTULO: Implementing Query Answering for Hybrid MKNF Knowledge Bases
AUTORES: Ana Sofia Gomes; Jose Julio Alferes ; Terrance Swift;
PUBLICAÇÃO: 2010, FONTE: 12th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 5937
INDEXADO EM: Scopus WOS DBLP CrossRef
25
TÍTULO: A Simple and Efficient Implementation of Concurrent Local Tabling
AUTORES: Rui Marques; Terrance Swift; Jose Cunha ;
PUBLICAÇÃO: 2010, FONTE: 12th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 5937
INDEXADO EM: Scopus WOS CrossRef
26
TÍTULO: Tabling and answer subsumption for reasoning on logic programs with annotated disjunctions
AUTORES: Riguzzi, F; Swift, T;
PUBLICAÇÃO: 2010, FONTE: 26th International Conference on Logic Programming, ICLP 2010 in Leibniz International Proceedings in Informatics, LIPIcs, VOLUME: 7
INDEXADO EM: Scopus
27
TÍTULO: An extended semantics for logic programs with annotated disjunctions and its efficient implementation
AUTORES: Riguzzi, F; Swift, T;
PUBLICAÇÃO: 2010, FONTE: 25th Italian Conference on Computational Logic, CILC 2010 in CEUR Workshop Proceedings, VOLUME: 598
INDEXADO EM: Scopus
28
TÍTULO: Query-driven Procedures for Hybrid MKNF Knowledge Bases PDF
AUTORES: José Júlio Alferes ; Matthias Knorr; Terrance Swift;
PUBLICAÇÃO: 2010, FONTE: CoRR, VOLUME: abs/1007.3515
INDEXADO EM: DBLP arXiv
29
TÍTULO: An Engine for Computing Well-Founded Models  Full Text
AUTORES: Terrance Swift;
PUBLICAÇÃO: 2009, FONTE: 25th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, VOLUME: 5649
INDEXADO EM: Scopus WOS CrossRef
30
TÍTULO: Incremental Answer Completion in the SLG-WAM  Full Text
AUTORES: Terrance Swift; Alexandre Miguel Pinto ; Luis Moniz Pereira ;
PUBLICAÇÃO: 2009, FONTE: 25th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, VOLUME: 5649
INDEXADO EM: Scopus WOS DBLP CrossRef
Página 3 de 4. Total de resultados: 38.