default search action
Logic 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
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
Relaxing non-interference requirements in parallel plans. 45-71 - Jesús Cerquides, Juan Antonio Rodríguez-Aguilar
Solving Highly Cyclic Distributed Optimization Problems Without Busting the Bank: A Decimation-based Approach. 72-95 - Vicent Costa
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
Editorial: Special issue HAIS 2018. 121-123 - Patrick G. Clark, Cheng Gao, Jerzy W. Grzymala-Busse
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
Orthogonal Learning Firefly Algorithm. 167-179 - Sergio Luis Suárez Gómez
Compensating atmospheric turbulence with CNNs for defocused pupil image wavefront sensors. 180-192 - Esteban Jove
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
A hybrid fuzzy clustering approach for diagnosing primary headache disorder. 220-235 - Jose M. Gonzalez-Cava
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
Time-stamped claim logic. 303-332 - Mirjana Ilic
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
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
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
Representing n-ary relations in the Semantic Web. 697-717
Volume 29, Number 5, September 2021
- Giorgio Venturi
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
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
Towards real-time DNA biometrics using GPU-accelerated processing. 906-924 - Gloria Cerasela Crisan
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
Detection of forest fires outbreaks by dynamic fuzzy logic controller. 936-950 - Madiha Harrabi, Olfa Belkahla Driss
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
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-11-15 19:40 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: