After an introductory section, this article will focus on four questions: How should the Kyoto
School be defined? What is meant by its central philosophical concept of “absolute …

Computational philosophy is the use of mechanized computational techniques to instantiate,
extend, and amplify philosophical research. Computational philosophy is not philosophy of …

In this article, we develop a formal framework for automatic reasoning about the obligations
of autonomous cyber-physical systems, including their social and ethical obligations …

We describe a method and tool called\textit {ContractCheck} that allows for the consistency
analysis of legal contracts, in particular Sales Purchase Agreements (SPAs). The analysis …

Contracts in business life, and in particular company purchase agreements, often comprise
a large number of provisions and are correspondingly long and complex. In practice, it is …

In this dissertation we investigate how to reason about an autonomous system's obligations.
In particular, we explore how to verify, elicit, and enforce rules about how a system should …

Abstract Segerberg's Dynamic Deontic Logic is a dynamic logic where among the set of all
possible histories those fulfilling the norms are distinguished. An extension of this logic to …

To fit the globalised economical environment, enterprises, and mostly SMEs, have to
develop new networked and collaborative strategies, focusing on networked value creation …

Pour spécifier formellement une politique de sécurité, il est naturel de raisonner d'une part
sur la notion de temps, et d'autre part sur les notions d'obligation, de permission, et …

Action Languages are simple logical formalisms to describe the properties of a domain and
the behavior of an agent and to reason about it. They offer an elegant solution to the frame …