期刊： LOGICAL METHODS IN COMPUTER SCIENCE, 2021; 17 (1)
LPMLN is a powerful knowledge representation and reasoning tool that combines the non-monotonic reasoning ability of Answer Set Programming (ASP) and ......
期刊： LOGICAL METHODS IN COMPUTER SCIENCE, 2020; 16 (4)
We introduce and study a new class of To spaces, called open well-filtered spaces. The main results we prove include (i) every well-filtered space is ......
期刊： LOGICAL METHODS IN COMPUTER SCIENCE, 2019; 15 (3)
The parameterized model-checking problem for a class of first-order sentences (queries) asks to decide whether a given sentence from the class holds t......
期刊： LOGICAL METHODS IN COMPUTER SCIENCE, 2018; 14 (2)
In this paper, we tailor-make new approximation operators inspired by rough set theory and specially suited for domain theory. Our approximation opera......
期刊： LOGICAL METHODS IN COMPUTER SCIENCE, 2018; 14 (2)
In analogy to a result due to Drake and Thron about topological spaces, this paper studies the dcpos (directed complete posets) which are fully determ......
期刊： LOGICAL METHODS IN COMPUTER SCIENCE, 2018; 14 (3)
Levy-Longo Trees and Bohm Trees are the best known tree structures on the lambda-calculus. We give general conditions under which an encoding of the l......
期刊： LOGICAL METHODS IN COMPUTER SCIENCE, 2017; 13 (1)
We present a coordination language for the modeling of distributed database applications. The language, baptized Klaim-DB, borrows the concepts of loc......
期刊： LOGICAL METHODS IN COMPUTER SCIENCE, 2017; 13 (3)
For a quantale V, the category V-Top of V-valued topological spaces may be introduced as a full subcategory of those V-valued closure spaces whose clo......
期刊： LOGICAL METHODS IN COMPUTER SCIENCE, 2017; 13 (4)
A universal process of a process calculus is one that, given the Godel index of a process of a certain type, produces a process equivalent to the enco......
