Bridge Rules for Reasoning in Component-Based Heterogeneous Environments

by
May 17, 2016 12:59:42 PM
New CS Department,
Engineering Dr,
11794 Stony Brook, NY
From Jul 6, 2016 12:00 PM
To Jul 6, 2016 12:30 PM
(Ended)
A paper by Stefania Costantini and Giovanni De Gasperis (Universit`a di L’Aquila)
Abstract

Multi-Context Systems (MCS) model in Computational Logic distributed
systems composed of heterogeneous sources, or “contexts”, interacting via special rules called “bridge rules”. In this paper we consider how to enhance flexibility and generality in bridge-rules definition and application. In particular, we discuss aspects that might be improved to make their definition less abstract
and more applicable in practice.