当前期刊: Logic Journal of the IGPL Go to current issue    加入关注   
显示样式:        排序: IF: - GO 导出
我的关注
我的收藏
您暂时未登录!
登录
  • The complexity of definability by open first-order formulas
    Log. J. IGPL (IF 0.609) Pub Date : 2020-05-30
    Carlos Areces; Miguel Campercholi; Daniel Penazzi; Pablo Ventura

    In this article, we formally define and investigate the computational complexity of the definability problem for open first-order formulas (i.e. quantifier free first-order formulas) with equality. Given a logic |$\boldsymbol{\mathcal{L}}$|⁠, the |$\boldsymbol{\mathcal{L}}$|-definability problem for finite structures takes as an input a finite structure |$\boldsymbol{A}$| and a target relation |$T$|

    更新日期:2020-05-30
  • Interactive proof-search for equational reasoning
    Log. J. IGPL (IF 0.609) Pub Date : 2020-05-29
    Favio E Miranda-Perea; Lourdes del Carmen González Huesca; P Selene Linares-Arévalo

    Equational reasoning arises in many areas of mathematics and computer science. It is a cornerstone of algebraic reasoning and results essential in tasks of specification and verification in functional programming, where a program is mainly a set of equations. The usual manipulation of identities while conducting informal proofs obviates many intermediate steps that are neccesary while developing them

    更新日期:2020-05-29
  • Cn algebras with Moisil possibility operators
    Log. J. IGPL (IF 0.609) Pub Date : 2020-05-16
    Aldo V Figallo; Gustavo Pelaitay; Jonathan Sarmiento

    In this paper, we continue the study of the Łukasiewicz residuation algebras of order |$n$| with Moisil possibility operators (or |$MC_n$|-algebras) initiated by Figallo (1989, PhD Thesis, Universidad Nacional del Sur). More precisely, among other things, a method to determine the number of elements of the |$MC_n$|-algebra with a finite set of free generators is described. Applying this method, we

    更新日期:2020-05-16
  • Tableaux for essence and contingency
    Log. J. IGPL (IF 0.609) Pub Date : 2020-05-13
    Giorgio Venturi; Pedro Teixeira Yago

    We offer tableaux systems for logics of essence and accident and logics of non-contingency, showing their soundness and completeness for Kripke semantics. We also show an interesting parallel between these logics based on the semantic insensitivity of the two non-normal operators by which these logics are expressed.

    更新日期:2020-05-13
  • A proof-search system for the logic of likelihood
    Log. J. IGPL (IF 0.609) Pub Date : 2020-05-12
    R Alonderis; H Giedra

    The eight papers included in this special issue represent a selection of extended contributions presented at the 12th International Conference on Hybrid Artificial Intelligent Systems (HAIS 2017) held in Logroño (La Rioja), Spain on 21–23 June 2017 and organized by the BISITE group and the University of La Rioja.

    更新日期:2020-05-12
  • Nelson’s logic 𝒮
    Log. J. IGPL (IF 0.609) Pub Date : 2020-05-09
    Thiago Nascimento; Umberto Rivieccio; João Marcos; Matthew Spinks

    Besides the better-known Nelson logic (⁠|$\mathcal{N}3$|⁠) and paraconsistent Nelson logic (⁠|$\mathcal{N}4$|⁠), in 1959 David Nelson introduced, with motivations of realizability and constructibility, a logic called |$\mathcal{S}$|⁠. The logic |$\mathcal{S}$| was originally presented by means of a calculus (crucially lacking the contraction rule) with infinitely many rule schemata and no semantics

    更新日期:2020-05-09
  • A bottom-up algorithm for solving ♯2SAT
    Log. J. IGPL (IF 0.609) Pub Date : 2020-05-05
    Guillermo De Ita; J Raymundo Marcial-Romero; J A HernÁndez-ServÍn

    Counting models for a two conjunctive formula (2-CF) |$F$|⁠, a problem known as |$\sharp $|2Sat, is a classic |$\sharp $|P complete problem. Given a 2-CF |$F$| as input, its constraint graph |$G$| is built. If |$G$| is acyclic, then |$\sharp $|2Sat(⁠|$F$|⁠) can be computed efficiently. In this paper, we address the case when |$G$| has cycles.

    更新日期:2020-05-05
  • Editorial: Special issue HAIS17-IGPL
    Log. J. IGPL (IF 0.609) Pub Date : 2020-03-19
    Francisco Javier Martínez De PisóN; Rubén Urraca; Héctor Quintián; Emilio Corchado

    The eight papers included in this special issue represent a selection of extended contributions presented at the 12th International Conference on Hybrid Artificial Intelligent Systems (HAIS 2017) held in Logroño (La Rioja), Spain on 21–23 June 2017 and organized by the BISITE group and the University of La Rioja.

    更新日期:2020-03-19
  • Using deep neural networks along with dimensionality reduction techniques to assist the diagnosis of neurodegenerative disorders.
    Log. J. IGPL Pub Date : 2018-12-12
    F Segovia,J M Górriz,J Ramírez,F J Martinez-Murcia,M García-Pérez

    The analysis of neuroimaging data is frequently used to assist the diagnosis of neurodegenerative disorders such as Alzheimer's disease (AD) or Parkinson's disease (PD) and has become a routine procedure in the clinical practice. During the past decade, the pattern recognition community has proposed a number of machine learning-based systems that automatically analyse neuroimaging data in order to

    更新日期:2019-11-01
  • Reasoning with Vectors: A Continuous Model for Fast Robust Inference.
    Log. J. IGPL Pub Date : 2015-11-20
    Dominic Widdows,Trevor Cohen

    This paper describes the use of continuous vector space models for reasoning with a formal knowledge base. The practical significance of these models is that they support fast, approximate but robust inference and hypothesis generation, which is complementary to the slow, exact, but sometimes brittle behavior of more traditional deduction engines such as theorem provers. The paper explains the way

    更新日期:2019-11-01
  • A symbolic/subsymbolic interface protocol for cognitive modeling.
    Log. J. IGPL Pub Date : 2010-08-17
    Patrick Simen,Thad Polk

    Researchers studying complex cognition have grown increasingly interested in mapping symbolic cognitive architectures onto subsymbolic brain models. Such a mapping seems essential for understanding cognition under all but the most extreme viewpoints (namely, that cognition consists exclusively of digitally implemented rules; or instead, involves no rules whatsoever). Making this mapping reduces to

    更新日期:2019-11-01
  • Representation of influence zones in commercial GISs for simulation of directional processes
    Log. J. IGPL (IF 0.609) Pub Date : 2018-12-03
    M Dolores Muñoz Vicente; María N Moreno García; Vivian F López

    Influence zone generating is used in different fields: environmental studies, urban areas establishment, road construction and fire propagation. The influence zone is defined as the geometric space of the points that are at a shorter or similar distance to a given object (point, polyline or polygon). The simulation of the phenomena that are subject to constant patterns can be graphically represented

    更新日期:2018-12-03
  • Boosting the performance of hybrid Nature-Inspired algorithms: Application from the financial optimization domain
    Log. J. IGPL (IF 0.609) Pub Date : 2018-10-01
    Alexandros Tzanetos; Vassilios Vassiliadis; Georgios Dounias

    In most optimization problems, the solution space is very vast. At the same time, the imposed constraints and limitations provide additional burdens for the underline algorithm. Although hybrid intelligent approaches have proven their potential in demanding problem settings, in most cases, they manage to approximate a good-quality solution, meaning that there is room for improvement. Based on preliminary

    更新日期:2018-10-01
  • Extended experimental study on PSO with partial population restart based on complex network analysis
    Log. J. IGPL (IF 0.609) Pub Date : 2018-10-01
    Michal Pluhacek; Adam Viktorin; Roman Senkerik; Tomas Kadavy; Ivan Zelinka

    This extended study presents a hybridization of particle swarm optimization (PSO) with complex network construction and analysis. A partial population restart is performed in certain moments of the run of the algorithm based on the information obtained from a complex network analysis. The complex network structure represents the communication in the population. We present experimental results of the

    更新日期:2018-10-01
  • A hybrid case-based reasoning approach to detecting the optimal solution in nurse scheduling problem
    Log. J. IGPL (IF 0.609) Pub Date : 2018-10-01
    Svetlana Simić; Dragana Milutinović; Slobodan Sekulić; Dragan Simić; Svetislav D Simić; Jovanka Đorđević

    Demand for healthcare is increasing due to a growing and ageing population. Choosing an adequate schedule for medical staff can be a difficult dilemma for managers. The goal of nurse scheduling is to minimize the cost of the staff while maximizing their preferences and the overall benefits for the unit. This paper is focused on a new hybrid strategy based on detecting the optimal solution in nurse

    更新日期:2018-10-01
  • A flexible and dynamic mobile robot localization approach
    Log. J. IGPL (IF 0.609) Pub Date : 2018-09-28
    C Peñaranda; J Palanca; V Julian; V Botti

    The main goal of this paper is to provide an approach to solve the problem of localization in mobile robots using multi-agent systems. Usually, the robot localization problem is solved in static environments by the addition of the needed sensors in order to help the robot, but this is not useful in dynamic environments where the robot is moving through different rooms or areas. The novelty of this

    更新日期:2018-09-28
  • Analysing knowledge transfer in SHADE via complex network
    Log. J. IGPL (IF 0.609) Pub Date : 2018-09-28
    Adam Viktorin; Roman Senkerik; Michal Pluhacek; Tomas Kadavy

    In this research paper a hybridization of two computational intelligence fields, which are evolutionary computation techniques and complex networks (CNs), is presented. During the optimization run of the success-history based adaptive differential evolution (SHADE) a CN is built and its feature, node degree centrality, is extracted for each node. Nodes represent here the individual solutions from the

    更新日期:2018-09-28
  • An alternative view for incorporating more scaled differences to differential evolution
    Log. J. IGPL (IF 0.609) Pub Date : 2018-09-28
    Miguel Cárdenas-Montes

    Differential Evolution (DE) is one of the most popular metaheuristics. This is based on its performance and speed, and at the same time its easy description which allows direct modifications aimed at improving its performance. DE is based on the application of the scaled difference of a pair of population members to another population member, all of them distinct. Following this schema diverse variants

    更新日期:2018-09-28
  • Evolution of financial network through non-linear coupling of time series
    Log. J. IGPL (IF 0.609) Pub Date : 2018-09-27
    Ga Ching Lui; Kwok Yip Szeto

    The structure of financial market is captured using an analysis of non-linear coupling between various stocks using a novel time warping method known as discrete time warping genetic algorithm (dTWGA). In contrast to previous studies which estimate the correlations between different time series, dTWGA can be used to analyse time series with different lengths and with data sampled unevenly. Moreover

    更新日期:2018-09-27
Contents have been reproduced by permission of the publishers.
导出
全部期刊列表>>
智控未来
聚焦商业经济政治法律
跟Nature、Science文章学绘图
控制与机器人
招募海内外科研人才,上自然官网
隐藏1h前已浏览文章
课题组网站
新版X-MOL期刊搜索和高级搜索功能介绍
ACS材料视界
x-mol收录
湖南大学化学化工学院刘松
上海有机所
廖良生
南方科技大学
西湖大学
伊利诺伊大学香槟分校
徐明华
中山大学化学工程与技术学院
试剂库存
天合科研
down
wechat
bug