Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Daniyar S. Shamkanov |
On algebraic and topological semantics of the modal logic of common knowledge S4CI. |
Log. J. IGPL |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Zalán Gyenis, Övge Öztürk |
Amalgamation and Robinson property in universal algebraic logic. |
Log. J. IGPL |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Darius Galis, Ciprian Pungila, Viorel Negru |
Realtime polymorphic malicious behavior detection in blockchain-based smart contracts. |
Log. J. IGPL |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Yajie Lv, Wenjuan Chen |
The Spectra of Quasi-Boolean Algebras. |
Log. J. IGPL |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Gonzalo A. Aranda-Corral, Joaquín Borrego-Díaz, Juan Galán-Páez |
FCA-based reasoning for privacy. |
Log. J. IGPL |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Mohammad Ardeshir, Wim Ruitenburg |
Kolmogorov and Kuroda Translations Into Basic Predicate Logic. |
Log. J. IGPL |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Bahareh Afshari, Sebastian Enqvist, Graham E. Leigh |
Cyclic proofs for the first-order µ-calculus. |
Log. J. IGPL |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Laura Fernández-Becerra, Ángel Manuel Guerrero-Higueras, Francisco Javier Rodríguez-Lera, Vicente Matellán |
Accountability as a service for robotics: Performance assessment of different accountability strategies for autonomous robots. |
Log. J. IGPL |
2024 |
DBLP DOI BibTeX RDF |
|
1 | |
Editorial: Special Issue CISIS 2021. |
Log. J. IGPL |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Edelcio G. de Souza, Alexandre Costa-Leite, Diogo H. B. Dias |
Paraconsistentization and many-valued logics. |
Log. J. IGPL |
2024 |
DBLP DOI BibTeX RDF |
|
1 | |
Conferences. |
Log. J. IGPL |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Zoran Ognjanovic, Angelina Ilic-Stepic, Aleksandar Perovic |
A Probabilistic Temporal Epistemic Logic: Strong Completeness. |
Log. J. IGPL |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Morteza Moniri, Fatemeh Shirmohammadzadeh Maleki |
Another Neighbourhood Semantics for Intuitionistic Logic. |
Log. J. IGPL |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Antonello Calabrò, Said Daoudagh, Eda Marchetti |
Towards enhanced monitoring framework with smart predictions. |
Log. J. IGPL |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Kordula Swietorzecka |
First-Order Logic of Change. |
Log. J. IGPL |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Roberto Magán-Carrión, Daniel Urda, Ignacio Díaz-Cano, Bernabé Dorronsoro |
Evaluating the Impact of Different Feature as a Counter Data Aggregation approaches on the Performance of NIDSs and Their Selected Features. |
Log. J. IGPL |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Konstantinos Karampidis |
Exploiting multimodal biometrics for enhancing password security. |
Log. J. IGPL |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Nuño Basurto, Diego García-Prieto, Héctor Quintián, Daniel Urda, José Luís Calvo-Rolle, Emilio Corchado |
Beta-Hebbian Learning to enhance unsupervised exploratory visualizations of Android malware families. |
Log. J. IGPL |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Rudolf Erdei, Daniela Delinschi, Oliviu Matei, Laura Andreica |
Good practices in designing a communication channel architecture for secure async flexible distributed collaboration. |
Log. J. IGPL |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Álvaro Michelena, María Teresa García-Ordás, José Aveleira-Mata, David Yeregui Marcos del Blanco, Míriam Timiraos Díaz, Francisco Zayas-Gato, Esteban Jove, José Luís Casteleiro-Roca, Héctor Quintián, Héctor Alaiz-Moretón, José Luís Calvo-Rolle |
Beta Hebbian Learning for intrusion detection in networks with MQTT Protocols for IoT devices. |
Log. J. IGPL |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Oscar Llorente-Vazquez, Igor Santos-Grueiro, Iker Pastor-López, Pablo García Bringas |
Detection, exploitation and mitigation of memory errors. |
Log. J. IGPL |
2024 |
DBLP DOI BibTeX RDF |
|
1 | Jaroslav Marek, Alena Pozdílková, Libor Kupka |
Investigating growth models with linearization domain analysis and residual analysis. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Zayas-Gato, Álvaro Michelena, Héctor Quintián, Esteban Jove, José Luís Casteleiro-Roca, Paulo Leitão, José Luís Calvo-Rolle |
A novel method for anomaly detection using beta Hebbian learning and principal component analysis. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | |
Editorial: Special issue HAIS20. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Liz Sonenberg |
Logics and collaboration. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Vladimir Ilin, Dragan Simic, Svetislav D. Simic, Svetlana Simic, Nenad Saulic, José Luís Calvo-Rolle |
A hybrid genetic algorithm, list-based simulated annealing algorithm, and different heuristic algorithms for the travelling salesman problem. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Costas D. Koutras, Christos Moyzes, Christos Nomikos, Konstantinos Tsaprounis, Yorgos Zikos |
On weak filters and ultrafilters: Set theory from (and for) knowledge representation. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Teso-Fz-Betoño, Ekaitz Zulueta, Ander Sánchez-Chica, Unai Fernandez-Gamiz, Adrian Teso-Fz-Betoño, José Manuel López-Guede |
Neural architecture search for the estimation of relative positioning of the autonomous mobile robot. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | P. Jiménez-Herrera, Laura Melgar-García, Gualberto Asencio-Cortés, Alicia Troncoso Lora |
Streaming big time series forecasting based on nearest similar patterns with application to energy consumption. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Maria Khodorchenko, Nikolay Butakov, Timur Sokhin, Sergey Teryoshkin |
Surrogate-based optimization of learning strategies for additively regularized topic models. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | |
Editorial: Special issue SOCO 2020. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Rumana Ferdous Munne, Ryutaro Ichise |
Entity alignment via summary and attribute embeddings. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Yuri Gurevich |
Logical foundations: Personal perspective. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Guillermo Badia |
Editorial: Special issue in honour of John Newsome Crossley. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Martina Cíhalová, Marie Duzí |
Modelling dynamic behaviour of agents in a multiagent world: Logical analysis of Wh-questions and answers. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Marcin Lyczak |
Branching Time Axiomatized With the Use of Change Operators. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Lloyd Humberstone |
Contrariety re-encountered: nonstandard contraries and internal negation**. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jouko Väänänen |
An atom's worth of anonymity. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Anuj Kumar More, Mohua Banerjee |
Contrapositionally complemented Heyting algebras and intuitionistic logic with minimal negation. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Pavel Skrabánek, Petr Dolezel, Radomil Matousek |
RGB images-driven recognition of grapevine varieties using a densely connected convolutional network. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Patrick G. Clark, Jerzy W. Grzymala-Busse, Zdzislaw S. Hippe, Teresa Mroczek, Rafal Niemiec |
Global and saturated probabilistic approximations based on generalized maximal consistent blocks. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | C. Smorynski |
The early history of formal diagonalization. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Pedro García-Victoria, Miguel A. Gutiérrez-Naranjo, Miguel Cárdenas-Montes, Roberto Andrés Vasco Carofilis |
PBIL for optimizing inception module in convolutional neural networks. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Svetlana Simic, Sladana Sakac, Zorana Bankovic, José R. Villar 0001, José Luís Calvo-Rolle, Svetislav D. Simic, Dragan Simic |
A three-stage hybrid clustering system for diagnosing children with primary headache disorder. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Enrique A. de la Cal, Mirko Fáñez, Mario Villar, José R. Villar 0001, Víctor M. González 0002 |
A low-power HAR method for fall and high-intensity ADLs identification using wrist-worn accelerometer devices. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Gemma Robles, José M. Méndez |
A note on functional relations in a certain class of implicative expansions of FDE related to Brady's 4-valued logic BN4. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Pedro Lara-Benítez, Manuel Carranza-García, David Gutiérrez-Avilés, José C. Riquelme |
Data streams classification using deep learning under different speeds and drifts. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Nicholas Pischke |
On intermediate justification logics. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Claudio E. A. Pizzi |
Axioms for a Logic of Consequential Counterfactuals. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Marcel Jackson, Tim Stokes 0001 |
Restriction in Program Algebra. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Nuño Basurto, Ángel Arroyo, Carlos Cambra 0001, Álvaro Herrero 0001 |
A hybrid machine learning system to impute and classify a component-based robot. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Majid Alizadeh, Mohammad Ardeshir, Philippe Balbiani, Mojtaba Mojtahedi |
Unification types in Euclidean modal logics. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Anca Avram, Oliviu Matei, Camelia-Mihaela Pintea, Petrica C. Pop |
Influence of context availability and soundness in predicting soil moisture using the Context-Aware Data Mining approach. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Martin Wirsing, Alexander Knapp |
A reduction-based cut-free Gentzen calculus for dynamic epistemic logic. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Johan van Benthem |
The logic of conditionals on outback trails. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Daniela Glavanicová, Tomasz Jarmuzek, Mateusz Klonowski, Piotr Kulicki |
Free choice permission, legitimization and relating semantics. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Zhiguang Zhao |
Jónsson-style canonicity in distributive modal µ-calculus. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Iztok Fister 0001, Andrés Iglesias 0001, Akemi Gálvez, Dusan Fister, Iztok Fister Jr. |
Design and implementation of parallel self-adaptive differential evolution for global optimization. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Wilfrid Hodges |
How did Avicenna understand the Barcan formulas? |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Sérgio Marcelino, Umberto Rivieccio |
Finite axiomatizability of logics of distributive lattices with negation. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Francisco Zayas-Gato, Esteban Jove, José Luís Casteleiro-Roca, Héctor Quintián, Francisco Javier Perez Castelo, Andrés José Piñón Pazos, Elena Arce, José Luís Calvo-Rolle |
Intelligent model for active power prediction of a small wind turbine. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv, Tinko Tinchev |
Remarks about the unification types of some locally tabular normal modal logics. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Luka Mikec |
Complexity of the interpretability logics ILW and ILP. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Lavinia Picollo |
Corrigendum for "Truth in a logic of formal inconsistency: How classical can it get?". |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Hernán Díaz, Juan José Palacios 0001, Irene Díaz, Camino R. Vela, Inés González Rodríguez |
Robust schedules for tardiness optimization in job shop with interval uncertainty. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Jessica Andrea Carballido, Ignacio Ponzoni, Rocío L. Cecchini |
Filtering non-balanced data using an evolutionary approach. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Palagorn Phansamdaeng, Pimpen Vejjajiva |
The cardinality of the partitions of a set in the absence of the Axiom of Choice. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Rohit Parikh |
Logic, co-ordination and the envelope of our beliefs. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Petar Iliev |
On semantically labelled syntax trees and the non-existence of certain Sahlqvist formulae. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Verónica Borja Macías, Marcelo E. Coniglio, Alejandro Hernández-Tello |
Genuine paracomplete logics. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Pawel Pawlowski, Rafal Urbaniak |
Logic of informal provability with truth values. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Askes, Rod Downey |
Online, computable and punctual structure theory. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Mauricio-Andrés Zamora-Hernández, Jose Andrez Chaves Ceciliano, Alonso Villalobos Granados, John Alejandro Castro-Vargas, José García Rodríguez 0001, Jorge Azorín López |
MDL+ a manufacturing description language to describe and control assembling tasks in industry 4.0. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Blanca Fernanda López Martinolich, María del Carmen Vannicola |
Equivalence between Varieties of Łukasiewicz-Moisil Algebras and Rings. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Zhiguang Zhao |
Algorithmic correspondence for hybrid logic with binder. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Geoff Sutcliffe |
The logic languages of the TPTP world. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Juan Climent Vidal, Enric Cosme-Llópez |
Functoriality of the Schmidt construction. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Pavol Sokol, Richard Stana, Andrej Gajdos, Patrik Pekarcík |
Network security situation awareness forecasting based on statistical approach and neural networks. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Santiago Porras, Esteban Jove, Bruno Baruque, José Luís Calvo-Rolle |
A comparative analysis of intelligent techniques to predict energy generated by a small wind turbine from atmospheric variables. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Esperanza García Gonzalo, Paulino José García Nieto, Javier Gracia Rodríguez, Fernando Sánchez Lasheras, Gregorio Fidalgo Valverde |
A support vector regression model for time series forecasting of the COMEX copper spot price. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | José Antonio Moscoso López, Javier González-Enrique, Daniel Urda, Juan Jesús Ruiz-Aguilar, Ignacio J. Turias |
Hourly pollutants forecasting using a deep learning approach to obtain the AQI. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | John L. Bell |
Recollections of logicians, mathematicians and philosophers. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Anil Nerode |
John Crossley: A life intellectual. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Yale Weiss |
The relevance logic of Boolean groups. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Marina Aguilar-Moreno, Manuel Graña |
On registration methods for SLAM with low resolution LiDAR sensor. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Sandro Preto, Marcelo Finger |
Proving properties of binary classification neural networks via Łukasiewicz logic. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Meghdad Ghari |
Linear temporal justification logics with past and future time modalities. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | John Newsome Crossley |
What is mathematical logic? An Australian odyssey. |
Log. J. IGPL |
2023 |
DBLP DOI BibTeX RDF |
|
1 | Philippe Balbiani, Mojtaba Mojtahedi |
Unification with parameters in the implication fragment of classical propositional logic. |
Log. J. IGPL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Arnon Avron |
Proof Systems for 3-valued Logics Based on Gödel's Implication. |
Log. J. IGPL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Nicholas Pischke |
Gödel justification logics and realization. |
Log. J. IGPL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Agnieszka M. Zbrzezny, Sabina Szymoniak, Miroslaw Kurkowski |
Practical Approach in Verification of Security Systems Using Satisfiability Modulo Theories. |
Log. J. IGPL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Marcelo E. Coniglio, Luis Fariñas del Cerro, Newton Marques Peron |
Modal Logic With Non-Deterministic Semantics: Part II - Quantified Case. |
Log. J. IGPL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Juan Carlos Agudelo Agudelo, Andrés Sicard-Ramírez |
Type Theory with Opposite Types: A Paraconsistent Type Theory. |
Log. J. IGPL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Hernán Javier San Martín, Valeria A. Sígal |
Dualities for Bounded Prelinear Hilbert Algebras. |
Log. J. IGPL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Naohiro Ishii, Toshinori Deguchi, Masashi Kawaguchi, Hiroshi Sasaki 0004, Tokuro Matsuo |
Adaptive Orthogonal Characteristics of Bio-Inspired Neural Networks. |
Log. J. IGPL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ivan Chajda, Helmut Länger |
The logic of orthomodular posets of finite height. |
Log. J. IGPL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Sara D. Cardell, A. B. Orue, Verónica Requena, Amparo Fúster-Sabater |
Randomness study of the concatenation of generalized sequences. |
Log. J. IGPL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ovidiu Cosma, Petrica C. Pop, Cosmin Sabo |
Solving a Two-stage Supply Chain Network Design Problem with Fixed Costs by a Hybrid Genetic Algorithm. |
Log. J. IGPL |
2022 |
DBLP DOI BibTeX RDF |
|
1 | 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. |
Log. J. IGPL |
2022 |
DBLP DOI BibTeX RDF |
|