default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLogic Journal of the IGPL, Volume 30
Volume 30, Number 1, January 2022
- Guillermo Badia
, Carles Noguera:
Saturated models of first-order many-valued logics. 1-20 - Gemma Robles, José M. Méndez:
A remark on functional completeness of binary expansions of Kleene's strong 3-valued logic. 21-33 - Narbe Aboolian, Majid Alizadeh:
Lyndon's interpolation property for the logic of strict implication. 34-70 - Saeed Salehi:
'Sometime a paradox', now proof: Yablo is not first order. 71-77 - Jie Fang:
Logics of (In)sane and (Un)reliable Beliefs. 78-100 - Michal Walicki:
Extensions in graph normal form. 101-123 - Somayeh Chopoghloo, Morteza Moniri:
An infinitary axiomatization of dynamic topological logic. 124-142 - Ivan Chajda, Helmut Länger:
The logic of orthomodular posets of finite height. 143-154 - Philippe Balbiani, David Fernández-Duque, Andreas Herzig, Petar Iliev:
Frame-validity Games and Lower Bounds on the Complexity of Modal Axioms. 155-185 - Alex Belikov:
On bivalent semantics and natural deduction for some infectious logics. 186-210
Volume 30, Number 2, March 2022
- Special Issue: SOCO-CISIS 2019-IGPL. 211-213
- Ignacio Trojaola, Iker Elorza, Eloy Irigoyen, Aron Pujana-Arrese, Carlos Calleja:
The Effect of Iterative Learning Control on the Force Control of a Hydraulic Cushion. 214-226 - Miguel Cárdenas-Montes:
Uncertainty estimation in the forecasting of the 222Rn radiation level time series at the Canfranc Underground Laboratory. 227-238 - Sarah Wunderlich, Markus Ring, Dieter Landes, Andreas Hotho:
The Impact of Different System Call Representations on Intrusion Detection. 239-251 - Belén Vega-Márquez, Cristina Rubio-Escudero, Isabel A. Nepomuceno-Chamorro:
Generation of Synthetic Data with Conditional Generative Adversarial Networks. 252-262 - Christian Amor, José Miguel Pérez, Philipp Schlatter, Ricardo Vinuesa, Soledad Le Clainche:
Modeling the Turbulent Wake Behind a Wall-Mounted Square Cylinder. 263-276 - Andreea Vescan, Camelia-Mihaela Pintea, Petrica C. Pop:
Test Case Prioritization - ANT Algorithm With Faults Severity. 277-288 - Agnieszka M. Zbrzezny, Sabina Szymoniak, Miroslaw Kurkowski:
Practical Approach in Verification of Security Systems Using Satisfiability Modulo Theories. 289-300 - Luciano Sánchez, José Otero, Manuela González Vega, David Anseán, Alana A. Zülke, Inés Couso:
Distal learning of the incremental capacity curve of a LiFePO4 battery. 301-313 - Mirko Fáñez, José R. Villar, Enrique A. de la Cal, Víctor M. González, Javier Sedano:
Improving wearable-based fall detection with unsupervised learning. 314-325 - Alberto Leira, Esteban Jove, Jose M. Gonzalez-Cava, José Luís Casteleiro-Roca, Héctor Quintián, Francisco Zayas-Gato, Santiago Torres Álvarez, Svetlana Simic, Juan Albino Méndez Pérez, José Luís Calvo-Rolle:
One-Class-Based Intelligent Classifier for Detecting Anomalous Situations During the Anesthetic Process. 326-341
Volume 30, Number 3, May 2022
- Nicholas Pischke:
Gödel justification logics and realization. 343-408 - Hernán Javier San Martín, Valeria A. Sígal:
Dualities for Bounded Prelinear Hilbert Algebras. 409-421 - Guido Fiorino:
New Tableau Characterizations for Non-clausal MaxSAT Problem. 422-436 - Arnon Avron:
Proof Systems for 3-valued Logics Based on Gödel's Implication. 437-453 - Philippe Balbiani, Mojtaba Mojtahedi:
Unification with parameters in the implication fragment of classical propositional logic. 454-464 - Daniel O. Martínez-Rivillas, Ruy J. G. B. de Queiroz:
∞-Groupoid Generated by an Arbitrary Topological λ-Model. 465-488 - Saeed Salehi:
Tarski's Undefinability Theorem and the Diagonal Lemma. 489-498 - Uri Andrews, Peter M. Gerdes, Steffen Lempp, Joseph S. Miller, Noah David Schweber:
Computability and the Symmetric Difference Operator. 499-518 - Mikhail N. Rybakov, Dmitry Shkatov:
Undecidability of the Logic of Partial Quasiary Predicates. 519-533 - Sankha S. Basu, Mihir K. Chakraborty:
Restricted Rules of Inference and Paraconsistency. 534-560 - Sara D. Cardell, Diego F. Aranha, Amparo Fúster-Sabater:
Recovering Decimation-Based Cryptographic Sequences by Means of Linear CAs. 561 - Evolutionary Reinforcement Learning for Adaptively Detecting Database Intrusions. 562
Volume 30, Number 4, July 2022
- Hilde Pérez García, Lidia Sánchez-González, Manuel Castejón Limas, Héctor Quintián, Emilio Corchado:
Editorial: Special issue HAIS19-IGPL. 563-565 - Agustín San Román Guzmán, Diego Valdeolmillos, Alberto Rivas, Angélica González Arrieta, Pablo Chamoso:
Design of a New Distributed NoSQL Database with Distributed Hash Tables. 566-577 - Naohiro Ishii, Toshinori Deguchi, Masashi Kawaguchi, Hiroshi Sasaki, Tokuro Matsuo:
Adaptive Orthogonal Characteristics of Bio-Inspired Neural Networks. 578-598 - Paul D. Rosero-Montalvo, Vivian F. López Batista, Ricardo P. Arciniega-Rocha, Diego Hernán Peluffo-Ordóñez:
Air Pollution Monitoring Using WSN Nodes with Machine Learning Techniques: A Case Study. 599-610 - Flávio Arthur Oliveira Santos, Cleber Zanchettin, Leonardo Nogueira Matos, Paulo Novais:
On the Impact of Interpretability Methods in Active Image Augmentation Method. 611-621 - Ovidiu Cosma, Petrica C. Pop, Cosmin Sabo:
Solving a Two-stage Supply Chain Network Design Problem with Fixed Costs by a Hybrid Genetic Algorithm. 622-634 - Eduardo Dulce-Chamorro, Francisco Javier Martínez de Pisón:
Parsimonious Modelling for Estimating Hospital Cooling Demand to Improve Energy Efficiency. 635-648 - Svetlana Simic, Svetislav D. Simic, Zorana Bankovic, Milana Ivkov-Simic, José R. Villar, Dragan Simic:
Deep Convolutional Neural Networks on Automatic Classification for Skin Tumour Images. 649-663 - José Neves, Nuno Maia, Goreti Marreiros, Mariana Neves, Ana Fernandes, Jorge Ribeiro, Isabel Araújo, Nuno Araújo, Liliana Ávidos, Filipa Ferraz, António Capita, Nicolás F. Lori, Victor Alves, Henrique Vicente:
Employees balance and stability as key points in organizational performance. 664-678 - Esteban Jove, José Luís Casteleiro-Roca, Héctor Quintián, Francisco Zayas-Gato, Gianni Viardo Vercelli, José Luís Calvo-Rolle:
A One-class Classifier Based on a Hybrid Topology to Detect Faults in Power Cells. 679-694
Volume 30, Number 5, September 2022
- Marcelo E. Coniglio, Luis Fariñas del Cerro, Newton Marques Peron:
Modal Logic With Non-Deterministic Semantics: Part II - Quantified Case. 695-727 - Matthias Gerner:
Sample logic. 728-776 - Juan Carlos Agudelo Agudelo, Andrés Sicard-Ramírez:
Type Theory with Opposite Types: A Paraconsistent Type Theory. 777-806 - Umberto Rivieccio:
Fragments of Quasi-Nelson: The Algebraizable Core. 807-839 - Ivan Chajda, Davide Fazio, Helmut Länger, Antonio Ledda, Jan Paseka:
Algebraic Properties of Paraorthomodular Posets. 840-869 - David R. Gilbert, Ekaterina Kubyshkina, Mattia Petrolo, Giorgio Venturi:
Logics of Ignorance and Being Wrong. 870-885 - Robin Hirsch, Szabolcs Mikulás, Timothy Stokes:
The Algebra of Non-deterministic Programs: Demonic Operations, Orders and Axioms. 886-906 - Missing data imputation over academic records of electrical engineering students. 907
Volume 30, Number 6, November 2022
- Special Issue CISIS 2020-IGPL. 909-911
- Vibekananda Dutta, Marek Pawlicki, Rafal Kozik, Michal Choras:
Unsupervised network traffic anomaly detection with deep autoencoders. 912-925 - Cándido Caballero-Gil, Pino Caballero-Gil, Jezabel Molina-Gil, Néstor García-Moreno:
Ethereum-based decentralized car rental system. 926-941 - José Alemany, Víctor Botti-Cebriá, Elena del Val, Ana García-Fornes:
Detection and nudge-intervention on sensitive information in social networks. 942-953 - Miguel V. Carriegos, Ramón Ángel Fernández Díaz, M. Teresa Trobajo, Diego Asterio De Zaballa:
On directional accuracy of some methods to forecast time series of cybersecurity aggregates. 954-964 - Verónica Aubin, Marco Mora, Matilde Santos:
A new approach for writer verification based on segments of handwritten graphemes. 965-978 - Gwang-Myong Go, Seok-Jun Bu, Sung-Bae Cho:
Insider attack detection in database with deep metric neural network with Monte Carlo sampling. 979-992 - Sara D. Cardell, A. B. Orue, Verónica Requena, Amparo Fúster-Sabater:
Randomness study of the concatenation of generalized sequences. 993-1004 - Rafal Kozik, Marek Pawlicki, Sebastian Kula, Michal Choras:
Fake news detection platform - conceptual architecture and prototype. 1005-1016 - Yeray Mezquita, Javier Parra-Domínguez, María E. Pérez-Pons, Javier Prieto, Juan Manuel Corchado:
Blockchain-based land registry platforms: a survey on their implementation and potential challenges. 1017-1027 - V. Gayoso Martínez, Luis Hernández Encinas, Agustín Martín Muñoz:
A modification proposal for the reconciliation mechanism of the key exchange algorithm NewHope. 1028-1040 - Saad Khalid Alabdulsalam, Trung Q. Duong, Kim-Kwang Raymond Choo, Nhien-An Le-Khac:
An efficient IoT forensic approach for the evidence acquisition and analysis based on network link. 1041-1055 - Héctor Quintián, Esteban Jove, José Luís Casteleiro-Roca, Daniel Urda, Ángel Arroyo, José Luís Calvo-Rolle, Álvaro Herrero, Emilio Corchado:
Advanced Visualization of Intrusions in Flows by Means of Beta-Hebbian Learning. 1056-1073
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 2026-03-09 22:06 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:
