Search results
- 1.0539189 - FLÚ 2021 RIV US eng C - Conference Paper (international conference)
Fermüller, Ch.G. - Majer, Ondrej
Interpreting Propositional Fuzzy Logics via Imperfect Information Games.
2020 IEEE 50th Proceedings of the International Symposium on Multiple-Valued Logic. New Jersey: Institute of Electrical and Electronics Engineers, Inc., 2020, s. 237-242. ISBN 978-1-7281-5406-0. ISSN 0195-623X.
[IEEE International Symposium on Multiple-Valued Logic /50./. ISMVL 2020. Miyazaki (JP), 09.11.2020-11.11.2020]
Institutional support: RVO:67985955
Keywords : Game theory * Semantics * Fuzzy logic * Probabilistic logic
OECD category: Philosophy, History and Philosophy of science and technology
Permanent Link: http://hdl.handle.net/11104/0317259 - 2.0535380 - FLÚ 2021 RIV GB eng J - Journal Article
Hanke, Miroslav
Between Imagination and Gambling: The Forms of Validity in Scholastic Logic.
History and Philosophy of Logic. Roč. 41, č. 4 (2020), s. 331-351. ISSN 0144-5340. E-ISSN 1464-5149
R&D Projects: GA ČR(CZ) GA17-12408S
Institutional support: RVO:67985955
Keywords : scholastic logic * logical consequence * probabilistic logic * possible worlds
OECD category: Philosophy, History and Philosophy of science and technology
Impact factor: 0.750, year: 2020
Method of publishing: Limited access
https://doi.org/10.1080/01445340.2020.1800243
Permanent Link: http://hdl.handle.net/11104/0313420 - 3.0508404 - FLÚ 2020 RIV GB eng J - Journal Article
Hanke, Miroslav
Jesuit Probabilistic Logic between Scholastic and Academic Philosophy.
History and Philosophy of Logic. Roč. 40, č. 4 (2019), s. 355-373. ISSN 0144-5340. E-ISSN 1464-5149
R&D Projects: GA ČR(CZ) GA17-12408S
Institutional support: RVO:67985955
Keywords : probabilistic logic * logical validity * epistemic logic * Jesuits * second scholasticism
OECD category: Philosophy, History and Philosophy of science and technology
Impact factor: 0.333, year: 2019
Method of publishing: Limited access
https://www.tandfonline.com/doi/full/10.1080/01445340.2019.1615363
Permanent Link: http://hdl.handle.net/11104/0299319 - 4.0507326 - FLÚ 2020 RIV NL eng J - Journal Article
Hanke, Miroslav
The Probabilistic Logic of Eusebius Amort (1692-1775).
Early Science and Medicine. Roč. 24, č. 2 (2019), s. 186-211. ISSN 1383-7427. E-ISSN 1573-3823
R&D Projects: GA ČR(CZ) GA17-12408S
Institutional support: RVO:67985955
Keywords : Eusebius Amort * Jacob Bernoulli * probability * probabilistic logic * Second Scholasticism * Catholic Enlightenment
OECD category: Philosophy, History and Philosophy of science and technology
Impact factor: 0.475, year: 2019
Method of publishing: Limited access
https://brill.com/view/journals/esm/24/2/article-p186_3.xml
Permanent Link: http://hdl.handle.net/11104/0298333 - 5.0445801 - ÚTIA 2016 RIV SI eng C - Conference Paper (international conference)
Ettler, P. - Dedecius, Kamil - Pavelková, Lenka - Juričič, D. - Boškoski, P. - Steiner, I.
From building blocks to the embedded condition monitoring system.
Proceedings of the 2nd IFAC Conference on Embedded Systems, Computer Intelligence and Telematics, CESCIT 2015. Maribor: IFAC, 2015, s. 135-140. IFAC-PapersOnline, Volume 48, Issue 10. ISSN 2405-8963.
[2nd IFAC Conference on Embedded Systems, Computational Intelligence and Telematics in Control. Maribor (SI), 22.06.2015-24.06.2015]
R&D Projects: GA MŠMT 7D12004
Institutional support: RVO:67985556
Keywords : diagnostic programs * failure detection * probabilistic logic
Subject RIV: JB - Sensors, Measurment, Regulation
http://library.utia.cas.cz/separaty/2015/AS/dedecius-0445801.pdf
Permanent Link: http://hdl.handle.net/11104/0247983 - 6.0444754 - ÚTIA 2016 RIV GB eng C - Conference Paper (international conference)
Ettler, P. - Puchr, I. - Jirsa, Ladislav - Pavelková, Lenka
Probabilistic Inspection of Multimodally Distributed Signals.
The 12th International Conference on Condition Monitoring and Machinery Failure Prevention Technologies (CM 2015/MFPT 2015). Oxford, UK: The British Institute of Non-Destructive Testing, 2015. ISBN 978-1-5108-0712-9.
[The 12th International Conference on Condition Monitoring and Machinery Failure Prevention Technologies (CM 2015/MFPT 2015). Oxford (GB), 09.06.2015-11.06.2015]
R&D Projects: GA MŠMT 7D12004
Institutional support: RVO:67985556
Keywords : condition monitoring * probabilistic logic * binomial opinion * multimodally distributed signal * Gaussian mixture
Subject RIV: BC - Control Systems Theory
http://library.utia.cas.cz/separaty/2015/AS/jirsa-0444754.pdf
Permanent Link: http://hdl.handle.net/11104/0247505 - 7.0431322 - ÚTIA 2015 RIV PT eng C - Conference Paper (international conference)
Ettler, P. - Dedecius, Kamil
Quantification of Information Uncertainty for the Purpose of Condition Monitoring.
Proceedings of the 11th International Conference on Informatics in Control, Automation and Robotics (ICINCO). Lisabon, Portugalsko: Institute for Systems and Technologies of Information, Control and Communication (INSTICC), 2014, s. 127-132. ISBN 978-989-758-039-0.
[11th International Conference on Informatics in Control, Automation and Robotics - ICINCO 2014. Vien (AT), 01.09.2014-03.09.2014]
R&D Projects: GA MŠMT 7D12004
Institutional support: RVO:67985556
Keywords : Condition monitoring * Fault detection and diagnosis * Probabilistic logic
Subject RIV: BB - Applied Statistics, Operational Research
http://library.utia.cas.cz/separaty/2014/AS/dedecius-0431322.pdf
Permanent Link: http://hdl.handle.net/11104/0236078 - 8.0403196 - UIVT-O 970110 CZ eng V - Research Report
Kramosil, Ivan
Probabilistic First-Order Predicate Calculus with Doubled Nonstandard Semantics.
Prague: ICS AS CR, 1997. 25 s. Technical Report, V-714.
R&D Projects: GA AV ČR IAA1030504
Keywords : probabilistic logic * first-order predicate calculus * Boolean algebra * nonstandard models * Boolean-valued models * probability measure * possibility measure
Permanent Link: http://hdl.handle.net/11104/0123521File Download Size Commentary Version Access v714-97.pdf 6 281.6 KB Other open-access - 9.0396447 - ÚTIA 2014 RIV CZ eng C - Conference Paper (international conference)
Jirsa, Ladislav - Pavelková, Lenka - Dedecius, Kamil
Preliminaries of probabilistic hierarchical fault detection.
Preprints of the 3rd International Workshop on Scalable Decision Making held in conjunction with ECML/PKDD 2013. Prague: Institute of Information Theory and Automation, 2013 - (Guy, T.; Kárný, M.). ISBN 978-80-903834-8-7.
[The 3rd International Workshop on Scalable Decision Making: Uncertainty, Imperfection, Deliberation held in conjunction with ECML/PKDD 2013. Prague (CZ), 23.09.2013-23.09.2013]
R&D Projects: GA MŠMT 7D12004; GA ČR GA13-13502S
Institutional support: RVO:67985556
Keywords : Fault detection * FDI * probabilistic logic * system health
Subject RIV: BC - Control Systems Theory
http://library.utia.cas.cz/separaty/2013/AS/jirsa-preliminaries of probabilistic hierarchical fault detection.pdf
Permanent Link: http://hdl.handle.net/11104/0224316