Computable Contracts by Extracting Obligation Logic Graphs.
Sergio ServantezNedim LipkaAlexa F. SiuMilan AggarwalBalaji KrishnamurthyAparna GarimellaKristian J. HammondRajiv JainPublished in: ICAIL (2023)
Keyphrases
- deontic logic
- supply chain
- logic programming
- graph theoretic
- logical formulas
- graph matching
- weighted graph
- graph theory
- graph representation
- classical logic
- multi agent systems
- modal logic
- automatically extracted
- epistemic logic
- automatically extracting
- set theory
- social welfare
- automated reasoning
- data sets
- random walk
- neural network