Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[Semantics] How to handle state / deontics #46

Open
ym-han opened this issue Aug 19, 2024 · 0 comments
Open

[Semantics] How to handle state / deontics #46

ym-han opened this issue Aug 19, 2024 · 0 comments

Comments

@ym-han
Copy link
Contributor

ym-han commented Aug 19, 2024

Alloy x State:

Modelling contracts

The SLEEC group

  • Getir-Yaman, S., Burholt, C., Jones, M., Calinescu, R., Cavalcanti, A.: Specification and Validation of Normative Rules for Autonomous Agents
  • Normative Requirements Operationalization with Large Language Models

Joe's work

The Schneider group line of work:

  • Contract Automata: An Operational View of Contracts Between Interactive Parties
  • Stephen Fenech Conflict Analysis of Deontic Contracts

Camilleri x Schneider

  • A framework for conflict analysis of normative texts written in controlled natural language
  • Paper 2 of Camilleri's Contracts and Computation Formal modelling and analysis for normative natural language presents a normative DSL, and discusses how to translate contracts to timed automata
image
@ym-han ym-han changed the title [Semantics] How to handle state [Semantics] How to handle state / deontics Aug 20, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
Status: No status
Development

No branches or pull requests

1 participant