Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Model checking
3
Laws and legislation
2
Legal documents
2
Artificial intelligence
1
Automata theory
1
Automated Legislative Drafting
1
Automated legislative drafting
1
Automatic analysis
1
Biomineralization
1
Data structures
1
Deontic Logic
1
Deontic logic
1
Language constructs
1
Legal modeling
1
Linguistics
1
Logical language
1
Modal language
1
Modal logic
1
Model Checking Regulations
1
Model checker
1
Model checking problem
1
Model checking regulations
1
Normative system
1
Performance improvements
1
Problem solving
1
Real case
1
Relational Model
1
Satisfiability
1
Satisfiability problems
1
Software Specification
1
-
1Materias: “...Model Checking Regulations...”
SER -
2Materias: “...Model checking problem...”
SER -
3por 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: “...Model checking regulations...”
CONF