Towards a unified theory of intensional logic programming
Publication:4015949
DOI10.1016/0743-1066(92)90055-8zbMath0754.68032OpenAlexW1996656410WikidataQ58185371 ScholiaQ58185371MaRDI QIDQ4015949
William W. Wadge, Mehmet A. Orgun
Publication date: 10 November 1992
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0743-1066(92)90055-8
possible worlds semanticsintensional logicintensional semanticsmodel theoretic semanticsfixpoint semantics of intensional logic programsintensional Herbrand interpretationsleast intensional Herbrand modelsmodels of intensional logic programsNeighborhood semanticsnonterminating computations
Logic in artificial intelligence (68T27) Semantics in the theory of computing (68Q55) Logic programming (68N17)
Related Items
This page was built for publication: Towards a unified theory of intensional logic programming