Остановите войну!
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
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,812 matches
- 2024
- Manfred Droste, Gustav Grabolle, George Rahonis:
Weighted Linear Dynamic Logic. Int. J. Found. Comput. Sci. 35(1&2): 145-177 (2024) - Luca Geatti, Nicola Gigante, Angelo Montanari, Gabriele Venturato:
SAT Meets Tableaux for Linear Temporal Logic Satisfiability. J. Autom. Reason. 68(2): 6 (2024) - Ritam Raha, Rajarshi Roy, Nathanaël Fijalkow, Daniel Neider:
Scarlet: Scalable Anytime Algorithms for Learning Fragments of Linear Temporal Logic. J. Open Source Softw. 9(93): 5052 (2024) - Jules Jacobs, Jonas Kastberg Hinrichsen, Robbert Krebbers:
Deadlock-Free Separation Logic: Linearity Yields Progress for Dependent Higher-Order Message Passing. Proc. ACM Program. Lang. 8(POPL): 1385-1417 (2024) - Weijie Dong, Xiang Yin, Shaoyuan Li:
A Uniform Framework for Diagnosis of Discrete-Event Systems With Unreliable Sensors Using Linear Temporal Logic. IEEE Trans. Autom. Control. 69(1): 145-160 (2024) - Tathagata Chakraborti, Jungkoo Kang, Francesco Fuggitti, Michael Katz, Shirin Sohrabi:
Interactive Plan Selection Using Linear Temporal Logic, Disjunctive Action Landmarks, and Natural Language Instruction. AAAI 2024: 23775-23777 - Benedikt Ahrens, Ralph Matthes, Niels van der Weide, Kobe Wullaert:
Displayed Monoidal Categories for the Semantics of Linear Logic. CPP 2024: 260-273 - Tatsuhiko Nakabayashi, Masumi Ichien, Takuma Wada, Satoshi Ikeda, Yuki Hayashi, Jun Suzuki, Masatsugu Ogawa:
Implementation of Pick-and-Place Tasks in Logistics Environments Using Linear Temporal Logic and Skill-Based Remote Control Robot System. SII 2024: 1004-1005 - Flavien Breuvart, Federico Olimpieri:
An Indexed Linear Logic for Idempotent Intersection Types (Long version). CoRR abs/2401.14126 (2024) - Bas van den Heuvel, Jorge A. Pérez:
Comparing Session Type Systems derived from Linear Logic. CoRR abs/2401.14763 (2024) - Thomas Ehrhard:
From Differential Linear Logic to Coherent Differentiation. CoRR abs/2401.14834 (2024) - Victoria Vollmer, Daniel Marshall, Harley Eades III, Dominic Orchard:
A Mixed Linear and Graded Logic: Proofs, Terms, and Models. CoRR abs/2401.17199 (2024) - Yll Buzoku:
A Proof-theoretic Semantics for Intuitionistic Linear Logic. CoRR abs/2402.01982 (2024) - Flavien Breuvart, Marie Kerjean, Simon Mirwasser:
Unifying Graded Linear Logic and Differential Operators. CoRR abs/2402.09138 (2024) - Rémi Di Guardia, Olivier Laurent:
Type Isomorphisms for Multiplicative-Additive Linear Logic. CoRR abs/2402.11987 (2024) - Nhan-Khanh Le, Erfaun Noorani, Sandra Hirche, John S. Baras:
Time-Robust Path Planning with Piece-Wise Linear Trajectory for Signal Temporal Logic Specifications. CoRR abs/2403.10735 (2024) - Francisco Mateus Rocha Filho, Thiago Alves Rocha, Reginaldo Pereira Fernandes Ribeiro, Ajalmar Rêgo da Rocha Neto:
Logic-based Explanations for Linear Support Vector Classifiers with Reject Option. CoRR abs/2403.16190 (2024) - 2023
- Farzad Jafarrahmani:
Fixpoints of Types in Linear Logic from a Curry-Howard-Lambek Perspective. (Points fixes de types en logique linéaire d'un point de vue Curry-Howard-Lambek). Paris Cité University, France, 2023 - Fangshu Hui, Wen Luo, Zhongliang Wang, Chunxiang Li:
Uniform Stability of Linear Delay Impulsive Differential Systems With Impulse Time Windows and Logic Choice. IEEE Access 11: 104116-104125 (2023) - E. V. Kuzmin:
Linear Temporal Logic Specification of Bounded Counter Machines. Autom. Control. Comput. Sci. 57(7): 683-695 (2023) - Cheng Fang, Brian C. Williams:
A conflict-directed approach to chance-constrained mixed logical linear programming. Artif. Intell. 323: 103972 (2023) - Mahya Malekghasemi, Seyed Mohammad Bagheri:
Consistency and interpolation in linear continuous logic. Arch. Math. Log. 62(7-8): 931-939 (2023) - Marco Bombieri, Daniele Meli, Diego Dall'Alba, Marco Rospocher, Paolo Fiorini:
Mapping natural language procedures descriptions to linear temporal logic templates: an application in the surgical robotic domain. Appl. Intell. 53(22): 26351-26363 (2023) - José Cabrero-Holgueras, Sergio Pastrana:
Towards automated homomorphic encryption parameter selection with fuzzy logic and linear programming. Expert Syst. Appl. 229(Part A): 120460 (2023) - Meghdad Ghari:
Linear temporal justification logics with past and future time modalities. Log. J. IGPL 31(1): 1-38 (2023) - Abhay Deep Seth, Santosh Biswas, Amit Kumar Dhar:
LDES: detector design for version number attack detection using linear temporal logic based on discrete event system. Int. J. Inf. Sec. 22(4): 961-985 (2023) - Isaac Mackey, Jianwen Su:
Mapping singly-linked rules to linear temporal logic formulas. Inf. Syst. 117: 102222 (2023) - Agi Kurucz, Vladislav Ryzhikov, Yury Savateev, Michael Zakharyaschev:
Deciding FO-rewritability of Regular Languages and Ontology-Mediated Queries in Linear Temporal Logic. J. Artif. Intell. Res. 76: 645-703 (2023) - Anasse Chafik, Fahima Cheikh Alili, Jean-François Condotta, Ivan Varzinczak:
Defeasible linear temporal logic. J. Appl. Non Class. Logics 33(1): 1-51 (2023) - Guido Fiorino:
Linear Depth Deduction with Subformula Property for Intuitionistic Epistemic Logic. J. Autom. Reason. 67(1): 3 (2023)
skipping 1,782 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-19 12:41 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