Selected Papers:
Please note that if you rearrange the letters in "Terrance Swift" you
get the phrase "written farces".
-
For the past couple of years, my main technical writing has been the
XSB manual which is over 500 pages and growing: Volume 1:
Programmer's Manual ; Volume 2:
Libraries, Interfaces, and Packages; XSBdoc Users
Manual
-
A
Simple and Efficient Implementation of Concurrent Local Tabling by Rui
Marques, Terrance Swift and Jose Cunha
-
Concurrent and Local Evaluation of Normal Programs by Rui Marques and
Terrance Swift
-
The XSB Logic Programming System by Terrance Swift and David S. Warren;
Appeared in Association for Logic Programming Newsletter (2007).
Summary of recent developments in XSB.
-
The
Meaning of Cold Dead Fish; by Terrance Swift and David
S. Warren. Technical report detailing the semantics of XSB's ontology
management package.
-
Deduction
in Ontologies via Answer Set Programming by Terrance Swift.
Appeared in Logic Programming and Non-Monotnic Reasoning (2004)
Springer LNAI 2923, Pages 275-289.
-
Well-founded
Abduction through Tabled Logic Programs ;by Jose Alferes and
Luis M. Pereira and Terrance Swift Theory and Practice of Logic
Programming 4(4) Pages 383-428
(2004). Preliminary
version appeared in
International Conference on Logic Programming (1999)
-
Logic
Programming Techniques for Solving Circuit Diagnosis by
J. J. Alferes, F. Azevedo, P. Barahona, C. Damasio and T. Swift;
Appeared in Artificial Intelligence Applications and
Innovations (2004) Pages 155-166.
-
Suspending and Resuming Computations in Engines for SLG
Evaluation by Luis F. Castro and Terrance Swift and David
S. Warren. Practical Applications of Declarative
Languages (2002) Springer LNCS 2257, Pages 332-346.
-
A Note on Trailing in the SLG-WAM by Terrance Swift. A
technical note not intended for publication.
-
Preference Logic Grammars: Fixed-point Semantics and Application to
Data Standardization by Baoqui Cui and Terrance Swift.
Artificial Intelligence 138(1-2) (2002) Pages 117-147.
-
An Architecture for a Multi-threaded Tabling Engine: Extended
Abstract by Rui Marquez, Terrance Swift, and
Jose Cunha. Appeared in International Workshop on Tabling in
Parsing and Deduction 2000.
-
Psychiatric Diagnosis from the Viewpoint of Computational Logic
by Joseph Gartner, Terrance Swift, Allen Tien, Carlos Damasio, and
Luis Moniz Pereira.
Appeared in Computational Logic 2000 Springer LNAI 1826,
pp. 1362-1376. Preliminary version appeared in 8th International
Workshop on Non-Monotonic Reasoning, Special Session on
Abduction.
-
Coherent
Well-founded Annotated Logic Programs by Carlos V. Damasio
and Luis M. Pereira and Terrance Swift Appeared in
International Workshop on Logic Programming and Non-Monotonic
Reasoning Springer LNAI 1730, pp. 262-276. (1999)
-
A Case Study in Using Preference Logic Grammars for Knowledge
Representation by Baoqiu Cui and Terrance Swift and David
S. Warren. Appeared in International Workshop on Logic Programming
and Non-Monotonic Reasoning Springer LNAI 1730, pp. 206-220.
(1999)
-
A New Formulation of Tabled Resolution with Delay by Terrance Swift Appeared in Recent Progress in Artificial Intelligence, 1999
Full Version with Proofs
-
From Tabling to Transformation: Efficiently Computing Residual
Programs in the SLG-WAM by Baoqiu Cui and Terrance Swift and
David S. Warren; Appeared in International Workshop on
Implementation of Declarative Languages 1999
-
The Limits of Fixed-Order Computation by Kostantinos
Sagonas, Terrance Swift, and David S. Warren. Appeared
in Theoretical Computer Science
254(1-2):465-499 Preliminary
version appeared in Logic in Databases, 1996
-
An
Abstract Machine for Efficiently Computing Queries to Well-Founded
Models by Kostantinos Sagonas, Terrance Swift, and David
S. Warren. Journal of Logic Programming 45:(1-3)
pp. 1-41. Preliminary
version appeared in Joint International Conference and
Symposium on Logic Programing (1996)
-
Tabling
for Non-Monotonic Programming by Terrance Swift.
Annals of Mathematics and Artificial Intelligence 25(3-4)
pp. 201-240.
-
Efficient
Access Mechanisms for Tabled Logic Programs by Prasad Rao,
I.V. Ramskrishnan, Konstantinos Sagonas, Terrance Swift, and David
S. Warren. Appeared in Journal of Logic Programming, January
1999. Preliminary
version appeared in International Conference on Logic
Programming (1995).
-
An Abstract Machine for Tabled Execution of Fixed-Order Stratified Programs
by Konstantinos Sagonas and Terrance Swift. Appeared
in ACM Transactions on Programming Languages and Systems, May
1998. Preliminary versions from Conference on Automated
Deduction
(1996) (download)
; International Logic Programming Symposium
(1994) (download)
-
Beyond
Depth-First: Improving Tabled Logic Programs Through Alternative
Scheduling Strategies by Juliana Freire, Terrance Swift, and
David S. Warren. Appeared in Journal of Functional and Logic
Programming
vol. 1998 number 3.
Preliminary
version appeared in PLILP 96
-
A
Formal Framework to Model Scheduling in Tabled Evaluations by
Juliana Freire, Terrance Swift, and David S. Warren. Appeared
in International Workshop on Tabling in Parsing and Deduction,
1998.
Full
version of paper
-
XSB:
A System for Efficiently Computing the Well-Founded Semantics
by Juliana Freire, Prasad Rao, Konstantinos Sagonas, Terrance Swift,
and David S. Warren. Appeared in International Workshop on Logic
Programming and Non-Monotonic Reasoning (1997)
-
Efficient
Model Checking Using Tabled Resolution by Y.S. Ramakrishna,
C.R . Ramakrishnan, I.V. Ramakrishnan, Scott Smolka, Terrance Swift
and David S. Warren. Appeared in International Conference on
Automated Verification (1997).
-
Taking
I/O Seriously: Resolution Reconsidered for Disk by Juliana
Freire, Terrance Swift, and David S. Warren. Appeared
in International Conference on Logic Programming (1997).
-
A
Standardization Tool for Data Warehousing by Abhik Roychoudhury
and I.V. Ramakrishnan and Terrance Swift. Appeared in Practical
Applications of Prolog (1997)
-
Principles
and Practice of Unification Factoring by Steve Dawson,
C.R. Ramakrishnan, Steve Skiena, and Terrance Swift. Appeared
in ACM Transactions on Programming Languages and Systems.
September 1995. Premininary
version appeared in ACM Conference on Principles of Programming
Languages
(1995)
-
Optimizing
Clause Resolution: Beyond Unification Factoring Steve Dawson,
C.R. Ramakrishnan, I.V. Ramakrishnan, and Terrance Swift. Appeared
in International Conference on Logic Programming (1995)
Full
version of paper
-
Exploiting
Parallelism in Tabled Evaluations, by Juliana Freire, Rui Hu,
Terrance Swift, and David S. Warren. A framework for parallel tabled
evaluation and its engine design. Appeared in PLILP 95.
-
Efficient
Top-Down Computation of Queries under the Well-Founded Semantics,
by Weidong Chen and Terrance Swift and David S. Warren. Appeared
in Journal of Logic Programming, September, 1995.
-
Performance
of Sequential SLG Evaluation by Terrance Swift and David
S. Warren. Appeared in International Logic Programming
Symposium (1994)
-
CCTIS:
an Expert Transaction Processing System by Terrance Swift, Casey
Henderson, Rick Holberger, John Murphy, and Ed Neham. Conference
on Innovative Applications of Artificial Intelligence (1994)
-
XSB
as an efficient deductive database engine, by Kostantinos
Sagonas, Terrance Swift, and David S. Warren, Appeared in ACM
Conference on Management of Data (SIGMOD) (1994).
Dissertation