Results 1 to 10 of about 82,622 (268)
Novel logic mining incorporating log linear approach
Journal of King Saud University: Computer and Information Sciences, 2022 Mining the best logical rule from the data is a challenging task because not all attribute of the dataset will contribute towards the optimal logical representation.
Siti Zulaikha Mohd Jamaludin +5 more
doaj +3 more sources
Formal Model of IDS Based on BDI Logic
Mathematics, 2021 Computer network security is an important aspect of computer science. Many researchers are trying to increase security using different methods, technologies, or tools.
Ján Perháč +3 more
doaj +1 more source
Towards Races in Linear Logic [PDF]
Logical Methods in Computer Science, 2020 Process calculi based in logic, such as $\pi$DILL and CP, provide a foundation for deadlock-free concurrent programming, but exclude non-determinism and races.
Wen Kokke +2 more
doaj +1 more source
A Linear Logical Framework [PDF]
Information and Computation, 2002 We present the linear type theory LLF as the formal basis for a conservative extension of the LF logical framework. LLF combines the expressive power of dependent types with linear logic to permit the natural and concise representation of a whole new class of deductive systems, namely those dealing with state.
Iliano Cervesato, Frank Pfenning
openaire +1 more source
Parametric Linear Dynamic Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 We introduce Parametric Linear Dynamic Logic (PLDL), which extends Linear Dynamic Logic (LDL) by temporal operators equipped with parameters that bound their scope.
Peter Faymonville, Martin Zimmermann
doaj +1 more source
LNL polycategories and doctrines of linear logic [PDF]
Logical Methods in Computer Science, 2023 We define and study LNL polycategories, which abstract the judgmental structure of classical linear logic with exponentials. Many existing structures can be represented as LNL polycategories, including LNL adjunctions, linear exponential comonads, LNL ...
Michael Shulman
doaj +1 more source
Dagger linear logic for categorical quantum mechanics [PDF]
Logical Methods in Computer Science, 2021 Categorical quantum mechanics exploits the dagger compact closed structure of finite dimensional Hilbert spaces, and uses the graphical calculus of string diagrams to facilitate reasoning about finite dimensional processes.
Robin Cockett +2 more
doaj +1 more source
Weighted Linear Dynamic Logic [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 We introduce a weighted linear dynamic logic (weighted LDL for short) and show the expressive equivalence of its formulas to weighted rational expressions. This adds a new characterization for recognizable series to the fundamental Schützenberger theorem.
Manfred Droste, George Rahonis
doaj +1 more source
Taking Linear Logic Apart [PDF]
Electronic Proceedings in Theoretical Computer Science, 2019 Process calculi based on logic, such as πDILL and CP, provide a foundation for deadlock-free concurrent programming. However, in previous work, there is a mismatch between the rules for constructing proofs and the term constructors of the π-calculus: the
Wen Kokke +2 more
doaj +1 more source
Bounded Linear Logic, Revisited [PDF]
Logical Methods in Computer Science, 2010 We present QBAL, an extension of Girard, Scedrov and Scott's bounded linear logic. The main novelty of the system is the possibility of quantifying over resource variables.
Ugo Dal Lago, Martin Hofmann
doaj +1 more source