Terrance Swift

发表

Web Reasoning and Rule Systems, Third International Conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009, Proceedings

Axel Polleres, Terrance Swift, 2009, RR.

Deduction in Ontologies via Answer Set Programming

Terrance Swift, 2004 .

A Rule-Based Data Standardizer for Enterprise Data Bases

I. V. Ramakrishnan, Abhik Roychoudhury, Terrance Swift, 2001 .

Proceedings of the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments 2014

Terrance Swift, 2014 .

Proceedings of the 3rd International Conference on Web Reasoning and Rule Systems

Axel Polleres, Terrance Swift, 2009 .

The XSB System Version 2.5 Volume 1: Programmer's Manual

Michael Kifer, Juliana Freire, David Scott Warren, 2003 .

XSB: An Overview of its Use and Implementation

Konstantinos Sagonas, David S. Warren, Terrance Swift, 2007 .

Proceedings of the 1997 international symposium on Logic programming

I. V. Ramakrishnan, Jan Maluszynski, Terrance Swift, 1997, ICLP 1997.

Tabled Logic Programs: Principles, Practice and Applications

C. R. Ramakrishnan, I. V. Ramakrishnan, Konstantinos Sagonas, 1996 .

Knowledge Representation in XSB, Flora and Silk

Terrance Swift, 2012 .

Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages

Andy Gill, Terrance Swift, 2009 .

The XSB Programmer's Manual Version 1.7.1

Juliana Freire, David Scott Warren, Konstantinos Sagonas, 1994 .

The XSB Programmer’s Manual

Juliana Freire, David Scott Warren, Konstantinos Sagonas, 1800 .

The limits of!xed-order computation

David Scott Warren, Konstantinos Sagonas, Terrance Swift, 2001 .

Efficient evaluation of normal logic programs

Terrance Swift, T. Swift, 1994 .

Analysis of Sequential SLG Evaluation

David Scott Warren, Terrance Swift, D. Warren, 1994 .

Parallelizing Tabled Evaluations

Rui Hu, Juliana Freire, David Scott Warren, 1994 .

The PITA System for Logical-Probabilistic Inference

Fabrizio Riguzzi, Terrance Swift, 2011, ILP.

Extending Tabled Logic Programming with Multi-Threading : A Systems Perspective

Terrance Swift, T. Swift, R. Marques, 2008 .

Xsb as an Eecient Deductive Database Engine

Konstantinos Sagonas, David S. Warren, Terrance Swift, 1994 .

Eecient Tabling Mechanisms for Logic Programs

I. V. Ramakrishnan, Konstantinos Sagonas, David S. Warren, 1995 .