Searching for authors named "Terrance Swift" – sorted by Relevance.
-
Tabled Logic Programming and its Applications Part 2: Tabling for Non-Monotonic and Quantitative Reasoning
- -Monotonic and Quantitative Reasoning Terrance Swift 1999 Summer School in (Constraint) Logic Programming 1 Overview ffl
- Add To MetaCart
-
The xsbdoc Documentation Generator
- The xsbdoc Documentation Generator Terrance Swift based in part on code and documentation
- Add To MetaCart
-
Tabling for Logic-based Artificial Intelligence
- Tabling for Logic-based Artificial Intelligence Terrance Swift EPIA 99: 9th Portuguese Conference
- Add To MetaCart
-
Using Tabling to Extend Prolog with Non-Monotonic Constructs
- Using Tabling to Extend Prolog with Non-Monotonic Constructs Terrance Swift SUNY Stony Brook 1
- Add To MetaCart
-
Tabling for Non-monotonic Programming
- -monotonic Programming Terrance Swift Department of Computer Science SUNY at Stony Brook, Stony Brook, NY 11794-4400, U
- Cited by 24 (11 self) – Add To MetaCart
-
Efficient Evaluation of Normal Logic Programs
- XSB Research Group xsb Efficient Evaluation of Normal Logic Programs Terrance Swift December 1994
- Cited by 7 (6 self) – Add To MetaCart
-
Deduction in Ontologies via Answer Set Programming
- Deduction in Ontologies via Answer Set Programming Terrance Swift \Lambda July 30, 2003
- Cited by 7 (1 self) – Add To MetaCart
-
An abstract machine for tabled execution of fixed-order stratified logic programs
- SAGONAS Katholieke Universiteit Leuven and TERRANCE SWIFT University of Maryland at College Park SLG
- Cited by 43 (18 self) – Add To MetaCart
-
A New Formulation of Tabled Resolution with Delay
- A New Formulation of Tabled Resolution with Delay Terrance Swift Computer Science Department, SUNY
- Cited by 5 (5 self) – Add To MetaCart
-
A Note on Trailing in the SLG-WAM
- A Note on Trailing in the SLG-WAM Terrance Swift Dept. of Computer Science SUNY Stony Brook Stony
- Add To MetaCart

