Terrance Swift - Concepedia

Author

Terrance Swift

Stony Brook University

Also Known As

Swift, Terrance, TERRANCE SWIFT, Terrance Swift, Tygar, Doug

Publications

2.3K

Citations

H-Index

Concepts

All Affiliations

Stony Brook University Universidade Nova de Lisboa State University of New York University of Maryland, College Park University of Ferrara

About

Terrance Swift is an author at Stony Brook University specializing in engineering, automated reasoning, and computer science.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	13	15	1K
2	Computer Science	11	13	988
3	Management	3	3	394
4	Language Studies	2	2	38
5	Computer Engineering	2	2	140

Terrance Swift

Publications

1.5K

Citations

H-Index

Page 1

	Year	Citations
XSB as an efficient deductive database engine Konstantinos Sagonas, Terrance Swift, David S. Warren EngineeringProlog FoundationDeductive Database SystemsXsb SystemSemantic Web	1994	324
XSB: Extending Prolog with Tabled Logic Programming Terrance Swift, David S. Warren Theory and Practice of Logic Programming Applied LogicEngineeringSemantic WebSemanticsFormal Verification	2011	186
An abstract machine for tabled execution of fixed-order stratified logic programs Konstantinos Sagonas, Terrance Swift ACM Transactions on Programming Languages and Systems Tabled Slg CodeEngineeringVerificationComputer ArchitectureWell-founded Semantics	1998	121
Efficient top-down computation of queries under the well-founded semantics Weidong Chen, Terrance Swift, David S. Warren The Journal of Logic Programming Database TheoryEngineeringAutomated ReasoningWell-founded SemanticsComputer Science	1995	116
Efficient access mechanisms for tabled logic programs I. V. Ramakrishnan, Prasad Rao, Konstantinos Sagonas, The Journal of Logic Programming	1999	100
The PITA system: Tabling and answer subsumption for reasoning under uncertainty Fabrizio Riguzzi, Terrance Swift Theory and Practice of Logic Programming	2011	78
Tabling for non‐monotonic programming Terrance Swift Annals of Mathematics and Artificial Intelligence	1999	76
Abduction in well-founded semantics and generalized stable models via tabled dual programs José Júlio Alferes, Luı́s Moniz Pereira, Terrance Swift Theory and Practice of Logic Programming	2004	67
XSB as an efficient deductive database engine Konstantinos Sagonas, Terrance Swift, David S. Warren ACM SIGMOD Record EngineeringProlog FoundationDeductive Database SystemsXsb SystemSemantic Web	1994	57
Proceedings of the 1997 international symposium on Logic programming I. V. Ramakrishnan, Terrance Swift, Jan Małuszyński International Conference on Logic Programming Applied LogicComputational LogicEngineeringAutomated ReasoningFormal Methods	1997	48

Page 1