Towards Temporal Contextual Logic Programming

DOI10.1007/11799573_39MaRDI QIDQ5449626zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Vitor Nogueira, Salvador Abreu

Publication date 11 March 2008

Published in Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11799573_39

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Temporal contextual logic programming
• Extending constraint logic programming for temporal reasoning
• Temporal annotated constraint logic programming
• Temporal disjunctive logic programming
• Semantics for temporal annotated constraint logic programming
• On the expressiveness of temporal logic programming
• Logical foundations for more expressive declarative temporal logic programming languages
• scientific article; zbMATH DE number 4082943
• Temporal logic programming

Cited in

(9)

• On the expressiveness of temporal logic programming
• Semantics for temporal annotated constraint logic programming
• scientific article; zbMATH DE number 1670913 (Why is no real title available?)
• Temporal contextual logic programming
• Logical foundations for more expressive declarative temporal logic programming languages
• Context-based commonsense reasoning in the DALI logic programming language
• scientific article; zbMATH DE number 1926630 (Why is no real title available?)
• scientific article; zbMATH DE number 826299 (Why is no real title available?)
• Towards Structured Contexts and Modules

This page was built for publication: Towards Temporal Contextual Logic Programming

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