Materias dentro de su búsqueda.
Materias dentro de su búsqueda.
Formal logic
5
Software engineering
5
Modal logic
3
Model checking
3
Specifications
3
Alloy
2
Artificial intelligence
2
Automation
2
First order logic
2
Fuzzy logic
2
Many valued logics
2
Real case
2
Semantics
2
Adaptive control systems
1
Adaptive systems
1
Alloy analyzers
1
Alloy languages
1
Alloying
1
Alloys
1
Analysis costs
1
Aortic Diameter
1
Approximate reasoning
1
Arbitrary sets
1
Arterial diameter
1
Arterial pressures
1
Arterial stiffness
1
Automated legislative drafting
1
Automated support
1
Automatic synthesis
1
Biological Sequences
1
-
1Materias: “...Logic Programming Gödel Logic...”
CONF -
2Materias: “...Łukasiewicz modal logic...”
CONF -
3
-
4
-
5
-
6Materias: “...Dynamic logic...”
CONF -
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 -
8Materias: “...Inductive logic programming...”
CONF -
9por 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 -
10Materias: “...Logical signals...”
CONF -
11por Rosner, N., Siddiqui, J.H., Aguirre, N., Khurshid, S., Frias, M.F., IEEE Computer Society; Association for Computing Machinery, Special Interest Group on Software Engineering (ACM SIGSOFT); IEEE Technical Council on Software Engineering (TCSE); ACM SIGART; NASAMaterias: “...First order logic...”
CONF -
12por Areces, C., Felder, M., Hirsch, D., Yankelevich, D., ACM Special Interest Group on Software Engineering (SIGSOFT)Materias: “...Formal logic...”
CONF -
13por D'Ippolito, N., Braberman, V., Sykes, D., Uchitel, S., ACM Special Interest Group on Software Engineering (SIGSOFT)Materias: “...Logic-based approach...”
CONF -
14Materias: “...Formal logic...”
CONF -
15
-
16por Carbonetto, S.H., Inza, M.A.G., Lipovetzky, J., Redin, E.G., Salomone, L.S., Kasulin, A., Faigón, A.Materias: “...Transistor transistor logic circuits...”
CONF