Towards a unified theory of intensional logic programming

DOI10.1016/0743-1066(92)90055-8MaRDI QIDQ4015949zbMATH OpenOpenAlexWikidataFDO

Authors Mehmet A. Orgun, W. W. Wadge

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

fixpoint semantics of intensional logic programsintensional Herbrand interpretationsintensional logicintensional semanticsleast intensional Herbrand modelsmodel theoretic semanticsmodels of intensional logic programsNeighborhood semanticsnonterminating computationspossible worlds semantics

Mathematics Subject Classification ID

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

Recommendations

• Game semantics for non-monotonic intensional logic programming
• scientific article; zbMATH DE number 54243
• \(N\)-Prolog and equivalence of logic programs. I
• Game semantics for non-monotonic intensional logic programming
• Intensional programming I. Based on the papers at ISLIP '95, Macquarie Univ., Sydney, NSW, Australia 3--5, 1995

Cited in

(20)

• Programming in metric temporal logic
• Multimodal logic programming using equational and order-sorted logic
• Multi-dimensional logic programming: theoretical foundations
• MetateM: An introduction
• Tractable reasoning using logic programs with intensional concepts
• Temporal stratification tests for linear and branching-time deductive databases
• Intensional programming I. Based on the papers at ISLIP '95, Macquarie Univ., Sydney, NSW, Australia 3--5, 1995
• Intensional logic in context
• Game semantics for non-monotonic intensional logic programming
• scientific article; zbMATH DE number 4201692 (Why is no real title available?)
• Game semantics for non-monotonic intensional logic programming
• scientific article; zbMATH DE number 4164812 (Why is no real title available?)
• scientific article; zbMATH DE number 54243 (Why is no real title available?)
• 1993 Annual Meeting of the Australasian Association for Logic
• Foundations of linear-time logic programming
• Intensional First-Order Logic
• A Connectionist Computational Model for Epistemic and Temporal Reasoning
• Temporal disjunctive logic programming
• Stratified negation in temporal logic programming and the cycle-sum test
• On the semantics of deliberation in IndiGolog -- from theory to implementation

This page was built for publication: Towards a unified theory of intensional logic programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4015949)