default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLogic Journal of the IGPL, Volume 29
Volume 29, Number 1, January 2021
- Zoe Falomir, Vicent Costa
, Enric Plaza, Karina Gibert:
Special issue on logics and artificial intelligence. 1-6 - Josep Argelich, Chu Min Li, Felip Manyà, Joan Ramon Soler:
Clause tableaux for maximum and minimum satisfiability. 7-27 - Chu-Min Li, Fan Xiao, Felip Manyà:
A resolution calculus for MinSAT. 28-44 - Miquel Bofill, Joan Espasa, Mateu Villaret:
Relaxing non-interference requirements in parallel plans. 45-71 - Jesús Cerquides, Juan Antonio Rodríguez-Aguilar, Rémi Emonet, Gauthier Picard:
Solving Highly Cyclic Distributed Optimization Problems Without Busting the Bank: A Decimation-based Approach. 72-95 - Vicent Costa, Pilar Dellunde, Zoe Falomir:
The logical style painting classifier based on Horn clauses and explanations (ℓ-SHE). 96-119
Volume 29, Number 2, March 2021
- José Ramón Villar Flecha, Enrique A. de la Cal, Francisco Javier de Cos Juez, Héctor Quintián, Emilio Corchado:
Editorial: Special issue HAIS 2018. 121-123 - Patrick G. Clark, Cheng Gao, Jerzy W. Grzymala-Busse, Teresa Mroczek, Rafal Niemiec:
Complexity of rule sets in mining incomplete data using characteristic sets and generalized maximal consistent blocks. 124-137 - Krzysztof Rudek, Jaroslaw Kozlak:
Patterns of frequent user interactions in blogosphere. 138-150 - Andrea Cimmino, Rafael Corchuelo:
On learning context-aware rules to link RDF datasets. 151-166 - Tomas Kadavy, Roman Senkerik, Michal Pluhacek, Adam Viktorin:
Orthogonal Learning Firefly Algorithm. 167-179 - Sergio Luis Suárez Gómez, Carlos González-Gutiérrez, Juan Díaz Suárez, Juan José Fernández-Valdivia, José Manuel Rodríguez-Ramos, Luis Fernando Rodríguez Ramos, Jesús Daniel Santos Rodríguez:
Compensating atmospheric turbulence with CNNs for defocused pupil image wavefront sensors. 180-192 - Esteban Jove, Jose M. Gonzalez-Cava, José Luís Casteleiro-Roca, Héctor Quintián, Juan Albino Méndez Pérez, Rafael Vega Vega, Francisco Zayas-Gato, Francisco Javier de Cos Juez, Ana León, María Martín, José Antonio Reboso, Michal Wozniak, José Luís Calvo-Rolle:
Hybrid Intelligent Model to Predict the Remifentanil Infusion Rate in Patients Under General Anesthesia. 193-206 - Alfredo Cuzzocrea, Giovanni Pilato:
A composite framework for supporting user emotion detection based on intelligent taxonomy handling. 207-219 - Svetlana Simic, Zorana Bankovic, José Ramón Villar, Dragan Simic, Svetislav D. Simic:
A hybrid fuzzy clustering approach for diagnosing primary headache disorder. 220-235 - Jose M. Gonzalez-Cava, Rafael Arnay, Juan Albino Méndez Pérez, Ana León, María Martín, José Antonio Reboso, Esteban Jove-Pérez, José Luís Calvo-Rolle:
Machine learning techniques for computer-based decision systems in the operating theatre: application to analgesia delivery. 236-250
Volume 29, Number 3, May 2021
- Daniel Oliveira, João Rasga:
Revisiting separation: Algorithms and complexity. 251-302 - João Rasga, Cristina Sernadas, Erisa Karafili, Luca Viganò:
Time-stamped claim logic. 303-332 - Mirjana Ilic, Branislav R. Boricic:
A note on the system GRW with the intensional contraction rule. 333-339 - Tore Fjetland Øgaard:
Boolean negation and non-conservativity I: Relevant modal logics. 340-362 - Tore Fjetland Øgaard:
Boolean negation and non-conservativity II: The variable-sharing property. 363-369 - Tore Fjetland Øgaard:
Boolean negation and non-conservativity III: the Ackermann constant. 370-384 - 26th Workshop on Logic, Language, Information and Computation(WoLLIC 2019). 385-404
Volume 29, Number 4, July 2021
- Editorial. 405-408
- Ahti-Veikko Pietarinen:
Abduction and diagrams. 447-468 - Pablo Sierra:
BDI logic applied to a dialogical interpretation of human-machine cooperative dialogues. 536-548 - Cristina Barés Gómez, Matthieu Fontaine, A. Nepomuceno:
Knowledge in action: logico-philosophical approach to linguistic evidentiality. 549-568 - Walter Carnielli, Abilio Rodrigues:
On epistemic and ontological interpretations of intuitionistic and paraconsistent paradigms. 569-584 - Massimiliano Carrara, Daniele Chiffi, Ciro De Florio:
Pragmatic logics for hypotheses and evidence. 585-600 - Nino Guallart:
Probability as a modal operator: the possibilities of its combination with other modalities. 627-643 - Elise Perrotin, Fernando R. Velázquez-Quesada:
A Semantic Approach to Non-prioritized Belief Revision. 644-671 - Alfredo Burrieza, Antonio Yuste-Ginel:
Argument evaluation in multi-agent justification logics. 672-696 - Marco Giunti, Giuseppe Sergioli, Giuliano Vivanet, Simone Pinna:
Representing n-ary relations in the Semantic Web. 697-717
Volume 29, Number 5, September 2021
- Giorgio Venturi, Pedro Teixeira Yago:
Tableaux for essence and contingency. 719-738 - Mirjana Borisavljevic:
The subformula property of natural deduction derivations and analytic cuts. 739-768 - Giorgi Japaridze:
Elementary-base cirquent calculus II: Choice quantifiers. 769-782 - Samuel G. Da Silva:
The Axiom of Choice and the Partition Principle from Dialectica Categories. 783-797 - Francesco Paoli, Michele Pra Baldi:
Extensions of paraconsistent weak Kleene logic. 798-822 - José Espírito Santo, Gilda Ferreira:
The Russell-Prawitz embedding and the atomization of universal instantiation. 823-858 - Eduardo Mizraji:
Vector logic allows counterfactual virtualization by the square root of NOT. 859-870
Volume 29, Number 6, November 2021
- Editorial: Special issue SOCO-CISIS 2018-IGPL. 871-873
- César Guevara, Matilde Santos:
Intelligent models for movement detection and physical evolution of patients with hip surgery. 874-888 - Binh Nguyen, Wanli Ma, Dat Tran:
Biometric recognition system performance measures for lossy compression on EEG signals. 889-905 - Mario Reja, Ciprian Pungila, Viorel Negru:
Towards real-time DNA biometrics using GPU-accelerated processing. 906-924 - Gloria Cerasela Crisan, Camelia-Mihaela Pintea, Anisoara Calinescu, Corina Pop Sitar, Petrica C. Pop:
Secure traveling salesman problem with intelligent transport systems features. 925-935 - Josué Toledo-Castro, Nayra Rodríguez-Pérez, Pino Caballero-Gil, Iván Santos-González, Candelaria Hernández-Goya, Ricardo Aguasca-Colomo:
Detection of forest fires outbreaks by dynamic fuzzy logic controller. 936-950 - Madiha Harrabi, Olfa Belkahla Driss, Khaled Ghédira:
A modified biogeography-based optimization algorithm with improved mutation operator for job shop scheduling problem with time lags. 951-962 - Elena Bautu, Andrei Bautu:
Developments on PlagZap, the Fast and Free Textual Plagiarism Detection Solution for Universities. 963-973 - Yeray Mezquita, Roberto Casado-Vara, Alfonso González-Briones, Javier Prieto, Juan M. Corchado:
Blockchain-based architecture for the control of logistics activities: Pharmaceutical utilities case study. 974-985
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-09-30 21:00 CEST 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:
