Properties of General Semantic Operators Determined by Logic-Based Systems

Authors:
Máire Lane;Anthony Karel Seda
Affiliations:
Department of Mathematics, University College Cork, Cork, Ireland;Department of Mathematics, University College Cork, Cork, Ireland
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2009

Citing 4
Cited 0

Foundations of logic programming; (2nd extended ed.)

Foundations of logic programming; (2nd extended ed.)
Constraint logic programming

POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Semiring-based constraint logic programming: syntax and semantics

ACM Transactions on Programming Languages and Systems (TOPLAS)
Fixpoint semantics for logic programming a survey

Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract

We discuss a very general semantic operator arising within logic-based programming systems from an algebraic point of view, and show how it connects four interesting aspects of computation: neural networks, conventional logic programming, constraint logic programming, and simple models of uncertainty in logic-based systems.