default search action
Logic Journal of the IGPL, Volume 25
Volume 25, Number 1, 2017
Editorial
- Álvaro Herrero
, Bruno Baruque
Editorial: Special Issue CISIS15-IGPL. 1-2
- Adam Wójtowicz
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
A study of the personalization of spam content using Facebook public information. 30-41 - V. Gayoso Martínez, Luis Hernández Encinas
A comparative study of three Spanish eGoverment smart cards. 42-53 - Javier Sedano, Silvia González, Camelia Chira
Key features for the characterization of Android malware families. 54-66 - Khoa Nguyen, Dat Tran
Decision tree algorithms for image data type identification. 67-82 - Raúl Sánchez, Álvaro Herrero
Clustering extension of MOVICAB-IDS to distinguish intrusions in flow-based data. 83-102 - Rafal Kozik
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
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
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
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
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
A paraconsistent route to semantic closure. 387-407 - Andreas B. M. Brunner, Hugo Luiz Mariano
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
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
A complete logic for Database Abstract State Machines1. 700-740 - Julio Michael Stern
Logically-consistent hypothesis testing and the hexagon of oppositions. 741-757 - Luka Mikec, Tin Perkov
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
Editorial: Special Issue HAIS15-IGPL. 859-861
- Víctor Berrocal-Plaza, Miguel A. Vega-Rodríguez
A fine-grained parallel approach for the registration areas optimization. 862-876 - Rubén Urraca
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
Nature inspired algorithms for solving the community detection problem. 902-914 - Ángel Arroyo
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
Using principal component analysis to improve earthquake magnitude prediction in Japan. 949-966 - Davide Carneiro
Mouse dynamics correlates to student behaviour in computer-based exams. 967-978 - David Álvarez
Handwritten digit recognition using neural networks and dynamic zoning with stroke-based descriptors. 979-990 - Dragan 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
An evolutionary scheduling approach for trading-off accuracy vs. verifiable energy in multicore processors. 1006-1019 - Leandro Antonio Pasa, José Alfredo F. Costa
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 2024-11-22 19:44 CET 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: