Журнал прикладной неклассической логики - это рецензируемый академический журнал, издаваемый Taylor & Francis . Он сосредоточивается на неклассической логике , в частностиформальных аспектах (полнота, разрешимость, сложность), приложение к искусственному интеллекту и когнитивный науке ( представление знаний , автоматизированное мышление , обработки естественного языка ), и теоретической информатике ( верификации программ , синтез программ ) . Журнал был основан в 1991 году Луисом Фариньясом дель Серро, который был его главным редактором. до 2014 года. В 2015 году его сменил Андреас Херциг.
Дисциплина | Неклассическая логика |
---|---|
Язык | английский |
Детали публикации | |
История | 1991-настоящее время |
Издатель | |
Стандартные сокращенияISO 4 ( alt ) · Bluebook ( alt1 · alt2 ) NLM ( alt ) · MathSciNet ( alt ) | |
ISO 4 | J. Appl. Внеклассный. Бревно. |
ИндексированиеCODEN · JSTOR ( alt ) · LCCN ( alt ) MIAR · NLM ( alt ) · Scopus | |
ISSN | 1166-3081 (печать) 1958-5780 (Интернет) |
Ссылки | |