default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLogic Journal of the IGPL, Volume 31
Volume 31, Number 1, January 2023
- Meghdad Ghari
:
Linear temporal justification logics with past and future time modalities. 1-38 - Zhiguang Zhao:
Algorithmic correspondence for hybrid logic with binder. 39-67 - Costas D. Koutras, Christos Moyzes, Christos Nomikos, Konstantinos Tsaprounis, Yorgos Zikos:
On weak filters and ultrafilters: Set theory from (and for) knowledge representation. 68-95 - Yale Weiss:
The relevance logic of Boolean groups. 96-114 - Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv, Tinko Tinchev:
Remarks about the unification types of some locally tabular normal modal logics. 115-139 - Martina Cíhalová, Marie Duzí:
Modelling dynamic behaviour of agents in a multiagent world: Logical analysis of Wh-questions and answers. 140-171 - Pawel Pawlowski, Rafal Urbaniak:
Logic of informal provability with truth values. 172-193 - Luka Mikec:
Complexity of the interpretability logics ILW and ILP. 194-213 - Lavinia Picollo:
Corrigendum for "Truth in a logic of formal inconsistency: How classical can it get?". 214-217
Volume 31, Number 2, March 2023
- Editorial: Special issue HAIS20. 219-222
- 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. 223-239 - Hernán Díaz, Juan José Palacios, Irene Díaz, Camino R. Vela, Inés González Rodríguez:
Robust schedules for tardiness optimization in job shop with interval uncertainty. 240-254 - 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. 255-270 - Jessica Andrea Carballido, Ignacio Ponzoni, Rocío L. Cecchini:
Filtering non-balanced data using an evolutionary approach. 271-286 - Maria Khodorchenko, Nikolay Butakov, Timur Sokhin, Sergey Teryoshkin:
Surrogate-based optimization of learning strategies for additively regularized topic models. 287-299 - Svetlana Simic, Sladana Sakac, Zorana Bankovic, José R. Villar, José Luís Calvo-Rolle, Svetislav D. Simic, Dragan Simic:
A three-stage hybrid clustering system for diagnosing children with primary headache disorder. 300-313 - Rumana Ferdous Munne, Ryutaro Ichise:
Entity alignment via summary and attribute embeddings. 314-324 - Pedro García-Victoria, Miguel Angel Gutiérrez-Naranjo, Miguel Cárdenas-Montes, Roberto Andrés Vasco Carofilis:
PBIL for optimizing inception module in convolutional neural networks. 325-337 - Nuño Basurto, Ángel Arroyo, Carlos Cambra, Álvaro Herrero:
A hybrid machine learning system to impute and classify a component-based robot. 338-351 - Pavol Sokol, Richard Stana, Andrej Gajdos, Patrik Pekarcík:
Network security situation awareness forecasting based on statistical approach and neural networks. 352-374 - Enrique A. de la Cal, Mirko Fáñez, Mario Villar, José R. Villar, Víctor M. González:
A low-power HAR method for fall and high-intensity ADLs identification using wrist-worn accelerometer devices. 375-389 - 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. 390-399
Volume 31, Number 3, May 2023
- Zhiguang Zhao:
Jónsson-style canonicity in distributive modal µ-calculus. 401-421 - Majid Alizadeh, Mohammad Ardeshir, Philippe Balbiani, Mojtaba Mojtahedi:
Unification types in Euclidean modal logics. 422-440 - Anuj Kumar More, Mohua Banerjee:
Contrapositionally complemented Heyting algebras and intuitionistic logic with minimal negation. 441-474 - 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. 475-482 - Petar Iliev:
On semantically labelled syntax trees and the non-existence of certain Sahlqvist formulae. 483-509 - Sérgio Marcelino, Umberto Rivieccio:
Finite axiomatizability of logics of distributive lattices with negation. 510-533 - Nicholas Pischke:
On intermediate justification logics. 534-573 - Daniela Glavanicová, Tomasz Jarmuzek, Mateusz Klonowski, Piotr Kulicki:
Free choice permission, legitimization and relating semantics. 574-597
Volume 31, Number 4, July 2023
- Editorial: Special issue SOCO 2020. 599-601
- 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. 602-617 - Pavel Skrabánek, Petr Dolezel, Radomil Matousek:
RGB images-driven recognition of grapevine varieties using a densely connected convolutional network. 618-633 - 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. 634-647 - 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. 648-663 - Mauricio-Andrés Zamora-Hernández, Jose Andrez Chaves Ceciliano, Alonso Villalobos Granados, John Alejandro Castro-Vargas, José García Rodríguez, Jorge Azorín López:
MDL+ a manufacturing description language to describe and control assembling tasks in industry 4.0. 664-687 - 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. 688-700 - Iztok Fister, Andrés Iglesias, Akemi Gálvez, Dusan Fister, Iztok Fister Jr.:
Design and implementation of parallel self-adaptive differential evolution for global optimization. 701-721 - 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. 722-738 - Jaroslav Marek, Alena Pozdílková, Libor Kupka:
Investigating growth models with linearization domain analysis and residual analysis. 739-750 - Marina Aguilar-Moreno, Manuel Graña:
On registration methods for SLAM with low resolution LiDAR sensor. 751-761 - 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. 762-774 - 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. 775-784 - 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. 785-803
Volume 31, Number 5, September 2023
- Sandro Preto, Marcelo Finger:
Proving properties of binary classification neural networks via Łukasiewicz logic. 805-821 - Juan Climent Vidal, Enric Cosme-Llópez:
Functoriality of the Schmidt construction. 822-893 - Marcin Lyczak:
Branching Time Axiomatized With the Use of Change Operators. 894-906 - Claudio E. A. Pizzi:
Axioms for a Logic of Consequential Counterfactuals. 907-925 - Marcel Jackson, Tim Stokes:
Restriction in Program Algebra. 926-960 - Verónica Borja Macías, Marcelo E. Coniglio, Alejandro Hernández-Tello:
Genuine paracomplete logics. 961-987 - Blanca Fernanda López Martinolich, María del Carmen Vannicola:
Equivalence between Varieties of Łukasiewicz-Moisil Algebras and Rings. 988-1003
Volume 31, Number 6, November 2023
- Guillermo Badia:
Editorial: Special issue in honour of John Newsome Crossley. 1005-1009 - John Newsome Crossley:
What is mathematical logic? An Australian odyssey. 1010-1022 - Anil Nerode:
John Crossley: A life intellectual. 1023 - Liz Sonenberg:
Logics and collaboration. 1024-1046 - Martin Wirsing, Alexander Knapp:
A reduction-based cut-free Gentzen calculus for dynamic epistemic logic. 1047-1068 - Rohit Parikh:
Logic, co-ordination and the envelope of our beliefs. 1069-1077 - Jouko Väänänen:
An atom's worth of anonymity. 1078-1083 - Lloyd Humberstone:
Contrariety re-encountered: nonstandard contraries and internal negation**. 1084-1134 - Johan van Benthem:
The logic of conditionals on outback trails. 1135-1152 - Geoff Sutcliffe:
The logic languages of the TPTP world. 1153-1169 - Wilfrid Hodges:
How did Avicenna understand the Barcan formulas? 1170-1191 - Yuri Gurevich:
Logical foundations: Personal perspective. 1192-1202 - C. Smorynski:
The early history of formal diagonalization. 1203-1224 - Palagorn Phansamdaeng, Pimpen Vejjajiva:
The cardinality of the partitions of a set in the absence of the Axiom of Choice. 1225-1231 - John L. Bell:
Recollections of logicians, mathematicians and philosophers. 1232-1250 - Matthew Askes, Rod Downey:
Online, computable and punctual structure theory. 1251-1293
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-11-21 20:31 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:
