Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Artificial intelligence
Algebra
2
Approximate entailment
2
Automated legislative drafting
2
Automatic synthesis
2
Biomineralization
2
Computational complexity
2
Computational logics
2
Computer science
2
Constructive logic
2
Correct solution
2
Datalog
2
Decision algorithms
2
Deontic Logic
2
Deontic logic
2
Distributed knowledge
2
Efficient synthesis
2
Fork algebras
2
Formal logic
2
Fuzzy sets
2
Language constructs
2
Laws and legislation
2
Legal documents
2
Legal modeling
2
Linear time
2
Logical calculi
2
Logical characterization
2
Model checking
2
Model checking regulations
2
Monomodal logics
2
-
1Materias: “...Formal logic...”
-
2
-
3
-
4Materias: “...infon logic...”
SER -
5Publicado 2012Materias: “...Non-classical logics...”
-
6Materias: “...Non-classical logics...”
JOUR -
7Publicado 2017Materias: “...Deontic logic...”
-
8por 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 -
9Publicado 2015Materias: “...Logical characterization...”
-
10por Sardina, S., D'Ippolito, N., Wooldridge M., Yang Q., Alibaba.com; Department of Computer Science and Engineering at Universidad Nacional del Sur; Department of Computer Science at the School of Exact and Natural Sciences of Buenos Aires University; et al.; International Joint Conferences on Artificial Intelligence (IJCAI); Ministry of Science, Technology and Productive InnovationMaterias: “...Logical characterization...”
CONF