Уважаемые коллеги, доброго времени суток! Представляем вам британское научное издание Journal of Logic and Computation. Журнал имеет третий квартиль, издаётся в Oxford University Press, его SJR за 2021 г. равен 0,522, пятилетний импакт-фактор 0,744, печатный ISSN - 0955-792X, электронный - 1465-363X, предметные области - Теоретические компьютерные науки, Логика, Программное обеспечение, Аппаратная часть и системная архитектура, Культура и искусство. Вот так выглядит обложка:
Редактором является Дов Габбей, контактные данные - dov.gabbay@kcl.ac.uk, jane@janespurr.net.
Журнал используется во всех аспектах информационных технологий, от разработки программного и аппаратного обеспечения до программирования и искусственного интеллекта. Действительно, логика, искусственный интеллект и теоретические вычисления влияют друг на друга в такой степени, что возникает новая междисциплинарная область логики и вычислений. Журнал логики и вычислений направлен на содействие развитию логики и вычислительной техники, включая, среди прочего, следующие области интересов:
- логические системы, такие, как классическая и неклассическая логика, конструктивная логика, категориальная логика, модальная логика, теория типов, выполнимая математика;
- логические проблемы в логическом программировании, системах, основанных на знаниях, и автоматизированных рассуждениях;
- логические проблемы в представлении знаний, такие, как немонотонные рассуждения и системы знаний и убеждений;
- логика и семантика программирования;
- спецификация и верификация программ и систем;
- приложения логики в аппаратных средствах и СБИС, естественном языке, параллельных вычислениях, планировании и базах данных.
Основная часть контента - это технические научные статьи, также включены письма, обсуждения и обзоры соответствующих конференций.
Адрес издания - https://academic.oup.com/logcom?login=false
Пример статьи, название - Reconstructing a single-head formula to facilitate logical forgetting. Заголовок (Abstract) - Logical forgetting is removing some variables from a formula while maintaining its consequences on the remaining variables. This removal may require exponential time on arbitrary propositional Horn formulae, but it only takes polynomial time on single-head propositional definite Horn formulae. Single-head means that no variable is the head of multiple clauses. An algorithm to make a formula single-head if possible is shown. It enlarges the set of formulae admitting polynomial-time forgetting by making them single-head if possible and then running the usual algorithm for forgetting.