default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLogic 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
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.
last updated on 2025-10-24 21:52 CEST 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:
