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

• 29th International Conference on Logic Programming Special Issue Theory and Practice of Logic Programming, 13:(4-5). 2013. Cambridge University Press.
• Web Reasoning and Rule Systems: Third International Conference, RR 2009 (2009) Springer LNCS 5837. October 25-26, Chantilly, Virginia, USA. ISBN 978-3-642-05081
• Proceedings of the 11th International Conference on Practical Aspects of Declarative Languages (2009) Springer LNCS 5418. January 19-20, Savannah Georgia, USA. ISBN: 978-3-540-92994-9

• Forest Logging: A Trace-Based Analysis of Large Rule-Based Computations by Terrance Swift. To appear in Semantic Web Journal.
• Terminating Evaluation of Logic Programs with Finite Three-Valued Models by Fabrizio Riguzzi and Terrance Swift. To appear in ACM Transactions on Computational Logic.
• Incremental Tabling in Support of Knowledge Representation and Reasoning by Terrance Swift. To appear in Theory and Practice of Logic Programming.
• On Updates of MKNF Knowledge Bases by Martin Slota, Joao Leite and Terrance Swift. Submitted for Publication. 2014.
• Probabilistic Logic Programming Under the Distribution Semantics by Fabrizio Riguzzi and Terrance Swift. Submitted for Publication. 2014.
• Radial Restraint: A Semantically Clean Approach to Bounded Rationality for Logic Programs by Benjamin Grosof and Terrance Swift. AAAI 2013.
• Understanding Rulelog Computations in Silk by Terrance Swift and 8 other authors. Workshop on Logic in Programming Environments. 2013.
• Query-driven Procedures for Hybrid MKNF Knowledge Bases by Jose Julio Alferes and Matthias Knorr and Terrance Swift. ACM Transactions on Computational Logic 14(2) 2013. Preliminary Version appeared in International Semantic Web Conference (2009)
• Well-Definedness and Efficient Inference for Probabilistic Logic Programming under the Distribution Semantics by Fabrizio Riguzzi and Terrance Swift. Theory and Practice of Logic Programming 13(2): 279-302 (2013). Preliminary Version appeared in Italian Conference on Computational Logic (2010).
• Implementing Query Answering for Hybrid MKNF Knowledge Bases by Sophia Gomes, Jose Julio Alferes and Terrance Swift. Theory and Practice of Logic Programming. 14(2): 239-264 (2014). Preliminary Version appeared in Practical Aspects of Declarative Languages (2010) Springer LNCS 5947, Pages 25-39.
• XSB: Extending the Power of Prolog using Tabling by Terrance Swift and David S. Warren. Survey paper of XSB. Theory and Practice of Logic Programming 12(1-2) pp. 157-187. (2012).
• Profiling Large Tabled Computations using Forest Logging by Terrance Swift. CICLOPS (2012).
• The PITA System: Tabling and Answer Subsumption for Reasoning under Uncertainty by Fabrizio Riguzzi and Terrance Swift Theory and Practice of Logic Programming 11(4-5). pp. 433-449. (2011) and presented in International Conference on Logic Programming.
• Splitting and Updating Hybrid Knowledge Bases by Martin Slota, Joao Leite and Terrance Swift. Theory and Practice of Logic Programming 11(4-5). pp. 800-819. (2011) and presented in International Conference on Logic Programming.
• The PITA System for Logical-Probabilistic Inference by Fabrizio Riguzzi and Terrance Swift. In International Conference on Inductive Logic Programming (2011)
• Extending Description Logics to Support Statistical Information by Terrance Swift and Gregory Wheeler. Submitted for publication.
• Tabling with Answer Subsumption: Implementation, Applications and Performance> by Terrance Swift and David S. Warren. European Conference on Logics in AI (JELIA) (2010) Springer LNAI 6341, Pages 300-312.
• Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions by Fabrizio Riguzzi and Terrance Swift. 2010 International Conference on Logic Programming.
• Design Patterns for Tabled Logic Programming by Terrance Swift. International Conference on Applications of Declarative Programming and Knowledge Management (2010) Springer LNAI.
• A Simple and Efficient Implementation of Concurrent Local Tabling by Rui Marques, Terrance Swift and Jose Cunha. Practical Aspects of Declarative Languages (2010) LNCS 5947, Pages 264-278
• An Engine for Computing Well-Founded (Sub-)Models by Terrance Swift; International Conference on Logic Programming (2009) Springer LNCS 5649, Pages 514-518
• Incremental Answer Completion in the SLG-WAM (full version with proofs) by Terrance Swift, Alexandre Miguel Pinto and Luis Moniz Pereira; International Conference on Logic Programming (2009) Springer LNCS 5649, Pages 519-524
• Concurrent and Local Evaluation of Normal Programs by Rui Marques and Terrance Swift; International Conference on Logic Programming (2008) Springer LNCS 5366, Pages 206-222, Full version.
• Extending Tabled Logic Programming with Multi-Threading: A Systems Perspective by Rui Marques, Terrance Swift and Jose Cunha; CICLOPS (2008) Pages 91-107.
• 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

• Efficient Evaluation of Normal Logic Programs Specifies in detail an operational semantics for SLG evaluation, and describes fully its partial implementation in an abstract machine.