Filters
Finding maximal frequent patterns in first-order logic
Frequent patterns discovery is one of basic descriptive tasks in Knowledge Discovery in Databases. In this paper we introduce RAP, the first ILP system for finding maximal frequent patterns in first-order logic. We describe methods ...
IN - Informatika
- 2004 •
- D
Rok uplatnění
D - Stať ve sborníku
Chain logic and Shelah’s infinitary logic
For a cardinal of the form κ = בκ, Shelah’s logic Lκ1 has a characterisation as the maximal logic above ∪ λ<κLλ,ω satisfying a strengthening of the undefinability of well-order. Karp’s chain logic [20] Lκ, κc is kn...
Pure mathematics
- 2021 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
On the role of logical connectives for primality and functional completeness
The role of logical connectives with respect to primality and functional completeness is studied.
BA - Obecná matematika
- 2010 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
A system for monitoring of the maximal temperature achieved in a segment of the urban environment of a large town
The technical solution of this Utility Model consists of the HW and SW system and method that enable a quick computation of a maximum temperature attainable in given day in a selected segment of a large town. The system makes it possible to ...
Meteorology and atmospheric sciences
- 2019 •
- Fuzit •
- Link
Rok uplatnění
Fuzit - Užitný vzor
Výsledek na webu
A system for monitoring of the maximal temperature achieved in a segment of the urban environment of a large town
The technical solution of this Utility Model consists of the HW and SW system and method that enable a quick computation of a maximum temperature attainable in given day in a selected segment of a large town. The system makes it possible to ...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2019 •
- Fuzit •
- Link
Rok uplatnění
Fuzit - Užitný vzor
Výsledek na webu
Completely separably MAD families and the modal logic of $betaomega$
We show in ZFC that the existence of completely separable maximal almost disjoint families of subsets of $omega$ implies that the modal logic $logic{S4.1.2}$ is complete with respect to the v{C}ech-Stone compactification of...
Philosophy, History and Philosophy of science and technology
- 2022 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Data Consistency of the KOS Database in a Heterogeneous Client Environment
Moving "business logic" of the application into the database for preservation of data inconsistency...
JD - Využití počítačů, robotika a její aplikace
- 2003 •
- A
Rok uplatnění
A - Audiovizuální tvorba
On Fuzzy Theories with Crisp Sentences
If T is a consistent theory over a fuzzy predicate logic with Gödel negation (e.g. Gödel logic, product logic) then T remains consistent after adding the schema tertium non datur for sentences (closed form...
BA - Obecná matematika
- 2007 •
- D
Rok uplatnění
D - Stať ve sborníku
On White?s Expansion of Lukasiewicz Logic
A variant of Lukasiewicz logic defined in a remark in White's 1979 paper on the consistency of the axiom of comprehension in the infinite-valued predicate logic of Lukasiewicz is studied; it is shown that the logic...
BA - Obecná matematika
- 2010 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
RAP: Framework for Mining Frequent Datalog Patterns
We describe a new any-time algorithm RAP for finding maximal frequent patterns in first-order logic.
JD - Využití počítačů, robotika a její aplikace
- 2002 •
- D
Rok uplatnění
D - Stať ve sborníku
- 1 - 10 out of 67 252