default search action
Logic Journal of the IGPL, Volume 32
Volume 32, Number 1, January 2024
- Bahareh Afshari, Sebastian Enqvist, Graham E. Leigh
:
Cyclic proofs for the first-order µ-calculus. 1-34 - Kordula Swietorzecka
First-Order Logic of Change. 35-46 - Mohammad Ardeshir, Wim Ruitenburg:
Kolmogorov and Kuroda Translations Into Basic Predicate Logic. 47-63 - Morteza Moniri, Fatemeh Shirmohammadzadeh Maleki:
Another Neighbourhood Semantics for Intuitionistic Logic. 64-75 - Edelcio G. de Souza
Paraconsistentization and many-valued logics. 76-93 - Zoran Ognjanovic, Angelina Ilic-Stepic, Aleksandar Perovic:
A Probabilistic Temporal Epistemic Logic: Strong Completeness. 94-138 - Yajie Lv, Wenjuan Chen:
The Spectra of Quasi-Boolean Algebras. 139-163 - Daniyar S. Shamkanov:
On algebraic and topological semantics of the modal logic of common knowledge S4CI. 164-179 - Zalán Gyenis, Övge Öztürk
Amalgamation and Robinson property in universal algebraic logic. 180-196 - Conferences. 197-205
Volume 32, Number 2, 2024
- Editorial: Special Issue CISIS 2021. 207-209
- Darius Galis
Realtime polymorphic malicious behavior detection in blockchain-based smart contracts. 210-223 - Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Juan Galán-Páez
FCA-based reasoning for privacy. 224-242 - Laura Fernández-Becerra, Ángel Manuel Guerrero-Higueras, Francisco Javier Rodríguez-Lera
Accountability as a service for robotics: Performance assessment of different accountability strategies for autonomous robots. 243-262 - Roberto Magán-Carrión, Daniel Urda
Evaluating the Impact of Different Feature as a Counter Data Aggregation approaches on the Performance of NIDSs and Their Selected Features. 263-280 - Oscar Llorente-Vazquez
Detection, exploitation and mitigation of memory errors. 281-292 - Konstantinos Karampidis:
Exploiting multimodal biometrics for enhancing password security. 293-305 - Nuño Basurto, Diego García-Prieto, Héctor Quintián
Beta-Hebbian Learning to enhance unsupervised exploratory visualizations of Android malware families. 306-320 - Antonello Calabrò
Towards enhanced monitoring framework with smart predictions. 321-333 - Rudolf Erdei, Daniela Delinschi
Good practices in designing a communication channel architecture for secure async flexible distributed collaboration. 334-351 - Álvaro Michelena
Beta Hebbian Learning for intrusion detection in networks with MQTT Protocols for IoT devices. 352-365
Volume 32, Number 3, 2024
- Zhiguang Zhao
Sahlqvist completeness theory for hybrid logic with downarrow binder. 367-393 - Daniil Kozhemiachenko
Non-contingency in a paraconsistent setting. 394-419 - Dick de Jongh, Fatemeh Shirmohammadzadeh Maleki:
Binary modal logic and unary modal logic. 420-441 - Christoph Benzmüller
Who finds the short proof? 442-464 - Mikhail N. Rybakov
Predicate counterparts of modal logics of provability: High undecidability and Kripke incompleteness. 465-492 - Gemma Robles, José M. Méndez:
The lattice of all 4-valued implicative expansions of Belnap-Dunn logic containing Routley and Meyer's basic logic Bd. 493-516 - Luciano J. González:
Algebraic logic for the negation fragment of classical logic. 517-533 - Andrei Arusoaie, Dorel Lucanu:
Proof-carrying parameters in certified symbolic execution. 534-571 - Gemma Robles, José M. Méndez:
Correction to: A note on functional relations in a certain class of implicative expansions of FDE related to Brady's 4-valued logic BN4. 572
Volume 32, Number 4, 2024
- Editorial: Special Issue HAIS 2021. 573-575
- Ovidiu Cosma, Petrica C. Pop, Laura Cosma:
A novel memetic algorithm for solving the generalized traveling salesman problem. 576-588 - José Gaviria de la Puerta, Iker Pastor-López, Alberto Tellaeche, Borja Sanz, Hugo Sanjurjo-González
An innovative framework for supporting content-based authorship identification and analysis in social media networks. 589-604 - Nahuel Costa, Luciano Sánchez:
Recurrent variational autoencoder approach for remaining useful life estimation. 605-623 - Virginia Riego-Del Castillo, Lidia Sánchez-González
Optimized network for detecting burr-breakage in images of milling workpieces. 624-633 - Carlos Ruiz, Carlos M. Alaíz, José R. Dorronsoro:
Adaptive graph Laplacian MTL L1, L2 and LS-SVMs. 634-655 - Anfisa A. Chuganskaya, Alexey K. Kovalev
Sign-based image criteria for social interaction visual question answering. 656-670 - Arindam Chaudhuri, Soumya K. Ghosh:
Predictive maintenance of vehicle fleets through hybrid deep learning-based ensemble methods for industrial IoT datasets. 671-687 - Jon Díaz, Haizea Rodriguez, Jenny Fajardo Calderín, Ignacio Angulo, Enrique Onieva:
A variable neighbourhood search for minimization of operation times through warehouse layout optimization. 688-699 - Juan Luis Gómez-González, Miguel Cárdenas-Montes:
Gaussian process-based analysis of the nitrogen dioxide at Madrid Central Low Emission Zone. 700-711 - María Teresa García-Ordás, David Yeregui Marcos del Blanco, José Aveleira-Mata, Francisco Zayas-Gato
Clustering techniques performance comparison for predicting the battery state of charge: A hybrid model approach. 712-728
Volume 32, Number 5, 2024
- Zhiguang Zhao
Correspondence and canonicity theory of quasi-inequalities and Π2-statements in modal subordination algebras. 729-778 - Sergiy Koshkin:
Logical reduction of relations: From relational databases to Peirce's reduction thesis. 779-809 - Majid Alizadeh:
Remarks on uniform interpolation property. 810-814 - Paolo Lipparini
Contact semilattices. 815-826 - Zoran Ognjanovic, Angelina Ilic-Stepic, Aleksandar Perovic:
A probabilistic temporal epistemic logic: Decidability. 827-879 - Yong Cheng:
On the relationships between some meta-mathematical properties of arithmetical theories. 880-908 - Wojciech Wieczorek, Lukasz Strak, Arkadiusz Nowakowski
Report on the exact methods for finding minimum-sized DFA. 909-935 - Luka Mikec, Tin Perkov, Mladen Vukovic:
Correction to: Decidability of interpretability logics IL M0 and IL W. 936-937
Volume 32, Number 6, 2024
- Editorial: Special issue SOCO 2021. 939-941
- Juan Pedro Llerena, Jesús García, José Manuel Molina:
LSTM vs CNN in real ship trajectory classification. 942-954 - Jesús Enrique Sierra-García, Matilde Santos:
AGV fuzzy control optimized by genetic algorithms. 955-970 - Rubén Ferrero-Guillén
Black widow optimization for reducing the target uncertainties in localization wireless sensor networks. 971-985 - M. J. Jiménez-Navarro, María Martínez-Ballesteros
From simple to complex: a sequential method for enhancing time series forecasting with deep learning. 986-1003 - Anna Burduk, Grzegorz Bocewicz, Lukasz Lampika, Dagmara Lapczynska, Kamil Musial:
Tabu search and genetic algorithm in rims production process assignment. 1004-1017 - Anita Herrera, Ángel Arroyo
Exploratory techniques to analyse Ecuador's tourism industry. 1018-1035 - Belén Vega-Márquez, Javier Solís-García, Isabel A. Nepomuceno-Chamorro, Cristina Rubio-Escudero:
A comparison of time series lags and non-lags in Spanish electricity price forecasting using data science models. 1036-1047 - Felix Morales-Mareco, Miguel García-Torres, Federico Divina, Diego H. Stalder, Carlos Sauer Ayala:
Machine learning for electric energy consumption forecasting: Application to the Paraguayan system. 1048-1072 - Luis Alfonso Fernández-Serantes, José Luís Casteleiro-Roca
Data dimensionality reduction for an optimal switching mode classification applied to a step-down power converter. 1073-1087 - Iñigo Lopez-Gazpio, José Gaviria, Pablo García Bringas, Hugo Sanjurjo-González
PhrasIS: Phrase Inference and Similarity benchmark. 1088-1101
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-03-05 20:55 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: