Concepedia

Terrance Swift

TS

26

Publications

1.5K

Citations

19

H-Index

1993

Active since

Affiliations

Stony Brook University(Current)

Universidade Nova de Lisboa

State University of New York

University of Maryland, College Park

University of Ferrara

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

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsLogic ProgrammingProgram AnalysisSemantic WebFormal VerificationSemanticsData Science

Publications per year

1993–2014

26

Publications

26

XSB as an efficient deductive database engine

Konstantinos Sagonas, Terrance Swift, David S. Warren · 1994 · 324 citations · Full text

Engineering, Prolog Foundation, Deductive Database Systems +18

XSB: Extending Prolog with Tabled Logic Programming

Terrance Swift, David S. Warren · Theory and Practice of Logic Programming · 2011 · 186 citations

Applied Logic, Engineering, Semantic Web +16

An abstract machine for tabled execution of fixed-order stratified logic programs

Konstantinos Sagonas, Terrance Swift · ACM Transactions on Programming Languages and Systems · 1998 · 121 citations · Full text

Tabled Slg Code, Engineering, Verification +21

Efficient top-down computation of queries under the well-founded semantics

Weidong Chen, Terrance Swift, David S. Warren · The Journal of Logic Programming · 1995 · 116 citations

Database Theory, Engineering, Automated Reasoning +6

Efficient access mechanisms for tabled logic programs

I. V. Ramakrishnan, Prasad Rao, Konstantinos Sagonas et al. · The Journal of Logic Programming · 1999 · 100 citations · Full text

Rows per page

1–5 of 26