![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
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 73 matches
- 2012
- Tarek Sayed Ahmed:
Epimorphisms are not surjective, even in simple algebras. Log. J. IGPL 20(1): 22-26 (2012) - Tarek Sayed Ahmed:
Three interpolation theorems for typeless logics. Log. J. IGPL 20(6): 1001-1037 (2012) - Majid Alizadeh
, Mohammad Ardeshir:
On Löb algebras, II. Log. J. IGPL 20(1): 27-44 (2012) - Anderson de Araújo, Walter Alexandre Carnielli:
Non-standard numbers: a semantic obstacle for modelling arithmetical reasoning. Log. J. IGPL 20(2): 477-485 (2012) - Mohammad Ardeshir, Vahid Vaezian:
A unification of the basic logics of Sambin and Visser. Log. J. IGPL 20(6): 1202-1213 (2012) - Angel Arroyo
, Emilio Corchado, Verónica Tricio:
Soft computing models to analyze atmospheric pollution issues. Log. J. IGPL 20(4): 699-711 (2012) - Zorana Bankovic, José Manuel Moya
, Elena Romero
, Javier Blesa, David Fraga, Juan Carlos Vallejo, Álvaro Araujo
, Pedro Malagón, Juan-Mariano de Goyeneche, Daniel Villanueva, Octavio Nieto-Taladriz:
Using clustering techniques for intelligent camera-based user interfaces. Log. J. IGPL 20(3): 589-597 (2012) - Daniel Beck, Gerhard Lakemeyer:
Reinforcement learning for Golog programs with first-order state-abstraction. Log. J. IGPL 20(5): 909-942 (2012) - Christoph Beierle, Gabriele Kern-Isberner:
Editorial: Relational approaches to knowledge representation and learning. Log. J. IGPL 20(5): 771-773 (2012) - Anton Benz:
On a super large fixed-point of common information in multi-agent signalling games. Log. J. IGPL 20(1): 94-120 (2012) - Josef Berger, Douglas S. Bridges, Erik Palmgren:
Double sequences, almost Cauchyness and BD-N. Log. J. IGPL 20(1): 349-354 (2012) - Ilaria Bertini, Matteo De Felice
, Alessandro Pannicelli, Stefano Pizzuti:
Optimizing the start-up operations of combined cycle power plants using soft computing methods. Log. J. IGPL 20(4): 648-656 (2012) - Blai Bonet, Nerio Borges:
Syntactic characterizations of completeness using duals and operators. Log. J. IGPL 20(1): 266-282 (2012) - Peter D. Bruza
, Kirsty Kitto
, Brentyn J. Ramm, Laurianne Sitbon
, Dawei Song
, Simon P. Blomberg
:
Quantum-like non-separability of concept combinations, emergent associates and abduction. Log. J. IGPL 20(2): 445-457 (2012) - Juliana Bueno-Soler:
Models for anodic and cathodic multimodalities. Log. J. IGPL 20(2): 458-476 (2012) - José Luís Calvo-Rolle
, Emilio Corchado:
A bio-inspired robust controller for a refinery plant process. Log. J. IGPL 20(3): 598-616 (2012) - Blanca Cases
, Israel Rebollo Ruiz, Manuel Graña:
A hybrid spatial - social - logical model explaining human behaviour in emergency situations. Log. J. IGPL 20(3): 625-633 (2012) - Anna Chernilovskaya, Mai Gehrke, Lorijn van Rooijen:
Generalized Kripke semantics for the Lambek-Grishin calculus. Log. J. IGPL 20(6): 1110-1132 (2012) - Emilio Corchado, Paulo Novais
:
Special issue: SOCO 2010-CMMSE 2010. Log. J. IGPL 20(4): 645-647 (2012) - Ângelo Costa
, Paulo Novais
, Juan M. Corchado
, José Neves
:
Increased performance and better patient attendance in an hospital with the use of smart agendas. Log. J. IGPL 20(4): 689-698 (2012) - Irene Díaz
, Luis J. Rodríguez-Muñiz
, Luigi Troiano
:
Fuzzy sets in data protection: strategies and cardinalities. Log. J. IGPL 20(4): 657-666 (2012) - Virginia Dignum
, Frank Dignum:
A logic of agent organizations. Log. J. IGPL 20(1): 283-316 (2012) - Wojciech Dzik, Piotr Wojtylak:
Projective unification in modal logic. Log. J. IGPL 20(1): 121-153 (2012) - Marcelo Finger
:
Towards automated first-order abduction: the cut-based approach. Log. J. IGPL 20(2): 370-387 (2012) - Marc Finthammer, Matthias Thimm:
An integrated development environment for probabilistic relational reasoning. Log. J. IGPL 20(5): 831-871 (2012) - Jens Fisseler
:
First-order probabilistic conditional logic and maximum entropy. Log. J. IGPL 20(5): 796-830 (2012) - Murdoch James Gabbay
:
Meta-variables as infinite lists in nominal terms unification and rewriting. Log. J. IGPL 20(6): 967-1000 (2012) - Josune Gallego, Carmen Hernández
, Manuel Graña:
A morphological cellular automata based on morphological independence. Log. J. IGPL 20(3): 617-624 (2012) - Joanna Golinska-Pilarek
, Emilio Muñoz-Velasco
, Angel Mora-Bonilla
:
Relational dual tableau decision procedure for modal logic K. Log. J. IGPL 20(4): 747-756 (2012) - David L. González-Álvarez, Álvaro Rubio-Largo
, Miguel A. Vega-Rodríguez
, Sónia M. Almeida-Luz, Juan Antonio Gómez Pulido
, Juan Manuel Sánchez-Pérez:
Solving the reporting cells problem by using a parallel team of evolutionary algorithms. Log. J. IGPL 20(4): 722-731 (2012)
skipping 43 more matches
loading more results
failed to load more results, please try again later
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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-07-02 18:22 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