Terrance Lee Swift
AuthID: R-001-JRA
31
TITLE: Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling
AUTHORS: Jose Julio Alferes ; Matthias Knorr ; Terrance Swift;
PUBLISHED: 2009, SOURCE: 8th International Semantic Web Conference in SEMANTIC WEB - ISWC 2009, PROCEEDINGS, VOLUME: 5823
AUTHORS: Jose Julio Alferes ; Matthias Knorr ; Terrance Swift;
PUBLISHED: 2009, SOURCE: 8th International Semantic Web Conference in SEMANTIC WEB - ISWC 2009, PROCEEDINGS, VOLUME: 5823
32
TITLE: Concurrent and Local Evaluation of Normal Programs
AUTHORS: Rui Marques; Terrance Swift;
PUBLISHED: 2008, SOURCE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366
AUTHORS: Rui Marques; Terrance Swift;
PUBLISHED: 2008, SOURCE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366
33
TITLE: Deductive Diagnosis of Digital Circuits
AUTHORS: José Júlio Alferes ; Francisco Azevedo; Pedro Barahona; Carlos Viegas Damásio ; Terrance Swift;
PUBLISHED: 2004, SOURCE: 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
AUTHORS: José Júlio Alferes ; Francisco Azevedo; Pedro Barahona; Carlos Viegas Damásio ; Terrance Swift;
PUBLISHED: 2004, SOURCE: 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
INDEXED IN: 
DBLP 
CrossRef
DBLP CrossRef34
TITLE: Psychiatric diagnosis from the viewpoint of computational logic
AUTHORS: Gartner, J; Swift, T; Tien, A; Damasio, CV ; Pereira, LM ;
PUBLISHED: 2000, SOURCE: 1st International Conference on Computational Logic (CL 2000) in COMPUTATIONAL LOGIC - CL 2000, VOLUME: 1861
AUTHORS: Gartner, J; Swift, T; Tien, A; Damasio, CV ; Pereira, LM ;
PUBLISHED: 2000, SOURCE: 1st International Conference on Computational Logic (CL 2000) in COMPUTATIONAL LOGIC - CL 2000, VOLUME: 1861
35
TITLE: Coherent well-founded annotated logic programs Full Text
AUTHORS: Damasio, CV ; Pereira, LM ; Swift, T;
PUBLISHED: 1999, SOURCE: 5th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 99) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, VOLUME: 1730
AUTHORS: Damasio, CV ; Pereira, LM ; Swift, T;
PUBLISHED: 1999, SOURCE: 5th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 99) in LOGIC PROGRAMMING AND NONMONOTONIC REASONING, VOLUME: 1730
INDEXED IN: 
WOS DBLP
WOS DBLP36
TITLE: Well-founded abduction via tabled dual programs
AUTHORS: Alferes, JJ ; Pereira, LM ; Swift, T;
PUBLISHED: 1999, SOURCE: 16th International Conference on Logic Programming (ICLP 99) in LOGIC PROGRAMMING: PROCEEDINGS OF THE 1999 INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING
AUTHORS: Alferes, JJ ; Pereira, LM ; Swift, T;
PUBLISHED: 1999, SOURCE: 16th International Conference on Logic Programming (ICLP 99) in LOGIC PROGRAMMING: PROCEEDINGS OF THE 1999 INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING
INDEXED IN: WOS DBLP
WOS DBLP