Add to ORKGA multicontext logic with algebraic structure is proosed, where contexts are either primitive or composed from other contexts. Composition of two contexts can support various intuitions: sequence concatenation, set union, multiset union, etc. 2A local models semantics for algenraic context composition are defined, with a corresponding deductive calculus containing multilanguage bridge rules. Soundness and completeness results are proved for the case of semigroups of contexts, i.e. where context composition is an associative operation. Other properties of context composition, besides associativity, are defined by additional algebraic equation
Multi-Context Systems (MCSs) are able to formally model, in Computational Logic, distributed systems...
The problem of context has a long tradition in different areas of artificial intelligence (AI). Howe...
In a previous paper, we proposed a first formal and conceptual comparison between the two important ...
In the introductory part, we give a brief overview of the state of the art concerning multi-context ...
We propose an extension of the heterogeneous multi-context reasoning framework by G. Brewka and T. E...
AbstractIn this paper we introduce context categories to provide a framework for computations in con...
We investigate the relationship between two well known formalizations of context: Propositional Logi...
When reasoning with implicitly defined contexts or theories, a general notion of context is more app...
Abstract. We propose a framework for heterogeneous multi-context systems, in which a special kind of...
In this paper we investigate the simple logical properties of contexts. We describe both the syntax ...
Context Logic (CL) is a logic in the original sense, but more than that, it is a methodology for des...
The Theory of Contexts is a type-theoretic axiomatization aiming to give a metalogical account of th...
In this paper we investigate the simple logical properties of contexts. We describe both the syn-tax...
The Theory of Contexts is a type-theoretic axiomatization which has been recently proposed by some o...
Multi-Context Systems (MCS) model, using Computational Logic, distributed systems composed of hetero...
Multi-Context Systems (MCSs) are able to formally model, in Computational Logic, distributed systems...
The problem of context has a long tradition in different areas of artificial intelligence (AI). Howe...
In a previous paper, we proposed a first formal and conceptual comparison between the two important ...
In the introductory part, we give a brief overview of the state of the art concerning multi-context ...
We propose an extension of the heterogeneous multi-context reasoning framework by G. Brewka and T. E...
AbstractIn this paper we introduce context categories to provide a framework for computations in con...
We investigate the relationship between two well known formalizations of context: Propositional Logi...
When reasoning with implicitly defined contexts or theories, a general notion of context is more app...
Abstract. We propose a framework for heterogeneous multi-context systems, in which a special kind of...
In this paper we investigate the simple logical properties of contexts. We describe both the syntax ...
Context Logic (CL) is a logic in the original sense, but more than that, it is a methodology for des...
The Theory of Contexts is a type-theoretic axiomatization aiming to give a metalogical account of th...
In this paper we investigate the simple logical properties of contexts. We describe both the syn-tax...
The Theory of Contexts is a type-theoretic axiomatization which has been recently proposed by some o...
Multi-Context Systems (MCS) model, using Computational Logic, distributed systems composed of hetero...
Multi-Context Systems (MCSs) are able to formally model, in Computational Logic, distributed systems...
The problem of context has a long tradition in different areas of artificial intelligence (AI). Howe...
In a previous paper, we proposed a first formal and conceptual comparison between the two important ...