Search results

Records found: 9  
Your query: Author Sysno/Doc.kind = "^cav_un_auth 0000392 zc^"
    1.
    0405113 - UIVT-O 20030190 RIV DE eng C - Conference Paper (international conference)
    Hájek, Petr
    Fleas and Fuzzy Logic: A Survey.
    EUSFLAT 2003. Proceedings of the Third Conference of the European Society for Fuzzy Logic and Technology. Zittau: EUSFLAT, 2003 - (Wagenknecht, M.; Hampel, R.), s. 599-603. ISBN 3-9808089-4-7.
    [EUSFLAT 2003. An International Conference in Fuzzy Logic and Technology. Zittau (DE), 10.09.2003-12.09.2003]
    R&D Projects: GA AV ČR IAA1030004
    Institutional research plan: AV0Z1030915
    Keywords : mathematical fuzzy logic * basic fuzzy logic * monoidal t-norm logic * hoop logic * non-communicative fuzzy logic
    Subject RIV: BA - General Mathematics
    Permanent Link: http://hdl.handle.net/11104/0125316
     
     
    2.
    0405112 - UIVT-O 20030088 RIV DE eng C - Conference Paper (international conference)
    Haniková, Zuzana
    On the Complexity of Propositional Logics with an Involutive Negation.
    Fuzzy logic and Technology. Zittau: EUSFLAT, 2003 - (Wagenknecht, M.; Hampel, R.), s. 636-639. ISBN 3-9808089-4-7.
    [EUSFLAT 2003. An International Conference in Fuzzy Logic and Technology. Zittau (DE), 10.09.2003-12.09.2003]
    R&D Projects: GA AV ČR IAA1030004
    Institutional research plan: AV0Z1030915
    Keywords : basic fuzzy logic (BL) * strict basic fuzzy logic (SBL) * involutive negation * ~-standard completness * computational complexity
    Subject RIV: BA - General Mathematics
    Permanent Link: http://hdl.handle.net/11104/0125315
     
     
    3.
    0405046 - UIVT-O 20030187 RIV DE eng C - Conference Paper (international conference)
    Horčík, R. - Cintula, Petr
    Extension of Lukasiewicz Logic by Product Connective.
    Fuzzy Sets and Systems - IFSA 2003. Berlin: SpringerVerlag, 2003 - (Bilgic, T.; De Baets, B.; Kaynak, O.), s. 180-188. Lecture Notes in Artificial Intelligence, 2715. ISBN 3-540-40383-3. ISSN 0302-9743.
    [IFSA 2003. International Fuzzy Systems Association World Congress /10./. Istanbul (TR), 30.06.2003-02.07.2003]
    R&D Projects: GA AV ČR IAA1030004; GA ČR GA201/02/1540
    Grant - others:GA CTU(CZ) project 0208613; Net CEEPKUS(XX) SK-042
    Institutional research plan: AV0Z1030915
    Keywords : fuzzy logic * many-valued logic * Lukasiewicz logic * Lpi logic * Takeuti-Titani logic * MV-algebras * product MV-algebras
    Subject RIV: BA - General Mathematics
    Permanent Link: http://hdl.handle.net/11104/0125266
    FileDownloadSizeCommentaryVersionAccess
    0405046.pdf0769.1 KBAuthor´s preprintopen-access
     
     
    4.
    0404854 - UIVT-O 20020214 RIV NL eng C - Conference Paper (international conference)
    Hájek, Petr
    Relations in GUHA Style Data Mining.
    Relational Methods in Computer Science. Berlin: Springer, 2001 - (de Swart, H.), s. 81-87. Lecture Notes in Computer Science, 2561. ISBN 3-540-00315-0. ISSN 0302-9743.
    [International Conference RelMiCS /6./, Workshop of COST Action 274 TARSKI /1./. Oisterwijk (NL), 16.10.2001-21.10.2001]
    R&D Projects: GA AV ČR IAA1030004; GA MŠMT OC 274.001
    Grant - others:COST(XE) Action 274 TARSKI
    Institutional research plan: AV0Z1030915
    Keywords : GUHA method * data mining * relations
    Subject RIV: BA - General Mathematics
    Permanent Link: http://hdl.handle.net/11104/0125081
    FileDownloadSizeCommentaryVersionAccess
    0404854-h.pdf10781.4 KBPublisher’s postprintrequire
     
     
    5.
    0404644 - UIVT-O 20020050 RIV FR eng C - Conference Paper (international conference)
    Cintula, Petr - Navara, M.
    Which Fuzzy Logic Satisfy the Compactness Problem?
    Information Processing and Management Uncertainty in Knowledge-based Systems. Savoie: ESIA, 2002, s. 405-409. ISBN 2-9516453-1-7.
    [IPMU '2002 /9./. Annecy (FR), 01.07.2002-05.07.2002]
    R&D Projects: GA AV ČR IAA1030004; GA ČR GA201/02/1540
    Institutional research plan: AV0Z1030915
    Keywords : many-valued logic * fuzzy logic * triangular norm * satisfiability * compactness of a logic
    Subject RIV: BA - General Mathematics
    Permanent Link: http://hdl.handle.net/11104/0124885
    FileDownloadSizeCommentaryVersionAccess
    0404644.pdf2608.4 KBAuthor´s preprintopen-access
     
     
    6.
    0404432 - UIVT-O 20010134 RIV NL eng C - Conference Paper (international conference)
    Hájek, Petr
    Relations in GUHA Style Data Mining.
    Proceedings of the sixth international workshop on Relational Methods in Computer Science RelMiCS'6 and the first international workshop of COST Action 274 Theory and Application of Relational Structures as Knowledge Instruments TARSKI. Brabant: Katholieke Universiteit, 2001 - (de Swart, H.), s. 91-96
    [RelMiCS'6 & TARSKI. Oisterwijk (NL), 16.10.2001-21.10.2001]
    R&D Projects: GA AV ČR IAA1030004; GA MŠMT OC 274.001
    Grant - others:COST(XE) Action 274 TARSKI
    Institutional research plan: AV0Z1030915
    Keywords : GUHA method * data mining * relations
    Subject RIV: BA - General Mathematics
    Permanent Link: http://hdl.handle.net/11104/0124686
     
     
    7.
    0404315 - UIVT-O 20010099 RIV US eng C - Conference Paper (international conference)
    Hájek, Petr - Haniková, Zuzana
    A Set Theory within Fuzzy Logic.
    Multiple-Valued Logic. Proceedings. Los Alamitos: IEEE Computer Society, 2001, s. 319-323. ISBN 0-7695-1083-3.
    [IEEE International Symposium on Multiple-Valued logic /31./. Warsaw (PL), 22.05.2001-24.05.2001]
    R&D Projects: GA AV ČR IAA1030004
    Institutional research plan: AV0Z1030915
    Keywords : fuzzy logic * set theory * axiomatic theories
    Subject RIV: BA - General Mathematics
    Permanent Link: http://hdl.handle.net/11104/0124574
     
     
    8.
    0404067 - UIVT-O 20010021 RIV US eng C - Conference Paper (international conference)
    Godo, L. - Esteva, F. - Hájek, Petr
    A Fuzzy Modal Logic for Belief Functions.
    Proceedings of the 17th International Joint Conference on Artificial Intelligence. Seattle: Morgan Kaufmann, 2001, s. 723-729. ISBN 1-55860-777-3.
    [IJCAI-01. Seattle (US), 04.08.2001-10.08.2001]
    R&D Projects: GA AV ČR IAA1030004
    Institutional research plan: AV0Z1030915
    Keywords : belief functions * fuzzy logic * axiomatization
    Subject RIV: BA - General Mathematics
    Permanent Link: http://hdl.handle.net/11104/0124340
    FileDownloadSizeCommentaryVersionAccess
    404067-h.pdf5130.3 KBPublisher’s postprintrequire
     
     
    9.
    0103382 - UIVT-O 20040123 RIV DE eng C - Conference Paper (international conference)
    Hájek, Petr - Ševčík, J.
    On Fuzzy Predicate Calculi with Non-Commutative Conjunction.
    [O fuzzy predikátových počtech s nekomutativní konjunkcí.]
    East West Fuzzy Colloquium 2004. Zittau/Görlitz: IPM, 2004, s. 103-110. ISBN 3-9808089-5-5.
    [Zittau Fuzzy Colloquium /11./. Zittau (DE), 08.09.2004-10.09.2004]
    R&D Projects: GA AV ČR(CZ) IAA1030004
    Institutional research plan: CEZ:AV0Z1030915
    Keywords : fuzzy predicate logic * non-commutative conjunction
    Subject RIV: BA - General Mathematics
    Permanent Link: http://hdl.handle.net/11104/0010691
     
     


  This site uses cookies to make them easier to browse. Learn more about how we use cookies.

Accept allSettingsReject all