Towards a unified theory of intensional logic programming

DOI10.1016/0743-1066(92)90055-8zbMath0754.68032WikidataQ58185371 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 semantics; intensional logic; intensional semantics; model theoretic semantics; fixpoint semantics of intensional logic programs; intensional Herbrand interpretations; least intensional Herbrand models; models of intensional logic programs; Neighborhood semantics; nonterminating computations

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

68Q55: Semantics in the theory of computing

68N17: Logic programming

Related Items

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