Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/journals/igpl/igpl31.bht:"
download as .bib file
@article{DBLP:journals/igpl/AguilarMorenoG23,
author = {Marina Aguilar{-}Moreno and
Manuel Gra{\~{n}}a},
title = {On registration methods for {SLAM} with low resolution LiDAR sensor},
journal = {Log. J. {IGPL}},
volume = {31},
number = {4},
pages = {751--761},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzac037},
doi = {10.1093/JIGPAL/JZAC037},
timestamp = {Fri, 25 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/AguilarMorenoG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/AlizadehABM23,
author = {Majid Alizadeh and
Mohammad Ardeshir and
Philippe Balbiani and
Mojtaba Mojtahedi},
title = {Unification types in Euclidean modal logics},
journal = {Log. J. {IGPL}},
volume = {31},
number = {3},
pages = {422--440},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzab036},
doi = {10.1093/JIGPAL/JZAB036},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/AlizadehABM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/AskesD23,
author = {Matthew Askes and
Rod Downey},
title = {Online, computable and punctual structure theory},
journal = {Log. J. {IGPL}},
volume = {31},
number = {6},
pages = {1251--1293},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzac065},
doi = {10.1093/JIGPAL/JZAC065},
timestamp = {Fri, 12 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/AskesD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/AvramMPP23,
author = {Anca Avram and
Oliviu Matei and
Camelia{-}Mihaela Pintea and
Petrica C. Pop},
title = {Influence of context availability and soundness in predicting soil
moisture using the Context-Aware Data Mining approach},
journal = {Log. J. {IGPL}},
volume = {31},
number = {4},
pages = {762--774},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzac038},
doi = {10.1093/JIGPAL/JZAC038},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/AvramMPP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Badia23,
author = {Guillermo Badia},
title = {Editorial: Special issue in honour of John Newsome Crossley},
journal = {Log. J. {IGPL}},
volume = {31},
number = {6},
pages = {1005--1009},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzad011},
doi = {10.1093/JIGPAL/JZAD011},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Badia23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/BalbianiGRT23,
author = {Philippe Balbiani and
{\c{C}}igdem Gencer and
Maryam Rostamigiv and
Tinko Tinchev},
title = {Remarks about the unification types of some locally tabular normal
modal logics},
journal = {Log. J. {IGPL}},
volume = {31},
number = {1},
pages = {115--139},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzab033},
doi = {10.1093/JIGPAL/JZAB033},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/BalbianiGRT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/BasurtoACH23,
author = {Nu{\~{n}}o Basurto and
{\'{A}}ngel Arroyo and
Carlos Cambra and
{\'{A}}lvaro Herrero},
title = {A hybrid machine learning system to impute and classify a component-based
robot},
journal = {Log. J. {IGPL}},
volume = {31},
number = {2},
pages = {338--351},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzac023},
doi = {10.1093/JIGPAL/JZAC023},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/BasurtoACH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Bell23,
author = {John L. Bell},
title = {Recollections of logicians, mathematicians and philosophers},
journal = {Log. J. {IGPL}},
volume = {31},
number = {6},
pages = {1232--1250},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzac055},
doi = {10.1093/JIGPAL/JZAC055},
timestamp = {Fri, 12 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Bell23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Benthem23,
author = {Johan van Benthem},
title = {The logic of conditionals on outback trails},
journal = {Log. J. {IGPL}},
volume = {31},
number = {6},
pages = {1135--1152},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzac064},
doi = {10.1093/JIGPAL/JZAC064},
timestamp = {Fri, 12 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Benthem23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/CalFVVG23,
author = {Enrique A. de la Cal and
Mirko F{\'{a}}{\~{n}}ez and
Mario Villar and
Jos{\'{e}} R. Villar and
V{\'{\i}}ctor M. Gonz{\'{a}}lez},
title = {A low-power {HAR} method for fall and high-intensity ADLs identification
using wrist-worn accelerometer devices},
journal = {Log. J. {IGPL}},
volume = {31},
number = {2},
pages = {375--389},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzac025},
doi = {10.1093/JIGPAL/JZAC025},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/CalFVVG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/CarballidoPC23,
author = {Jessica Andrea Carballido and
Ignacio Ponzoni and
Roc{\'{\i}}o L. Cecchini},
title = {Filtering non-balanced data using an evolutionary approach},
journal = {Log. J. {IGPL}},
volume = {31},
number = {2},
pages = {271--286},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzac018},
doi = {10.1093/JIGPAL/JZAC018},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/CarballidoPC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/CihalovaD23,
author = {Martina C{\'{\i}}halov{\'{a}} and
Marie Duz{\'{\i}}},
title = {Modelling dynamic behaviour of agents in a multiagent world: Logical
analysis of Wh-questions and answers},
journal = {Log. J. {IGPL}},
volume = {31},
number = {1},
pages = {140--171},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzab034},
doi = {10.1093/JIGPAL/JZAB034},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/CihalovaD23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/ClarkGHMN23,
author = {Patrick G. Clark and
Jerzy W. Grzymala{-}Busse and
Zdzislaw S. Hippe and
Teresa Mroczek and
Rafal Niemiec},
title = {Global and saturated probabilistic approximations based on generalized
maximal consistent blocks},
journal = {Log. J. {IGPL}},
volume = {31},
number = {2},
pages = {223--239},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzac015},
doi = {10.1093/JIGPAL/JZAC015},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/ClarkGHMN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Crossley23,
author = {John Newsome Crossley},
title = {What is mathematical logic? An Australian odyssey},
journal = {Log. J. {IGPL}},
volume = {31},
number = {6},
pages = {1010--1022},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzac057},
doi = {10.1093/JIGPAL/JZAC057},
timestamp = {Fri, 26 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Crossley23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/DiazPDVR23,
author = {Hern{\'{a}}n D{\'{\i}}az and
Juan Jos{\'{e}} Palacios and
Irene D{\'{\i}}az and
Camino R. Vela and
In{\'{e}}s Gonz{\'{a}}lez Rodr{\'{\i}}guez},
title = {Robust schedules for tardiness optimization in job shop with interval
uncertainty},
journal = {Log. J. {IGPL}},
volume = {31},
number = {2},
pages = {240--254},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzac016},
doi = {10.1093/JIGPAL/JZAC016},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/DiazPDVR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/FisterIGFF23,
author = {Iztok Fister and
Andr{\'{e}}s Iglesias and
Akemi G{\'{a}}lvez and
Dusan Fister and
Iztok Fister Jr.},
title = {Design and implementation of parallel self-adaptive differential evolution
for global optimization},
journal = {Log. J. {IGPL}},
volume = {31},
number = {4},
pages = {701--721},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzac034},
doi = {10.1093/JIGPAL/JZAC034},
timestamp = {Sat, 02 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/FisterIGFF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/GarciaVictoriaGCC23,
author = {Pedro Garc{\'{\i}}a{-}Victoria and
Miguel A. Guti{\'{e}}rrez{-}Naranjo and
Miguel C{\'{a}}rdenas{-}Montes and
Roberto Andr{\'{e}}s Vasco Carofilis},
title = {{PBIL} for optimizing inception module in convolutional neural networks},
journal = {Log. J. {IGPL}},
volume = {31},
number = {2},
pages = {325--337},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzac022},
doi = {10.1093/JIGPAL/JZAC022},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/GarciaVictoriaGCC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Ghari23,
author = {Meghdad Ghari},
title = {Linear temporal justification logics with past and future time modalities},
journal = {Log. J. {IGPL}},
volume = {31},
number = {1},
pages = {1--38},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzab027},
doi = {10.1093/JIGPAL/JZAB027},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Ghari23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/GlavanicovaJKK23,
author = {Daniela Glavanicov{\'{a}} and
Tomasz Jarmuzek and
Mateusz Klonowski and
Piotr Kulicki},
title = {Free choice permission, legitimization and relating semantics},
journal = {Log. J. {IGPL}},
volume = {31},
number = {3},
pages = {574--597},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzac047},
doi = {10.1093/JIGPAL/JZAC047},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/GlavanicovaJKK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/GonzaloNRLV23,
author = {Esperanza Garc{\'{\i}}a Gonzalo and
Paulino Jos{\'{e}} Garc{\'{\i}}a Nieto and
Javier Gracia Rodr{\'{\i}}guez and
Fernando S{\'{a}}nchez Lasheras and
Gregorio Fidalgo Valverde},
title = {A support vector regression model for time series forecasting of the
{COMEX} copper spot price},
journal = {Log. J. {IGPL}},
volume = {31},
number = {4},
pages = {775--784},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzac039},
doi = {10.1093/JIGPAL/JZAC039},
timestamp = {Sat, 02 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/GonzaloNRLV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Gurevich23,
author = {Yuri Gurevich},
title = {Logical foundations: Personal perspective},
journal = {Log. J. {IGPL}},
volume = {31},
number = {6},
pages = {1192--1202},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzac059},
doi = {10.1093/JIGPAL/JZAC059},
timestamp = {Fri, 12 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Gurevich23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Hodges23,
author = {Wilfrid Hodges},
title = {How did Avicenna understand the Barcan formulas?},
journal = {Log. J. {IGPL}},
volume = {31},
number = {6},
pages = {1170--1191},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzac066},
doi = {10.1093/JIGPAL/JZAC066},
timestamp = {Fri, 12 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Hodges23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Humberstone23,
author = {Lloyd Humberstone},
title = {Contrariety re-encountered: nonstandard contraries and internal negation**},
journal = {Log. J. {IGPL}},
volume = {31},
number = {6},
pages = {1084--1134},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzac070},
doi = {10.1093/JIGPAL/JZAC070},
timestamp = {Fri, 12 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Humberstone23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Iliev23,
author = {Petar Iliev},
title = {On semantically labelled syntax trees and the non-existence of certain
Sahlqvist formulae},
journal = {Log. J. {IGPL}},
volume = {31},
number = {3},
pages = {483--509},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzac044},
doi = {10.1093/JIGPAL/JZAC044},
timestamp = {Tue, 27 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/Iliev23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/IlinSSSSC23,
author = {Vladimir Ilin and
Dragan Simic and
Svetislav D. Simic and
Svetlana Simic and
Nenad Saulic and
Jos{\'{e}} Lu{\'{\i}}s Calvo{-}Rolle},
title = {A hybrid genetic algorithm, list-based simulated annealing algorithm,
and different heuristic algorithms for the travelling salesman problem},
journal = {Log. J. {IGPL}},
volume = {31},
number = {4},
pages = {602--617},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzac028},
doi = {10.1093/JIGPAL/JZAC028},
timestamp = {Sat, 02 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/IlinSSSSC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/JacksonS23,
author = {Marcel Jackson and
Tim Stokes},
title = {Restriction in Program Algebra},
journal = {Log. J. {IGPL}},
volume = {31},
number = {5},
pages = {926--960},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzac058},
doi = {10.1093/JIGPAL/JZAC058},
timestamp = {Fri, 10 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/JacksonS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/JimenezHerreraMAL23,
author = {P. Jim{\'{e}}nez{-}Herrera and
Laura Melgar{-}Garc{\'{\i}}a and
Gualberto Asencio{-}Cort{\'{e}}s and
Alicia Troncoso Lora},
title = {Streaming big time series forecasting based on nearest similar patterns
with application to energy consumption},
journal = {Log. J. {IGPL}},
volume = {31},
number = {2},
pages = {255--270},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzac017},
doi = {10.1093/JIGPAL/JZAC017},
timestamp = {Fri, 21 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/JimenezHerreraMAL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/KhodorchenkoBST23,
author = {Maria Khodorchenko and
Nikolay Butakov and
Timur Sokhin and
Sergey Teryoshkin},
title = {Surrogate-based optimization of learning strategies for additively
regularized topic models},
journal = {Log. J. {IGPL}},
volume = {31},
number = {2},
pages = {287--299},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzac019},
doi = {10.1093/JIGPAL/JZAC019},
timestamp = {Fri, 08 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/KhodorchenkoBST23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/KoutrasMNTZ23,
author = {Costas D. Koutras and
Christos Moyzes and
Christos Nomikos and
Konstantinos Tsaprounis and
Yorgos Zikos},
title = {On weak filters and ultrafilters: Set theory from (and for) knowledge
representation},
journal = {Log. J. {IGPL}},
volume = {31},
number = {1},
pages = {68--95},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzab030},
doi = {10.1093/JIGPAL/JZAB030},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/KoutrasMNTZ23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/LaraBenitezCGR23,
author = {Pedro Lara{-}Ben{\'{\i}}tez and
Manuel Carranza{-}Garc{\'{\i}}a and
David Guti{\'{e}}rrez{-}Avil{\'{e}}s and
Jos{\'{e}} C. Riquelme},
title = {Data streams classification using deep learning under different speeds
and drifts},
journal = {Log. J. {IGPL}},
volume = {31},
number = {4},
pages = {688--700},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzac033},
doi = {10.1093/JIGPAL/JZAC033},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/LaraBenitezCGR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/LopezGURT23,
author = {Jos{\'{e}} Antonio Moscoso L{\'{o}}pez and
Javier Gonz{\'{a}}lez{-}Enrique and
Daniel Urda and
Juan Jes{\'{u}}s Ruiz{-}Aguilar and
Ignacio J. Turias},
title = {Hourly pollutants forecasting using a deep learning approach to obtain
the {AQI}},
journal = {Log. J. {IGPL}},
volume = {31},
number = {4},
pages = {722--738},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzac035},
doi = {10.1093/JIGPAL/JZAC035},
timestamp = {Sat, 02 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/LopezGURT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Lyczak23,
author = {Marcin Lyczak},
title = {Branching Time Axiomatized With the Use of Change Operators},
journal = {Log. J. {IGPL}},
volume = {31},
number = {5},
pages = {894--906},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzac051},
doi = {10.1093/JIGPAL/JZAC051},
timestamp = {Fri, 10 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Lyczak23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/MaciasCH23,
author = {Ver{\'{o}}nica Borja Mac{\'{\i}}as and
Marcelo E. Coniglio and
Alejandro Hern{\'{a}}ndez{-}Tello},
title = {Genuine paracomplete logics},
journal = {Log. J. {IGPL}},
volume = {31},
number = {5},
pages = {961--987},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzac060},
doi = {10.1093/JIGPAL/JZAC060},
timestamp = {Tue, 31 Oct 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/MaciasCH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/MarcelinoR23,
author = {S{\'{e}}rgio Marcelino and
Umberto Rivieccio},
title = {Finite axiomatizability of logics of distributive lattices with negation},
journal = {Log. J. {IGPL}},
volume = {31},
number = {3},
pages = {510--533},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzac043},
doi = {10.1093/JIGPAL/JZAC043},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/MarcelinoR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/MarekPK23,
author = {Jaroslav Marek and
Alena Pozd{\'{\i}}lkov{\'{a}} and
Libor Kupka},
title = {Investigating growth models with linearization domain analysis and
residual analysis},
journal = {Log. J. {IGPL}},
volume = {31},
number = {4},
pages = {739--750},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzac036},
doi = {10.1093/JIGPAL/JZAC036},
timestamp = {Sat, 02 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/MarekPK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/MartinolichV23,
author = {Blanca Fernanda L{\'{o}}pez Martinolich and
Mar{\'{\i}}a del Carmen Vannicola},
title = {Equivalence between Varieties of {\L}ukasiewicz-Moisil Algebras and
Rings},
journal = {Log. J. {IGPL}},
volume = {31},
number = {5},
pages = {988--1003},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzac061},
doi = {10.1093/JIGPAL/JZAC061},
timestamp = {Tue, 31 Oct 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/MartinolichV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Mikec23,
author = {Luka Mikec},
title = {Complexity of the interpretability logics {ILW} and {ILP}},
journal = {Log. J. {IGPL}},
volume = {31},
number = {1},
pages = {194--213},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzac042},
doi = {10.1093/JIGPAL/JZAC042},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Mikec23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/MoreB23,
author = {Anuj Kumar More and
Mohua Banerjee},
title = {Contrapositionally complemented Heyting algebras and intuitionistic
logic with minimal negation},
journal = {Log. J. {IGPL}},
volume = {31},
number = {3},
pages = {441--474},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzac041},
doi = {10.1093/JIGPAL/JZAC041},
timestamp = {Sun, 06 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/MoreB23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/MunneI23,
author = {Rumana Ferdous Munne and
Ryutaro Ichise},
title = {Entity alignment via summary and attribute embeddings},
journal = {Log. J. {IGPL}},
volume = {31},
number = {2},
pages = {314--324},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzac021},
doi = {10.1093/JIGPAL/JZAC021},
timestamp = {Fri, 21 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/MunneI23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Nerode23,
author = {Anil Nerode},
title = {John Crossley: {A} life intellectual},
journal = {Log. J. {IGPL}},
volume = {31},
number = {6},
pages = {1023},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzad001},
doi = {10.1093/JIGPAL/JZAD001},
timestamp = {Fri, 12 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Nerode23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Parikh23,
author = {Rohit Parikh},
title = {Logic, co-ordination and the envelope of our beliefs},
journal = {Log. J. {IGPL}},
volume = {31},
number = {6},
pages = {1069--1077},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzac077},
doi = {10.1093/JIGPAL/JZAC077},
timestamp = {Fri, 12 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Parikh23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/PawlowskiU23,
author = {Pawel Pawlowski and
Rafal Urbaniak},
title = {Logic of informal provability with truth values},
journal = {Log. J. {IGPL}},
volume = {31},
number = {1},
pages = {172--193},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzab035},
doi = {10.1093/JIGPAL/JZAB035},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/PawlowskiU23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/PhansamdaengV23,
author = {Palagorn Phansamdaeng and
Pimpen Vejjajiva},
title = {The cardinality of the partitions of a set in the absence of the Axiom
of Choice},
journal = {Log. J. {IGPL}},
volume = {31},
number = {6},
pages = {1225--1231},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzac056},
doi = {10.1093/JIGPAL/JZAC056},
timestamp = {Fri, 12 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/PhansamdaengV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Picollo23,
author = {Lavinia Picollo},
title = {Corrigendum for "Truth in a logic of formal inconsistency: How classical
can it get?"},
journal = {Log. J. {IGPL}},
volume = {31},
number = {1},
pages = {214--217},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzaa053},
doi = {10.1093/JIGPAL/JZAA053},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Picollo23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Pischke23,
author = {Nicholas Pischke},
title = {On intermediate justification logics},
journal = {Log. J. {IGPL}},
volume = {31},
number = {3},
pages = {534--573},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzac049},
doi = {10.1093/JIGPAL/JZAC049},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/Pischke23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Pizzi23,
author = {Claudio E. A. Pizzi},
title = {Axioms for a Logic of Consequential Counterfactuals},
journal = {Log. J. {IGPL}},
volume = {31},
number = {5},
pages = {907--925},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzac052},
doi = {10.1093/JIGPAL/JZAC052},
timestamp = {Tue, 31 Oct 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Pizzi23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/PorrasJBC23,
author = {Santiago Porras and
Esteban Jove and
Bruno Baruque and
Jos{\'{e}} Lu{\'{\i}}s Calvo{-}Rolle},
title = {A comparative analysis of intelligent techniques to predict energy
generated by a small wind turbine from atmospheric variables},
journal = {Log. J. {IGPL}},
volume = {31},
number = {4},
pages = {648--663},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzac031},
doi = {10.1093/JIGPAL/JZAC031},
timestamp = {Sat, 02 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/PorrasJBC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/PretoF23,
author = {Sandro Preto and
Marcelo Finger},
title = {Proving properties of binary classification neural networks via {\L}ukasiewicz
logic},
journal = {Log. J. {IGPL}},
volume = {31},
number = {5},
pages = {805--821},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzac050},
doi = {10.1093/JIGPAL/JZAC050},
timestamp = {Fri, 10 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/PretoF23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/RoblesM23,
author = {Gemma Robles and
Jos{\'{e}} M. M{\'{e}}ndez},
title = {A note on functional relations in a certain class of implicative expansions
of {FDE} related to Brady's 4-valued logic {BN4}},
journal = {Log. J. {IGPL}},
volume = {31},
number = {3},
pages = {475--482},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzac045},
doi = {10.1093/JIGPAL/JZAC045},
timestamp = {Tue, 27 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/RoblesM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/SimicSBVCSS23,
author = {Svetlana Simic and
Sladana Sakac and
Zorana Bankovic and
Jos{\'{e}} R. Villar and
Jos{\'{e}} Lu{\'{\i}}s Calvo{-}Rolle and
Svetislav D. Simic and
Dragan Simic},
title = {A three-stage hybrid clustering system for diagnosing children with
primary headache disorder},
journal = {Log. J. {IGPL}},
volume = {31},
number = {2},
pages = {300--313},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzac020},
doi = {10.1093/JIGPAL/JZAC020},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/SimicSBVCSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/SkrabanekDM23,
author = {Pavel Skrab{\'{a}}nek and
Petr Dolezel and
Radomil Matousek},
title = {{RGB} images-driven recognition of grapevine varieties using a densely
connected convolutional network},
journal = {Log. J. {IGPL}},
volume = {31},
number = {4},
pages = {618--633},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzac029},
doi = {10.1093/JIGPAL/JZAC029},
timestamp = {Sat, 02 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/SkrabanekDM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Smorynski23,
author = {C. Smorynski},
title = {The early history of formal diagonalization},
journal = {Log. J. {IGPL}},
volume = {31},
number = {6},
pages = {1203--1224},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzac054},
doi = {10.1093/JIGPAL/JZAC054},
timestamp = {Fri, 12 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Smorynski23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/SokolSGP23,
author = {Pavol Sokol and
Richard Stana and
Andrej Gajdos and
Patrik Pekarc{\'{\i}}k},
title = {Network security situation awareness forecasting based on statistical
approach and neural networks},
journal = {Log. J. {IGPL}},
volume = {31},
number = {2},
pages = {352--374},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzac024},
doi = {10.1093/JIGPAL/JZAC024},
timestamp = {Mon, 01 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/SokolSGP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Sonenberg23,
author = {Liz Sonenberg},
title = {Logics and collaboration},
journal = {Log. J. {IGPL}},
volume = {31},
number = {6},
pages = {1024--1046},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzad006},
doi = {10.1093/JIGPAL/JZAD006},
timestamp = {Fri, 12 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Sonenberg23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Sutcliffe23,
author = {Geoff Sutcliffe},
title = {The logic languages of the {TPTP} world},
journal = {Log. J. {IGPL}},
volume = {31},
number = {6},
pages = {1153--1169},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzac068},
doi = {10.1093/JIGPAL/JZAC068},
timestamp = {Fri, 12 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Sutcliffe23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/TesoFzBetonoZSFTL23,
author = {Daniel Teso{-}Fz{-}Beto{\~{n}}o and
Ekaitz Zulueta and
Ander S{\'{a}}nchez{-}Chica and
Unai Fernandez{-}Gamiz and
Adrian Teso{-}Fz{-}Beto{\~{n}}o and
Jos{\'{e}} Manuel L{\'{o}}pez{-}Guede},
title = {Neural architecture search for the estimation of relative positioning
of the autonomous mobile robot},
journal = {Log. J. {IGPL}},
volume = {31},
number = {4},
pages = {634--647},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzac030},
doi = {10.1093/JIGPAL/JZAC030},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/TesoFzBetonoZSFTL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Vaananen23,
author = {Jouko V{\"{a}}{\"{a}}n{\"{a}}nen},
title = {An atom's worth of anonymity},
journal = {Log. J. {IGPL}},
volume = {31},
number = {6},
pages = {1078--1083},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzac074},
doi = {10.1093/JIGPAL/JZAC074},
timestamp = {Fri, 12 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Vaananen23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/VidalC23,
author = {Juan Climent Vidal and
Enric Cosme{-}Ll{\'{o}}pez},
title = {Functoriality of the Schmidt construction},
journal = {Log. J. {IGPL}},
volume = {31},
number = {5},
pages = {822--893},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzac048},
doi = {10.1093/JIGPAL/JZAC048},
timestamp = {Fri, 10 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/VidalC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Weiss23,
author = {Yale Weiss},
title = {The relevance logic of Boolean groups},
journal = {Log. J. {IGPL}},
volume = {31},
number = {1},
pages = {96--114},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzab031},
doi = {10.1093/JIGPAL/JZAB031},
timestamp = {Fri, 24 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Weiss23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/WirsingK23,
author = {Martin Wirsing and
Alexander Knapp},
title = {A reduction-based cut-free Gentzen calculus for dynamic epistemic
logic},
journal = {Log. J. {IGPL}},
volume = {31},
number = {6},
pages = {1047--1068},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzac078},
doi = {10.1093/JIGPAL/JZAC078},
timestamp = {Fri, 12 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/WirsingK23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/X23,
title = {Editorial: Special issue {HAIS20}},
journal = {Log. J. {IGPL}},
volume = {31},
number = {2},
pages = {219--222},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzac014},
doi = {10.1093/JIGPAL/JZAC014},
timestamp = {Fri, 21 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/X23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/X23a,
title = {Editorial: Special issue {SOCO} 2020},
journal = {Log. J. {IGPL}},
volume = {31},
number = {4},
pages = {599--601},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzac027},
doi = {10.1093/JIGPAL/JZAC027},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/X23a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/ZamoraHernandezCGCRL23,
author = {Mauricio{-}Andr{\'{e}}s Zamora{-}Hern{\'{a}}ndez and
Jose Andrez Chaves Ceciliano and
Alonso Villalobos Granados and
John Alejandro Castro{-}Vargas and
Jos{\'{e}} Garc{\'{\i}}a Rodr{\'{\i}}guez and
Jorge Azor{\'{\i}}n L{\'{o}}pez},
title = {{MDL+} a manufacturing description language to describe and control
assembling tasks in industry 4.0},
journal = {Log. J. {IGPL}},
volume = {31},
number = {4},
pages = {664--687},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzac032},
doi = {10.1093/JIGPAL/JZAC032},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/ZamoraHernandezCGCRL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/ZayasGatoJCQCPAC23,
author = {Francisco Zayas{-}Gato and
Esteban Jove and
Jos{\'{e}} Lu{\'{\i}}s Casteleiro{-}Roca and
H{\'{e}}ctor Quinti{\'{a}}n and
Francisco Javier Perez Castelo and
Andr{\'{e}}s Jos{\'{e}} Pi{\~{n}}{\'{o}}n Pazos and
Elena Arce and
Jos{\'{e}} Lu{\'{\i}}s Calvo{-}Rolle},
title = {Intelligent model for active power prediction of a small wind turbine},
journal = {Log. J. {IGPL}},
volume = {31},
number = {4},
pages = {785--803},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzac040},
doi = {10.1093/JIGPAL/JZAC040},
timestamp = {Sat, 02 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/ZayasGatoJCQCPAC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/ZayasGatoMQJCLC23,
author = {Francisco Zayas{-}Gato and
{\'{A}}lvaro Michelena and
H{\'{e}}ctor Quinti{\'{a}}n and
Esteban Jove and
Jos{\'{e}} Lu{\'{\i}}s Casteleiro{-}Roca and
Paulo Leit{\~{a}}o and
Jos{\'{e}} Lu{\'{\i}}s Calvo{-}Rolle},
title = {A novel method for anomaly detection using beta Hebbian learning and
principal component analysis},
journal = {Log. J. {IGPL}},
volume = {31},
number = {2},
pages = {390--399},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzac026},
doi = {10.1093/JIGPAL/JZAC026},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/ZayasGatoMQJCLC23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Zhao23,
author = {Zhiguang Zhao},
title = {Algorithmic correspondence for hybrid logic with binder},
journal = {Log. J. {IGPL}},
volume = {31},
number = {1},
pages = {39--67},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzab029},
doi = {10.1093/JIGPAL/JZAB029},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Zhao23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Zhao23a,
author = {Zhiguang Zhao},
title = {J{\'{o}}nsson-style canonicity in distributive modal \emph{{\(\mathrm{\mu}\)}}-calculus},
journal = {Log. J. {IGPL}},
volume = {31},
number = {3},
pages = {401--421},
year = {2023},
url = {https://doi.org/10.1093/jigpal/jzab032},
doi = {10.1093/JIGPAL/JZAB032},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/Zhao23a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2024-05-20 22:05 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
