Towards a Systematic Account of Different Semantics for Logic Programs

DOI10.1093/logcom/exi018zbMath1101.68449arXivcs/0502088OpenAlexW2032346221MaRDI QIDQ3025342

Pascal Hitzler

Publication date: 13 July 2005

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/cs/0502088

zbMATH Keywords

stratificationLogic programmingwell-founded semanticsnonmonotonic reasoningstable semanticsFitting semantics

Mathematics Subject Classification ID

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

Related Items (1)

Contextual hypotheses and semantics of logic programs

This page was built for publication: Towards a Systematic Account of Different Semantics for Logic Programs