A uniform approach to logic programming semantics

DOI10.1017/S1471068404002212zbMath1093.68019OpenAlexW1990759781MaRDI QIDQ4673541

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

zbMATH Keywords

well-founded semanticsstable semanticsFitting semanticsweak stratificationlevel mappingleast model seman tics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items (4)

Logic programs, iterated function systems, and recurrent radial basis function networks ⋮ Modeling the suppression task under weak completion and well-founded semantics ⋮ Layerings of logic programs -- layer decomposable semantics and incremental model computation ⋮ Deliberative acting, planning and learning with hierarchical operational models

This page was built for publication: A uniform approach to logic programming semantics