Dense time logic programming

DOI10.1006/JSCO.1996.0067zbMATH Open0867.68026OpenAlexW2009309628MaRDI QIDQ679332FDOQ679332

Authors: Mohsin Ahmed, G. S. Venkatesh 

Publication date: 7 August 1997

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/jsco.1996.0067

Recommendations

• A propositional dense time logic
• Temporal logic programming
• scientific article; zbMATH DE number 4119669
• A Temporal extension of Prolog
• scientific article; zbMATH DE number 4119670

zbMATH Keywords

ordinal treesdense temporal logic programmingomega treesordinal structurestemporal horn clauses

Mathematics Subject Classification ID

Logic programming (68N17)

Cited In (1)

• A propositional dense time logic

This page was built for publication: Dense time logic programming

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