BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Terrance Swift
SearchCollections
Map detail
Terrance Swift10 visible / 10 total nodes / 9 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipTerrance SwiftATerrance SwiftResearcherIncremental Tabling in Support of Knowledge Representation and ReasoningWIncremental Tabling in ...preprint / 2014XSB: Extending Prolog with Tabled Logic ProgrammingWXSB: Extending Prolog w...preprint / 2010Well-Definedness and Efficient Inference for Probabilistic Logic Programming under the Distribution SemanticsWWell-Definedness and Ef...preprint / 2011The PITA System: Tabling and Answer Subsumption for Reasoning under UncertaintyWThe PITA System: Tablin...preprint / 2011Query-driven Procedures for Hybrid MKNF Knowledge BasesWQuery-driven Procedures...preprint / 2011A Goal-Directed Implementation of Query Answering for Hybrid MKNF Knowledge BasesWA Goal-Directed Impleme...preprint / 2012Splitting and Updating Hybrid Knowledge Bases (Extended Version)WSplitting and Updating ...preprint / 2011Abduction in Well-Founded Semantics and Generalized Stable ModelsWAbduction in Well-Found...preprint / 2003Understanding Rulelog Computations in SilkWUnderstanding Rulelog C...preprint / 2013
Person9 links

Terrance Swift

Researcher

PaperIncremental Tabling in Support of Knowledge Representation and ReasoningAuthorship / preprint / 2014PaperXSB: Extending Prolog with Tabled Logic ProgrammingAuthorship / preprint / 2010PaperWell-Definedness and Efficient Inference for Probabilistic Logic Programming under the Distribution SemanticsAuthorship / preprint / 2011PaperThe PITA System: Tabling and Answer Subsumption for Reasoning under UncertaintyAuthorship / preprint / 2011PaperQuery-driven Procedures for Hybrid MKNF Knowledge BasesAuthorship / preprint / 2011PaperA Goal-Directed Implementation of Query Answering for Hybrid MKNF Knowledge BasesAuthorship / preprint / 2012PaperSplitting and Updating Hybrid Knowledge Bases (Extended Version)Authorship / preprint / 2011PaperAbduction in Well-Founded Semantics and Generalized Stable ModelsAuthorship / preprint / 2003

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)