Terrance Swift

From MaRDI portal
Person:1603736

Available identifiers

zbMath Open swift.terranceMaRDI QIDQ1603736

List of research outcomes

PublicationDate of PublicationType
An abstract machine for fixed-order dynamically stratified programs2019-01-15Paper
Query-Driven Procedures for Hybrid MKNF Knowledge Bases2015-09-17Paper
Terminating Evaluation of Logic Programs with Finite Three-Valued Models2015-09-17Paper
Incremental Tabling in Support of Knowledge Representation and Reasoning2014-11-25Paper
A goal-directed implementation of query answering for hybrid MKNF knowledge bases2014-04-17Paper
Editorial: 29th International Conference on Logic Programming special issue2014-02-27Paper
Well–definedness and efficient inference for probabilistic logic programming under the distribution semantics2013-06-26Paper
XSB: Extending Prolog with Tabled Logic Programming2012-06-25Paper
Tabling and answer subsumption for reasoning on logic programs with annotated disjunctions2012-05-11Paper
The PITA system: Tabling and answer subsumption for reasoning under uncertainty2011-08-16Paper
Splitting and updating hybrid knowledge bases2011-08-16Paper
Tabling with Answer Subsumption: Implementation, Applications and Performance2010-10-01Paper
Concurrent and Local Evaluation of Normal Programs2009-01-22Paper
Logic Programming and Nonmonotonic Reasoning2007-11-07Paper
Abduction in well-founded semantics and generalized stable models via tabled dual programs2004-09-24Paper
Preference Logic Grammars: Fixed point semantics and application to data standardization2002-07-15Paper
https://portal.mardi4nfdi.de/entity/Q27671552002-01-28Paper
The limits of fixed-order computation2001-08-20Paper
An abstract machine for efficiently computing queries to well-founded models2000-10-10Paper
https://portal.mardi4nfdi.de/entity/Q44943182000-08-10Paper
Tabling for non-monotonic programming2000-06-07Paper
https://portal.mardi4nfdi.de/entity/Q49553402000-05-25Paper
https://portal.mardi4nfdi.de/entity/Q42599681999-09-09Paper
Efficient access mechanisms for tabled logic programs1999-05-04Paper
Efficient top-down computation of queries under the well-founded semantics1997-07-06Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Terrance Swift