Search results
- 1.0480888 - ÚI 2018 DE eng C - Conference Paper (international conference)
Savický, Petr - Kučera, P.
Generating Models of a Matched Formula With a Polynomial Delay (Extended Abstract).
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence. Freiburg: IJCAI, 2017 - (Sierra, C.), s. 5055-5059. ISBN 978-0-9992411-0-3.
[IJCAI 2017. International Joint Conference on Artificial Intelligence /26./. Melbourne (AU), 19.08.2017-25.08.2017]
R&D Projects: GA ČR GBP202/12/G061
Grant - others:GA ČR GA15-15511S
Institutional support: RVO:67985807
Keywords : conjunctive normal form * matched formula * pure literal satisfiable formula
Subject RIV: BA - General Mathematics
https://www.ijcai.org/proceedings/2017/0721.pdf
Permanent Link: http://hdl.handle.net/11104/0276554File Download Size Commentary Version Access a0480888.pdf 1 104.2 KB Publisher’s postprint require - 2.0450591 - ÚI 2017 RIV US eng J - Journal Article
Savický, Petr - Kučera, P.
Generating Models of a Matched Formula with a Polynomial Delay.
Journal of Artificial Intelligence Research. Roč. 56, č. 6 (2016), s. 379-402. ISSN 1076-9757. E-ISSN 1943-5037
R&D Projects: GA ČR GBP202/12/G061
Grant - others:GA ČR(CZ) GA15-15511S
Institutional support: RVO:67985807
Keywords : conjunctive normal form * matched formula * pure literal satisfiable formula
Subject RIV: BA - General Mathematics
Impact factor: 2.284, year: 2016
Permanent Link: http://hdl.handle.net/11104/0251864File Download Size Commentary Version Access a0450591.pdf 7 237 KB Publisher’s postprint require - 3.0405527 - UIVT-O 330905 RIV CZ eng J - Journal Article
Holeňa, Martin
Extraction of Fuzzy Logic Rules from Data by Means of Artificial Neural Networks.
[Extrakce pravidel fuzzy logiky z dat pomocí umělých neuronových sítí.]
Kybernetika. Roč. 41, č. 3 (2005), s. 297-314. ISSN 0023-5954
R&D Projects: GA AV ČR IAA1030004
Institutional research plan: CEZ:AV0Z10300504
Keywords : knowledge extraction from data * artificial neural networks * fuzzy logic * Lukasiewicz logic * disjunctive normal form
Subject RIV: BA - General Mathematics
Impact factor: 0.343, year: 2005
http://dml.cz/handle/10338.dmlcz/135657
Permanent Link: http://hdl.handle.net/11104/0125685File Download Size Commentary Version Access Kybernetika_41-2005-3_3.pdf 1 1.4 MB Publisher’s postprint open-access - 4.0405466 - UIVT-O 330841 RIV NL eng J - Journal Article
Rohn, Jiří
A Normal Form Supplement to the Oettli-Prager Theorem. Dedicated to Prof. Dr. Gerhard Heindl on the Occasion of his Retirement.
[Normální forma Oettli-Pragerovy věty. Věnováno Prof. G. Heindlovi u příležitosti jeho odchodu do důchodu.]
Reliable Computing. Roč. 11, č. 1 (2005), s. 35-39. ISSN 1385-3139
R&D Projects: GA ČR GA201/01/0343
Institutional research plan: CEZ:AV0Z10300504
Keywords : interval linear equations * Oettli-Prager Theorem * normal form
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0125629 - 5.0403463 - UIVT-O 20020001 RIV DE eng J - Journal Article
Savický, Petr - Sgall, Jiří
DNF Tautologies with a Limited Number of Occurrences of Every Variable.
Theoretical Computer Science. Roč. 238, 1-2 (2000), s. 495-498. ISSN 0304-3975. E-ISSN 1879-2294
R&D Projects: GA ČR GA201/98/0717; GA AV ČR IAA1019602; GA ČR GA201/97/P038; GA MŠMT ME 103
Institutional research plan: AV0Z1030915
Keywords : disjunctive normal form * tautology * occurences of variable
Subject RIV: BA - General Mathematics
Impact factor: 0.417, year: 2000
Permanent Link: http://hdl.handle.net/11104/0123768 - 6.0402598 - UIVT-O 981037 US eng J - Journal Article
Kratochvíl, J. - Savický, Petr - Tuza, Z.
One More Occurrence of Variables Makes Satisfiability Jump from Trivial to NP-Complete.
Siam Journal on Computing. Roč. 22, č. 1 (1993), s. 203-210. ISSN 0097-5397. E-ISSN 1095-7111
Keywords : satisfiability * Boolean formula * conjuctive normal form * NP-completeness
Permanent Link: http://hdl.handle.net/11104/0122996 - 7.0088772 - ÚI 2008 RIV DE eng J - Journal Article
Cintula, Petr - Metcalfe, G.
Normal Forms for Fuzzy Logics: A Proof-Theoretic Approach.
[Normální formy ve fuzzy logikách: důkazově-teoretický přístup.]
Archive for Mathematical Logic. Roč. 46, č. 5-6 (2007), s. 347-363. ISSN 0933-5846. E-ISSN 1432-0665
R&D Projects: GA MŠMT(CZ) 1M0545
Institutional research plan: CEZ:AV0Z10300504
Keywords : fuzzy logic * normal form * proof theory * hypersequents
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0150191File Download Size Commentary Version Access 0088772.pdf 2 698.1 KB Author´s preprint open-access - 8.0042359 - ÚI 2007 ES eng A - Abstract
Cintula, Petr - Metcalfe, G.
Generating Normal Forms for Fuzzy Logics via Proof Calculi.
[Generování normálních forem pro fuzzy logiky důkazově-teoretickými prostředky.]
The Logic of Soft Computing. Malaga: Universidad de Malaga, 2006 - (Gottwald, S.; Hájek, P.; Ojeda-Aciego, M.). s. 74-76
[LCS'06. International Conference on The Logic of Soft Computing and Workshop of the ERCIM WG on Soft Computing. 13.09.2006-15.09.2006, Malaga]
R&D Projects: GA AV ČR KJB100300502
Institutional research plan: CEZ:AV0Z10300504
Keywords : fuzzy logic * normal form * proof theory * hypersequents
Subject RIV: BA - General Mathematics
Permanent Link: http://hdl.handle.net/11104/0135607