Остановите войну!
for scientists:
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- case-insensitive prefix search: default
e.g., sig matches "SIGIR" as well as "signal" - exact word search: append dollar sign ($) to word
e.g., graph$ matches "graph", but not "graphics" - boolean and: separate words by space
e.g., codd model - boolean or: connect words by pipe symbol (|)
e.g., graph|network
Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 1,387 matches
- 2024
- Bahareh Afshari, Sebastian Enqvist, Graham E. Leigh:
Cyclic proofs for the first-order µ-calculus. Log. J. IGPL 32(1): 1-34 (2024) - Mohammad Ardeshir, Wim Ruitenburg:
Kolmogorov and Kuroda Translations Into Basic Predicate Logic. Log. J. IGPL 32(1): 47-63 (2024) - Zalán Gyenis, Övge Öztürk:
Amalgamation and Robinson property in universal algebraic logic. Log. J. IGPL 32(1): 180-196 (2024) - Yajie Lv, Wenjuan Chen:
The Spectra of Quasi-Boolean Algebras. Log. J. IGPL 32(1): 139-163 (2024) - Morteza Moniri, Fatemeh Shirmohammadzadeh Maleki:
Another Neighbourhood Semantics for Intuitionistic Logic. Log. J. IGPL 32(1): 64-75 (2024) - Zoran Ognjanovic, Angelina Ilic-Stepic, Aleksandar Perovic:
A Probabilistic Temporal Epistemic Logic: Strong Completeness. Log. J. IGPL 32(1): 94-138 (2024) - Daniyar S. Shamkanov:
On algebraic and topological semantics of the modal logic of common knowledge S4CI. Log. J. IGPL 32(1): 164-179 (2024) - Edelcio G. de Souza, Alexandre Costa-Leite, Diogo H. B. Dias:
Paraconsistentization and many-valued logics. Log. J. IGPL 32(1): 76-93 (2024) - Kordula Swietorzecka:
First-Order Logic of Change. Log. J. IGPL 32(1): 35-46 (2024) - Conferences. Log. J. IGPL 32(1): 197-205 (2024)
- 2023
- Marina Aguilar-Moreno, Manuel Graña:
On registration methods for SLAM with low resolution LiDAR sensor. Log. J. IGPL 31(4): 751-761 (2023) - Majid Alizadeh, Mohammad Ardeshir, Philippe Balbiani, Mojtaba Mojtahedi:
Unification types in Euclidean modal logics. Log. J. IGPL 31(3): 422-440 (2023) - Matthew Askes, Rod Downey:
Online, computable and punctual structure theory. Log. J. IGPL 31(6): 1251-1293 (2023) - 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 31(4): 762-774 (2023) - Guillermo Badia:
Editorial: Special issue in honour of John Newsome Crossley. Log. J. IGPL 31(6): 1005-1009 (2023) - Philippe Balbiani, Çigdem Gencer, Maryam Rostamigiv, Tinko Tinchev:
Remarks about the unification types of some locally tabular normal modal logics. Log. J. IGPL 31(1): 115-139 (2023) - Nuño Basurto, Ángel Arroyo, Carlos Cambra, Álvaro Herrero:
A hybrid machine learning system to impute and classify a component-based robot. Log. J. IGPL 31(2): 338-351 (2023) - John L. Bell:
Recollections of logicians, mathematicians and philosophers. Log. J. IGPL 31(6): 1232-1250 (2023) - Johan van Benthem:
The logic of conditionals on outback trails. Log. J. IGPL 31(6): 1135-1152 (2023) - 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. Log. J. IGPL 31(2): 375-389 (2023) - Jessica Andrea Carballido, Ignacio Ponzoni, Rocío L. Cecchini:
Filtering non-balanced data using an evolutionary approach. Log. J. IGPL 31(2): 271-286 (2023) - Martina Cíhalová, Marie Duzí:
Modelling dynamic behaviour of agents in a multiagent world: Logical analysis of Wh-questions and answers. Log. J. IGPL 31(1): 140-171 (2023) - 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 31(2): 223-239 (2023) - John Newsome Crossley:
What is mathematical logic? An Australian odyssey. Log. J. IGPL 31(6): 1010-1022 (2023) - 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. Log. J. IGPL 31(2): 240-254 (2023) - 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. Log. J. IGPL 31(4): 701-721 (2023) - 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 31(2): 325-337 (2023) - Meghdad Ghari:
Linear temporal justification logics with past and future time modalities. Log. J. IGPL 31(1): 1-38 (2023) - Daniela Glavanicová, Tomasz Jarmuzek, Mateusz Klonowski, Piotr Kulicki:
Free choice permission, legitimization and relating semantics. Log. J. IGPL 31(3): 574-597 (2023) - 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 31(4): 775-784 (2023)
skipping 1,357 more matches
loading more results
failed to load more results, please try again later
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-04-27 22:04 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint