The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of Terrance Swift Theresa Swift ( http://dblp.L3S.de/Authors/Terrance_Swift )

URL (Homepage):  http://www3.cs.stonybrook.edu/~tswift/  Author page on DBLP  Author page in RDF  Community of Terrance Swift in ASPL-2

Publication years (Num. hits)
1993-1996 (20) 1997-2000 (15) 2001-2009 (15) 2010-2012 (15) 2013-2018 (15) 2019 (1)
Publication types (Num. hits)
article(32) incollection(1) inproceedings(46) proceedings(2)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 10 occurrences of 6 keywords

Results
Found 82 publication records. Showing 81 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Benjamin N. Grosof, Theresa Swift PLOW: Probabilistic Logic Over the Well-Founded Semantics. Search on Bibsonomy AAAI Spring Symposium: Combining Machine Learning with Knowledge Engineering The full citation details ... 2019 DBLP  BibTeX  RDF
1Evelina Lamma, Terrance Swift Editorial: 29th International conference on logic programming special issue - ADDENDUM. Search on Bibsonomy TPLP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Fabrizio Riguzzi, Theresa Swift A survey of probabilistic logic programming. Search on Bibsonomy Declarative Logic Programming The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Terrance Swift Forest logging: A trace-based analysis of large rule-based computations. Search on Bibsonomy Semantic Web The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Benjamin N. Grosof, Janine Bloomfield, Paul Fodor, Michael Kifer, Isaac Grosof, Miguel Calejo, Terrance Swift Automated Decision Support for Financial Regulatory/Policy Compliance, using Textual Rulelog. Search on Bibsonomy Challenge+DC@RuleML The full citation details ... 2015 DBLP  BibTeX  RDF
1Martin Slota, João Leite, Theresa Swift On updates of hybrid knowledge bases composed of ontologies and rules. Search on Bibsonomy Artif. Intell. The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Fabrizio Riguzzi, Terrance Swift Terminating Evaluation of Logic Programs with Finite Three-Valued Models. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Terrance Swift Incremental Tabling in Support of Knowledge Representation and Reasoning. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Terrance Swift Incremental Tabling in Support of Knowledge Representation and Reasoning. Search on Bibsonomy TPLP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Ana Sofia Gomes, José Júlio Alferes, Terrance Swift A goal-directed implementation of query answering for hybrid MKNF knowledge bases. Search on Bibsonomy TPLP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1José Júlio Alferes, Matthias Knorr, Terrance Swift Query-Driven Procedures for Hybrid MKNF Knowledge Bases. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Carl Andersen, Brett Benyo, Miguel Calejo, Mike Dean, Paul Fodor, Benjamin N. Grosof, Michael Kifer, Senlin Liang, Terrance Swift Understanding Rulelog Computations in Silk. Search on Bibsonomy CoRR The full citation details ... 2013 DBLP  BibTeX  RDF
1Evelina Lamma, Terrance Swift Editorial: 29th International Conference on Logic Programming special issue. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Fabrizio Riguzzi, Terrance Swift Well-definedness and efficient inference for probabilistic logic programming under the distribution semantics. Search on Bibsonomy TPLP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Benjamin Nathan Grosof, Terrance Swift Radial Restraint: A Semantically Clean Approach to Bounded Rationality for Logic Programs. Search on Bibsonomy AAAI The full citation details ... 2013 DBLP  BibTeX  RDF
1Carl Andersen, Brett Benyo, Miguel Calejo, Mike Dean, Paul Fodor, Benjamin N. Grosof, Michael Kifer, Senlin Liang, Terrance Swift Advanced Knowledge Base Debugging for Rulelog. Search on Bibsonomy RuleML (2) The full citation details ... 2013 DBLP  BibTeX  RDF
1Terrance Swift, David Scott Warren XSB: Extending Prolog with Tabled Logic Programming. Search on Bibsonomy TPLP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Ana Sofia Gomes, José Júlio Alferes, Terrance Swift A Goal-Directed Implementation of Query Answering for Hybrid MKNF Knowledge Bases Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Martin Slota, João Leite, Terrance Swift Splitting and Updating Hybrid Knowledge Bases (Extended Version) Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Fabrizio Riguzzi, Terrance Swift The PITA System: Tabling and Answer Subsumption for Reasoning under Uncertainty Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Fabrizio Riguzzi, Terrance Swift Well-Definedness and Efficient Inference for Probabilistic Logic Programming under the Distribution Semantics Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Martin Slota, João Leite, Terrance Swift Splitting and updating hybrid knowledge bases. Search on Bibsonomy TPLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Fabrizio Riguzzi, Terrance Swift The PITA system: Tabling and answer subsumption for reasoning under uncertainty. Search on Bibsonomy TPLP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Fabrizio Riguzzi, Terrance Swift The PITA System for Logical-Probabilistic Inference. Search on Bibsonomy ILP (Late Breaking Papers) The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Terrance Swift, David Scott Warren XSB: Extending Prolog with Tabled Logic Programming Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1José Júlio Alferes, Matthias Knorr, Terrance Swift Query-driven Procedures for Hybrid MKNF Knowledge Bases Search on Bibsonomy CoRR The full citation details ... 2010 DBLP  BibTeX  RDF
1Rui Marques, Terrance Swift, José C. Cunha A Simple and Efficient Implementation of Concurrent Local Tabling. Search on Bibsonomy PADL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ana Sofia Gomes, José Júlio Alferes, Terrance Swift Implementing Query Answering for Hybrid MKNF Knowledge Bases. Search on Bibsonomy PADL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Fabrizio Riguzzi, Terrance Swift An Extended Semantics for Logic Programs with Annotated Disjunctions and its Efficient Implementation. Search on Bibsonomy CILC The full citation details ... 2010 DBLP  BibTeX  RDF
1Fabrizio Riguzzi, Terrance Swift Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions. Search on Bibsonomy ICLP (Technical Communications) The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Terrance Swift, David Scott Warren Tabling with Answer Subsumption: Implementation, Applications and Performance. Search on Bibsonomy JELIA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Andy Gill, Terrance Swift (eds.) Practical Aspects of Declarative Languages, 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings Search on Bibsonomy PADL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1José Júlio Alferes, Matthias Knorr, Terrance Swift Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling. Search on Bibsonomy International Semantic Web Conference The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Terrance Swift Design Patterns for Tabled Logic Programming. Search on Bibsonomy INAP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Terrance Swift An Engine for Computing Well-Founded Models. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Tabling, WAM
1Terrance Swift, Alexandre Miguel Pinto, Luís Moniz Pereira Incremental Answer Completion in the SLG-WAM. Search on Bibsonomy ICLP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Axel Polleres, Terrance Swift (eds.) Web Reasoning and Rule Systems, Third International Conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009, Proceedings Search on Bibsonomy RR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Rui Marques, Terrance Swift Concurrent and Local Evaluation of Normal Programs. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1José Júlio Alferes, Luís Moniz Pereira, Terrance Swift Abduction in Well-Founded Semantics and Generalized Stable Models via Tabled Dual Programs. Search on Bibsonomy TPLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1José Júlio Alferes, Francisco Azevedo, Pedro Barahona, Carlos Viegas Damásio, Terrance Swift Deductive Diagnosis of Digital Circuits. Search on Bibsonomy AIAI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Terrance Swift Deduction in Ontologies via ASP. Search on Bibsonomy LPNMR The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1José Júlio Alferes, Luís Moniz Pereira, Terrance Swift Abduction in Well-Founded Semantics and Generalized Stable Models Search on Bibsonomy CoRR The full citation details ... 2003 DBLP  BibTeX  RDF
1Baoqiu Cui, Terrance Swift Preference Logic Grammars: Fixed point semantics and application to data standardization. Search on Bibsonomy Artif. Intell. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Luís Fernando Castro, Terrance Swift, David Scott Warren Suspending and Resuming Computations in Engines for SLG Evaluation. Search on Bibsonomy PADL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Hasan Davulcu, Jennifer Jones, L. Robert Pokorny, Chris Rued, Terrance Swift, Tatyana Vidrevich, David Scott Warren Ensuring the Consistency of Self-Reported Data: A Case Study. Search on Bibsonomy ICIQ The full citation details ... 2002 DBLP  BibTeX  RDF
1Konstantinos Sagonas, Terrance Swift, David Scott Warren The limits of fixed-order computation. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Konstantinos Sagonas, Terrance Swift, David Scott Warren An abstract machine for efficiently computing queries to well-founded models. Search on Bibsonomy J. Log. Program. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Terrance Swift Principles, practice, and applications of tabled logic programming. Search on Bibsonomy ACM SIGSOFT Software Engineering Notes The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Joseph Gartner, Terrance Swift, Allen Tien, Carlos Viegas Damásio, Luís Moniz Pereira Psychiatric Diagnosis from the Viewpoint of Computational Logic. Search on Bibsonomy Computational Logic The full citation details ... 2000 DBLP  BibTeX  RDF
1I. V. Ramakrishnan, Prasad Rao, Konstantinos Sagonas, Terrance Swift, David Scott Warren Efficient Access Mechanisms for Tabled Logic Programs. Search on Bibsonomy J. Log. Program. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Terrance Swift Tabling for Non-Monotonic Programming. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1José Júlio Alferes, Luís Moniz Pereira, Terrance Swift Well-founded Abduction via Tabled Dual Programs. Search on Bibsonomy ICLP The full citation details ... 1999 DBLP  BibTeX  RDF
1Carlos Viegas Damásio, Luís Moniz Pereira, Terrance Swift Coherent Well-founded Annotated Logic Programs. Search on Bibsonomy LPNMR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Baoqiu Cui, Terrance Swift, David Scott Warren A Case Study in Using Preference Logic Grammars for Knowledge Representations. Search on Bibsonomy LPNMR The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Terrance Swift A New Formulation of Tabled Resolution with Delay. Search on Bibsonomy EPIA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Juliana Freire, Terrance Swift, David Scott Warren Beyond Depth-First Strategies: Improving Tabled Logic Programs through Alternative Scheduling. Search on Bibsonomy Journal of Functional and Logic Programming The full citation details ... 1998 DBLP  BibTeX  RDF
1Konstantinos Sagonas, Terrance Swift An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF SLG, memoing, stratification theories, prolog, tabling, WAM
1Juliana Freire, Terrance Swift, David Scott Warren Scheduling in SLG Revisited. Search on Bibsonomy TAPD The full citation details ... 1998 DBLP  BibTeX  RDF
1Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Terrance Swift, David Scott Warren Efficient Model Checking Using Tabled Resolution. Search on Bibsonomy CAV The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Juliana Freire, Terrance Swift, David Scott Warren Taking I/O Seriously: Resolution Reconsidered for Disk. Search on Bibsonomy ICLP The full citation details ... 1997 DBLP  BibTeX  RDF
1Prasad Rao, Konstantinos Sagonas, Terrance Swift, David Scott Warren, Juliana Freire XSB: A System for Effciently Computing WFS. Search on Bibsonomy LPNMR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Steven Dawson, C. R. Ramakrishnan, Steven Skiena, Terrance Swift Principles and Practice of Unification Factoring. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF trie minimization, logic programming, indexing, unification
1Juliana Freire, Terrance Swift, David Scott Warren Beyond Depth-First: Improving Tabled Logic Programs through Alternative Scheduling Strategies. Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Konstantinos Sagonas, Terrance Swift, David Scott Warren An Abstract Machine for Computing the Well-Founded Semantics. Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Juliana Freire, Terrance Swift, David Scott Warren Logic Programming and Databases Integrated at Last? (Poster Abstract). Search on Bibsonomy JICSLP The full citation details ... 1996 DBLP  BibTeX  RDF
1Konstantinos Sagonas, Terrance Swift, David Scott Warren The Limits of Fixed-Order Computation. Search on Bibsonomy Logic in Databases The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Konstantinos Sagonas, Terrance Swift, David Scott Warren An Abstract Machine for Fixed-Order Dynamically Stratified Programs. Search on Bibsonomy CADE The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Weidong Chen 0005, Terrance Swift, David Scott Warren Efficient Top-Down Computation of Queries under the Well-Founded Semantics. Search on Bibsonomy J. Log. Program. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, Terrance Swift Optimizing Clause Resolution: Beyond Unification Factoring. Search on Bibsonomy ILPS The full citation details ... 1995 DBLP  BibTeX  RDF
1Juliana Freire, Rui Hu, Terrance Swift, David Scott Warren Exploiting Parallelism in Tabled Evaluations Search on Bibsonomy PLILP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, Konstantinos Sagonas, Steven Skiena, Terrance Swift, David Scott Warren Unification Factoring for Efficient Execution of Logic Programs. Search on Bibsonomy POPL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF Prolog
1I. V. Ramakrishnan, Prasad Rao, Konstantinos Sagonas, Terrance Swift, David Scott Warren Efficient Tabling Mechanisms for Logic Programs. Search on Bibsonomy ICLP The full citation details ... 1995 DBLP  BibTeX  RDF
1Terrance Swift, David Scott Warren Analysis of SLG-WAM Evaluation of Definite Programs. Search on Bibsonomy ILPS The full citation details ... 1994 DBLP  BibTeX  RDF
1Juliana Freire, Rui Hu, Terrance Swift, David Scott Warren Parallelizing Tabled Evaluations (Extended Abstract). Search on Bibsonomy Workshop on Design and Impl. of Parallel Logic Programming Systems The full citation details ... 1994 DBLP  BibTeX  RDF
1Terrance Swift, David Scott Warren An Abstract Machine for SLG Resolution: Definite Programs. Search on Bibsonomy ILPS The full citation details ... 1994 DBLP  BibTeX  RDF
1Prasad Rao, I. V. Ramakrishnan, Terrance Swift, David Scott Warren Dynamic Argument Reduction for In-memory Data Queries. Search on Bibsonomy Workshop on Deductive Databases and Logic Programming The full citation details ... 1994 DBLP  BibTeX  RDF
1Konstantinos Sagonas, Terrance Swift, David Scott Warren XSB as an Efficient Deductive Database Engine. Search on Bibsonomy SIGMOD Conference The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Prolog
1Konstantinos Sagonas, Terrance Swift, David Scott Warren XSB as a Deductive Database. Search on Bibsonomy SIGMOD Conference The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Terrance Swift, Calvin C. Henderson, Richard Holberger, Edward Neham, John Murphy CCTIS: An Expert Transactions Processing System. Search on Bibsonomy IAAI The full citation details ... 1994 DBLP  BibTeX  RDF
1Weidong Chen 0005, Terrance Swift, David Scott Warren Goal-Directed Evaluation of Well-Founded Sematics for XSB. Search on Bibsonomy ILPS The full citation details ... 1993 DBLP  BibTeX  RDF
1Konstantinos F. Sagonas, Terrance Swift, David Scott Warren The XSB Programming System. Search on Bibsonomy Workshop on Programming with Logic Databases (Informal Proceedings), ILPS The full citation details ... 1993 DBLP  BibTeX  RDF
Displaying result #1 - #81 of 81 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license