The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Terrance Swift: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Konstantinos F. Sagonas, Terrance Swift, David Scott Warren
    XSB as an Efficient Deductive Database Engine. [Citation Graph (8, 17)][DBLP]
    SIGMOD Conference, 1994, pp:442-453 [Conf]
  2. Weidong Chen, Terrance Swift, David Scott Warren
    Efficient Top-Down Computation of Queries under the Well-Founded Semantics. [Citation Graph (4, 0)][DBLP]
    J. Log. Program., 1995, v:24, n:3, pp:161-199 [Journal]
  3. Konstantinos F. Sagonas, Terrance Swift, David Scott Warren
    The XSB Programming System. [Citation Graph (1, 0)][DBLP]
    Workshop on Programming with Logic Databases (Informal Proceedings), ILPS, 1993, pp:164- [Conf]
  4. I. V. Ramakrishnan, Prasad Rao, Konstantinos F. Sagonas, Terrance Swift, David Scott Warren
    Efficient Tabling Mechanisms for Logic Programs. [Citation Graph (1, 0)][DBLP]
    ICLP, 1995, pp:697-711 [Conf]
  5. Konstantinos F. Sagonas, Terrance Swift, David Scott Warren
    An Abstract Machine for Fixed-Order Dynamically Stratified Programs. [Citation Graph (0, 0)][DBLP]
    CADE, 1996, pp:328-342 [Conf]
  6. Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Terrance Swift, David Scott Warren
    Efficient Model Checking Using Tabled Resolution. [Citation Graph (0, 0)][DBLP]
    CAV, 1997, pp:143-154 [Conf]
  7. Joseph Gartner, Terrance Swift, Allen Tien, Carlos Viegas Damásio, Luís Moniz Pereira
    Psychiatric Diagnosis from the Viewpoint of Computational Logic. [Citation Graph (0, 0)][DBLP]
    Computational Logic, 2000, pp:1362-1376 [Conf]
  8. Prasad Rao, I. V. Ramakrishnan, Terrance Swift, David Scott Warren
    Dynamic Argument Reduction for In-memory Data Queries. [Citation Graph (0, 0)][DBLP]
    Workshop on Deductive Databases and Logic Programming, 1994, pp:117-129 [Conf]
  9. Terrance Swift
    A New Formulation of Tabled Resolution with Delay. [Citation Graph (0, 0)][DBLP]
    EPIA, 1999, pp:163-177 [Conf]
  10. José Júlio Alferes, Luís Moniz Pereira, Terrance Swift
    Well-founded Abduction via Tabled Dual Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:426-440 [Conf]
  11. Juliana Freire, Terrance Swift, David Scott Warren
    Logic Programming and Databases Integrated at Last? (Poster Abstract). [Citation Graph (0, 0)][DBLP]
    JICSLP, 1996, pp:538- [Conf]
  12. Juliana Freire, Terrance Swift, David Scott Warren
    Taking I/O Seriously: Resolution Reconsidered for Disk. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:198-212 [Conf]
  13. Konstantinos F. Sagonas, Terrance Swift, David Scott Warren
    An Abstract Machine for Computing the Well-Founded Semantics. [Citation Graph (0, 0)][DBLP]
    JICSLP, 1996, pp:274-288 [Conf]
  14. José Júlio Alferes, Francisco Azevedo, Pedro Barahona, Carlos Viegas Damásio, Terrance Swift
    Deductive Diagnosis of Digital Circuits. [Citation Graph (0, 0)][DBLP]
    AIAI, 2004, pp:155-166 [Conf]
  15. Hasan 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. [Citation Graph (0, 0)][DBLP]
    IQ, 2002, pp:155-166 [Conf]
  16. Konstantinos F. Sagonas, Terrance Swift, David Scott Warren
    The Limits of Fixed-Order Computation. [Citation Graph (0, 0)][DBLP]
    Logic in Databases, 1996, pp:343-363 [Conf]
  17. Carlos Viegas Damásio, Luís Moniz Pereira, Terrance Swift
    Coherent Well-founded Annotated Logic Programs. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1999, pp:262-276 [Conf]
  18. Baoqiu Cui, Terrance Swift, David Scott Warren
    A Case Study in Using Preference Logic Grammars for Knowledge Representations. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1999, pp:206-220 [Conf]
  19. Prasad Rao, Konstantinos F. Sagonas, Terrance Swift, David Scott Warren, Juliana Freire
    XSB: A System for Effciently Computing WFS. [Citation Graph (0, 0)][DBLP]
    LPNMR, 1997, pp:431-441 [Conf]
  20. Terrance Swift
    Deduction in Ontologies via ASP. [Citation Graph (0, 0)][DBLP]
    LPNMR, 2004, pp:275-288 [Conf]
  21. Luís Fernando Castro, Terrance Swift, David Scott Warren
    Suspending and Resuming Computations in Engines for SLG Evaluation. [Citation Graph (0, 0)][DBLP]
    PADL, 2002, pp:332-350 [Conf]
  22. Juliana Freire, Rui Hu, Terrance Swift, David Scott Warren
    Exploiting Parallelism in Tabled Evaluations [Citation Graph (0, 0)][DBLP]
    PLILP, 1995, pp:115-132 [Conf]
  23. Juliana Freire, Terrance Swift, David Scott Warren
    Beyond Depth-First: Improving Tabled Logic Programs through Alternative Scheduling Strategies. [Citation Graph (0, 0)][DBLP]
    PLILP, 1996, pp:243-258 [Conf]
  24. Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, Konstantinos F. Sagonas, Steven Skiena, Terrance Swift, David Scott Warren
    Unification Factoring for Efficient Execution of Logic Programs. [Citation Graph (0, 0)][DBLP]
    POPL, 1995, pp:247-258 [Conf]
  25. Konstantinos F. Sagonas, Terrance Swift, David Scott Warren
    XSB as a Deductive Database. [Citation Graph (0, 0)][DBLP]
    SIGMOD Conference, 1994, pp:512- [Conf]
  26. Weidong Chen, Terrance Swift, David Scott Warren
    Goal-Directed Evaluation of Well-Founded Sematics for XSB. [Citation Graph (0, 0)][DBLP]
    ILPS, 1993, pp:679- [Conf]
  27. Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, Terrance Swift
    Optimizing Clause Resolution: Beyond Unification Factoring. [Citation Graph (0, 0)][DBLP]
    ILPS, 1995, pp:194-208 [Conf]
  28. Juliana Freire, Rui Hu, Terrance Swift, David Scott Warren
    Parallelizing Tabled Evaluations (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    Workshop on Design and Impl. of Parallel Logic Programming Systems, 1994, pp:18-31 [Conf]
  29. Terrance Swift, David Scott Warren
    Analysis of SLG-WAM Evaluation of Definite Programs. [Citation Graph (0, 0)][DBLP]
    SLP, 1994, pp:219-235 [Conf]
  30. Terrance Swift, David Scott Warren
    An Abstract Machine for SLG Resolution: Definite Programs. [Citation Graph (0, 0)][DBLP]
    SLP, 1994, pp:633-652 [Conf]
  31. Juliana Freire, Terrance Swift, David Scott Warren
    Scheduling in SLG Revisited. [Citation Graph (0, 0)][DBLP]
    TAPD, 1998, pp:62-66 [Conf]
  32. Baoqiu Cui, Terrance Swift
    Preference Logic Grammars: Fixed point semantics and application to data standardization. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2002, v:138, n:1-2, pp:117-147 [Journal]
  33. Terrance Swift
    Tabling for Non-Monotonic Programming. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1999, v:25, n:3-4, pp:201-240 [Journal]
  34. José Júlio Alferes, Luís Moniz Pereira, Terrance Swift
    Abduction in Well-Founded Semantics and Generalized Stable Models [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  35. Juliana Freire, Terrance Swift, David Scott Warren
    Beyond Depth-First Strategies: Improving Tabled Logic Programs through Alternative Scheduling. [Citation Graph (0, 0)][DBLP]
    Journal of Functional and Logic Programming, 1998, v:1998, n:3, pp:- [Journal]
  36. Konstantinos F. Sagonas, Terrance Swift, David Scott Warren
    An abstract machine for efficiently computing queries to well-founded models. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 2000, v:45, n:1-3, pp:1-41 [Journal]
  37. I. V. Ramakrishnan, Prasad Rao, Konstantinos F. Sagonas, Terrance Swift, David Scott Warren
    Efficient Access Mechanisms for Tabled Logic Programs. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1999, v:38, n:1, pp:31-54 [Journal]
  38. Konstantinos F. Sagonas, Terrance Swift, David Scott Warren
    The limits of fixed-order computation. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2001, v:254, n:1-2, pp:465-499 [Journal]
  39. Steven Dawson, C. R. Ramakrishnan, Steven Skiena, Terrance Swift
    Principles and Practice of Unification Factoring. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1996, v:18, n:5, pp:528-563 [Journal]
  40. Konstantinos F. Sagonas, Terrance Swift
    An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1998, v:20, n:3, pp:586-634 [Journal]
  41. José Júlio Alferes, Luís Moniz Pereira, Terrance Swift
    Abduction in Well-Founded Semantics and Generalized Stable Models via Tabled Dual Programs. [Citation Graph (0, 0)][DBLP]
    TPLP, 2004, v:4, n:4, pp:383-428 [Journal]

  42. Concurrent and Local Evaluation of Normal Programs. [Citation Graph (, )][DBLP]


  43. Incremental Answer Completion in the SLG-WAM. [Citation Graph (, )][DBLP]


  44. An Engine for Computing Well-Founded Models. [Citation Graph (, )][DBLP]


  45. Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions. [Citation Graph (, )][DBLP]


  46. Tabling with Answer Subsumption: Implementation, Applications and Performance. [Citation Graph (, )][DBLP]


  47. A Simple and Efficient Implementation of Concurrent Local Tabling. [Citation Graph (, )][DBLP]


  48. Implementing Query Answering for Hybrid MKNF Knowledge Bases. [Citation Graph (, )][DBLP]


  49. Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling. [Citation Graph (, )][DBLP]


  50. Query-driven Procedures for Hybrid MKNF Knowledge Bases [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.007secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002