Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Data structures
3
Modal logic
3
Computer science
2
Hybrid logics
2
Linguistics
2
Logical language
2
Modal logics
2
Model checking
2
Relational Model
2
Additional datum
1
Artificial intelligence
1
Authorization languages
1
Automata theory
1
Automated legislative drafting
1
Biomineralization
1
Bisimulation
1
Complete axiomatizations
1
Completeness
1
Computability and decidability
1
Computation theory
1
Computer circuits
1
DKAL
1
Definability
1
Deontic Logic
1
Deontic logic
1
Distributed authorization
1
Distributed knowledge
1
Embedding
1
Expressive power
1
First-order
1
-
1Materias: “...Hybrid logics...”
JOUR -
2Materias: “...Hybrid logics...”
SER -
3Materias: “...Logical language...”
SER -
4
-
5Materias: “...Modal logic...”
SER -
6Materias: “...Logical language...”
SER -
7por 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: “...Deontic logic...”
CONF