Terrance Lee Swift
AuthID: R-001-JRA
31
TÃTULO: Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling
AUTORES: Jose Julio Alferes ; Matthias Knorr ; Terrance Swift;
PUBLICAÇÃO: 2009, FONTE: 8th International Semantic Web Conference in SEMANTIC WEB - ISWC 2009, PROCEEDINGS, VOLUME: 5823
AUTORES: Jose Julio Alferes ; Matthias Knorr ; Terrance Swift;
PUBLICAÇÃO: 2009, FONTE: 8th International Semantic Web Conference in SEMANTIC WEB - ISWC 2009, PROCEEDINGS, VOLUME: 5823
32
TÃTULO: Concurrent and Local Evaluation of Normal Programs
AUTORES: Rui Marques; Terrance Swift;
PUBLICAÇÃO: 2008, FONTE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366
AUTORES: Rui Marques; Terrance Swift;
PUBLICAÇÃO: 2008, FONTE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366
33
TÃTULO: Abduction in well-founded semantics and generalized stable models via tabled dual programs PDF
AUTORES: Alferes, JJ ; Pereira, LM ; Swift, T;
PUBLICAÇÃO: 2004, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 4
AUTORES: Alferes, JJ ; Pereira, LM ; Swift, T;
PUBLICAÇÃO: 2004, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 4
INDEXADO EM: 
WOS 
DBLP 
arXiv
WOS DBLP arXiv34
TÃTULO: Deductive Diagnosis of Digital Circuits
AUTORES: José Júlio Alferes ; Francisco Azevedo; Pedro Barahona; Carlos Viegas Damásio ; Terrance Swift;
PUBLICAÇÃO: 2004, FONTE: Artificial Intelligence Applications and Innovations, IFIP 18th World Computer Congress, TC12 First International Conference on Artificial Intelligence Applications and Innovations (AIAI-2004), 22-27 August 2004, Toulouse, France, VOLUME: 154
AUTORES: José Júlio Alferes ; Francisco Azevedo; Pedro Barahona; Carlos Viegas Damásio ; Terrance Swift;
PUBLICAÇÃO: 2004, FONTE: Artificial Intelligence Applications and Innovations, IFIP 18th World Computer Congress, TC12 First International Conference on Artificial Intelligence Applications and Innovations (AIAI-2004), 22-27 August 2004, Toulouse, France, VOLUME: 154
INDEXADO EM: DBLP 
CrossRef
DBLP CrossRef35
TÃTULO: Abduction in Well-Founded Semantics and Generalized Stable Models via Tabled Dual Programs
AUTORES: José Júlio Alferes ; Luís Moniz Pereira ; Terrance Swift;
PUBLICAÇÃO: 2004, FONTE: TPLP, VOLUME: 4, NÚMERO: 4
AUTORES: José Júlio Alferes ; Luís Moniz Pereira ; Terrance Swift;
PUBLICAÇÃO: 2004, FONTE: TPLP, VOLUME: 4, NÚMERO: 4
36
TÃTULO: Psychiatric diagnosis from the viewpoint of computational logic
AUTORES: Gartner, J; Swift, T; Tien, A; Damasio, CV ; Pereira, LM ;
PUBLICAÇÃO: 2000, FONTE: 1st International Conference on Computational Logic (CL 2000) in COMPUTATIONAL LOGIC - CL 2000, VOLUME: 1861
AUTORES: Gartner, J; Swift, T; Tien, A; Damasio, CV ; Pereira, LM ;
PUBLICAÇÃO: 2000, FONTE: 1st International Conference on Computational Logic (CL 2000) in COMPUTATIONAL LOGIC - CL 2000, VOLUME: 1861
37
TÃTULO: Coherent well-founded annotated logic programs Full Text
AUTORES: Damasio, CV ; Pereira, LM ; Swift, T;
PUBLICAÇÃO: 1999, FONTE: 5th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 99) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, VOLUME: 1730
AUTORES: Damasio, CV ; Pereira, LM ; Swift, T;
PUBLICAÇÃO: 1999, FONTE: 5th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 99) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, VOLUME: 1730
INDEXADO EM: WOS DBLP
WOS DBLP38
TÃTULO: Well-founded abduction via tabled dual programs
AUTORES: Alferes, JJ ; Pereira, LM ; Swift, T;
PUBLICAÇÃO: 1999, FONTE: 16th International Conference on Logic Programming (ICLP 99) in LOGIC PROGRAMMING: PROCEEDINGS OF THE 1999 INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING
AUTORES: Alferes, JJ ; Pereira, LM ; Swift, T;
PUBLICAÇÃO: 1999, FONTE: 16th International Conference on Logic Programming (ICLP 99) in LOGIC PROGRAMMING: PROCEEDINGS OF THE 1999 INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING
INDEXADO EM: WOS DBLP
WOS DBLP