A uniform approach to logic programming semantics
From MaRDI portal
Publication:4673541
DOI10.1017/S1471068404002212zbMATH Open1093.68019OpenAlexW1990759781MaRDI QIDQ4673541FDOQ4673541
Authors: Pascal Hitzler, Matthias Wendt 
Publication date: 29 April 2005
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s1471068404002212
Recommendations
- Towards a Systematic Account of Different Semantics for Logic Programs
- Towards a systematic account of different logic programming semantics
- Fixpoint semantics for logic programming a survey
- A logical foundation for logic programming II: Semantics of general logic programs
- On the equivalence of semantics for normal logic programs
stable semanticswell-founded semanticsFitting semanticsweak stratificationlevel mappingleast model seman tics
Cited In (13)
- Towards a Systematic Account of Different Semantics for Logic Programs
- On the coincidence of semantics for uniquely determined programs
- Logic programs, iterated function systems, and recurrent radial basis function networks
- A sound and complete semantics for a similarity-based logic programming language
- On logics and semantics for general logic programs
- Unifying Theories of Logic and Specification
- The role of standardising apart in logic programming
- On the declarative and procedural semantics of logic programs
- Deliberative acting, planning and learning with hierarchical operational models
- Layerings of logic programs -- layer decomposable semantics and incremental model computation
- Towards a systematic account of different logic programming semantics
- Title not available (Why is that?)
- Modeling the suppression task under weak completion and well-founded semantics
This page was built for publication: A uniform approach to logic programming semantics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4673541)
