Terrance Swift

Available identifiers

zbMath Open swift.terranceMaRDI QIDQ1603736

List of research outcomes

Publication	Date of Publication	Type
An abstract machine for fixed-order dynamically stratified programs	2019-01-15	Paper
Query-Driven Procedures for Hybrid MKNF Knowledge Bases	2015-09-17	Paper
Terminating Evaluation of Logic Programs with Finite Three-Valued Models	2015-09-17	Paper
Incremental Tabling in Support of Knowledge Representation and Reasoning	2014-11-25	Paper
A goal-directed implementation of query answering for hybrid MKNF knowledge bases	2014-04-17	Paper
Editorial: 29th International Conference on Logic Programming special issue	2014-02-27	Paper
Well–definedness and efficient inference for probabilistic logic programming under the distribution semantics	2013-06-26	Paper
XSB: Extending Prolog with Tabled Logic Programming	2012-06-25	Paper
Tabling and answer subsumption for reasoning on logic programs with annotated disjunctions	2012-05-11	Paper
The PITA system: Tabling and answer subsumption for reasoning under uncertainty	2011-08-16	Paper
Splitting and updating hybrid knowledge bases	2011-08-16	Paper
Tabling with Answer Subsumption: Implementation, Applications and Performance	2010-10-01	Paper
Concurrent and Local Evaluation of Normal Programs	2009-01-22	Paper
Logic Programming and Nonmonotonic Reasoning	2007-11-07	Paper
Abduction in well-founded semantics and generalized stable models via tabled dual programs	2004-09-24	Paper
Preference Logic Grammars: Fixed point semantics and application to data standardization	2002-07-15	Paper
https://portal.mardi4nfdi.de/entity/Q2767155	2002-01-28	Paper
The limits of fixed-order computation	2001-08-20	Paper
An abstract machine for efficiently computing queries to well-founded models	2000-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q4494318	2000-08-10	Paper
Tabling for non-monotonic programming	2000-06-07	Paper
https://portal.mardi4nfdi.de/entity/Q4955340	2000-05-25	Paper
https://portal.mardi4nfdi.de/entity/Q4259968	1999-09-09	Paper
Efficient access mechanisms for tabled logic programs	1999-05-04	Paper
Efficient top-down computation of queries under the well-founded semantics	1997-07-06	Paper

Research outcomes over time

This page was built for person: Terrance Swift