Handbook of Knowledge Representation describes the essential foundations of Knowledge
Representation, which lies at the core of Artificial Intelligence (AI). The book provides an up …

Constraint Handling Rules (CHR) are our proposal to allow more flexibility and application-
oriented customization of constraint systems. CHR are a declarative language extension …

This article presents an attack description language. This language is based on logic and
uses a declarative approach. In the language, the conditions and effects of an attack are …

Publisher Summary The event calculus is a formalism for reasoning about action and
change. Like the situation calculus, the event calculus has actions, which are called …

Constraint Handling Rules (CHR) is both a theoretical formalism based on logic and a
practical programming language based on rules. This book, written by the creator of CHR …

Today, large business processes are composed of smaller, autonomous, interconnected
subsystems, achieving modularity and robustness. Quite often, these large processes …

In this paper we introduce Detect, Understand, Act (DUA), a neuro-symbolic reinforcement
learning framework. The Detect component is composed of a traditional computer vision …

Software systems that share potentially sensitive data are subjected to laws, regulations,
policies and/or contracts. The monitoring, control and enforcement processes applied to …

This collection represents the primary reference work for researchers and students in the
area of Temporal Reasoning in Artificial Intelligence. Temporal reasoning has a vital role to …

Many novel application scenarios and architectures in business process management or
service composition are characterized by a distribution of activities and resources, and by …