Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Automated Legislative Drafting
4
Laws and legislation
4
Artificial intelligence
3
Contract Verification
2
Legal documents
2
Model checking
2
Action-based systems
1
Automata theory
1
Automata-based formalisms
1
Automated legislative drafting
1
Automatic analysis
1
Contract Synthesis
1
Deontic Logic
1
Deontic logic
1
Formal Semantics
1
Formal analysis
1
Formal methods
1
Formal studies
1
Interactive system
1
Kanger's Types
1
Language constructs
1
Legal modeling
1
Model Checking Regulations
1
Model checker
1
Model checking regulations
1
Normative system
1
Performance improvements
1
Permissions
1
Real case
1
Semantics
1
-
1Materias: “...Automated Legislative Drafting...”
CONF -
2Materias: “...Automated Legislative Drafting...”
SER -
3Materias: “...Automated Legislative Drafting...”
SER -
4Materias: “...Automated Legislative Drafting...”
SER -
5por Faciano, C., Di Iorio, A.H., Giaccaglia, M.F., Mera, S., Clara, B.L., Rua, M.B., Schapachnik, F., Uriarte, V., Marcos, C., Arti!cial Intelligence Journal; King's College London; Mishcon de Reya; The International Association for Arti!cial Intelligence and Law; Thomson Reuters; WeightmansMaterias: “...Automated legislative drafting...”
CONF