Topological characterizations for logic programming semantics

Authors:
Audrey Piltch Ferry
Affiliations:
The Univ. of Michigan
Venue:
Topological characterizations for logic programming semantics
Year:
1994

Citing 0
Cited 4

Logic programming revisited: logic programs as inductive definitions

ACM Transactions on Computational Logic (TOCL) - Special issue devoted to Robert A. Kowalski
Representation theory for default logic

Annals of Mathematics and Artificial Intelligence
Quasi-Metrics And The Semantics Of Logic Programs

Fundamenta Informaticae
Complexity of Recursive Normal Default Logic

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract