Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLogic Journal of the IGPL, Volume 23
Volume 23, Number 1, February 2015
- Álvaro Herrero
, Václav Snásel, Ajith Abraham, Ivan Zelinka, Héctor Quintián, Emilio Corchado:
Editorial: Special issue CISIS12-IGPL. 1-3
- Raúl Durán Díaz, Luis Hernández Encinas, Jaime Muñoz Masqué:
Cryptanalysis of two combinatorial public key cryptosystems. 4-16 - Carlos Laorden, Patxi Galán-García, Igor Santos, Borja Sanz, Javier Nieves, Pablo García Bringas, José María Gómez Hidalgo:
Negobot: Detecting paedophile activity with a conversational agent based on game theory. 17-30 - Krzysztof Walkowiak, Wojciech Charewicz, Maciej Donajski, Jacek Rak:
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, Rafael M. Gasca:
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, Oldrich Zmeskal, Filip Merhaut:
Investigation on operating systems identification by means of fractal geometry. 88-104 - Pawel Ksieniewicz, Dariusz Jankowski, Borja Ayerdi, Konrad Jackowski, Manuel Graña, Michal Wozniak:
A novel hyperspectral segmentation algorithm - concept and evaluation. 105-120 - Raúl Sánchez, Álvaro Herrero, Emilio Corchado:
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, José M. Méndez:
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, Diego Vaggione:
On structural completeness versus almost structural completeness problem: A discriminator varieties case study. 235-246 - Majid Alizadeh, Nima Joharizadeh:
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, Fairouz Kamareddine, Mauricio Ayala-Rincón:
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, Emilio Corchado, André Carlos Ponce de Leon Ferreira de Carvalho, Ajith Abraham, Michal Wozniak, Manuel Graña, Sung-Bae Cho:
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, Petrica C. Pop:
An improved hybrid algorithm for capacitated fixed-charge transportation problem. 369-378 - Ramón Ferreiro García, José Luís Calvo-Rolle, Francisco Javier Perez Castelo:
Diagnosing a solar volumetric receiver combining NN-based modelling with online parameter identification and rule-based techniques. 379-399 - Anca Andreica, Camelia Chira:
Evolution and dynamics of node-weighted networks for cellular automata computation. 400-409 - Joanna Golinska-Pilarek, Emilio Muñoz-Velasco:
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, Georgios Evangelidis, Dimitris A. Dervos:
FHC: an adaptive fast hybrid method for k-NN classification. 431-450 - Julio Fernández-Ceniceros, Fernando Antoñanzas-Torres, Francisco J. Martínez de Pisón Ascacibar, Andrés Sanz-García:
Hybrid Modelling of Multilayer Perceptron Ensembles for Predicting the Response of Bolted Lap Joints. 451-462 - Darío Álvarez, Ramón Fernández, Lidia Sánchez:
Stroke-based intelligent character recognition using a deterministic finite automaton. 463-471 - José Ramón Villar, Enrique A. de la Cal, Javier Sedano, Marco Antonio García Tamargo:
Simple heuristics for enhancing GP learning. 472-484 - Ángel Martín del Rey, Gerardo Rodríguez Sánchez, A. de la Villa Cuenca:
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, Václav Snásel:
Rough local transfer function for cardiac disorders detection using heart sounds. 506-520 - Dragan Simic, Ilija Kovacevic, Vasa Svircevic, Svetlana 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, Robin Hirsch:
Meet-completions and ordered domain algebras. 584-600 - Carlos Areces, Raul Fervari, Guillaume Hoffmann:
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, Petar Maksimovic, Zoran Ognjanovic, Thomas Studer:
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, Luís Gustavo Esteves:
Logical consistency in simultaneous statistical test procedures. 732-758 - Dimitri Surinx, George H. L. Fletcher, Marc Gyssens, Dirk Leinders, Jan Van den Bussche, Dirk Van Gucht, Stijn Vansummeren, Yuqing Wu:
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, Fernando R. Velázquez-Quesada:
Forgetting complex propositions. 942-965 - Alexei L. Semenov, Sergey Soprunov:
A combinatorial version of the Svenonius theorem on definability. 966-975
a service of 
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-06-29 00:40 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:
