Temporal contextual logic programming

DOI10.1016/J.ENTCS.2007.01.025MaRDI QIDQ2873801zbMATH OpenOpenAlexWikidataFDO

Authors Vitor Nogueira, Salvador Abreu

Publication date 24 January 2014

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2007.01.025

zbMATH Keywords

contextsmodularitytemporal logic

Mathematics Subject Classification ID

Temporal logic (03B44) Logic in computer science (03B70) Logic programming (68N17)

Recommendations

• Towards Temporal Contextual Logic Programming
• Temporal logic programming
• A Temporal extension of Prolog
• Temporal annotated constraint logic programming
• Semantics for temporal annotated constraint logic programming

Cites work

• A Temporal extension of Prolog
• HMAP --- a temporal data model managing intervals with different granularities and indeterminacy from natural language sentences
• scientific article; zbMATH DE number 217097 (Why is no real title available?)
• scientific article; zbMATH DE number 826299 (Why is no real title available?)
• scientific article; zbMATH DE number 907667 (Why is no real title available?)
• scientific article; zbMATH DE number 2207163 (Why is no real title available?)
• Maintaining knowledge about temporal intervals

Cited in

(5)

• On the expressiveness of temporal logic programming
• Semantics for temporal annotated constraint logic programming
• Logical foundations for more expressive declarative temporal logic programming languages
• Temporal logic programs with variables
• Towards Temporal Contextual Logic Programming

This page was built for publication: Temporal contextual logic programming

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