MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Terrance Swift" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

49 documents found, showing 1 through 10. Next 10 →

ATOM

Tabled Logic Programming and its Applications Part 2: Tabling for Non-Monotonic and Quantitative Reasoning
by Terrance Swift
…-Monotonic and Quantitative Reasoning Terrance Swift 1999 Summer School in (Constraint) Logic Programming 1 Overview ffl…
Add To MetaCart

The xsbdoc Documentation Generator
by Terrance Swift
…The xsbdoc Documentation Generator Terrance Swift based in part on code and documentation…
Add To MetaCart

Tabling for Logic-based Artificial Intelligence
by Terrance Swift — 1999
…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
by Terrance Swift
…Using Tabling to Extend Prolog with Non-Monotonic Constructs Terrance Swift SUNY Stony Brook 1…
Add To MetaCart

Tabling for Non-monotonic Programming
by Terrance Swift — 1999 — Annals of Mathematics and Artificial Intelligence
…-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
by Terrance Swift, Terrance Swift, Terrance Swift — 1994
…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
by Terrance Swift — 2004 — In International Conference on Logic Programming and Non-Monotonic Reasoning, number 2923 in LNAI
… 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
by Terrance Swift — 1998 — ACM Transactions on Programming Languages and Systems
… 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
by Terrance Swift — 1999 — In Recent Advances in Artifiial Intelligence
…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
by Terrance Swift
…A Note on Trailing in the SLG-WAM Terrance Swift Dept. of Computer Science SUNY Stony Brook Stony…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB