![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Logic Journal of the IGPL, Volume 25
Volume 25, Number 1, 2017
Editorial
- Álvaro Herrero
, Bruno Baruque
, Javier Sedano, Héctor Quintián
, Emilio Corchado:
Editorial: Special Issue CISIS15-IGPL. 1-2
- Adam Wójtowicz
, Daniel Wilusz
:
Architecture for adaptable smart spaces oriented on user privacy. 3-17 - Iskander Sánchez-Rola, Xabier Ugarte-Pedrero, Igor Santos, Pablo García Bringas
:
The web is watching you: A comprehensive review of web-tracking techniques and countermeasures. 18-29 - Enaitz Ezpeleta
, Urko Zurutuza
, José María Gómez Hidalgo:
A study of the personalization of spam content using Facebook public information. 30-41 - V. Gayoso Martínez, Luis Hernández Encinas
, Agustín Martín Muñoz
, M. A. Álvarez Mariño, D. Arroyo Guardeño:
A comparative study of three Spanish eGoverment smart cards. 42-53 - Javier Sedano, Silvia González, Camelia Chira
, Álvaro Herrero
, Emilio Corchado, José Ramón Villar
:
Key features for the characterization of Android malware families. 54-66 - Khoa Nguyen, Dat Tran
, Wanli Ma, Dharmendra Sharma
:
Decision tree algorithms for image data type identification. 67-82 - Raúl Sánchez, Álvaro Herrero
, Emilio Corchado:
Clustering extension of MOVICAB-IDS to distinguish intrusions in flow-based data. 83-102 - Rafal Kozik
, Michal Choras, Witold Holubowicz
:
Packets tokenization methods for web layer cyber security. 103-113
Volume 25, Number 2, 2017
- Gilda Ferreira
:
η-conversions of IPC implemented in atomic F. 115-130 - Massimiliano Carrara
, Daniele Chiffi, Ciro De Florio
:
Assertion and hypothesis: a logical framework for their opposition relations. 131-144 - Chrysafis Hartonas
:
Order-dual relational semantics for non-distributive propositional logics. 145-182 - Arnon Avron, Jean-Yves Béziau:
Self-extensional three-valued paraconsistent logics have no implication. 183-194 - Felicidad Aguado
, Pablo Ascariz, Pedro Cabalar, Gilberto Pérez, Concepción Vidal
:
Verification for ASP denotational semantics: A case study using the PVS theorem prover. 195-213 - Fatemeh Shirmohammadzadeh Maleki, Dick De Jongh:
Weak subintuitionistic logics. 214-231 - Mohammad Ardeshir, Zahra Ghafouri:
The principle of open induction and Specker sequences. 232-238 - Mauricio Osorio, José Abel Castellanos Joo:
Equivalence among RC-type paraconsistent logics. 239-252
- Jouko Väänänen, Ruy J. G. B. de Queiroz, Mauricio Javier Osorio Galindo, Claudia Zepeda Cortés, José R. Arrazola Ramírez:
23rd Workshop on Logic, Language, Information and Computation (WoLLIC 2016). 253-272
Volume 25, Number 3, June 2017
- Walter Alexandre Carnielli, Gabriele Pulcini
:
Cut-elimination and deductive polarization in complementary classical logic. 273-282 - João Rasga
, Cristina Sernadas
, Paulo Mateus
, Amílcar Sernadas:
Decision and optimization problems in the unreliable-circuit logic. 283-308 - Steffen Lewitzka:
Epistemic extensions of combined classical and intuitionistic propositional logic. 309-324 - Timm Lampert:
Minimizing disjunctive normal forms of pure first-order logic. 325-347 - Noemí Lubomirsky, Hernán Javier San Martín
, William Javier Zuluaga Botero
:
Relatively compatible operations in BCK-algebras and some related algebras. 348-364 - Kyohei Yokomizo:
A separable axiomatization of the Gabbay-de Jongh logics. 365-380
Volume 25, Number 4, August 2017
Foreword
- Walter Carnielli, Edward Hermann Haeusler, Petrucio Viana:
Foreword. 381-386
- Eduardo Alejandro Barrio, Federico Matias Pailos
, Damián Enrique Szmuc:
A paraconsistent route to semantic closure. 387-407 - Andreas B. M. Brunner, Hugo Luiz Mariano
, Samuel G. Da Silva:
Categorial forms of the Axiom of Choice. 408-430 - Antonio Bucciarelli, Delia Kesner, Daniel Ventura
:
Non-idempotent intersection types for the Lambda-Calculus. 431-464 - José Luis Castiglioni, Rodolfo Cristian Ertola Biraben
:
Modal operators for meet-complemented lattices. 465-495 - Aldo Figallo Orellano, Alicia Ziliani, Martín Figallo:
Symmetric operators on modal pseudocomplemented De Morgan algebras. 496-511 - Décio Krause:
Descriptions in quantum mechanics. 512-523 - Darllan Conceição Pinto, Hugo Luiz Mariano
:
Algebraizable logics and a functorial encoding of its morphisms. 524-561 - Arthur F. Ramos, Ruy J. G. B. de Queiroz, Anjolina Grisi de Oliveira:
On the identity type as the type of computational paths. 562-584 - Samuel G. Da Silva, Valeria de Paiva
:
Dialectical categories, cardinalities of the continuum and combinatorics of ideals. 585-603 - Julio Michael Stern
:
Continuous versions of Haack's puzzles: equilibria, eigen-states and ontologies. 604-631 - Rafael R. Testa
, Marcelo E. Coniglio
, Márcio Moretto Ribeiro
:
AGM-like paraconsistent belief change. 632-672
Volume 25, Number 5, October 2017
- Mohamed Khaled:
The free non-commutative cylindric algebras are not atomic. 673-685 - Naosuke Matsuda:
Cut-free sequent calculi for logics characterized by finite linear Kripke frames. 686-696 - Mostafa Zaare:
Extensions of Kripke models. 697-699 - Flavio Ferrarotti
, Klaus-Dieter Schewe, Loredana Tec, Qing Wang
:
A complete logic for Database Abstract State Machines1. 700-740 - Julio Michael Stern
, Rafael Izbicki
, Luís Gustavo Esteves, Rafael Bassi Stern
:
Logically-consistent hypothesis testing and the hexagon of oppositions. 741-757 - Luka Mikec, Tin Perkov
, Mladen Vukovic:
Decidability of interpretability logics ILM0 and ILW. 758-772 - Fan Yang
:
Modal dependence logics: axiomatizations and model-theoretic properties. 773-805 - David P. Ellerman
:
Logical information theory: new logical foundations for information theory. 806-835 - Mario Essert, Ivana Kuzmanovic, Ivan Vazler, Tihomir Zilic:
Theory of M-system. 836-858
Volume 25, Number 6, December 2017
Editorial
- Pablo García Bringas
, Igor Santos-Grueiro, Enrique Onieva, Eneko Osaba
, Héctor Quintián
, Emilio Corchado:
Editorial: Special Issue HAIS15-IGPL. 859-861
- Víctor Berrocal-Plaza, Miguel A. Vega-Rodríguez
, Juan M. Sánchez-Pérez:
A fine-grained parallel approach for the registration areas optimization. 862-876 - Rubén Urraca
, Andrés Sanz-García
, Julio Fernández-Ceniceros, Alpha V. Pernía-Espinoza
, Francisco J. Martínez de Pisón Ascacibar:
Improving hotel room demand forecasting with a hybrid GA-SVR methodology based on skewed data transformation, feature selection and parsimony tuning. 877-889 - Sendoa Rojas-Lertxundi, J. Ramón Fernández-López, Sergio Huerta, Pablo García Bringas
:
Motion capture systems for jump analysis. 890-901 - Eslam Hussein
, Ahmed Ibrahem Hafez
, Aboul Ella Hassanien, Aly A. Fahmy:
Nature inspired algorithms for solving the community detection problem. 902-914 - Ángel Arroyo
, Álvaro Herrero
, Emilio Corchado, Verónica Tricio:
A hybrid intelligent system for the analysis of atmospheric pollution: a case study in two European regions. 915-937 - José Gaviria de la Puerta, Borja Sanz:
Using Dalvik opcodes for malware detection on android. 938-948 - Gualberto Asencio-Cortés
, Francisco Martínez-Álvarez
, A. Morales-Esteban
, Jorge Reyes, Alicia Troncoso Lora
:
Using principal component analysis to improve earthquake magnitude prediction in Japan. 949-966 - Davide Carneiro
, Paulo Novais
, Nuno J. Sousa
, José Miguel Pêgo
, José Neves:
Mouse dynamics correlates to student behaviour in computer-based exams. 967-978 - David Álvarez
, Ramón Ángel Fernández Díaz
, Lidia Sánchez-González
, José-Manuel Alija-Pérez:
Handwritten digit recognition using neural networks and dynamic zoning with stroke-based descriptors. 979-990 - Dragan Simic
, Vladimir Ilin
, Vasa Svircevic, Svetlana Simic:
A hybrid clustering and ranking method for best positioned logistics distribution centre in Balkan Peninsula. 991-1005 - Umer Liqat, Zorana Bankovic, Pedro López-García
, Manuel V. Hermenegildo:
An evolutionary scheduling approach for trading-off accuracy vs. verifiable energy in multicore processors. 1006-1019 - Leandro Antonio Pasa, José Alfredo F. Costa, Marcial Guerra de Medeiros:
An ensemble algorithm for Kohonen self-organizing map with different sizes. 1020-1033
![](https://dblp.org/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.