Filters
Machine Learning Guidance for Connection Tableaux
Connection calculi allow for very compact implementations of goal-directed proof search. We give an overview of our work related to connection tableaux calculi: first, we show optimised functional implementations of con...
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2021 •
- Jimp •
- Link
Rok uplatnění
Jimp - Článek v periodiku v databázi Web of Science
Výsledek na webu
Certified Connection Tableaux Proofs for HOL Light and TPTP
on connection tableaux has however performed better than Metis. In this paper we show how to connection tableaux proofs, providing an implementation of leanCoP that certifies its......
JC - Počítačový hardware a software
- 2015 •
- D
Rok uplatnění
D - Stať ve sborníku
K. u. k. Tableaux vivants
An essay about the film project Dem Kaiser ein Denkmal from 1914 which should show the emperor Franz Joseph I. in the genre tableaux vivants. The authors of this project were two owners of cínema theatres from Sudetenland....
AJ - Písemnictví, mas–media, audiovize
- 2013 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Tableaux vivants, carousel carnivals, theater – photographs of nobility in costumes and disguises
a theater play, or tableaux vivants? The article successively points out different types of costume amusements documented in photographs. First and foremost, these are tableaux. The basis for the tableaux were most often v...
AL - Umění, architektura, kulturní dědictví
- 2016 •
- Jx
Rok uplatnění
Jx - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
Young Tableaux and Projections of Tensors
This paper is devoted to Young diagrams and Ln1-equivariant projections of tensor spaces. We present the theory of representations of finite groups developed according to works of H. Weyl and H. Boerner....
Pure mathematics
- 2020 •
- JSC •
- Link
Rok uplatnění
JSC - Článek v periodiku v databázi SCOPUS
Výsledek na webu
Constraint Tableaux for Two-Dimensional Fuzzy Logics
tableaux that provide a modular framework to address their completeness and complexity.
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2021 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Non-standard Modalities in Paraconsistent Gödel Logic
over [0, 1] and connected via (sic). We motivate the semantics of square phi (resp semantical properties of G(square,lozenge)(2 +/-) . Finally, we devise a tableaux system......
Philosophy, History and Philosophy of science and technology
- 2023 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
Property Invariant Embedding for Automated Reasoning
test the proposed encoding in an automated theorem prover based on the tableaux connection calculus, and show that it improves on the best characterizations used so far......
Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
- 2020 •
- D •
- Link
Rok uplatnění
D - Stať ve sborníku
Výsledek na webu
K. u. k. tableaux vivants
The history of the film project "Dem Kaiser ein Denkmal" from 1914 by two cinema owners in Sudetenl.
AJ - Písemnictví, mas–media, audiovize
- 2012 •
- C
Rok uplatnění
C - Kapitola v odborné knize
Choix de Tableaux / Tableaux de Choix. Josef Karel Eduard Hoser: Collector of Gallery, Exhibition and Auction Catalogues
The study deals with hitherto less known part of the collecting activities of the Josef Karl Eduard Hose, creator of the outstanding picture cabinet in Vienna with the pictures of Dutch, Flemish and Czech artists, with was donated in 1844 to the Pict...
AL - Umění, architektura, kulturní dědictví
- 2009 •
- D
Rok uplatnění
D - Stať ve sborníku
- 1 - 10 out of 53 180