Temporal Contextual Logic Programming

DOI10.1016/j.entcs.2007.01.025zbMath1279.68042OpenAlexW1997040380WikidataQ62612430 ScholiaQ62612430MaRDI QIDQ2873801

Salvador Abreu, Vítor Nogueira

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

temporal logiccontextsmodularity

Mathematics Subject Classification ID

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

Cites Work

• Maintaining knowledge about temporal intervals
• HMAP --- a temporal data model managing intervals with different granularities and indeterminacy from natural language sentences
• A Temporal extension of Prolog
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Temporal Contextual Logic Programming