Browsing Department of Law (LAW) by Subject "hybrid modal logic"

DSpace/Manakin Repository

Browsing Department of Law (LAW) by Subject "hybrid modal logic"

Sort by: Order: Results:

  • Icon
    Title: Temporal Reasoning and MAS  Author(s): SMITH, Clara; ROTOLO, Antonino; SARTOR, Giovanni Date: 2010-01-01 Type of Publication: Working Paper Series/Report no.: EUI LAW Abstract: In this paper we investigate if it is possible and useful to reason about time within social/normative multi-agent systems (MAS) by taking into account the general guidelines of tense logic. We focus on the combination of ...