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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Terrance Swift