default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheresa Swift
Terrance Swift
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[c48]Theresa Swift
, Michael Kifer:
Multi-paradigm Logic Programming in the ErgoAI System. LPNMR 2024: 126-139- 2023
- [c47]Theresa Swift, Carl Andersen:
The Janus System: Multi-paradigm Programming in Prolog and Python. ICLP 2023: 241-255 - [p3]Carl Andersen, Theresa Swift:
The Janus System: A Bridge to New Prolog Applications. Prolog: The Next 50 Years 2023: 93-104 - [p2]Benjamin N. Grosof, Michael Kifer, Theresa Swift, Paul Fodor, Janine Bloomfield:
Ergo: A Quest for Declarativity in Logic Programming. Prolog: The Next 50 Years 2023: 224-236
2010 – 2019
- 2019
- [c46]Benjamin N. Grosof, Theresa Swift:
PLOW: Probabilistic Logic Over the Well-Founded Semantics. AAAI Spring Symposium: Combining Machine Learning with Knowledge Engineering 2019 - [i10]Carl Andersen, Drew Wicke, Kyle Tunis, Wheeler Howard, Mark Gerken, Dustin Carroll, Cassidy Harless, Cecilia Newell, Theresa Swift:
KB Construction and Hypothesis Generation Using SAMSON. TAC 2019 - 2018
- [j23]Evelina Lamma, Terrance Swift:
Editorial: 29th International conference on logic programming special issue - ADDENDUM. Theory Pract. Log. Program. 18(1): 121 (2018) - [p1]Fabrizio Riguzzi, Theresa Swift:
A survey of probabilistic logic programming. Declarative Logic Programming 2018: 185-228 - 2015
- [j22]Martin Slota, João Leite, Theresa Swift:
On updates of hybrid knowledge bases composed of ontologies and rules. Artif. Intell. 229: 33-104 (2015) - [j21]Terrance Swift:
Forest logging: A trace-based analysis of large rule-based computations. Semantic Web 6(5): 427-449 (2015) - [c45]Benjamin 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. Challenge+DC@RuleML 2015 - 2014
- [j20]Fabrizio Riguzzi, Terrance Swift:
Terminating Evaluation of Logic Programs with Finite Three-Valued Models. ACM Trans. Comput. Log. 15(4): 32:1-32:38 (2014) - [j19]Ana Sofia Gomes, José Júlio Alferes, Terrance Swift:
A goal-directed implementation of query answering for hybrid MKNF knowledge bases. Theory Pract. Log. Program. 14(2): 239-264 (2014) - [j18]Terrance Swift:
Incremental Tabling in Support of Knowledge Representation and Reasoning. Theory Pract. Log. Program. 14(4-5): 553-567 (2014) - [i9]Terrance Swift:
Incremental Tabling in Support of Knowledge Representation and Reasoning. CoRR abs/1405.3547 (2014) - 2013
- [j17]José Júlio Alferes, Matthias Knorr, Terrance Swift:
Query-Driven Procedures for Hybrid MKNF Knowledge Bases. ACM Trans. Comput. Log. 14(2): 16:1-16:43 (2013) - [j16]Fabrizio Riguzzi, Terrance Swift:
Well-definedness and efficient inference for probabilistic logic programming under the distribution semantics. Theory Pract. Log. Program. 13(2): 279-302 (2013) - [j15]Evelina Lamma, Terrance Swift:
Editorial: 29th International Conference on Logic Programming special issue. Theory Pract. Log. Program. 13(4-5): 465-470 (2013) - [c44]Benjamin Nathan Grosof, Terrance Swift:
Radial Restraint: A Semantically Clean Approach to Bounded Rationality for Logic Programs. AAAI 2013: 379-386 - [c43]Carl Andersen, Brett Benyo, Miguel Calejo, Mike Dean, Paul Fodor, Benjamin N. Grosof, Michael Kifer, Senlin Liang, Terrance Swift:
Advanced Knowledge Base Debugging for Rulelog. RuleML (2) 2013 - [i8]Carl Andersen, Brett Benyo, Miguel Calejo, Mike Dean, Paul Fodor, Benjamin N. Grosof, Michael Kifer, Senlin Liang, Terrance Swift:
Understanding Rulelog Computations in Silk. CoRR abs/1308.4125 (2013) - 2012
- [j14]Terrance Swift, David Scott Warren:
XSB: Extending Prolog with Tabled Logic Programming. Theory Pract. Log. Program. 12(1-2): 157-187 (2012) - 2011
- [j13]Fabrizio Riguzzi, Terrance Swift:
The PITA system: Tabling and answer subsumption for reasoning under uncertainty. Theory Pract. Log. Program. 11(4-5): 433-449 (2011) - [j12]Martin Slota, João Leite, Terrance Swift:
Splitting and updating hybrid knowledge bases. Theory Pract. Log. Program. 11(4-5): 801-819 (2011) - [c42]Fabrizio Riguzzi, Terrance Swift:
The PITA System for Logical-Probabilistic Inference. ILP (Late Breaking Papers) 2011: 79-86 - [i7]Ana Sofia Gomes, José Júlio Alferes, Terrance Swift:
A Goal-Directed Implementation of Query Answering for Hybrid MKNF Knowledge Bases. CoRR abs/1103.3949 (2011) - [i6]Martin Slota, João Leite, Terrance Swift:
Splitting and Updating Hybrid Knowledge Bases (Extended Version). CoRR abs/1105.0288 (2011) - [i5]Fabrizio Riguzzi, Terrance Swift:
The PITA System: Tabling and Answer Subsumption for Reasoning under Uncertainty. CoRR abs/1107.4747 (2011) - [i4]Fabrizio Riguzzi, Terrance Swift:
Well-Definedness and Efficient Inference for Probabilistic Logic Programming under the Distribution Semantics. CoRR abs/1110.0631 (2011) - 2010
- [c41]Fabrizio Riguzzi, Terrance Swift:
An Extended Semantics for Logic Programs with Annotated Disjunctions and its Efficient Implementation. CILC 2010 - [c40]Fabrizio Riguzzi, Terrance Swift:
Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions. ICLP (Technical Communications) 2010: 162-171 - [c39]Terrance Swift, David Scott Warren:
Tabling with Answer Subsumption: Implementation, Applications and Performance. JELIA 2010: 300-312 - [c38]Ana Sofia Gomes, José Júlio Alferes, Terrance Swift:
Implementing Query Answering for Hybrid MKNF Knowledge Bases. PADL 2010: 25-39 - [c37]Rui Marques, Terrance Swift, José C. Cunha:
A Simple and Efficient Implementation of Concurrent Local Tabling. PADL 2010: 264-278 - [i3]José Júlio Alferes, Matthias Knorr, Terrance Swift:
Query-driven Procedures for Hybrid MKNF Knowledge Bases. CoRR abs/1007.3515 (2010) - [i2]Terrance Swift, David Scott Warren:
XSB: Extending Prolog with Tabled Logic Programming. CoRR abs/1012.5123 (2010)
2000 – 2009
- 2009
- [c36]Terrance Swift:
An Engine for Computing Well-Founded Models. ICLP 2009: 514-518 - [c35]Terrance Swift, Alexandre Miguel Pinto, Luís Moniz Pereira:
Incremental Answer Completion in the SLG-WAM. ICLP 2009: 519-524 - [c34]Terrance Swift:
Design Patterns for Tabled Logic Programming. INAP 2009: 1-19 - [c33]José Júlio Alferes, Matthias Knorr, Terrance Swift:
Queries to Hybrid MKNF Knowledge Bases through Oracular Tabling. ISWC 2009: 1-16 - [e2]Andy Gill, Terrance Swift:
Practical Aspects of Declarative Languages, 11th International Symposium, PADL 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings. Lecture Notes in Computer Science 5418, Springer 2009, ISBN 978-3-540-92994-9 [contents] - [e1]Axel Polleres, Terrance Swift:
Web Reasoning and Rule Systems, Third International Conference, RR 2009, Chantilly, VA, USA, October 25-26, 2009, Proceedings. Lecture Notes in Computer Science 5837, Springer 2009, ISBN 978-3-642-05081-7 [contents] - 2008
- [c32]Rui Marques, Terrance Swift:
Concurrent and Local Evaluation of Normal Programs. ICLP 2008: 206-222 - 2004
- [j11]José Júlio Alferes, Luís Moniz Pereira, Terrance Swift:
Abduction in Well-Founded Semantics and Generalized Stable Models via Tabled Dual Programs. Theory Pract. Log. Program. 4(4): 383-428 (2004) - [c31]José Júlio Alferes, Francisco Azevedo, Pedro Barahona, Carlos Viegas Damásio, Terrance Swift:
Deductive Diagnosis of Digital Circuits. AIAI 2004: 155-165 - [c30]Terrance Swift:
Deduction in Ontologies via ASP. LPNMR 2004: 275-288 - 2003
- [i1]José Júlio Alferes, Luís Moniz Pereira, Terrance Swift:
Abduction in Well-Founded Semantics and Generalized Stable Models. CoRR cs.LO/0312057 (2003) - 2002
- [j10]Baoqiu Cui, Terrance Swift:
Preference Logic Grammars: Fixed point semantics and application to data standardization. Artif. Intell. 138(1-2): 117-147 (2002) - [c29]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. ICIQ 2002: 155-166 - [c28]Luís Fernando Castro, Terrance Swift, David Scott Warren:
Suspending and Resuming Computations in Engines for SLG Evaluation. PADL 2002: 332-350 - 2001
- [j9]Konstantinos Sagonas, Terrance Swift, David Scott Warren:
The limits of fixed-order computation. Theor. Comput. Sci. 254(1-2): 465-499 (2001) - 2000
- [j8]Konstantinos Sagonas, Terrance Swift, David Scott Warren:
An abstract machine for efficiently computing queries to well-founded models. J. Log. Program. 45(1-3): 1-41 (2000) - [j7]Terrance Swift:
Principles, practice, and applications of tabled logic programming. ACM SIGSOFT Softw. Eng. Notes 25(1): 87-88 (2000) - [c27]Joseph Gartner, Terrance Swift, Allen Tien, Carlos Viegas Damásio, Luís Moniz Pereira:
Psychiatric Diagnosis from the Viewpoint of Computational Logic. Computational Logic 2000: 1362-1376
1990 – 1999
- 1999
- [j6]Terrance Swift:
Tabling for Non-Monotonic Programming. Ann. Math. Artif. Intell. 25(3-4): 201-240 (1999) - [j5]I. V. Ramakrishnan, Prasad Rao, Konstantinos Sagonas, Terrance Swift, David Scott Warren:
Efficient Access Mechanisms for Tabled Logic Programs. J. Log. Program. 38(1): 31-54 (1999) - [c26]Terrance Swift:
A New Formulation of Tabled Resolution with Delay. EPIA 1999: 163-177 - [c25]José Júlio Alferes, Luís Moniz Pereira, Terrance Swift:
Well-founded Abduction via Tabled Dual Programs. ICLP 1999: 426-440 - [c24]Baoqiu Cui, Terrance Swift, David Scott Warren:
A Case Study in Using Preference Logic Grammars for Knowledge Representations. LPNMR 1999: 206-220 - [c23]Carlos Viegas Damásio, Luís Moniz Pereira, Terrance Swift:
Coherent Well-founded Annotated Logic Programs. LPNMR 1999: 262-276 - 1998
- [j4]Juliana Freire, Terrance Swift, David Scott Warren:
Beyond Depth-First Strategies: Improving Tabled Logic Programs through Alternative Scheduling. J. Funct. Log. Program. 1998(3) (1998) - [j3]Konstantinos Sagonas, Terrance Swift:
An Abstract Machine for Tabled Execution of Fixed-Order Stratified Logic Programs. ACM Trans. Program. Lang. Syst. 20(3): 586-634 (1998) - [c22]Juliana Freire, Terrance Swift, David Scott Warren:
Scheduling in SLG Revisited. TAPD 1998: 62-66 - 1997
- [c21]Y. S. Ramakrishna, C. R. Ramakrishnan, I. V. Ramakrishnan, Scott A. Smolka, Terrance Swift, David Scott Warren:
Efficient Model Checking Using Tabled Resolution. CAV 1997: 143-154 - [c20]Juliana Freire, Terrance Swift, David Scott Warren:
Taking I/O Seriously: Resolution Reconsidered for Disk. ICLP 1997: 198-212 - [c19]Prasad Rao, Konstantinos Sagonas, Terrance Swift, David Scott Warren, Juliana Freire:
XSB: A System for Effciently Computing WFS. LPNMR 1997: 431-441 - 1996
- [j2]Steven Dawson, C. R. Ramakrishnan, Steven Skiena, Terrance Swift:
Principles and Practice of Unification Factoring. ACM Trans. Program. Lang. Syst. 18(5): 528-563 (1996) - [c18]Konstantinos Sagonas, Terrance Swift, David Scott Warren:
An Abstract Machine for Fixed-Order Dynamically Stratified Programs. CADE 1996: 328-342 - [c17]Konstantinos Sagonas, Terrance Swift, David Scott Warren:
An Abstract Machine for Computing the Well-Founded Semantics. JICSLP 1996: 274-288 - [c16]Juliana Freire, Terrance Swift, David Scott Warren:
Logic Programming and Databases Integrated at Last? (Poster Abstract). JICSLP 1996: 538 - [c15]Konstantinos Sagonas, Terrance Swift, David Scott Warren:
The Limits of Fixed-Order Computation. Logic in Databases 1996: 343-363 - [c14]Juliana Freire, Terrance Swift, David Scott Warren:
Beyond Depth-First: Improving Tabled Logic Programs through Alternative Scheduling Strategies. PLILP 1996: 243-258 - 1995
- [j1]Weidong Chen, Terrance Swift, David Scott Warren:
Efficient Top-Down Computation of Queries under the Well-Founded Semantics. J. Log. Program. 24(3): 161-199 (1995) - [c13]I. V. Ramakrishnan, Prasad Rao, Konstantinos Sagonas, Terrance Swift, David Scott Warren:
Efficient Tabling Mechanisms for Logic Programs. ICLP 1995: 697-711 - [c12]Juliana Freire, Rui Hu, Terrance Swift, David Scott Warren:
Exploiting Parallelism in Tabled Evaluations. PLILP 1995: 115-132 - [c11]Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, Konstantinos Sagonas, Steven Skiena, Terrance Swift, David Scott Warren:
Unification Factoring for Efficient Execution of Logic Programs. POPL 1995: 247-258 - [c10]Steven Dawson, C. R. Ramakrishnan, I. V. Ramakrishnan, Terrance Swift:
Optimizing Clause Resolution: Beyond Unification Factoring. ILPS 1995: 194-208 - 1994
- [c9]Prasad Rao, I. V. Ramakrishnan, Terrance Swift, David Scott Warren:
Dynamic Argument Reduction for In-memory Data Queries. Workshop on Deductive Databases and Logic Programming 1994: 117-129 - [c8]Terrance Swift, Calvin C. Henderson, Richard Holberger, Edward Neham, John Murphy:
CCTIS: An Expert Transactions Processing System. IAAI 1994 - [c7]Konstantinos Sagonas, Terrance Swift, David Scott Warren:
XSB as an Efficient Deductive Database Engine. SIGMOD Conference 1994: 442-453 - [c6]Konstantinos Sagonas, Terrance Swift, David Scott Warren:
XSB as a Deductive Database. SIGMOD Conference 1994: 512 - [c5]Juliana Freire, Rui Hu, Terrance Swift, David Scott Warren:
Parallelizing Tabled Evaluations (Extended Abstract). Workshop on Design and Impl. of Parallel Logic Programming Systems 1994: 18-31 - [c4]Terrance Swift, David Scott Warren:
Analysis of SLG-WAM Evaluation of Definite Programs. ILPS 1994: 219-235 - [c3]Terrance Swift, David Scott Warren:
An Abstract Machine for SLG Resolution: Definite Programs. ILPS 1994: 633-652 - 1993
- [c2]Konstantinos F. Sagonas, Terrance Swift, David Scott Warren:
The XSB Programming System. Workshop on Programming with Logic Databases (Informal Proceedings), ILPS 1993: 164 - [c1]Weidong Chen, Terrance Swift, David Scott Warren:
Goal-Directed Evaluation of Well-Founded Sematics for XSB. ILPS 1993: 679
Coauthor Index
Konstantinos Sagonas
aka: Konstantinos F. Sagonas
aka: Konstantinos F. Sagonas
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-07 21:34 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
