Person: Terrance Swift

DBLP: Swift:Terrance

Facilitated 2 volumes:

Ed

Ed

Contributed to:

2014

2011

2010

2010

2009

2008

2002

2000

1999

1997

1997

1996

1996

1996

1995

1995

1995

1995

1994

1994

1993

Wrote 27 papers:

ICLP-J-2014-Swift #incremental #information management #reasoning #representation

Incremental Tabling in Support of Knowledge Representation and Reasoning (TS), pp. 553–567.

ICLP-J-2011-RiguzziS #nondeterminism #reasoning

The PITA system: Tabling and answer subsumption for reasoning under uncertainty (FR, TS), pp. 433–449.

ICLP-J-2011-SlotaLS #hybrid #knowledge base

Splitting and updating hybrid knowledge bases (MS, JL, TS), pp. 801–819.

ICLP-2010-RiguzziS10 #logic programming #reasoning #source code

Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions (FR, TS), pp. 162–171.

PADL-2010-GomesAS #hybrid #implementation #knowledge base #query

Implementing Query Answering for Hybrid MKNF Knowledge Bases (ASG, JJA, TS), pp. 25–39.

PADL-2010-MarquesSC #concurrent #implementation #performance

A Simple and Efficient Implementation of Concurrent Local Tabling (RM, TS, JCC), pp. 264–278.

ICLP-2009-Swift #modelling

An Engine for Computing Well-Founded Models (TS), pp. 514–518.

ICLP-2009-SwiftPP #incremental

Incremental Answer Completion in the SLG-WAM (TS, AMP, LMP), pp. 519–524.

ICLP-2008-MarquesS #concurrent #evaluation #source code

Concurrent and Local Evaluation of Normal Programs (RM, TS), pp. 206–222.

PADL-2002-CastroSW #evaluation

Suspending and Resuming Computations in Engines for SLG Evaluation (LFC, TS, DSW), pp. 332–350.

CL-2000-GartnerSTDP #logic

Psychiatric Diagnosis from the Viewpoint of Computational Logic (JG, TS, AT, CVD, LMP), pp. 1362–1376.

ICLP-1999-AlferesPS #abduction #source code

Well-founded Abduction via Tabled Dual Programs (JJA, LMP, TS), pp. 426–440.

CAV-1997-RamakrishnanRRSSW #model checking #performance #using

Efficient Model Checking Using Tabled Resolution (YSR, CRR, IVR, SAS, TS, DSW), pp. 143–154.

ICLP-1997-FreireSW

Taking I/O Seriously: Resolution Reconsidered for Disk (JF, TS, DSW), pp. 198–212.

CADE-1996-SagonasSW #automaton #source code

An Abstract Machine for Fixed-Order Dynamically Stratified Programs (KFS, TS, DSW), pp. 328–342.

JICSLP-1996-SagonasSW #automaton #semantics

An Abstract Machine for Computing the Well-Founded Semantics (KFS, TS, DSW), pp. 274–288.

PLILP-1996-FreireSW #logic programming #scheduling #source code

Beyond Depth-First: Improving Tabled Logic Programs through Alternative Scheduling Strategies (JF, TS, DSW), pp. 243–258.

ICLP-1995-RamakrishnanRSSW #logic programming #performance #source code

Efficient Tabling Mechanisms for Logic Programs (IVR, PR, KFS, TS, DSW), pp. 697–711.

ILPS-1995-DawsonRRS #optimisation #unification

Optimizing Clause Resolution: Beyond Unification Factoring (SD, CRR, IVR, TS), pp. 194–208.

PLILP-1995-FreireHSW #parallel

Exploiting Parallelism in Tabled Evaluations (JF, RH, TS, DSW), pp. 115–132.

POPL-1995-DawsonRRSSSW #execution #logic programming #performance #source code #unification

Unification Factoring for Efficient Execution of Logic Programs (SD, CRR, IVR, KFS, SS, TS, DSW), pp. 247–258.

ILPS-1994-SwiftW #analysis #evaluation #source code

Analysis of SLG-WAM Evaluation of Definite Programs (TS, DSW), pp. 219–235.

ILPS-1994-SwiftW94a #automaton #source code

An Abstract Machine for SLG Resolution: Definite Programs (TS, DSW), pp. 633–652.

SIGMOD-1994-SagonasSW #database #deduction #performance

XSB as an Efficient Deductive Database Engine (KFS, TS, DSW), pp. 442–453.

SIGMOD-1994-SagonasSW94a #database #deduction

XSB as a Deductive Database (KFS, TS, DSW), p. 512.

ILPS-1993-ChenSW #evaluation

Goal-Directed Evaluation of Well-Founded Sematics for XSB (WC, TS, DSW), p. 679.