default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLogic Journal of the IGPL, Volume 24
Volume 24, Number 1, February 2016
- Álvaro Herrero
, Bruno Baruque, Ajith Abraham, André Carlos Ponce de Leon Ferreira de Carvalho, Pablo García Bringas, Héctor Quintián, Emilio Corchado:
Editorial: Special Issue CISIS13-IGPL. 1-3
- Alberto Peinado, Andrés Ortiz, Guillermo Cotrina:
Content-based image authentication using sparse features and SOM trajectories. 4-15 - Alberto Fuentes Rodríguez, Luis Hernández Encinas, Agustín Martín Muñoz, Bernardo Alarcos Alcázar:
Design and optimization of the input modules of a DPA toolbox. 16-28 - Jezabel Molina-Gil, Pino Caballero-Gil, Cándido Caballero-Gil, Amparo Fúster-Sabater:
Software implementation of the SNOW 3G Generator on iOS and Android platforms. 29-41 - Patxi Galán-García, José Gaviria de la Puerta, Carlos Laorden Gómez, Igor Santos, Pablo García Bringas:
Supervised machine learning for the detection of troll profiles in twitter social network: application to a real case of cyberbullying. 42-53 - Enrico Cambiaso, Gianluca Papaleo, Giovanni Chiola, Maurizio Aiello:
Mobile executions of Slow DoS Attacks. 54-67 - Rafael Álvarez, Antonio Zamora:
Randomness analysis and generation of key-derived s-boxes. 68-79 - Daniela Ventura, Aitor Gómez-Goiri, Vincenzo Catania, Diego López-de-Ipiña, J. A. M. Naranjo, Leocadio G. Casado:
Security analysis and resource requirements of group-oriented user access control for hardware-constrained wireless network services. 80-91 - Camelia-Mihaela Pintea, Petrica C. Pop, Ioana Zelina:
Denial jamming attacks on wireless sensor network using sensitive agents. 92-103 - Silvia González, Álvaro Herrero, Javier Sedano, Urko Zurutuza, Emilio Corchado:
Different approaches for the detection of SSH anomalous connections. 104-114
Volume 24, Number 2, April 2016
- Guillermo Badia:
A Lindström-style theorem for finitary propositional weak entailment languages with absurdity. 115-137 - George Voutsadakis:
Categorical abstract algebraic logic: skywatching in semilattice systems. 138-155 - Chrysafis Hartonas:
Modal and temporal extensions of non-distributive propositional logics. 156-185 - Dov M. Gabbay, Michael Gabbay:
Theory of disjunctive attacks, Part I. 186-218
Volume 24, Number 3, June 2016
- Ofer Arieli, Anna Zamansky:
Preface. 221-223
- Matthias Baaz, Rosalie Iemhoff:
Skolemization in intermediate logics with the finite model property. 224-237 - Libor Behounek, Petr Cintula, Chris Fermüller, Tomás Kroupa:
Representing strategic games and their equilibria in many-valued logics. 238-267 - Katalin Bimbó:
Some relevance logics from the point of view of relational semantics. 268-287 - Marcelo E. Coniglio, Francesc Esteva, Lluís Godo:
On the set of intermediate logics between the truth- and degree-preserving Łukasiewicz logics. 288-320 - Pilar Dellunde, Àngel García-Cerdaña, Carles Noguera:
Löwenheim-Skolem theorems for non-classical first-order algebraizable logics. 321-345 - Nachum Dershowitz, Evgenia Falkovich-Derzhavetz:
On the parallel computation thesis. 346-374 - Roman Kuznets, Björn Lellmann:
Grafting hypersequents onto nested sequents. 375-423 - Roman Kuznets, Thomas Studer:
Weak arithmetical interpretations for the Logic of Proofs. 424-440 - Revantha Ramanayake:
Non-commutative classical arithmetical sequent calculi are intuitionistic. 441-452
Volume 24, Number 4, August 2016
- Lorenzo Magnani, Claudia Casadio:
Preface. 453-455
- John Woods:
Does changing the subject from A to B really provide an enlarged understanding of A? 456-480 - V. Michele Abrusci:
Analytic and synthetic in logic. 481-493 - Gerhard Schurz:
Common cause abduction: The formation of theoretical concepts and models in science. 494-509 - Ari Saptawijaya, Luís Moniz Pereira:
Logic programming for modeling morality. 510-525 - Chiaki Sakama, Katsumi Inoue:
Abduction, conversational implicature and misleading in human dialogues. 526-541 - Gustavo Cevolani:
Carnapian truthlikeness. 542-556 - Marco Giunti, Simone Pinna:
For a dynamical approach to human computation. 557-569 - Daniele Porello:
Single-peakedness and semantic dimensions of preferences. 570-583 - Michael Schippers:
Bayesian coherentism and the problem of measure sensitivity. 584-599 - Sam Carter:
Probability judgements about indicative conditionals: An erotetic theory. 600-611 - Selene Arfini, Lorenzo Magnani:
Cognitive autoimmunity: Knowledge, ignorance and self-deception. 612-627 - Claudia Casadio:
Reasoning logically in cognitive domains. 628-638 - Lorenzo Magnani:
Naturalizing the logic of abduction. 639-654
Volume 24, Number 5, October 2016
- Wenjuan Chen, Bijan Davvaz:
Some classes of quasi-pseudo-MV algebras. 655 - Sérgio Marcelino, Carlos Caleiro:
Decidability and complexity of fibred logics without shared connectives. 673-707 - Mario Piazza, Gabriele Pulcini:
Uniqueness of axiomatic extensions of cut-free classical propositional logic. 708-718 - Stefano Bonzio, Ivan Chajda, Antonio Ledda:
Representing quantum structures as near semirings. 719-742 - Meghdad Ghari:
Pavelka-style fuzzy justification logics. 743-773 - Grigoriy V. Bokov:
On the number of variables in undecidable superintuitionistic propositional calculi. 774-791 - Grigoriy V. Bokov:
Undecidable problems for propositional calculi with implication. 792-806 - Dov M. Gabbay, Michael Gabbay:
The attack as intuitionistic negation. 807-837 - Gemma Robles, José M. Méndez:
A companion to Brady's 4-valued relevant logic BN4: The 4-valued logic of entailment E4. 838-858
- Valeria de Paiva, Lawrence S. Moss, Daniel Leivant, Ruy J. G. B. de Queiroz:
22nd Workshop on Logic, Language, Information and Computation (WoLLIC 2015). 859
Volume 24, Number 6, December 2016
- Pablo García Bringas, Jorge de-la-Peña-Sordo, José Gaviria de la Puerta, Álvaro Herrero, Héctor Quintián, Emilio Corchado:
Editorial: Special Issue CISIS14-IGPL. 869-870
- Iván García-Ferreira, Carlos Laorden, Igor Santos, Pablo García Bringas:
Static analysis: a brief survey. 871-882 - Jorge de-la-Peña-Sordo, Iker Pastor-López, Xabier Ugarte-Pedrero, Igor Santos, Pablo García Bringas:
Anomaly-based user comments detection in social news websites using troll user comments as normality representation. 883-898 - Salva Peiró, Manuel Muñoz, Alfons Crespo:
An analysis on the impact and detection of kernel stack infoleaks. 899-915 - Joaquín Borrego-Díaz, Antonia M. Chávez-González, José Luis Pro-Martín, Virginia Matos-Arana:
Semantics for incident identification and resolution reports. 916-932 - Alberto Peinado, Jorge Munilla, Amparo Fúster-Sabater:
Optimal modes of operation of pseudorandom sequence generators based on DLFSRs. 933-943 - Tomasz Andrysiak, Lukasz Saganowski, Michal Choras, Rafal Kozik:
Proposal and comparison of network anomaly detection based on long-memory statistical models. 944-956 - Maurizio Aiello, Maurizio Mongelli, Enrico Cambiaso, Gianluca Papaleo:
Profiling DNS tunneling attacks with PCA and mutual information. 957-970 - Marián Kühnel, Ulrike Meyer:
Applying highly space efficient blacklisting to mobile malware. 971-981 - Alessio Merlo, Elena Spadacini, Mauro Migliardi:
IPS-based reduction of network energy consumption. 982-995 - J. David Nuñez-Gonzalez, Borja Ayerdi, Manuel Graña, Michal Wozniak:
A new heuristic for influence maximization in social networks. 996-1014
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-12-19 22:14 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:
