Applying temporal logic to analysis of behavior of cooperating logic programs

DOI10.1007/3-540-46562-6_20MaRDI QIDQ4511271zbMATH OpenFDO

Authors M. K. Valiev, Michael I. Dekhtyar, Alexandre Dikovsky

Publication date 30 October 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-46562-6_20

zbMATH Keywords

dynamic deductive databases

Mathematics Subject Classification ID

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

Recommendations

• Temporal logic programming
• scientific article; zbMATH DE number 4119669
• The temporal logic of branching time
• scientific article; zbMATH DE number 47403
• scientific article; zbMATH DE number 3846861

Cited in

(3)

• On feasible cases of checking multi-agent systems behavior.
• Biography of Alexandre Dikovsky
• scientific article; zbMATH DE number 4037184 (Why is no real title available?)

This page was built for publication: Applying temporal logic to analysis of behavior of cooperating logic programs

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