Theresa Swift - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 6 from 6

2023

The Janus System: A Bridge to New Prolog ApplicationsCarl Andersen 0001, Theresa Swift. In David S. Warren, Verónica Dahl, Thomas Eiter, Manuel V. Hermenegildo, Robert Kowalski, Francesca Rossi, editors, Prolog: The Next 50 Years. Volume 13900 of Lecture Notes in Computer Science, pages 93-104, Springer, 2023. [doi]

Ergo: A Quest for Declarativity in Logic ProgrammingBenjamin N. Grosof, Michael Kifer, Theresa Swift, Paul Fodor, Janine Bloomfield. In David S. Warren, Verónica Dahl, Thomas Eiter, Manuel V. Hermenegildo, Robert Kowalski, Francesca Rossi, editors, Prolog: The Next 50 Years. Volume 13900 of Lecture Notes in Computer Science, pages 224-236, Springer, 2023. [doi]

2019

KB Construction and Hypothesis Generation Using SAMSONCarl Andersen, Drew Wicke, Kyle Tunis, Wheeler Howard, Mark Gerken, Dustin Carroll, Cassidy Harless, Cecilia Newell, Theresa Swift. tac 2019: [doi]

PLOW: Probabilistic Logic Over the Well-Founded SemanticsBenjamin N. Grosof, Theresa Swift. aaaiss 2019: [doi]

2018

A survey of probabilistic logic programmingFabrizio Riguzzi, Theresa Swift. In Michael Kifer, Yanhong Annie Liu, editors, Declarative Logic Programming: Theory, Systems, and Applications. pages 185-228, ACM / Morgan & Claypool, 2018. [doi]

2015

On updates of hybrid knowledge bases composed of ontologies and rulesMartin Slota, João Leite, Theresa Swift. ai, 229:33-104, 2015. [doi]

Sign in or sign up to see more results.

runs on WebDSL