Properties of General Semantic Operators Determined by Logic-Based Systems

Electronic Notes in Theoretical Computer Science

Volumn 225, Issue C, 2009, Pages 181-194

  Lane, Máire ^a   Seda, Anthony Karel ^a  

^a UNIVERSITY COLLEGE CORK   (Ireland)

Author keywords

(constraint) logic programming; neural networks; Semantic operators; semirings; uncertain reasoning

Indexed keywords

AUTOMATA THEORY; COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; INFORMATION THEORY; LOGIC PROGRAMMING; SEMANTICS;

(CONSTRAINT) LOGIC PROGRAMMING; CONSTRAINT LOGIC PROGRAMMINGS; PROGRAMMING SYSTEMS; SEMANTIC OPERATORS; SEMIRINGS; SIMPLE MODELS; UNCERTAIN REASONING;

NEURAL NETWORKS;

EID: 58149308096     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2008.12.073     Document Type: Article

References (13)

1. Bistarelli S., Montanari U., and Rossi F. Semiring-based constraint logic programming: Syntax and semantics. ACM Transactions on Programming Languages and Systems (TOPLAS) 23 1 (Jan 2001) 1-29
2. Bonnier S., Nilsson U., and Näslund T. A simple fixed point characterization of three-valued stable model semantics. Information Processing Letters 40 2 (1991) 73-78
3. Dung P.M., and Kanchanasut K. A fixpoint approach to declarative semantics of logic programs. In: Lusk E.L., and Overbeek R.A. (Eds). Logic Programming, Proceedings of the North American Conference 1989. NACLP'89, Cleveland, Ohio (1989), MIT Press 604-625
4. Fitting M. Kleene's logic, generalized. Journal of Logic and Computation 1 (1992) 797-810
5. Fitting M. Fixpoint semantics for logic programming - A survey. Theoretical Computer Science 278 1-2 (2002) 25-51
6. Hitzler P., and Seda A.K. Characterizations of classes of programs by three-valued operators. In: Gelfond M., Leone N., and Pfeifer G. (Eds). Logic Programming and Non-monotonic Reasoning, Proceedings of the 5th International Conference on Logic Programming and Non-Monotonic Reasoning. LPNMR'99, El Paso, Texas, USA. Lecture Notes in Artificial Intelligence volume 1730 (1999), Springer, Berlin 357-371
7. J. Jaffar and J.-L. Lassez. Constraint logic programming. In POPL'87: Proceedings of the Fourteenth Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pages 111-119, 1987
8. Lloyd J.W. Foundations of Logic Programming (1987), Springer, Berlin
9. Lane M., and Seda A.K. Some aspects of the integration of connectionist and logic-based systems. Information 9 4 (2006) 551-562
10. Seda A.K., and Lane M. On approximation in the integration of connectionist and logic-based systems. In: Li L., and Yen K.K. (Eds). Proceedings of The Third International Conference on Information. Information'04, Tokyo, November, 2004 (2004), International Information Institute 297-300
11. Seda A.K., and Lane M. On the measurability of the semantic operators determined by logic programs. Information 8 1 (2005) 33-52
12. Daniel Stamate. Quantitative datalog semantics for databases with uncertain information. In Alessandra Di Pierro and Herbert Wiklicky, editors, Proceedings of the 4th Workshop on Quantitative Aspects of Programming Languages (QAPL 2006), Electronic Notes in Theoretical Computer Science, Vienna, Austria, April 1-2 2006. Elsevier. To appear
13. Wendt M. Unfolding the well-founded semantics. Journal of Electrical Engineering, Slovak Academy of Sciences 53 12/s (2002) 56-59