![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Logic Journal of the IGPL, Volume 28
Volume 28, Number 1, February 2020
- Special issue: HAIS16-IGPL. 1-3
- María Lourdes Borrajo Diz
, A. Seara Vieira
, Eva Lorenzo Iglesias
:
An HMM-based synthetic view generator to improve the efficiency of ensemble systems. 4-18 - Philippe Fournier-Viger
, Yimin Zhang, Jerry Chun-Wei Lin
, Duy-Tai Dinh
, Hoai Bac Le:
Mining correlated high-utility itemsets using various measures. 19-32 - Gloria Cerasela Crisan
, Camelia-Mihaela Pintea
, Petrica C. Pop
, Oliviu Matei:
Economical connections between several European countries based on TSP data. 33-44 - Miguel Cárdenas-Montes
:
Slope-to-optimal-solution-based evaluation of the hardness of travelling salesman problem instances. 45-57 - Concepción Crespo-Turrado, José Luís Casteleiro-Roca, Fernando Sánchez Lasheras, José Antonio López-Vázquez, Francisco Javier de Cos Juez, Francisco Javier Perez Castelo, José Luís Calvo-Rolle, Emilio Corchado:
Comparative Study of Imputation Algorithms Applied to the Prediction of Student Performance. 58-70 - José Luís Casteleiro-Roca
, Héctor Quintián
, José Luís Calvo-Rolle
, Juan Albino Méndez Pérez, Francisco Javier Perez Castelo
, Emilio Corchado:
Lithium iron phosphate power cell fault detection system based on hybrid intelligent system. 71-82 - Enaitz Ezpeleta
, Iñaki Vélez de Mendizabal
, José María Gómez Hidalgo, Urko Zurutuza
:
Novel email spam detection method using sentiment analysis and personality recognition. 83-94 - Daniel Cinalli, Luis Martí, Nayat Sánchez-Pi
, Ana Cristina Bicharra Garcia
:
Collective intelligence approaches in interactive evolutionary multi-objective optimization. 95-108 - Antonio Álvarez-Caballero, Cecilio Blanco Viejo, Inés Couso
, Luciano Sánchez
:
Identification of Li-ion battery models through monotonic echo serial networks for coarse data. 109-120 - Alfredo Burrieza, Emilio Muñoz-Velasco, Manuel Ojeda-Aciego:
A flexible logic-based approach to closeness using order of magnitude qualitative reasoning. 121-133 - Dragan Simic, Jovana Gajic, Vladimir Ilin, Svetislav D. Simic, Svetlana Simic:
A hybrid ranking ELECTRE algorithm and its applications in agricultural decision-making. 134-149
Volume 28, Number 2, April 2020
- Francisco Javier Martínez de Pisón, Rubén Urraca
, Héctor Quintián
, Emilio Corchado:
Editorial: Special issue HAIS17-IGPL. 151-152 - Adam Viktorin, Roman Senkerik, Michal Pluhacek
, Tomas Kadavy:
Analysing knowledge transfer in SHADE via complex network. 153-170 - Miguel Cárdenas-Montes
:
An alternative view for incorporating more scaled differences to differential evolution. 171-184 - María Dolores Muñoz Vicente
, María N. Moreno García, Vivian F. López Batista
:
Representation of influence zones in commercial GISs for simulation of directional processes. 185-196 - Cristian Peñaranda, Javier Palanca, Vicente Julián, Vicent J. Botti:
A flexible and dynamic mobile robot localization approach. 197-210 - Michal Pluhacek
, Adam Viktorin, Roman Senkerik, Tomas Kadavy, Ivan Zelinka
:
Extended experimental study on PSO with partial population restart based on complex network analysis. 211-225 - Svetlana Simic, Dragana Milutinovic, Slobodan Sekulic, Dragan Simic, Svetislav D. Simic, Jovanka Dordevic:
A hybrid case-based reasoning approach to detecting the optimal solution in nurse scheduling problem. 226-238 - Alexandros Tzanetos, Vassilios Vassiliadis, Georgios Dounias:
Boosting the performance of hybrid Nature-Inspired algorithms: Application from the financial optimization domain. 239-247 - Ga Ching Lui, Kwok Yip Szeto:
Evolution of financial network through non-linear coupling of time series. 248-259
Volume 28, Number 3, June 2020
- Romas Alonderis, Haroldas Giedra:
A proof-search system for the logic of likelihood. 261-280 - Marcelo E. Coniglio
, Luis Fariñas del Cerro, Marques Peron Newton:
Modal logic with non-deterministic semantics: Part I - Propositional case. 281-315 - Juan Manuel Cornejo, Hernán Javier San Martín
:
Dually hemimorphic semi-Nelson algebras. 316-340 - Leander Vignero, Lorenz Demey:
The perfect surprise: a new analysis in dynamic epistemic logic. 341-362 - Joan Casas-Roma, Antonia Huertas
, M. Elena Rodríguez
:
The logic of imaginary scenarios. 363-388 - Flavio Ferrarotti, Senén González, Klaus-Dieter Schewe, José Maria Turull Torres:
A restricted second-order logic for non-deterministic poly-logarithmic time. 389-412 - Romas Alonderis, Haroldas Giedra:
A proof-search system for the logic of likelihood. 413
Volume 28, Number 4, July 2020
- Editorial: Special issue SOCO-CISIS 2017-IGPL. 415-417
- Manuel Castejón Limas
, Héctor Alaiz-Moretón, Laura Fernández-Robles
, Javier Alfonso-Cendón, Camino Fernández Llamas
, Lidia Sánchez-González
, Hilde Pérez:
Non-removal strategy for outliers in predictive models: The PAELLA algorithm case. 418-429 - Sara D. Cardell, Diego F. Aranha
, Amparo Fúster-Sabater:
Recovering Decimation-Based Cryptographic Sequences by Means of Linear CAs. 430-448 - Seul-Gi Choi, Sung-Bae Cho:
Evolutionary Reinforcement Learning for Adaptively Detecting Database Intrusions. 449-460 - Markel Sainz
, Iñaki Garitano
, Mikel Iturbe
, Urko Zurutuza:
Deep packet inspection for intelligent intrusion detection in software-defined industrial networks: A proof of concept. 461-472 - Alvaro Botas, Ricardo J. Rodríguez, Vicente Matellán, Juan Felipe García Sierra, M. Teresa Trobajo
, Miguel V. Carriegos:
On Fingerprinting of Public Malware Analysis Services. 473-486 - Esteban Jove
, Patricia Blanco-Rodríguez, José Luís Casteleiro-Roca
, Héctor Quintián
, Francisco Javier Moreno Arboleda, José Antonio López-Vázquez
, Benigno Antonio Rodríguez-Gómez, María del Carmen Meizoso-López, Andrés José Piñón Pazos
, Francisco Javier de Cos Juez
, Sung-Bae Cho, José Luís Calvo-Rolle
:
Missing data imputation over academic records of electrical engineering students. 487-501 - Esteban Jove
, José Luís Casteleiro-Roca
, Héctor Quintián
, Dragan Simic, Juan Albino Méndez Pérez, José Luís Calvo-Rolle
:
Anomaly detection based on one-class intelligent techniques over a control level plant. 502-518 - V. Gayoso Martínez, Luis Hernández Encinas
, Agustín Martín
, Raúl Durán Díaz:
Using the Spanish national identity card in social networks. 519-530 - Lukasz Saganowski
, Tomasz Andrysiak:
Time series forecasting with model selection applied to anomaly detection in network traffic. 531-545 - Gonzalo de la Torre-Abaitua, Luis Fernando Lago-Fernández, David Arroyo
:
On the application of compression-based metrics to identifying anomalous behaviour in web traffic. 546-557 - Ana Belén Gil González
, Andrea Vázquez-Ingelmo
, Fernando de la Prieta
, Ana de Luis-Reboredo, Alfonso González-Briones:
Patent retrieval architecture based on document retrieval. Sketching out the Spanish patent landscape. 558-569 - Isaías L. R. Gomes
, Rui Melício, Victor M. F. Mendes
, Hugo M. I. Pousinho:
Wind Power with Energy Storage Arbitrage in Day-ahead Market by a Stochastic MILP Approach. 570-582 - Svetlana Simic, Emilio Corchado, Dragan Simic, Jovanka Dordevic, Svetislav D. Simic:
A novel fuzzy metaheuristic approach in nurse rerostering problem. 583-595 - Ángel Arroyo
, Carlos Cambra
, Álvaro Herrero, Verónica Tricio, Emilio Corchado:
Self-Organizing Maps to Validate Anti-Pollution Policies. 596-614
Volume 28, Number 5, September 2020
- Eduardo Alejandro Barrio, Walter Carnielli:
Volume I: Recovery operators in logics of formal inconsistency. 615-623 - Walter Carnielli, Marcelo E. Coniglio
, Abilio Rodrigues:
Recovery operators, paraconsistency and duality. 624-656 - Roberto Ciuni, Massimiliano Carrara
:
Normality operators and classical recapture in many-valued logic. 657-683 - Hitoshi Omori:
From logics of formal inconsistency to logics of formal classicality. 684-711 - Bruno Da Ré
, Federico Matias Pailos
, Damián Enrique Szmuc:
Theories of truth based on four-valued infectious logics. 712-746 - Nicholas Tourville, Roy T. Cook:
Embracing intensionality: Paradoxicality and semi-truth operators in fixed point models. 747-770 - Lavinia María Picollo:
Truth in a Logic of Formal Inconsistency: How classical can it get? 771-806 - Diego Tajer:
${LFIs}$ and methods of classical recapture. 807-816 - Henrique Antunes:
Enthymematic classical recapture 1. 817-831 - Paula Teijeiro:
Subvaluationism and classical recapture. 832-844 - Eduardo Alejandro Barrio, Walter Carnielli:
Volume II: New advances in Logics of Formal Inconsistency. 845-850 - Arnon Avron, Anna Zamansky:
Paraconsistency, self-extensionality, modality. 851-880 - David R. Gilbert, Giorgio Venturi
:
A note on logics of essence and accident. 881-891 - Edson Vinícius Bezerra:
Society semantics for four-valued Łukasiewicz logic. 892-911 - Thomas Macaulay Ferguson:
The Keisler-Shelah theorem for $\mathsf{QmbC}$ through semantical atomization. 912-935 - Can Baskent, Pedro Henrique Carrasqueira:
A game theoretical semantics for a logic of formal inconsistency. 936-952 - Eduardo Alejandro Barrio, Nicolas Clerbout, Shahid Rahman:
Introducing consistency in a dialogical framework for paraconsistent logic. 953-972 - Umberto Rivieccio, Paulo Maia, Achim Jung:
Non-involutive twist-structures. 973-999 - Liliana M. Cantú, Martín Figallo:
On the logic that preserves degrees of truth associated to involutive Stone algebras. 1000-1020 - Marcelo E. Coniglio
, Aldo Figallo Orellano, Ana Claudia Golzio
:
Non-deterministic algebraization of logics by swap structures1. 1021-1059 - Bruno Ramos Mendonça, Walter Alexandre Carnielli:
Fraïssé's theorem for logics of formal inconsistency. 1060-1072
Volume 28, Number 6, December 2020
- Special issue: 17th LATIN AMERICAN SYMPOSIUM ON MATHEMATICAL LOGIC (LASML 2017/SLALM 2017 in Spanish). 1073-1076
- Carlos Areces
, Miguel Campercholi, Daniel Penazzi, Pablo Ventura:
The complexity of definability by open first-order formulas. 1093-1105 - José Luis Castiglioni, Rodolfo Cristian Ertola Biraben:
On a Weak Conditional. 1106-1129 - Guillermo De Ita
, José Raymundo Marcial-Romero
, José Antonio Hernández Servín:
A bottom-up algorithm for solving ♯2SAT. 1130-1140 - Aldo V. Figallo, Gustavo Pelaitay, Jonathan Sarmiento
:
Cn algebras with Moisil possibility operators. 1141-1154 - Thiago Nascimento
, Umberto Rivieccio, João Marcos, Matthew Spinks:
Nelson's logic ℒ. 1182-1206 - Ivonne Victoria Pallares-Vega:
Why the Axiom of Choice Sometimes Fails. 1207-1217 - Miguel Pérez-Gaspar, Alejandro Hernández-Tello, José R. Arrazola Ramírez, Mauricio Javier Osorio Galindo:
An axiomatic approach to CG′3 logic. 1218-1232
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.