BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Belgium
1 × Canada
1 × Israel
1 × Italy
1 × Japan
1 × Spain
1 × The Netherlands
2 × Germany
2 × United Kingdom
8 × USA
Collaborated with:
D.S.Warren K.F.Sagonas F.Riguzzi J.Freire L.M.Pereira R.Marques I.V.Ramakrishnan J.J.Alferes C.R.Ramakrishnan S.Dawson M.Slota J.Leite A.S.Gomes J.C.Cunha A.M.Pinto L.F.Castro W.Chen R.Hu J.Gartner A.Tien C.V.Damásio P.Rao Y.S.Ramakrishna S.A.Smolka S.Skiena
Talks about:
program (9) tabl (9) effici (5) logic (5) evalu (5) resolut (4) comput (4) answer (4) found (4) well (4)

Person: Terrance Swift

DBLP DBLP: Swift:Terrance

Facilitated 2 volumes:

ICLP 2013Ed
PADL 2009Ed

Contributed to:

ICLP 20142014
ICLP 20112011
ICLP 20102010
PADL 20102010
ICLP 20092009
ICLP 20082008
PADL 20022002
CL 20002000
ICLP 19991999
CAV 19971997
ICLP 19971997
CADE 19961996
JICSLP 19961996
PLILP 19961996
ICLP 19951995
ILPS 19951995
PPDP 19951995
POPL 19951995
ILPS 19941994
SIGMOD 19941994
ILPS 19931993

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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.