Representing the process semantics in the event calculus

DOI10.1007/3-540-40006-0_9MaRDI QIDQ4536321zbMATH OpenFDO

Authors Chunping Li

Publication date 25 November 2002

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

Full work available at URL https://doi.org/10.1007/3-540-40006-0_9

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27)

Recommendations

• Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
• The process semantics based reasoning about continuous change
• The refinement of event calculus models
• Some alternative formulations of the event calculus
• Between the event calculus and finite state temporality

Cited in

(6)

• Process calculi as a tool for studying coordination, contracts and session types
• Between the event calculus and finite state temporality
• Comparing some Intuitions of 'Process Calculus' and 'Program Logic'
• Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing
• scientific article; zbMATH DE number 4182807 (Why is no real title available?)
• The process semantics based reasoning about continuous change

This page was built for publication: Representing the process semantics in the event calculus

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