Parametrized Logic Programming

Gonçalves, Ricardo; Alferes, José Júlio

doi:10.1007/978-3-642-15675-5_17

Cited by 13 publications

(2 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Also interesting is to apply the ideas in this paper to study the dynamics of frameworks closely related to MCSs, such as those in [20,13].…”

Section: Related and Future Workmentioning

confidence: 99%

“…Multi-Context Systems (MCSs) were introduced in [6], building on the work in [12,23], to address the need for a general framework that integrates knowledge bases expressed in heterogeneous KR formalisms. Intuitively, instead of designing a unifying language (see e.g., [13,22], and [19] with its reasoner NoHR [18]) to which other languages could be translated, in an MCS the different formalisms and knowledge bases are considered as modules, and means are provided to model the flow of information between them (cf. [1,17,20] and references therein for further motivation on hybrid languages and their connection to MCSs).…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Minimal Change in Evolving Multi-Context Systems

Gonçalves

Knorr

Leite

2015

Progress in Artificial Intelligence

Self Cite

View full text Add to dashboard Cite

Managed Multi-Context Systems (mMCSs) provide a general framework for integrating knowledge represented in heterogeneous KR formalisms. However, mMCSs are essentially static as they were not designed to run in a dynamic scenario. Some recent approaches, among them evolving Multi-Context Systems (eMCSs), extend mMCSs by allowing not only the ability to integrate knowledge represented in heterogeneous KR formalisms, but at the same time to both react to, and reason in the presence of commonly temporary dynamic observations, and evolve by incorporating new knowledge. The notion of minimal change is a central notion in dynamic scenarios, specially in those that admit several possible alternative evolutions. Since eMCSs combine heterogeneous KR formalisms, each of which may require different notions of minimal change, the study of minimal change in eMCSs is an interesting and highly nontrivial problem. In this paper, we study the notion of minimal change in eMCSs, and discuss some alternative minimal change criteria.

show abstract

“…Also interesting is to apply the ideas in this paper to study the dynamics of frameworks closely related to MCSs, such as those in [20,13].…”

Section: Related and Future Workmentioning

confidence: 99%