Towards a unified theory of intensional logic programming

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

zbMATH Keywords

possible worlds semanticsintensional logicintensional semanticsmodel theoretic semanticsfixpoint semantics of intensional logic programsintensional Herbrand interpretationsleast intensional Herbrand modelsmodels of intensional logic programsNeighborhood semanticsnonterminating computations

Mathematics Subject Classification ID

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

Related Items

MetateM: An introduction ⋮ Game semantics for non-monotonic intensional logic programming ⋮ Programming in metric temporal logic ⋮ Multi-dimensional logic programming: theoretical foundations ⋮ 1993 Annual Meeting of the Australasian Association for Logic ⋮ Foundations of linear-time logic programming ⋮ Multimodal logic programming using equational and order-sorted logic ⋮ Temporal disjunctive logic programming ⋮ Stratified negation in temporal logic programming and the cycle-sum test ⋮ Tractable reasoning using logic programs with intensional concepts ⋮ A Connectionist Computational Model for Epistemic and Temporal Reasoning ⋮ Temporal stratification tests for linear and branching-time deductive databases