Остановите войну!
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
Likely matches
Venue search results
Likely matches
- Annals of Pure and Applied Logic
also: Annals of Mathematical Logic - International Joint Conference on Artificial Intelligence (IJCAI)
also: Workshop on Fuzzy Logic in AI (FLinAI @ IJCAI) - Journal of Logic Programming
- The Journal of Symbolic Logic
- International Colloquium on Automata, Languages and Programming (ICALP)
also: Workshop on Mathematics, Logic and Computation
also: Workshop on Unification in Non-Classical Logics (UNCL @ ICALP)
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 71,649 matches
- 2025
- André Platzer:
Hybrid dynamical systems logic and its refinements. Sci. Comput. Program. 239: 103179 (2025) - 2024
- Carito Guziolowski:
Modeling Biological Networks as Logic Programs. (Modélisation de réseaux biologiques à l'aide des programmes logiques). Nantes University, France, 2024 - Clément Quinton:
Evolving, Adapting and Optimizing Configurable Software Systems. (Faire évoluer, adapter et optimiser des logiciels configurables). University of Lille, France, 2024 - Wei Li, Yuefei Sui:
R-Calculus, V: Description Logics. Springer 2024, ISBN 978-981-99-6459-8, pp. 1-379 - Maria Charitidou:
Control Synthesis for Multi-Agent Systems under Coupled Signal Temporal Logic Tasks: A Top-Down Model Predictive Approach. Royal Institute of Technology, Stockholm, Sweden, 2024 - Seifeldeen Eteifa:
Traffic Signal Phase and Timing Prediction: A Machine Learning and Controller Logic Hybrid Approach. Virginia Tech, Blacksburg, VA, USA, 2024 - Wael Alsabbagh:
Investigating security issues in programmable logic controllers and related protocols. Brandenburg University of Technology, Cottbus, Germany, BTU Cottbus - Senftenberg 2024 - Kai-Björn Gemlau:
Deterministic Design and Implementation of Distributed Systems using System-Level Logical Execution Time. Braunschweig University of Technology, Germany, 2024 - Fabian Müller:
Counting and enumerating in first-order team logics. Gottfried Wilhelm Leibniz Universität, Hannover, Germany, 2024 - Satyadharma Tirtarasa:
Context-Sensitive Description Logics in Dynamic Settings. Dresden University of Technology, Germany, 2024 - Thomas Georges:
Ingénierie agile de lignes de produits logiciels pour des applications d'aide à la décision pour l'agriculture. (Agile Software Product Line Engineering for Agriculture Decision-Support Software Systems). Laboratoire d'Informatique, de Robotique et de Microélectronique de Montpellier, France, 2024 - Laécio Carvalho de Barros, Rodney Carlos Bassanezi, Weldon A. Lodwick:
A First Course in Fuzzy Logic, Fuzzy Dynamical Systems, and Biomathematics - Theory and Applications, Second Edition. Studies in Fuzziness and Soft Computing 432, Springer 2024, ISBN 978-3-031-50491-4, pp. 1-312 - Héctor Avilés, Marco Negrete, Alberto Reyes, Rubén Machucho, Karelly Rivera, Gloria de-la-Garza, Alberto Petrilli:
Autonomous Behavior Selection For Self-driving Cars Using Probabilistic Logic Factored Markov Decision Processes. Appl. Artif. Intell. 38(1) (2024) - Andrea Agiollo, Luciano Cavalcante Siebert, Pradeep K. Murukannaiah, Andrea Omicini:
From large language models to small logic programs: building global explanations from disagreeing local post-hoc explainers. Auton. Agents Multi Agent Syst. 38(2): 32 (2024) - Jorge Luis Fernandez Davila, Dominique Longin, Emiliano Lorini, Frédéric Maris:
Logic-based cognitive planning for conversational agents. Auton. Agents Multi Agent Syst. 38(1): 20 (2024) - Alvaro Velasquez, Ismail Alkhouri, Andre Beckus, Ashutosh Trivedi, George K. Atia:
Controller synthesis for linear temporal logic and steady-state specifications. Auton. Agents Multi Agent Syst. 38(1): 17 (2024) - Dezheen H. Abdulazeez, Shavan K. Askar:
A Novel Offloading Mechanism Leveraging Fuzzy Logic and Deep Reinforcement Learning to Improve IoT Application Performance in a Three-Layer Architecture Within the Fog-Cloud Environment. IEEE Access 12: 39936-39952 (2024) - Ayana Adilova, Pakizar Shamoi:
Personalized Aesthetic Assessment: Integrating Fuzzy Logic and Color Preferences. IEEE Access 12: 97646-97663 (2024) - Eyad Algahtani:
MP-HTHEDL: A Massively Parallel Hypothesis Evaluation Engine in Description Logic. IEEE Access 12: 89113-89123 (2024) - Arwa A. Alqbaishi, Alaa E. S. Ahmed:
Reputation Evaluation Using Fuzzy Logic for Blockchain-Based Access Control in an IoT Environment. IEEE Access 12: 97386-97404 (2024) - Kalavagunta Aravind, Praveen Kumar Reddy Maddikunta:
Optimized Fuzzy Logic Based Energy-Efficient Geographical Data Routing in Internet of Things. IEEE Access 12: 18913-18930 (2024) - Agostino Giorgio:
Project and Implementation of a Quantum Logic Gate Emulator on FPGA Using a Model-Based Design Approach. IEEE Access 12: 41317-41353 (2024) - Pablo Horrillo-Quintero, Pablo García-Triviño, Ehsan Hosseini, Carlos Andrés García-Vázquez, Higinio Sánchez-Sáinz, Carlos E. Ugalde-Loo, Vedran Peric, Luis M. Fernández-Ramirez:
Dynamic Fuzzy Logic Energy Management System for a Multi-Energy Microgrid. IEEE Access 12: 93221-93234 (2024) - Farhoud Jafari Kaleibar, Marc St-Hilaire:
SLA-Based Service Provisioning Optimization in Vehicular Cloud Networks Using Fuzzy Logic. IEEE Access 12: 101727-101744 (2024) - Logan Kenwright, Partha S. Roop, Nathan Allen, Sanjay Lall, Calin Cascaval, Tammo Spalink, Martin Izzard:
Logical Synchrony Networks: A Formal Model for Deterministic Distribution. IEEE Access 12: 80872-80883 (2024) - Kyoungho Lee, Kyunghoon Cho:
Deep Learning-Based Path Planning Under Co-Safe Temporal Logic Specifications. IEEE Access 12: 7704-7718 (2024) - Sangjun Lee, Dongsu Kang:
Designing Simulation Logic of UAV Cyber Operation Using Cyber Security Framework. IEEE Access 12: 3488-3498 (2024) - Hari Maghfiroh, Oyas Wahyunggoro, Adha Imam Cahyadi:
Energy Management in Hybrid Electric and Hybrid Energy Storage System Vehicles: A Fuzzy Logic Controller Review. IEEE Access 12: 56097-56109 (2024) - Rui Men, Xiumei Fan, Axida Shan, Gang Yuan:
Fuzzy Logic Based Binary Computation Offloading Scheme in V2X Communication Networks. IEEE Access 12: 45507-45518 (2024) - Irith Pomeranz:
Sharing of Topped-Off Compressed Test Sets Among Logic Blocks. IEEE Access 12: 49895-49903 (2024)
skipping 71,619 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-08-22 20:03 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