ECA-LP / ECA-RuleML: A Homogeneous Event-Condition-Action Logic Programming Language

dc.creatorPaschke, Adrian
dc.date2006-09-26
dc.date.accessioned2026-07-07T07:23:58Z
dc.date.available2026-07-07T07:23:58Z
dc.descriptionEvent-driven reactive functionalities are an urgent need in nowadays distributed service-oriented applications and (Semantic) Web-based environments. An important problem to be addressed is how to correctly and efficiently capture and process the event-based behavioral, reactive logic represented as ECA rules in combination with other conditional decision logic which is represented as derivation rules. In this paper we elaborate on a homogeneous integration approach which combines derivation rules, reaction rules (ECA rules) and other rule types such as integrity constraint into the general framework of logic programming. The developed ECA-LP language provides expressive features such as ID-based updates with support for external and self-updates of the intensional and extensional knowledge, transac-tions including integrity testing and an event algebra to define and process complex events and actions based on a novel interval-based Event Calculus variant.
dc.descriptionPaschke, A.: ECA-LP / ECA-RuleML: A Homogeneous Event-Condition-Action Logic Programming Language, Int. Conf. on Rules and Rule Markup Languages for the Semantic Web (RuleML06), Athens, Georgia, USA, Nov. 2006
dc.identifierhttps://arxiv.org/abs/cs/0609143
dc.identifierhttp://arxiv.org/abs/cs/0609143
dc.identifierPaschke, A.: ECA-LP / ECA-RuleML: A Homogeneous Event-Condition-Action Logic Programming Language, Int. Conf. on Rules and Rule Markup Languages for the Semantic Web (RuleML06), Athens, Georgia, USA, Nov. 2006
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/116177
dc.subjectArtificial Intelligence
dc.subjectLogic in Computer Science
dc.subjectSoftware Engineering
dc.subjectI.2
dc.titleECA-LP / ECA-RuleML: A Homogeneous Event-Condition-Action Logic Programming Language
dc.typetext

Files

Collections