Journal of Logic Programming
Quantitative deduction and its fixpoint theory
Journal of Logic Programming
Some issues and trends in the semantics of logic programming
Proceedings on Third international conference on logic programming
Journal of Logic Programming
Paraconsistent logic programming
Proc. of the seventh conference on Foundations of software technology and theoretical computer science
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Towards a theory of declarative knowledge
Foundations of deductive databases and logic programming
Equivalences of logic programs
Foundations of deductive databases and logic programming
Signed data dependencies in logic programs
Journal of Logic Programming
Categorical methods in computer science with aspects from topology
Bilattices and the semantics of logic programming
Journal of Logic Programming
Unsolvable problems for SLDF resolution
Journal of Logic Programming
Topology, computer science, and the mathematics of convergence
Topology and category theory in computer science
Handbook of logic in computer science (vol. 1)
Power Domains and Predicate Transformers: A Topological View
Proceedings of the 10th Colloquium on Automata, Languages and Programming
The Query Topology in Logic Programming
STACS '89 Proceedings of the 6th Annual Symposium on Theoretical Aspects of Computer Science
Logic Programs and Many-Valued Logic
STACS '84 Proceedings of the Symposium of Theoretical Aspects of Computer Science
Topological aspects of logic programming
Topological aspects of logic programming
Characterizations of Classes of Programs by Three-Valued Operators
LPNMR '99 Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning
The Well-Founded Semantics Is a Stratified Fitting Semantics
KI '02 Proceedings of the 25th Annual German Conference on AI: Advances in Artificial Intelligence
Generalized metrics and uniquely determined logic programs
Theoretical Computer Science - Topology in computer science
A uniform approach to logic programming semantics
Theory and Practice of Logic Programming
A Categorical View on Algebraic Lattices in Formal Concept Analysis
Fundamenta Informaticae
Connectionist model generation: A first-order approach
Neurocomputing
A note on the relationships between logic programs and neural networks
IW-FM'00 Proceedings of the 4th Irish conference on Formal Methods
VDM♣ meets LCF: domain-theoretic and topological aspects of VDM♣
IW-FM'01 Proceedings of the 5th Irish conference on Formal Methods
Strictly level-decreasing logic programs
IW-FM'98 Proceedings of the 2nd Irish conference on Formal Methods
Multivalued mappings, fixed-point theorems and disjunctive databases
IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods
On continuous models of computation: towards computing the distance between (logic) programs
IWFM'03 Proceedings of the 6th international conference on Formal Methods
A Categorical View on Algebraic Lattices in Formal Concept Analysis
Fundamenta Informaticae
Quasi-Metrics And The Semantics Of Logic Programs
Fundamenta Informaticae
Hi-index | 0.00 |
We introduce topologies on spaces of interpretations which extend and generalise the query and positive query topologies of Batarekh and Subrahmanian. We study continuity in these topologies of the immediate consequence map associated with any normal logic program and provide necessary and sufficient conditions for continuity to hold. We relate these ideas to (i) computational power of programs; (ii) canonical programs; (iii) the declarative semantics of definite programs; (iv) Maher's down continuous programs; (v) the decency thesis of Jaffar, Lassez and Maher, and (vi) compactness of sets of fixed points and models.