The aim of computational semantics is to capture the meaning of natural language
expressions in representations suitable for performing inferences, in the service of …

The LogAnswer system is an application of automated reasoning to the field of open domain
question answering. In order to find answers to natural language questions regarding …

This paper presents an update on PENG Light, a lightweight and portable controlled natural
language processor that can be used to translate a well-defined subset of English …

The E-KRHyper system is a model generator and theorem prover for first-order logic with
equality. It implements the new E-hyper tableau calculus, which integrates a superposition …

Situation Awareness (SA) is the problem of comprehending elements of an environment
within a volume of time and space. It is a crucial factor in decision-making in dynamic …

We propose a new calculus SCL (EQ) for first-order logic with equality that only learns non-
redundant clauses. Following the idea of CDCL (Conflict Driven Clause Learning) and SCL …

Deontic logic is a very well researched branch of mathematical logic and philosophy.
Various kinds of deontic logics are discussed for different application domains like …

Deontic logic is shown to be applicable for modelling human reasoning. For this the Wason
selection task and the suppression task are discussed in detail. Different versions of …

Formal ontologies may go beyond first-order logic (FOL) in their expressivity, hindering the
usage of common automated theorem provers (ATP) for ontology reasoning. The Unique …

Introduction h—ns l—thèseD nous étudions les moyens de présent—tion des™ onn—iss—
n™ es m—thém—tiques—insi que les s™ hém—s du r—isonnement m—thém—tiqueF xotre …