Add to ORKGOne of the main concerns of constructive semantics is to provide a computational interpretation for the proofs of a given logic. In this paper we introduce a constructive semantics for the basic description logic ALC in the spirit of the BHK interpretation. We prove that such a semantics provides an interpretation of ALC formulas consistent with the classical one and we show how, according to such a semantics, proofs of a suitable natural deduction calculus for ALC support a proofs-as-programs paradigm
Following the approaches and motivations given in recent works about action languages over descript...
In this work we present the decidable constructive description logic KALC: the logic is based on a K...
Following the approaches and motivations given in recent works about action languages over descripti...
One of the main concerns of constructive semantics is to provide a computational interpretation for ...
In this paper we present BCDL, a description logic based on information terms semantics, which allow...
Recently, there has been a growing interest in constructive reinterpretations of description logics....
Recently, there has been a growing interest in constructive reinterpretations of description logics...
In this work we present our contributions to the study of semantics foundations for constructive des...
In this paper we present BCDL, a description logic based on information terms semantics, which allow...
Description logics (DLs) are a family of knowledge representation languages to describe concepts in ...
Following the approaches and motivations given in recent works about constructive interpretation of...
Abstract. We introduce a new proof system for the description logic ALC in the framework of the calc...
AbstractConstructive modal logics come in several different flavours and constructive description lo...
Following the approaches and motivations given in recent works about action languages over descript...
In this work we present the decidable constructive description logic KALC: the logic is based on a K...
Following the approaches and motivations given in recent works about action languages over descripti...
One of the main concerns of constructive semantics is to provide a computational interpretation for ...
In this paper we present BCDL, a description logic based on information terms semantics, which allow...
Recently, there has been a growing interest in constructive reinterpretations of description logics....
Recently, there has been a growing interest in constructive reinterpretations of description logics...
In this work we present our contributions to the study of semantics foundations for constructive des...
In this paper we present BCDL, a description logic based on information terms semantics, which allow...
Description logics (DLs) are a family of knowledge representation languages to describe concepts in ...
Following the approaches and motivations given in recent works about constructive interpretation of...
Abstract. We introduce a new proof system for the description logic ALC in the framework of the calc...
AbstractConstructive modal logics come in several different flavours and constructive description lo...
Following the approaches and motivations given in recent works about action languages over descript...
In this work we present the decidable constructive description logic KALC: the logic is based on a K...
Following the approaches and motivations given in recent works about action languages over descripti...