Health professionals are faced with challenges when they have to exploit the semantics of concepts present in clinical terminologies in support of research activities. The difficulty lies in the fact that this semantics is represented not only through the labels of concepts, but also their position in the hierarchy, and, when available, their logical and textual definitions. We investigate and ...

Transparent Intensional Logic (TIL) is a highly expressive logical system apt for the logical analysis of natural language. It operates with a single procedural semantics for all kinds of logical-semantic context, whether extensional, intensional or hyper-intensional, while adhering to the compositionality principle throughout. The reason why we vote for a rich procedural semantics is this. A c...

The nonmonotonic formalism of partial equilibrium logic (PEL) was introduced and studied in [1,2] and proposed as a logical foundation for the partial stable and well-founded semantics of logic programs. Here we study further logical properties of PEL and some techniques to compute partial equilibrium models.

The deontic logic dus is a deontic update semantics for prescriptive obligations based on the update semantics of Veltman. In dus the definition of logical validity of obligations is not based on static truth values but on dynamic action transitions. In this paper prescriptive prima facie obligations are formalized in update semantics. The logic formalizes the specificity principle, has reinsta...

We use an example from information retrieval to explore Web-based semantics, which can be presented in different ways and carried by different bearers of the information retrieval process. We describe four presentations of semantics: natural language with minimal markup, simple metadata, basic data models, and logical semantics. Each presentation of semantics can be borne by human users, search...

Generative Lexical Semantics aims, among other things, to model cocompositional meanings that classical Montague semantics is unable to express. This paper outlines a simple extension of Montague semantics which amends the standard compositional mechanisms for the use of specific terms provided by the lexicon, in order to account for this theory. We hope that such a logical system would prove b...

This work argues that partition semantics can be extended to cover whyquestions and their answers, and then develops such an extension. Building on Jeroen Groenendijk’s Logic of Interrogation and incorporating a theory of why-questions initially put forward by Bas van Fraassen, it provides a unified notion of contextual answerhood for both why-questions and constituent questions. Non-constructi...

Plan constraints are the most recent addition to the ever growing Planning Domain Definition Language (PDDL). In this work we consider the PDDL fragment consisting of basic ADL extended by plan constraints. We provide a purely declarative semantics for this fragment by interpreting it in the basic Fluent Calculus. We thus obtain a logical semantics for this fragment of PDDL instead of the usual...

This paper presents the semantics of TRIO*, an object oriented language devoted to specify realtime systems referring to different time granularities. Time granularity allows to describe the behavior and the properties of a system and its environment with respect to different time scales. TRIO* semantics is expressed by translation into a logical framework supporting the notion of time granular...

In Probabilistic Logic Nilsson uses the device of a probability distribution over a set of possible worlds to assign probabilities to the sentences of a logical language. In his paper Nilsson concen­ trated on inference and associated computational issues. This paper, on the other hand, exam­ ines the probabilistic semantics in more detail, .particularly for the case of first order languages, a...