scientific article; zbMATH DE number 826299

MaRDI QIDQ4858577zbMATH OpenFDO

Authors Luís Monteiro, António Porto

Publication date 17 December 1995

zbMATH Keywords

context extensioncontextual logic programmingmoduleunfolding semantics

Mathematics Subject Classification ID

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

Recommendations

• Towards Structured Contexts and Modules
• Towards Temporal Contextual Logic Programming
• scientific article; zbMATH DE number 4072431
• scientific article; zbMATH DE number 26616
• Publication:4896257

Cited in

(15)

• An abstract interpretation framework for optimizing dynamic modular logic languages
• Institutions for logic programming
• scientific article; zbMATH DE number 1670913 (Why is no real title available?)
• Temporal contextual logic programming
• scientific article; zbMATH DE number 3845084 (Why is no real title available?)
• Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking
• Context-based commonsense reasoning in the DALI logic programming language
• A framework for linguistic logic programming
• Login: a logic programming language with built-in inheritance
• scientific article; zbMATH DE number 512894 (Why is no real title available?)
• Algebraic methods in the compositional analysis of logic programs
• Modules and specifications
• Logic Programming and Nonmonotonic Reasoning
• Towards Structured Contexts and Modules
• scientific article; zbMATH DE number 2242590 (Why is no real title available?)

This page was built for publication:

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