default search action
Logic Journal of the IGPL, Volume 23
Volume 23, Number 1, February 2015
- Álvaro Herrero
, Václav Snásel, Ajith Abraham, Ivan Zelinka
Editorial: Special issue CISIS12-IGPL. 1-3
- Raúl Durán Díaz, Luis Hernández Encinas
Cryptanalysis of two combinatorial public key cryptosystems. 4-16 - Carlos Laorden
Negobot: Detecting paedophile activity with a conversational agent based on game theory. 17-30 - Krzysztof Walkowiak
Metaheuristic algorithms for optimization of resilient overlay computing systems. 31-44 - Michal Choras, Rafal Kozik
Machine learning techniques applied to detect cyber attacks on web applications. 45-56 - Angel Jesus Varela-Vaca
Formalization of security patterns as a means to infer security controls in business processes. 57-72 - Oscar Delgado-Mohatar, Amparo Fúster-Sabater:
Software implementation of cryptographic sequence generators over extended fields. 73-87 - Ivan Zelinka
Investigation on operating systems identification by means of fractal geometry. 88-104 - Pawel Ksieniewicz
A novel hyperspectral segmentation algorithm - concept and evaluation. 105-120 - Raúl Sánchez, Álvaro Herrero
Clustering extension of MOVICAB-IDS to identify SNMP community searches. 121-140
Volume 23, Number 2, April 2015
- Dominic Widdows, Trevor Cohen:
Reasoning with vectors: A continuous model for fast robust inference. 141-173 - Gemma Robles
A binary Routley semantics for intuitionistic De Morgan minimal logic HM and its extensions. 174-193 - Florian Bruse, Oliver Friedmann, Martin Lange:
On guarded transformation in the modal μ-calculus. 194-216 - José L. Castiglioni, Hernán Javier San Martín
On frontal operators in Hilbert algebras. 217-234 - Miguel Campercholi, Michal M. Stronkowski
On structural completeness versus almost structural completeness problem: A discriminator varieties case study. 235-246 - Majid Alizadeh
Counting weak Heyting algebras on finite distributive lattices. 247-258 - Chiaki Sakama, Martin Caminada, Andreas Herzig:
A formal account of dishonesty. 259-294 - Daniel Lima Ventura
Explicit substitution calculi with de Bruijn indices and intersection type systems. 295-340 - Grigoriy V. Bokov
Undecidability of the problem of recognizing axiomatizations for propositional calculi with implication. 341-353
Volume 23, Number 3, June 2015
- Héctor Quintián
Editorial: Special issue HAIS12-IGPL. 355-358
- Oliver Kramer, Thole Klingenberg, Michael Sonnenschein, Olaf Wilken:
Non-intrusive appliance load monitoring with bagging classifiers. 359-368 - Camelia-Mihaela Pintea
An improved hybrid algorithm for capacitated fixed-charge transportation problem. 369-378 - Ramón Ferreiro García, José Luís Calvo-Rolle
Diagnosing a solar volumetric receiver combining NN-based modelling with online parameter identification and rule-based techniques. 379-399 - Anca Andreica
Evolution and dynamics of node-weighted networks for cellular automata computation. 400-409 - Joanna Golinska-Pilarek
A hybrid qualitative approach for relative movements. 410-420 - Krystyna Napierala, Jerzy Stefanowski
Abstaining in rule set bagging for imbalanced data. 421-430 - Stefanos Ougiaroglou
FHC: an adaptive fast hybrid method for k-NN classification. 431-450 - Julio Fernández-Ceniceros
Hybrid Modelling of Multilayer Perceptron Ensembles for Predicting the Response of Bolted Lap Joints. 451-462 - Darío Álvarez, Ramón Fernández
Stroke-based intelligent character recognition using a deterministic finite automaton. 463-471 - José Ramón Villar
Simple heuristics for enhancing GP learning. 472-484 - Ángel Martín del Rey, Gerardo Rodríguez Sánchez
A protocol to encrypt digital images using chaotic maps and memory cellular automata. 485-494 - Marina Zapater, David Fraga, Pedro Malagón, Zorana Bankovic, José Manuel Moya
Self-organizing Maps versus Growing Neural Gas in Detecting Anomalies in Data Centres. 495-505 - Aboul Ella Hassanien, Mostafa A. Salama, Jan Platos
Rough local transfer function for cardiac disorders detection using heart sounds. 506-520 - Dragan Simic
Hybrid Firefly Model in Routing Heterogeneous Fleet of Vehicles in Logistics Distribution. 521-532
Volume 23, Number 4, August 2015
- Can Baskent
Some non-classical approaches to the Brandenburger-Keisler paradox. 533-552 - Lito Perez Cruz, John Newsome Crossley:
Logics Modulo Theories: a logical framework for multi-agent systems. 553-583 - Rob Egrot
Meet-completions and ordered domain algebras. 584-600 - Carlos Areces
Relation-changing modal operators. 601-627 - Roland Sh. Omanadze, Irakli O. Chitaia:
Some properties of maximal sets. 628-639 - Wojciech Dzik, Piotr Wojtylak:
Almost structurally complete infinitary consequence operations extending S4.3. 640-661 - Ioannis Kokkinis
First steps towards probabilistic justification logic. 662-687 - Ruaan Kellerman
First-order aspects of tree paths. 688-704
- Li Zhang, Sven Ove Hansson:
How to make up one's mind. 705-717
Volume 23, Number 5, October 2015
- Tor Sandqvist:
Base-extension semantics for intuitionistic sentential logic. 719-731 - Rafael Izbicki
Logical consistency in simultaneous statistical test procedures. 732-758 - Dimitri Surinx, George H. L. Fletcher
Relative expressive power of navigational querying on graphs using transitive closure. 759-788 - Daniyar S. Shamkanov
Nested sequents for provability logic GLP. 789-815 - Leonardo Manuel Cabrer, Hilary A. Priestley:
A general framework for product representations: bilattices and beyond. 816-841 - Mohammad Ardeshir, S. Mojtaba Mojtahedi
Reduction of provability logics to Σ1-provability logics. 842-847
- Ulrich Kohlenbach, Pablo Barceló, Ruy J. G. B. de Queiroz:
21st Workshop on Logic, Language, Information and Computation (WoLLIC 2014). 848-859
Volume 23, Number 6, December 2015
- Evgeny Zolin:
Local Goldblatt-Thomason theorem. 861-880 - Dov M. Gabbay, Michael Gabbay:
The attack as strong negation, part I. 881-941 - David Fernández-Duque, Ángel Nepomuceno-Fernández, Enrique Sarrión-Morillo, Fernando Soler-Toscano
Forgetting complex propositions. 942-965 - Alexei L. Semenov
A combinatorial version of the Svenonius theorem on definability. 966-975
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-11-09 23:10 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: