stringtranslate.com

Revista de lógica aplicada no clásica

Journal of Applied Non-Classical Logics es una revista académica revisada por pares publicada por Taylor & Francis . Se centra en la lógica no clásica , en particular en aspectos formales (integridad, decidibilidad, complejidad), aplicaciones a la inteligencia artificial y las ciencias cognitivas ( representación del conocimiento , razonamiento automatizado , procesamiento del lenguaje natural ) y ciencias de la computación teóricas ( verificación de programas , síntesis de programas ). . La revista fue fundada en 1991 por Luis Fariñas del Cerro, quien fue su editor jefe hasta 2014. Fue sucedido en 2015 por Andreas Herzig.

enlaces externos