Event logic programming

DOI10.1007/3-540-44743-1_31MaRDI QIDQ4779103zbMATH OpenFDO

Authors Rafael Ramírez-Meléndez, Andrew E. Santosa

Publication date 24 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-44743-1_31

Mathematics Subject Classification ID

Logic programming (68N17) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 879003
• scientific article; zbMATH DE number 877747
• Conclog: a methodological approach to concurrent logic programming
• Constraint logic programming for reasoning about discrete event processes
• scientific article; zbMATH DE number 3958697

Cited in

(6)

• \texttt{EVL}: a typed higher-order functional language for events
• A declarative coordination language
• An Event-Condition-Action Logic Programming Language
• scientific article; zbMATH DE number 877747 (Why is no real title available?)
• Hybrid Systems: Computation and Control
• SHIP -- a logic-based language and tool to program smart environments

This page was built for publication: Event logic programming

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