80 citations · 85 across the 4 of their papers we have counts for
4 papers
The Janus System: Multi-paradigm Programming in Prolog and Python
Theresa Swift, Carl Andersen
Python and Prolog express different programming paradigms, with different strengths. Python is wildly popular because it is well-structured, easy to use, and mixes well with thousa…
Understanding Rulelog Computations in Silk
Carl Andersen, Brett Benyo, Miguel Calejo +6
Rulelog is a knowledge representation and reasoning language based on logic programming under the well-founded semantics. It is an extension of the language of Flora-2 and so suppo…
The PITA System: Tabling and Answer Subsumption for Reasoning under Uncertainty
Fabrizio Riguzzi, Terrance Swift
Many real world domains require the representation of a measure of uncertainty. The most common such representation is probability, and the combination of probability with logic pr…
Abduction in Well-Founded Semantics and Generalized Stable Models
José Júlio Alferes, Luís Moniz Pereira, Terrance Swift
Abductive logic programming offers a formalism to declaratively express and solve problems in areas such as diagnosis, planning, belief revision and hypothetical reasoning. Tabled…